【摘 要】
：
Ramadge和Wonham基于自动机模型的模块化反馈逻辑是对离散事件系统进行控制综合的一种较成熟的理论框架.该方法的一个显著的特点是它可以采用模块化综合的方法.但是,自动机模
论文部分内容阅读
Ramadge和Wonham基于自动机模型的模块化反馈逻辑是对离散事件系统进行控制综合的一种较成熟的理论框架.该方法的一个显著的特点是它可以采用模块化综合的方法.但是,自动机模型不能描述系统的并发行为,因而使它的应用到到了限制.由于Petri网有很强的描述能力,特别是可以很好地表示系统的并发和并行特性,因此基于Petri网的状态反馈方法更具一般性.同时,在Petri网模型下仍具有模块化综合的特点.该文将自动机模型下的状态反馈的框架与Petri网模型结合起来,研究了Petri网模型下的离散事件系统的状态反馈监控,针对并发系统的特点,讨论了强迫事件和非强迫事件的概念及对系统的反馈综合的不同影响.利用Mathematica这一数学工具软件实现了基于Petri网的状态反馈综合方法,并通过例子说明它在制造系统中的应用及较自动机模型的优越性.
其他文献
死亡率是影响人口状况及未来发展变化的主要因素,加强人口死亡率的研究是客观地认识人口现状、正确预测人口未来的重要基础.该文全面分析了关于中国人口死亡率水平、模式和计
随着微电子器件微型化的进程，‘硅工艺’正面临着严峻的挑战。而新兴的纳米制造技术将突破传统半导体制造工艺的极限，克服短通道效应、寄生电容、互联延迟以及功耗过大等问题，使
该文则是该课题的主要部分,对商业银行业务运作管理的核心内容-资产与负债管理作了系统的研究,其中,第一、二、三章对国内外的资产管理、负债管理与资产负债综合管理的理论和
该文共分八章,主要研究:1.复杂经济系统的基础性集成调控研究;2.经济增长点的建筑与调控理论;3.经济结构的转换与调控理论;4.上研究研究在生产经营、酱经营中的应用等四个方
该文以三轴运动仿真和虚拟现实系统为背景,主要讨论了该系统的虚拟现实子系统的实现和飞行运动仿真.在虚拟现实子系统的实现中,首先讨论了用于支持实时三维动画的基本图形学
该文对三轴运动仿真转台的控制方法进行了探讨.对转台的直接PID控制、模型参考自适应跟踪控制和使用多模型的自适应控制分别进行了阐述.仿真实验结果表明,在认为三轴转台三个
随着计算机、网络技术的快速发展，以及工业生产规模的不断扩大，控制系统逐步向网络化方向迈进。一般的网络控制系统(Networked Control System,NCS)是指多个子系统通过网络实现
该文以北京市的公共交通发展状况为背景,应用系统科学、系统工程的观点和方法,对公共交通线网的生成和优化进行了定性和定量的分析与研究.在论文中,作者参考有关资料,采用了"
该文对决策者在实际决策问题中经常出现的不完整偏好信息进行分析的基础上,对基于不完整偏好信息的多目标决策问题进行了研究,提出了一系满足不同实际需要的基于不完整偏好信