【摘 要】
:
传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有
【基金项目】
:
国家重点基础研究发展计划(973计划),国家自然科学基金,高等学校博士学科点专项科研项目
论文部分内容阅读
传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中,本文将这种方法扩展,通过引入非对称的变迁实施谓词和扩展的复合标识,精确地模型并分析异构系统,同时也保持了SHLPNs在化简模型和状态空间方面的优越性.
其他文献
21世纪是以知识经济为主导的时代,知识经济是以知识和人力资源为基础的经济,知识经济的本质是人本经济,人力资本成为最重要的资本形态,人力资本的作用远远超过物力资本,人力
认证字典是一类重要的数据结构,它在众多研究领域都具有重要的理论和应用价值.文中介绍了认证字典的基本概念和原理,引入了时间约束,给出了一种新的认证字典分类方法.从认证
T-Networks公司宣布推出其40Gb/s DWDM LIM400L系列激光器。
经济社会的发展时人才创业提出更高的要求,针对人才创业机制不活、人才的创业能力薄弱的现状,迫切需要建立开放的人才创业平台,从而来加快我国人力资源优势转化为经济社会发
在时空级联最大似然算法的基础上,本文结合雷达低角跟踪的特点,提出一种新的目标仰角估计算法.该算法利用事先得到的目标距离信息和天线高度信息来得到目标直达波信号和多径
非球面光学行业的领先者福科光学(Volk Optical)又为其激光治疗产品系列增加了新成员——-H—R广视野镜头。其高分辨率成像功能与极广的视野相结合,可为诊断和激光治疗提供细致
提单管辖权条款通常约定由承运人所在国即主营业地法院管辖,但是也可能约定由第三国法院管辖,该国法院除被选择外,提单下争议与该国再无联系,对于这两种条款的效力,理论中颇
抽运耦合方式是决定光纤激光器/放大器性能的一个重要因素.文中对国内外现有的几种常用的抽运方式和嵌入反射镜侧面抽运耦合方式进行了综述.
主要利用状态转移方程和定义能量函数的方法对具有时延的离散Hopfield神经网络的动力学行为进行了研究,并且获得了若干稳定性结果.给出了延迟离散Hopfield神经网络收敛于周期
数字水印是数字作品版权保护的重要技术途径之一.随着数字水印技术的不断应用,数字水印产品的测评工作已经引起相关信息安全管理部门的高度重视,建立水印测评理论基础的需求