基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

一种基于时间的机器人 装配任务规划方法

采用时间Petri网,针对有代表性的柔性装配单元的任务规划问题进行建模。计算了顺序和并行作业的时间消耗,并在此基础上提出了任务规划的时间优化算法。该项研究可针对作业任务的需要自动产生不同的装配序列以达到是的时间消耗,该方法还适用于对装配系统布局进行性能评价,并可用于指导装配系统设计。     

一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

并行测试中死锁避免的设计与仿真

设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。     

基于污染分布的财产保险损失分布估计

在索赔密度函数污染分布的假定下采用非参数的近邻密度估计方法,给出密度函数f(x)、f1(x)及污染系数α的估计,分析了估计的一致弱相合性与一定条件下的逐点误差分布精度,并对污染系数α和f1(x)进行随机模拟,结果显示拟合程度良好。     

基于Petri网整数规划的安全操作路径综合

基于Petri网结构，针对安全生产操作建立整数规划模型，进而实现经济效益与安全生产最优综合。首先，根据Petri网概念，拓扑管酪与阀门模块和故障模块，由此建立安全嗍于声璐径的超级结构，然后，根据Petri网中标记状态的传递情况，确定整数规划模型中的约束条件，最后，考虑权衡最小操作数和最低故障期望建立双目标函数．通过实例验证模型和算法的正确性和有效性，并用GAMS中的CPLEX模型进行Pareto前沿理想点优化求解，得到令人满意的折中安全操作路径。     

一种分数阶随机共振系统的弱信号检测研究

在利用随机共振系统进行弱信号检测的研究中大多是以整数阶朗之万方程为主,针对分数阶随机共振的鲜有研究。对过阻尼分数阶朗之万方程的随机共振特性进行深入研究分析,对于分数阶朗之万方程求解这一难题,引入Oustaloup算法对其近似化,搭建分数阶朗之万方程的近似仿真模型,找出了产生随机共振的阈值,实现了对满足绝热近似理论的微弱信号的检测,且讨论了不同分数阶阶次和噪声强度对分数阶朗之万方程产生随机共振的影响。数值分析表明,在一定阶数时,分数阶朗之万方程可以产生随机共振,且对微弱信号的检测及放大效果明显好于整数阶。该研究拓展了朗之万方程随机共振的研究范围,在信号检测与处理以及通信领域有着重要的应用价值。     

世博电容车安全性评估的GTST-MLD和Petri网集成方法

超级电容车是我国新能源战略的一个重要举措. 它在上海世博会上投入使用的意义重大, 保障其运行安全性显得尤为重要. 对于传统安全性分析方法, FTA缺乏对事故动态性的描述能力, 同时在对事故定量分析方面存在局限性; ETA在对复杂系统安全性分析上亦有局限. 而利用GTST-MLD模型和Petri网模型各自的优势对电容车进行安全性分析, 建立GTST-MLD和Petri网模型之间的基本符号、基本类型和事故演化路径相互转化的桥梁, 进而将两种方法进行集成. 这样不仅对安全事故演化能给出定性描述, 同时融入事故演化过程的时间等因素, 给出更为准确的定量评估数据.     

基于Petri网的工作流模型的研究与仿真

对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。