| 《基于可靠性的海洋机器人软件建模方法及仿真》是由国防工业出版社出版的。 |
| 第1章 绪论 1.1 什么是海洋机器人 1.2 海洋机器人的可靠，陆 1.3 水下机器人的发展现状和研究动态 1.4 水面无人艇的发展现状和研究动态 1.5 海洋机器人软件可靠性技术现状 1.5.1 软件可靠性分类 1.5.2 软件可靠性研究存在的主要问题 1.5.3 海洋机器人软件可靠性研究 1.5.4 海洋机器人软件建模技术研究现状 1.5.5 海洋机器人系统仿真研究现状 第2章 基于可靠性的软件建模方法 2.1 海洋机器人系统的体系结构 2.2 基于语义petri网的软件建模步骤 2.3 语义petri网的定义 2.3.1 hoopn的定义 2.3.2 hoopn的行为语义 2.4 spn中面向对象的表现 2.4.1 信息隐藏 2.4.2 抽象 2.4.3 继承实现 2.4.4 参变量的多态性 2.4.5 对象间的消息传递 2.4.6 对象实例化 2.5 spn模型的展开 2.6 hoopn模型的可达性分析 第3章 模型本体的构建 3.1 模型本体的构建 3.1.1 模型本体的构建准则 3.1.2 模型知识的本体表示 3.1.3 模型本体的结构 3.2 petri网本体的核心概念集 3.2.1 基本元素概念集 3.2.2 结构元素概念集 3.2.3 特征元素概念集 3.2.4 概念间关系 3.2.5 概念公理 3.2.6 概念函数 3.3 uml本体的核心概念集 3.3.1 基本元素概念集 3.3.2 结构元素概念集 3.3.3 特征元素概念集 第4章 基于本体映射的模型自动转化方法 第5章 auv软件系统的spn模型 第6章 海洋机器人分布式仿真系统设计 后记 参考文献 |
内容加载中，请稍后...
商品评论（0条）