搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
基于可靠性的海洋机器人软件建模方法及仿真
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    9787118067880
  • 作      者:
    王卓著
  • 出 版 社 :
    国防工业出版社
  • 出版日期:
    2010
收藏
内容介绍
    《基于可靠性的海洋机器人软件建模方法及仿真》系统地介绍了海洋机器人以及软件可靠性和软件建模方面的发展现状。立足于海洋机器人软件开发的实际情况,详述了一种为提高软件系统可靠性而提出的软件建模方法,并以水下机器人控制系统软件为背景,给出了应用实例和可靠性分析数据。同时,书中还介绍了为保障软件可靠性和进行软件集成测试而搭建的海洋机器人仿真平台,并给出了其体系结构和仿真试验结果。<br>    《基于可靠性的海洋机器人软件建模方法及仿真》是海洋机器人软件设计开发方面的高级读物,适用于智能机器人领域和软件工程领域的高级研究人员,同时对初级软件设计开发人员也有一定的帮助。
展开
精彩书摘
    加大数据处理容量,提高操作控制水平和操纵性能,完善人机交互界面,使其更加实用可靠。目前,AUV还有一些关键技术问题需要解决。今后,AUV将向远程化、智能化发展,其活动范围在250km~5000 km的半径内。这就要求有能保证其长时间工作的动力源。<br>    (3)群体机器人成为现实。协同作业,共同完成更加复杂的任务是机器人技术的发展趋势。水下机器人将利用智能传感器的融合和配置技术及通过网络建立的大范围通信系统,建立机器人相互之间及机器人与人之间的通信与磋商机理,完成群体行为控制、监测、管理及故障诊断,实现群体作业。<br>    随着上述发展方向的展开,近年来机器人系统可靠性技术也取得了很大的突破。水面无人艇和水下无人潜器发展相对成熟,为此,国内外很多学者为提高海洋机器人的可靠性做了不懈的努力。<br>    2004年5月6日,美国军方在北欧演习时,丢失了一台BPAUV,5月11日才在挪威的海滩上发现。这次事件也说明,无缆自治水下机器人必须具备较强的可靠性,否则,难以应对复杂的海洋环境。<br>    2005年,美国海军研究生院发表的年度技术报告中开始对水下机器人的冗余容错技术开展专题讨论。该报告认为,目前水下机器人诸如导航、传感等技术已经成熟,有待突破的领域是如何确保任务顺利实施,提高完成任务的可靠性。报告认为,一方面,要使用高可靠的传感器、高可靠的连接方式以及高可靠的计算平台;另一方面,必须建立起完善的检错机制,这是因为静态的故障容易被发现,而动态错误由于其本身就是转瞬即逝的,难以被发现。例如,某个传感器报了错误数据,可能是偶然,也有可能是其彻底失效的前兆,时间长了可能导致难以挽回的故障。这两种情况差别很大,必须加以解决。
展开
目录
第1章 绪论<br>1.1 什么是海洋机器人<br>1.2 海洋机器人的可靠,陆<br>1.3 水下机器人的发展现状和研究动态<br>1.4 水面无人艇的发展现状和研究动态<br>1.5 海洋机器人软件可靠性技术现状<br>1.5.1 软件可靠性分类<br>1.5.2 软件可靠性研究存在的主要问题<br>1.5.3 海洋机器人软件可靠性研究<br>1.5.4 海洋机器人软件建模技术研究现状<br>1.5.5 海洋机器人系统仿真研究现状<br><br>第2章 基于可靠性的软件建模方法<br>2.1 海洋机器人系统的体系结构<br>2.2 基于语义Petri网的软件建模步骤<br>2.3 语义Petri网的定义<br>2.3.1 HOOPN的定义<br>2.3.2 HOOPN的行为语义<br>2.4 SPN中面向对象的表现<br>2.4.1 信息隐藏<br>2.4.2 抽象<br>2.4.3 继承实现<br>2.4.4 参变量的多态性<br>2.4.5 对象间的消息传递<br>2.4.6 对象实例化<br>2.5 SPN模型的展开<br>2.6 HOOPN模型的可达性分析<br><br>第3章 模型本体的构建<br>3.1 模型本体的构建<br>3.1.1 模型本体的构建准则<br>3.1.2 模型知识的本体表示<br>3.1.3 模型本体的结构<br>3.2 Petri网本体的核心概念集<br>3.2.1 基本元素概念集<br>3.2.2 结构元素概念集<br>3.2.3 特征元素概念集<br>3.2.4 概念间关系<br>3.2.5 概念公理<br>3.2.6 概念函数<br>3.3 UML本体的核心概念集<br>3.3.1 基本元素概念集<br>3.3.2 结构元素概念集<br>3.3.3 特征元素概念集<br><br>第4章 基于本体映射的模型自动转化方法<br>4.1 本体概念的语义层次<br>4.2 基于本体映射的模型自动转化步骤<br>4.3 相似度计算模型<br>4.3.1 基于特征的相似度计算<br>4.3.2 基于语义的相似度计算<br>4.3.3 综合相似度计算策略<br>4.4 实验对比<br>4.4.1 实验设计<br>4.4.2 评估方法<br>4.4.3 实验结果<br>4.4.4 与已有方法比较<br>4.5 分析与评价<br><br>第5章 AUV软件系统的SPN模型<br>5.1 基于语义Petri网的AUV可靠性分析方法<br>5.2 AUV系统的UML模型<br>5.3 AUV系统的HOOPN模型<br>5.4 AUV控制系统可靠性分析<br><br>第6章 海洋机器人分布式仿真系统设计<br>6.1 仿真系统体系结构<br>6.1.1 硬件体系结构<br>6.1.2 软件体系结构<br>6.1.3 信息集成中间件的体系结构<br>6.2 水下机器人六自由度水动力学仿真<br>6.2.1 坐标系和运动学方程<br>6.2.2 力、力矩和加速度<br>6.2.3 速度和位姿<br>6.2.4 水下机器人的动力学方程<br>6.3 环境仿真<br>6.3.1 潮流的特点<br>6.3.2 潮流的运动方程及求解<br>6.3.3 流函数生成海流场<br>6.4 水下机器人仿真试验<br>6.4.1 半实物仿真<br>6.4.2 远距离未知区域侦察试验<br>6.4.3 管道跟踪过程仿真<br>6.4.4 远距离自主采样过程仿真<br>后记<br>参考文献
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证