论文部分内容阅读
在空间探索、深海探测、核场所管理等领域,机器人都发挥着重要作用,但由于受到目前的机器人技术水平和人工智能水平的限制,实现在这些领域下完全自主工作的机器人仍然有很大困难,因此,必须由操作人员来远程控制机器人在未知环境中完成特定任务。这就需要一个高可靠的机器人遥操作信息管理系统来协调远程机器人和操作人员的之间的工作,以保证远程机器人可以按人们的意志来完成任务。否则,控制人员将失去对远程机器人的控制。
机器人遥操作信息管理系统是一个复杂的系统,传统的软件可靠性分析方法由于都存在着一定的缺点,因而很难对其进行建模。Petri网是软件可靠性分析的一种新方法,它是一种直观的、形象化的图形工具,它的主要特性包括:并行性、不确定性、异步性和分布描述能力和分析能力。作为图形工具,Petri网除了具有类似流程图、框图和网图的可视描述功能外,它还可以通过令牌的流动来模拟系统的动态行为。
在理论体系方面,本文首先介绍了软件可靠性的国内外发展概况,分析了目前主要的软件可靠性技术,并对这些软件可靠性技术进行了比较,从而得出了选用Petri网进行可靠性建模与分析的原因;而后介绍了研究软件可靠性必要的理论基础,并重点分析了可靠性与可用性之间的区别与联系;接着介绍了Petri网技术原理及其发展、Petri网分析工具及Petri网在软件可靠性分析方面的应用;最后,由于软件容错技术是提高软件可靠性的重要措施,因此,本文详细分析了几种常见的软件容错结构并介绍了软件容错的新的概念模型。
在项目实践方面,本文首先给出了机器人遥操作信息管理系统的体系结构,重点介绍指令管理模块、机器人管理模块和系统容错层这三个关键模块的设计与实现;之后,本文使用Petri网来对机器人遥操作信息管理系统进行建模,并根据与哈尔滨工业大学深圳研究院进行联调测试的数据来对模型进行分析,从而得到系统的可靠性及性能信息,系统的瓶颈所在,为进一步研制高可靠性的机器人遥操作管理系统提供依据。