基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。     

逻辑Petri网变迁使能的判定方法

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。     

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.     

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难.针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解.实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值.     

基于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网的电子运维系统工作流建模

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

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

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

准粒子和真实粒子

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

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

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