工学 >>> 控制科学与技术 >>> 自动控制理论 控制系统仿真技术 机电一体化技术 自动化仪器仪表与装置 机器人控制 自动化技术应用 自动控制技术其他学科
搜索结果: 1-15 共查到控制科学与技术 Petri网相关记录20条 . 查询时间(0.103 秒)
为解决异构的服务机器人团队为多位老人服务时的协调问题以及在此过程中如何最大化老人的总体满意度,提出了一种服务于多人的多机器人−多任务协调框架.首先,结合时延Petri网和颜色Petri网提出了可扩展时延−颜色Petri网(Scalable timed-colored Petri net,STdCPN)对养老院情境下服务机器人照顾老人的过程进行建模.然后,将老人的感受和情绪作...
针对NMOHEMS布放系统的使用背景和工作原理,分析了对布放系统进行可靠性分析的重要性。根据NMOHEMS布放系统的工作过程,构建了系统的故障树模型,阐述了布放系统各个事件之间的逻辑关系。结合Petri网模型对故障树进行表示和简化,并使用Petri网描述了系统的动态性质和结构性质,弥补了传统故障树分析法的不足。理论分析和实例验证结果表明,该方法可以减少计算量,且易于在计算机上实现,为系统的可靠性分...
想定是作战仿真系统的重要组成部分,是复杂作战序列仿真运行的初始态势,是获取可信仿真分析结果 的前提。在全覆盖想定概念的基础上,提出一种力图遍历所有可能作战事件和事件序列的全覆盖初始标识(想定)的 生成算法。应用Petri 网的网结构理论,通过对视为被仿真系统可能想定的Petri 网初始标识与该标识下的网事件进 程行为的输入/输出分析,并以实例进行验证。实例结果表明:该算法操作性强,能很容易获取系统...
在模糊Petri网应用研究中,普遍存在模糊token由专家直接给出或主观假定的问题。基于这种情况,提出了通过模糊统计法来获得库所的模糊token,为成功应用模糊Petri网理论创造了条件。给出了计算模糊token的通用形式化算法。实例论证了模糊统计法在求取模糊token时的可行性与有效性。
基于路增益概念,证明了无回路加权事件图住置不变量的存在性.并给出了其位置不变量集合的表达形式和最小住置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量.通过把无回路Petr[网分解成一些加权事件图基于住置的并.给出了无回路Petri网位置不变量的存在性判别噩确定的几何方法.
基于Petri网的结构特性分析,研究了FMS(柔性制造系统)一种预防死锁方法.提出了 Petri网的一种特殊拓扑结构--基本信标的概念.在Petri网中基本信标的集合是SMS(严格极 小信标)集合的一个真子集.尤其在大型Petri网系统中,基本信标的集合比SMS的集合要小得 多.对于Petri网的一个子类S3PR,只对每一个基本信标添加一个库所使其不被清空,就可实现 预防死锁,也就是说无须...
考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题.提出了兼具 DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器:在系统状态的获取和跟踪上具 有结构型控制器的优点,而在控制作用的实施上则具有逻辑型控制器的优点.全文通过实例说明 了混合型Petri网控制器的设计方法.
实际系统的Petri网模型中加入时间因素形成TPN,在评价系统性能时,TPN的周 期性具有重要意义.为降低系统的性能分析和计算的复杂性,基于分解的方法,结合结构简化 分析,探讨具有同步连接时各分解子网与总网之间时间性能的关系,并给出一些典型结构的 简化算法.
提出约束并发引发规则,建立该机制下Petri网行为的考察手段,进一步地对该机制下的 随机Petri网的性能进行评估.本文结果可以作为约束并发调度规则下系统逻辑行为分析与 随机品质估计的理论依据,为并发调度优化提供理论准备.
基于Petri网的不变式理论,针对典型的自动制造系统,提出了Petri模型强制公平性 和活性的方法.首先,基于网论T-不变式的概念,把系统的网模型设计为一个公平网.此后,利 用P-不变式把一个公平网设计为一个活的且公平网.同时,提出了非冗余严格极小信标的概念, 大大简化了系统的分析与设计.一般说来,非冗余严格极小信标是系统严格极小信标一个小的 子集,尤其对于复杂系统的网模型.研究结果表明,...
本文基于装配过程离散控制的思想,以扩展库所/变迁网对装配过程进行作业建模,提出了装配状态优化变迁序列的生成方法和算法.该方法有利于在不确定性存在时在任务级上实现装配过程的控制.
针对采用基于事件思想的移动机器人遥操作系统,首次提出以混杂Petri网作为描 述工具进行建模,模型的离散部分利用传统的Petri网,对应于系统的操作者;连续部分利 用重新定义的便于描述微分代数方程的连续Petri网,对应于位于远端的移动机器人.
提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型,给出 了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承性、重用性和可维护性,能够反映复杂系统的动态柔性特点,最后给出实例。
基于Petri网的不变式理论,针对典型的自动制造系统,提出了Petri模型强制公平性和活性的方法.首先,基于网论T-不变式的概念,把系统的网模型设计为一个公平网.此后,利用P-不变式把一个公平网设计为一个活的且公平网.同时,提出了非冗余严格极小信标的概念, 大大简化了系统的分析与设计.一般说来,非冗余严格极小信标是系统严格极小信标一个小的子集,尤其对于复杂系统的网模型.研究结果表明,只要使非冗余的...
CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部 分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形 式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形 式化描述为MOORE自动机,最后给出构造与MOORE自动机行为等价的Petri网控制器 的形式化设计方法.并且用一个实例说明其设计过程....

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...