【摘 要】
：
在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则
【机 构】
：
军械工程学院管理工程系,军械工程学院军械技术研究所
【基金项目】
：
国家自然科学基金资助项目（No.60375038）
论文部分内容阅读
在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性.通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.
其他文献
运用净现值方法，考虑了当投资金额和回收期的现金流入与流出均为模糊变量，且投资者有多个目标时的资金预算问题，建立了资金预算的机会约束目标规划模型，并采用基于模糊模拟的遗传
为了解决AS/RS系统规划不科学、不合理的问题,首先采用集合论来描述AS/RS系统,将AS/RS系统的指标量化并指出AS/RS规划目标的变化规律;然后将AS/RS的规划过程划分为初步设计、详细设计和运行三个阶段,针对各个阶段的特点提出适合各自的仿真方法,从而满足不同阶段的规划要求;在此基础上进一步建立了三阶段集成仿真平台,将三个阶段的规划数据和仿真数据有效集成起来,减少了数据冗余并提高工作效率,针
从土壤和活性污泥中筛选到三株絮凝剂产生菌,将其进行双菌混合培养的正交试验,构建出了比单一菌所产絮凝剂絮凝活性更高的复合菌群LH,通过16SrRNA序列分析,初步判定二菌分别
为了预测并控制煤炭在研磨过程中任意时刻的颗粒粒度分布,利用分形方法建立了表征煤炭研磨颗粒粒度分布动态变化的颗粒数分布模型、颗粒表面积分布模型和颗粒质量分布模型.颗
对于网络诱导延迟的上界大于或小于一个采样周期的两种不同情况的连续时间网络控制系统,采用离散化与增广状态空间方法,建立了统一的Markov链离散时间跳变模型.由于模型含有
分析了沙曲矿14201工作面的瓦斯涌出特点，对倾斜高抽巷治理瓦斯的工艺技术参数进行了优化，观测了高抽巷治理瓦斯的效果．研究表明，在沙曲矿三软条件下近距离高瓦斯煤层群实施倾斜
对西部石嘴山一矿38区深部＋600 m轨道巷开采扰动区进行了全面的工程地质调查. 采用MOTIC-BA300POL型偏光显微镜等综合分析了砂岩、泥岩的矿物成分、物理性质、自然状态以及饱