形式化方法
更新时间:-- | 阅读量: 196

用一套特制的表意符号(其意义可以解释的),去表示概念、判断、推理,获得它们的形式结构,...形式化方法用于公理系统后产生的形式系统，是形式化方法高度发展的标志。形式化能克服自然语言的歧义性，简洁地表达理论，为科学研究提供了严格的、精确的表 ...

搜索到与“ 形式化方法”相关的文献共 1条

动态路径规划形式化集成建模方法
提出形式化方法与Ad-Hoc人工势场法集成建模的思想。在多障碍物动态环境中,由于是相对于机器人-障碍物动态计算随机可达集,因此随机可达集为碰撞概率与斥力场的关联提供了一种形式化方法。该方法可以使用Ad...

《山东理工大学学报(自然科学版)》 2020年03期关键词: "动态环境"," 路径规划"," 形式化"," 集成"," 建模" 收藏