基于带权时间Petri网的工作流建模研究及应用

文章提出了一种带权的时间工作流概念,建立了带权时间工作流模型WTPWF-Net(带权时间工作流网络),给出了其元模型和过程模型,给出了从工作流概念到模型元素之间的映射方法,并利用本模型对某公司的物资管理系统的业务流程进行了实际运用,良好的运行效果验证了该模型的可行性和有效性。     

具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。     

事故推演建模技术研究

 在总结现有事故模型、复杂系统特性分析的基础上,提出基于系统学的事故模型——事故推演模型,该模型强调从分析系统各组成部分的耦合关系及系统涌现特性的角度揭示事故是如何发生的。针对目前尚缺乏成熟的方法来支持基于系统学的事故分析的现状,建立了与事故模型匹配的事故推演建模方法,层次化面向对象的Petri网（HOOPN）,给出HOOPN的形式化描述,分析了HOOPN对事故推演建模的支持能力,介绍了基于HOOPN的事故推演建模程序。最后利用HOOPN建立民用航空器盘旋进近过程的事故推演模型,并对模型进行定性分析,验证该方法的适用性。     

基于构型项的飞机研制建模技术

飞机制造业的业务过程是一个复杂的、动态的、数据量大的系统工程.如何建立简单完整的产品研制模型一直是业务过程优化(BPI,Business Process Improvement)中的难题.通过借鉴波音公司关于飞机构型管理和产品结构模块化的相关思想,强调构型管理技术在飞机研制的全生命周期过程中的重要性,明确构型项(CI,Configuration Item)准确的数学定义.依据构型管理简化产品的信息模型和Petri 网(PN,Petri Net)描述、优化产品过程模型的特点,将Petri 网理论与构型项结合起来保证全生命周期过程中飞机研制模型的一致性和完整性.提出CI-PN模型来描述整个飞机研制的信息和过程模型,并给出对翼盒研制过程模型描述、分析和优化的实例.      

功能可靠性仿真研究

研究了功能可靠性仿真技术的需求背景,总结了近年来它的发展现状和各研究方向主要特点,分析了功能可靠性仿真的几个主要关键技术。提出了用于性能与可靠性综合建模及分析的新的表达法ＦｒａＮｅｔｓ,并通过案例验证了ＦｒａＮｅｔｓ在完成系统性能和可靠性分析中的能力。     

随机神经网络在机动多目标跟踪中的应用

研究密集多回波环境下的机动多目标跟踪问题。通过对多目标联合概率数据关联方法性能特征的分析,将其归结为一类约束组合优化问题。在此基础上,利用随机神经网络求解组合优化问题的策略,采用改进的增益退火算法,提出了一种新颖的机动多目标快速自适应神经网络跟踪方法。仿真结果表明,该方法不仅具有很高的收敛速度和跟踪精度,而且计算量小,关联效果好。     

疲劳实验曲线拟合的神经网络方法

通过构造反向传播神经网络,对疲劳实验曲线进行学习,实现由神经网络表示的多维函数逼近。此种学习是一个慢速过程,但由这一逼近预测得出疲劳曲线则是一个快速过程。拟合结果表明,这一方法十分有效、稳定,便于使用。     

基于逻辑神经网络的图象处理方法

阐述了基于逻辑神经网络的图象平滑、压缩编码方法。这些方法的基本思想是：以逻辑神经网络为窗口,选择对某种图象变换敏感的模式训练窗口。当窗口对图象扫描时,窗口在图象的各位置输出响应,通过对这些响应的简单运算,实现所希望的处理。除了理论分析外,文中还给出了各种方法的典型试验结果。     

基于赋时可重构Petri网的可重构制造系统建模

系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。     

航空独立电源系统保护控制行为混杂模型

为了准确描述独立电源系统保护离散事件与连续控制相互作用的混杂行为,提出一种对象混杂Petri网(OHPN)建模方法,构建了基于OHPN航空独立电源保护控制行为的混杂模型。该模型将混杂Petri网的混杂特性描述内置于对象之中,解决了传统混杂Petri网不能同时描述静态结构和动态过程的问题,增强了模型描述能力,使模型具有良好的封装性、可重用性和可维护性。最后,对某型航空交流电源系统的保护控制过程进行了仿真和验证。结果表明,所定义的模型能够有效描述和分析电源系统保护控制的混杂行为,为系统稳定性和故障预测的研究奠定基础。