论文部分内容阅读
Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.
基于CPN建模技术的研究
【摘 要】
：
Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.
【机 构】
：
内蒙古工业大学信息工程学院
【出 处】
：
系统仿真学报
【发表日期】
：
2005年z1期
其他文献
针对飞机拦阻系统采用非线性控制进行了机构实现分析,利用状态反馈线性化及线性系统二次性能指标最优控制设计方法设计了非线性控制规律。建立了跟踪控制飞机位移及速度的非线性控制仿真模型,针对系统参数变化及飞机撞网速度测量值有偏差状况,进行了鲁棒性仿真分析,仿真结果表明:采用非线性控制,系统动态响应快,跟踪特性好,鲁棒性强,拦阻指标容易满足。
本文提出了一种新的用于化学链燃烧的氧载体：CaSO4，对CaSO4作为氧载体时与CH4组成系统的热力学性能进行了研究，结果表明，在适当的温度范围内，CaSO4还原的直接产物是CaS，而不是CaO和
介绍了引信用GPS弹道敏感器的工作原理和SystemView的应用,并使用SystemView建立了引信用GPS弹道敏感器的仿真系统,得到了不同噪声条件下的仿真结果.通过建立仿真模型可以在
本文主要进行了电站锅炉受热面积灰在线监测的研究工作，在选择监测参数的过程中，放弃了传统的热有效系数和灰污系数，而选择了相对较易监测的灰污特征参数，并运用人工神经网络之BP