基于Petri网的Socks V5之验证协议阶段建模研究

Socks V5协议是一个基于客户机/服务器结构的网络代理协议。以Petri网为工具建立了Socks V5验证协议阶段的模型,并用矩阵方程对模型进行了分析研究。     

随机广义KdV方程组的精确解

利用埃尔米特变换求出了Wick-类型的随机广义KdV方程组的精确解,这种方法的基本思想是通过埃尔米特变换把Wick-类型的随机广义KdV方程组变成广义系数KdV方程组,利用Jacobi椭圆余弦展开方法求出方程组的精确解,然后通过埃尔米特的逆变换求出方程的精确解.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出了一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出了一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

随机利率下的生存年金组合精算现值模型

对随机利率做了相关分析，然后在假定市场上存在多种相互独立的随机投资利率的条件下，利用时间序列得到一种推广的随机利率模型，最后根据投资组合理论得出企业年金保险中多种生存年金组合的精算现值模型。     

随机生产状态下易变质产品的最优生产策略

研究随机生产状态下易变质产品的最优生产策略，分析了基于非常数的变质率和时变需求的总成本函数，得到了一个求解最优生产时长的搜索算法。最后，给出了算例对理论结果进行说明。     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

着色Petri网在性能评价中的应用

着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器（Monitor）,得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。     

虚拟仪器和模糊Petri网在故障诊断中应用

针对舰艇防化装备故障诊断因果关系的复杂性与模糊性,应用虚拟仪器技术、模糊Petri网和数据库等,研制了舰艇防化装备故障诊断系统。提出了采用模块化、通用化设计思想,实现软硬件的模块化设计,建立基于数据库、模糊Petri网的解决方案。实现数据库互连时采用ODBC技术以保证系统的通用性和灵活性。该系统充分利用了虚拟仪器平台和模糊Petri网络实现并行模糊推理,突破了传统的舰艇防化装备检测诊断模式,较好地解决了舰艇防化装备状态预测和故障模式识别的问题。通过实践证明,该系统可有效地进行模糊推理,减小诊断信息的冗余性,诊断效率高,计算快速,具有较高的准确性和实用性,并能缩短开发周期,降低开发成本。