基于Petri网的机场救援工作流模型及性能分析

当前的机场救援工作过多依赖救援手册和人为经验的指导,但是救援工作所固有的紧急性和不可预测性往往需要高效灵活的流程管理决策手段来支持.将Petri网工作流技术构建到机场救援系统,提出基于库所P规则和关联组合的救援动态工作流网模型,为机场救援流程管理提供了一种简单可行的方法,并结合实例,采用随机Petri网理论对该模型动态行为进行定量分析与评估,验证了模型的可行性,为模型的升级改进提供指导.     

随机微分方程的概率生成函数解法

讨论了当难以求出随机变量的分布函数时 ,如何研究随机变量的数学期望、方差、相关系数等数字特征的有关问题 ,利用概率生成函数与概率分布函数及相应的数字特征的关系 ,给出了概率生成函数为 gx( s) =∑∞k=0pksk时数学期望与方差的确定方法 ,并应用概率生成函数方法 ,证明了随机微分方程ddt Pk( t) =-λPk( t) λPk- 1 ( t)　 ( k≥ 1)在边界条件 ddt P0 ( t) =-λP0 ( t) ,P0 ( 0 ) =1,Pk( 0 ) =0 ( k≥ 1)之下的解为　 Pk( t) =1k!e-λt( λt) k　 ( k=0 ,1,2 ,… ) ,而随机微分方程ddt Pk( t) =-λk Pk( t) λ( k -1) Pk- 1 ( t)　 ( k >1)在边界条件 ddt P1 ( t) =-λP1 ( t) ,P1 ( 0 ) =1,Pk( 0 ) =0 ( k>1)之下的解为　 Pk( t) =e-λt( 1-e-λt) k- 1 .     

受控赋时Petri网在批处理系统建模中的应用

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件系统的建模,并通过为动作库所赋予不同的时间参数,对化工批处理过程中特有的零等、有限时间等待的中间存储策略进行建模和分析。控制库所的引入,可消除资源争用冲突．。     

基于Petri网的电子运维系统工作流建模

通过运用工作流网的建模方法,将电子运维系统中的档案提取工作流实例映射为更易于计算机化的工作流网模型。为了提高该模型在实际应用中的执行效率,提出了一种提高系统执行效率的方法。该方法通过应用马尔可夫链理论,检测出影响系统执行效率的瓶颈,通过消除瓶颈达到提高系统执行效率的目的。结果表明将该方法应用于档案提取工作流网模型,可以有效的提高系统的执行效率。     

高速公路柔性安全防护网数值仿真

为减少高速行驶汽车出现意外时的伤害,高速公路两边一些关键地方都设有柔性安全防护网。防护网主要通过网结构的变形来吸收和转移能量,在高速公路设计和安装防护网时,必须考虑防护网的最大变形量以设计预留变形空间。通过ANSYS／LS—DYN数值仿真,得出了高速公路设立柔性安全防护网时预留变形空间建议值为1．5m。     

三网融合系统电视信号预处理的FPGA实现

针对PON技术在实现FTTH方面存在的缺点与不足,提出了一种在P2P的传输模式下,基于背板交换和采用星型网络拓扑的三网融合架构.为实现中心交换模块对数据交换的要求,需对三网输入信息进行前期预处理,本文对电视信号进行了预处理设计.借助QuartusⅡ平台搭建了一电视信号预处理电路的仿真实验,进行了包含三路电视节目TS流的预处理仿真.结果表明,已成功从TS流中分离出组成每路电视节目的音、视频基本流,可为中心交换模块提供友好的交换界面.     

准粒子和真实粒子

本文从现代观念出发对准粒子和真实粒子的关系等作了综述。     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

基于可用度模型的故障预测与健康管理方法

为了将故障预测与健康管理(prognostics and health management, PHM)技术应用到工程实践中,提出了基于可用度模型的PHM方法。首先通过广义随机Petri网(generalized stochastic Petri nets, GSPN)和连续马尔科夫链(continuous time Markov chain, CTMC)建立基本单元的软硬件可用度模型和健康状态转换图,通过求解微分方程得到基本单元软硬件的可用度数值。然后综合软硬件之间的故障相关性建立基本单元的完整可用度模型,并利用事件调度仿真机制得到其可用度的解。最后将基本单元故障模型同通用的可修系统稳态可用度模型对比,得到“可用度-故障率-维修率”形式的PHM计算模型,并以此作为工程应用中PHM分析的有效手段。     

用影响网分析复杂系统关键事件

为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合. 统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度. 该方法避免了影响强度、基准概率等参数由专家指定存在的主观性. 以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值.