基于Petri Nets的数据流结构设计与模拟

数据流结构被广泛应用于数据流信号处理算法的硬件实现中 .通过建立数据流结构的PetriNets模型 ,动态模拟各个硬件处理单元在不同数据率输入信号下的状态 ,以此确定数据流结构中最佳的设计参数 ,实现数据流结构的优化设计     

基于延迟Petri网的信息系统开发风险评估方法

信息系统建设是企业信息化建设的一个重要组成部分 ,在开发过程中出现的各种不确定因素导致企业信息系统中建设中存在着多种风险 ,对这些风险的管理和控制是信息系统开发管理的一个重要步骤。提出信息系统开发的风险管理和决策模型以及风险管理计划的制定策略 ,然后引入延迟时间模糊Petri网的概念并将其用于建立信息系统开发风险管理计划执行效果评估模型 ,重点论述应用延迟时间模糊Petri网对企业信息系统开发的各种风险进行评估的算法以及该算法的时间复杂度分析。     

基于随机模拟的遗传算法在OD反推中的应用研究

由路段交通量反推OD一般要求调查的路段数大于或等于OD变量数，这对大型复杂路网是难以做到的，即使能够做到，由于对OD约束过小以致搜索空间过大，也难以在短时间内得到满意解。通过界定OD的可能区间，提出一种基于随机模拟遗传算法的OD反推方法，并用一个简单的路网进行仿真试验。结果表明，该方法是有效的。     

自主存取控制的Petri网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。     

基于Petri网的虚拟科研建立过程模型

 将Petri网理论引入科研领域,提出了用Petri网对动态、并发的科研过程进行描述.用Petri网描述的虚拟科研过程清晰、全面,为上层领导进行决策提供一种简洁、直观的决策分析工具.     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

一类高级Petri网:XML代数网

综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.     

基于Petri网和UML的流水作业调度模型设计及实现

为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。     

Petri网理论在变电站故障诊断中的应用

为提高变电站故障诊断的效率,本文以Petri网络模型中的库所表示变压器、开关、继电器等电力设备,以Petri网络模型中的变迁表示开关、继电保护等的动作情况,对应实际生产中的具体设备,整个诊断过程通过矩阵运算实现.使得诊断结果更有针对性,实际运算速度更快,诊断正确率有所提高,从而对故障信号具有更强的识别能力.     

失效率局部成比例的伽玛分布和威布尔分布顺序统计量的随机比较

在独立情形下伽玛分布和威布尔分布顺序统计量的随机比较基础上,给出了随机变量以一般随机序局部大于和局部依序列条件递增的概念.讨论失效率函数局部成比例这种非独立条件下的伽玛分布和威布尔分布的顺序统计量的随机比较,得出当形状参数不变、尺度参数占优条件下二元最小顺序统计量的随机关系.此外,基于这种情形,得出威布尔分布顺序统计量是局部依序列条件递增的.