【摘 要】
：
该文针对智能机器人系统的建模问题作了以下几个方面的研究工作.第一,在理论上研究了基于可达树的系统性能分析方法.给出了动态死锁检测方法,针对于系统的安全性、有界性和冲
论文部分内容阅读
该文针对智能机器人系统的建模问题作了以下几个方面的研究工作.第一,在理论上研究了基于可达树的系统性能分析方法.给出了动态死锁检测方法,针对于系统的安全性、有界性和冲撞性,分别提出了各自的判定算法.第二,研究并实现了一种面向对象的Petri 网建模方法.它融合了面向对象与Petri网的特点,给出了构造对象和系统的算法,以及由 面向对象的Petri网向传统的Petri网转化的算法.第三,将Petri网与矩阵方程运算相结合 ,提出了一种系统运行周期的计算方法,并以AUV为例进行了说明.第四,设计并实现了智 能机器人建模及分析仿真系统.设计了相应的数据结构,实现了Petri网的建模功能,以及 死锁、冲撞性、安全性的判定功能.
其他文献
该文以某种特定类型的防空C系统为对象,综合运用了包括面向对象技术、可视化技术在内的多种仿真技术,对该类CI系统进行了深入分析研究,并开发出用于该类CI系统的通用仿真平台
Ada语言是一种面向对象的语言,特别适合开发大型复杂的实时应用软件.GNAT是Ada应用最广泛的一种编译系统.目前,国外已经将实时操作系统和GNAT结合起来,建立了GNAT的实进应用
该文首先分析了多层客户/服务器结构、DCOM技术以及Internet的相关技术.并以此 为理论基础和实践依据,从分析设计目标、系统需求、规划和建设方案入手,提出了北京理工大学出
呼叫中心是集现代通信手段和计算机技术于一体的综合信息服务系统,利用现有的电话系统,为广大企业和用户提供全新的现代化服务。企业为了提供优质的服务,需要尽可能多的处理
该文针对CIMS建模过程中多视图模型的一致性问题,提出了一个面向对象的集成多视图建模方法--面向对象的IDEF方法(OIDEF).OIDEF方法选择了系统最重要的三个视图,即功能视图、
该文系统地介绍了目前信息安全保密技术的发展状况,详细解释关于信息安全的技术概念和常用的技术要点.该文以信息加密作为重点研究方向,阐述信息加密技术的基本方法,并在分析
该文详细介绍了一个上下文敏感的过程间指针分析算法,这一算法很好地解决了以上几个问题,这是迄今为止对指针分析算法的一个最完整阐述.其次,该文指针分析算法的完整性还体现
XML作为最新的Web标准,将会也正在对Web应用的发展产生巨大影响.规定了Web上数 据交换的标准形式,从而能使数据在Web上分布式处理.另外它不依赖于特定系统的描述方式,使它在
该论文来源于国家自然科学基金课题和ISN国家重点实验室开放研究课题"PPL技术在智能网业务生成中的应用".该文首先深入地研究了智能网业务生成技术和美国Excel通讯公司研制开
该论文主要研究的是对大中规模的可编程逻辑器件的解析问题.该论文在总结了前人的算法基础之上,利用图论中的基础理论,在进行数据采集的过程中,不按照常规方法生成有效状态的