分享到:

Pi演算对有界Petri网系统的模拟

形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问题转换到另一种模型中进行分析。Petri网和Pi演算是研究并发系统的两种形式化模型,广泛用于描述与分析并发系统。如果可以用Pi演算模拟Petri网,那么就可以把Petri网的静态结构和动态行为转换到Pi演算中进行表示,从而把并发系统中不易于在Petri网中分析的问题转换到Pi演算中进行分析。现有的库所容量受限Petri网系统到Pi演算的转换方法,实现了Pi演算对库所容量受限Petri网系统的模拟。但该方法限定了适用范围,没有考虑Petri网系统的有界性,不适用于Pi演算对有界Petri网系统的模拟。此外,该方法需要为库所和变迁从零到最大库所容量的全部状态组合定义库所进程表达式和变迁进程表达式。而全部状态组合中包含的一些状态不会被用到,为这些状态定义的进程表达式不会出现在归约序列中,因此不需要把这些冗余状态转换成  (本文共84页) 本文目录 | 阅读全文>>

沈阳工程学院
沈阳工程学院

风储孤网系统运行及控制研究

随着世界经济的快速发展,能源消耗日益增加,世界能源危机日益凸显。同时,煤炭、石油等一次能源的消耗带来的环境问题也日益突出,全球环境问题及能源短缺问题已成为世界历史进程中面临的重要问题。发展环境友好的可再生能源已成为世界各国解决能源危机和环境污染的首先之法。在可再生能源发电技术的有效利用形式中,风力发电是技术最成熟、最具备开发条件、发展前景良好的项目。自20世纪90年代以来,风电的年增长率一直保持了两位数的百分比水平。但风机出力具有空间分散性、时间强随机波动性、间歇性、可调度性低等固有的缺陷,导致风电场并入电网后将对电网的运行方式、电压及无功控制、电能质量和二次系统等方面造成一定的影响,技术层面上的“并网难”和“弃风”一直是制约风电发展的最大难题。针对该技术难题,国内外专家学者提出应用风储联合发电技术予以解决。储能系统能够实现电能的时空平移,响应速度快且具备大规模应用的可行性。风储孤网系统作为风储联合发电系统的有效利用形式,具有运...  (本文共99页) 本文目录 | 阅读全文>>

西安电子科技大学
西安电子科技大学

污水检测的物联组网系统设计

企业废水超标排放对环境的影响越来越大,这对政府部门的监管提出了更高要求,迫切需要采用先进的检测技术和组网方法来解决。为此,通过对国内外先进物联网通信技术和污水检测技术的分析与对比,论文设计了一种污水检测的物联组网系统,实现了对工业园区内多家企业排放的污水进行实时监测的功能。论文给出了由污水监测模块和信息集中器构成的污水检测物联组网系统的设计方案,详细设计了污水监测模块的硬件电路,包括ARM处理器电路、pH/ORP信号处理电路、溶解氧信号处理电路、输入输出模块、温度传感器电路及LoRa通信模块等;设计了收集污水检测结果的信息集中器,包括ARM处理器电路、LoRa通模块、GPRS模块和电源电路,实现了由一个信息集中器与多个污水监测模块构成的污水检测物联组网系统。在硬件基础上,设计了污水监测模块和信息集中器的软件流程,污水监测模块的软件包括传感器设置处理、传感器校准处理、污水检测处理、检测结果上传和控制输出等;信息集中器的软件包括服务...  (本文共76页) 本文目录 | 阅读全文>>

《军民两用技术与产品》2001年02期
军民两用技术与产品

车用上网系统

因特网与汽车的结合速度并不像拥护者所希望的那样快。但是,在2001年底之前,相当比例的新车用户将可以选装...  (本文共1页) 阅读全文>>

《管理科学文摘》1994年05期
管理科学文摘

论高级Petri网系统的等价谱系

论高级Petri网系统的等价谱系@杨洁高级网系统简洁明了,在petri网系统的应用中是非常有效的。本文讨论...  (本文共1页) 阅读全文>>

江苏大学
江苏大学

基于自控网系统的建模与控制研究

Petri网自1962年Carl Adam Petri教授在他的博士论文中首次提出,至今已有50余年。Petri网是离散事件系统建模、分析与控制的一种重要工具,通过将不同学科领域的技术和方法融合到Petri网之中,使得Petri网理论得到了十分广泛应用,并持续不断地推动Petri网的发展。自控网系统是在普通Petri网的基础上加上控制机制得到的一类高级Petri网,具有比普通Petri网更强的描述能力。自控网系统的提出,架起了Petri网理论与现代控制理论之间的桥梁,促进了Petri网理论与现代控制理论之间相互融合与借鉴,拓展了研究领域。论文以自控网系统理论为主线,综合了图论、神经网络和现代控制理论中的相关技术和方法,在基于自控网系统的建模和分析以及控制应用等方面进行了深入的探讨和研究。论文主要内容与创新之处如下:(1)介绍了自控网系统以及各种扩展自控网系统的定义,重点分析了广义连续自控网系统和混杂自控网系统的性质,给出了采用各...  (本文共137页) 本文目录 | 阅读全文>>