一类禁止状态规范下Petri网控制器的综合

被引量 : 7次 | 上传用户:lmnlmnbalance
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散事件系统是随着未知的不规则时间间隔内出现的离散事件演化的一类动态系统,其应用涉及一大类人造系统,如柔性制造系统、大规模计算机网络和通信网络、空中或机场交通管理系统、军事指挥中的C~3I系统等。基于逻辑层次的离散事件系统建模工具包括有限状态自动机和Petri网。由于Petri网与自动机相比具有更高的语言复杂性、紧凑而且图形化的状态空间表示、模块化的监控器综合能力,因此本文以Petri网为工具。 常常需要控制离散事件系统的行为以满足特定的规范,比如防止系统进入特定的状态,尤
其他文献
随着现代科学技术以及复杂的自动控制系统和信息处理理论和技术的提高,光电信号变换与检测技术的不断涌现,综合性的自动化、智能化的光电系统得到进一步的发展,形成了包括光学、精密机械、电子学和计算机科学的新科学——光学精密机械电子学(Optomechatronics)。这种跨学科的边缘技术就是光电技术。 现在,光电技术已广泛的应用于工业、农业、丈教、卫生、国防、科研和家庭生活等各领域。因此,光电检测
学位
拉力试验机是通过拉伸试验达到检测材料(金属材料、非金属材料)、零部件、构件和结构等的强度、刚度、弹性、塑性、韧性、延展性的基础试验装置。广泛应用于质量检测、计量测试及实验研究,应用领域涉及机械、冶金、建筑、航空、航天、军工、交通、运输、质检、计量、教育、医疗、科研等各行各业,成为了工农业生产、生活及国防建设不可或缺的重要基础性试验测试设备。 拉力试验机在我国已有五十多年的发展历史,为了更好的
学位
CAD、CAPP是计算机技术应用于机械制造领域的产物。CAD/CAPP集成是现代生产的需要,也是实现CLMS的关键环节。CAD/CAPP集成的关键在于信息的集成,即实现CAD、CAPP系统之间信息的共享,CAPP系统可以把CAD系统的输出作为输入。特征建模技术为实现CAD/CAPP集成开辟了新的道路。 本文以零件特征信息模型作为基本单元链接CAD、CAPP系统,提出了面向传动箱体类零件CAD
学位
随着GIS应用范围的扩大,如何利用计算机软硬件解决处理海量空间数据一直备受关注。 论文基于无缝GIS原理,针对湖南省输变电GIS中海量地图数据处理技术进行研究与实践。 论文总结了MapInfo的技术特点、地图组织方式、数据交换格式。指出了MapInfo的缺点:它不能直观的表达三维资料,而且没有拓扑关系,由于其资料格式并不公开的,必须通过它的交换文件获得资料。 基于无缝GIS原理,
学位
本论文是依托于“湖北电力公司”资助项目“新型继电保护测试系统”而进行研究的。由此,本文提出并设计了集PCI、USB、网络接口以及模拟外设等多种功能为一身的系统综合模块。在此基础上进一步实现了系统综合模块的USB接口与主机通信功能。 系统综合模块在硬件实现上是以DSP为核心处理器、以PCI或者USB作为下位机与上位机的通讯总线、通过网卡实现对网络信息的处理和传输、通过各种模拟外围电路实现对物理
学位
电力机车主变压器是一种把电气化铁路接触网上的25kV高压降为具有多种电压的低电压,以满足机车各种电机、电器的工作需要的单相降压变压器。冷却系统是机车主变压器的重要组成部分,冷却系统的正常工作是牵引变压器乃至整个电力机车运行安全的保障,对冷却系统的测试是整个变压器出厂前的最后一道关键工序。 本文针对株洲电力机车厂变压器分厂现有测试设备的落后状况,提出了基于微机控制的测试系统及软、硬件的实现方法
学位
目前速度估计器及速度控制器设计是感应电机矢量控制系统的一个研究热点。本论文详细阐述了无速度传感器矢量控制系统的基本结构及无速度传感器矢量控制系统的速度控制、速度辨识方法。提出了PID与模型参考自适应(MRAS)相结合的无速度传感器矢量控制技术。由于感应电机数学模型复杂,具有非线性、时变、强藕合等特点,仿真表明使用PID速度控制器时系统性能不是很理想,系统收敛速度慢,系统性能受外部扰动及各种不确定性
学位
随着电力电子技术、计算机技术、自动控制技术的迅速发展,电气传动技术面临着一场历史革命,即交流调速取代直流调速和计算机数字控制技术取代模拟控制技术己成为发展趋势。变频调速以其优异的调速和起制动性能,高效率、高功率因数和节电效果,广泛的适用范围及其它许多优点而被国内外公认为最有发展前途的调速方式。本文在全面深入总结国内外有关文献的基础上,围绕交流电机变频调速系统的全数字化和智能化进行了理论和应用的研究
学位
目前银被覆技术已成为微电子领域的热门研究方向,在电路板上沉积银是其中的重要的研究课题。本文研究在铜基材上用浸镀法表面化学沉积的技术,以获得较精细纳米级的银及银钨镀层。实验用工业纯铜薄膜为基材,经过基材预处理、银基镀液配制、化学沉积和镀层表征。研究方法包括:用 HITACHI(日立)S-570 型与PHILIPS XL30 型扫描电镜(SEM)观察镀层形貌;JEOL-2000EX型高分辨率透射电镜(
学位
随着微机控制技术的迅速发展,电力系统原动机仿真系统从传统的模拟控制向数字控制转变成为必然的发展趋势。目前,在国内现有的原动机仿真系统中,使用模拟控制电路,存在着结构复杂、电子元器件易老化、易受环境温度影响、抗干扰能力差等不足之处。采用微机数字化方案设计仿真系统中的调速器及基于TC787触发芯片的原动机仿真系统,可以很好地克服以上不足之处。本文介绍了原动机仿真系统的发展历程、课题的来源及意义、国内外
学位