面向产品开发活动的细胞交互模型研究

为实现产品开发活动交互的自主性和多样性,更好地支持产品开发过程管理与优化,在对细胞的交互机理、物质能量及信息的输入输出渠道研究的基础上,基于Petri网构建了面向产品开发的细胞交互元模型,给出了模型的定义及变迁规则.以汽车油泵单向阀测试装置开发过程为实例,验证了建模方法的有效性.     

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

基于CPN的飞机驾驶操纵过程建模及工效分析

驾驶舱人机界面的设计直接关系到飞行员在飞行任务中的操纵表现和飞行安全.分析了飞机驾驶操纵过程中的人机交互特性,基于着色Petri网构建了飞机操纵过程模型并给出了模型的公理化定义.提出了任务可达性,飞行员认知负荷和基于熵值的操纵程序复杂性评估方法,能够实现在驾驶舱设计初期对飞行员认知负荷与操纵过程的分析.结合某型飞机的起飞中断过程给出了操纵过程建模与工效分析实例,表明模型与方法的有效性.     

基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用

传统学习型Petri网(LPN)有2个缺陷:1)都是针对无回路PN模型,这不符合实际情况;2)大部分都是利用BP算法进行学习,带来BP算法固有的缺陷.针对这2个缺陷,提出基于克隆选择算法(CSA)的LPN(CSALPN).首先对系统进行PN建模,然后利用CSA训练PN,使得PN既可以学习先验知识又可以利用系统的结构信息...     

基于Petri网的飞机交流发电机故障诊断系统研究

针对目前飞机交流发电机故障诊断专家系统存在的知识表示复杂、诊断速度慢等问题,基于故障Petri网方法来进行知识表达,以快速准确对故障进行诊断,首先利用故障Petri网来建立飞机交流发电机的故障诊断模型,然后采用关联矩阵和状态方程的推理算法进行故障诊断推理,提高了推理速度,易于编程实现。最后通过实例分析验证了该方法的可行性和有效性。     

一种新的并行测试任务调度算法

 并行测试的任务优化调度是并行测试技术的核心问题。为了解决现有调度方法耗时、实际应用范围有限以及缺少对资源冲突和系统死锁的形式化分析等问题,采用赋时有色Petri网(TCPN)建立并行测试任务调度的TCPN模型,基于TCPN模型的可达标识图利用改进蚁群算法求解最优任务调度序列。算法搜索过程中,采用多目标优化,目标函数综合了测试时间、仪器成本和负载平衡度,使得算法更符合工程应用。采用动态标注方法在搜索过程中加大可行解间的信息素差别,避免算法早熟。仿真实例证明该算法是有效的。     

高空模拟试验应急管理的Petri网建模及应用

针对我国高空模拟试验的应急管理,构建了一个应急管理工作流策略,并对这个策略进行了Petri网建模.这个模型主要包括应急停车程序和紧急停车程序.应急停车程序以保证被试发动机与试验设备的安全、同时兼顾快速停车为目标,所以主要由一些串行处理环节组成;而紧急停车程序则以快速停车为目标,所以以并行处理环节为主.模型的分析表明:模型具有可达性、合理性、自由选择性、良构性和S可覆盖性.根据这个模型,对某发动机在高空模拟试验时的应急管理进行了演练,获得了完成各个变迁需要的响应时间.分析这些时间数据,找到了在紧急停车程序的应急管理操作中影响整体应急响应时间的关键环节.同时发现,在应急停车程序中,可以根据应急事件的分级在保证发动机和试验设备的安全与应急响应时间之间找到一个折中,最大化应急管理的效果.应急程序的修改和应急培训有效地减少了关键环节的应急响应时间.     

飞机定检周期变化对维修保障效能影响的仿真研究

飞机定检周期与维修保障效能有着直接而紧密的联系,定检周期的变化会促使内场维修保障产生相应的改变。本文利用Petri net建模技术,构建了维修保障模型,仿真分析定检周期变化对维修保障效能的影响。仿真结果表明:定检周期的延长显著提升了各专业内场维修保障活动的效率及反应能力,缓解了内场维修调度的压力,也为缩减内场编制创造了条件。     

双并联前向神经网络及其在飞行故障检测仿真研究中的应用

首次把飞行故障检测视为一个非线性数据分类问题,从而可望借助人工神经网络来处理。为了克服ＭＬＦＮＮ在数据分类中存在的学习慢与分类精度低,发展了由ＭＬＦＮＮ和ＳＬＦＮＮ并联并可接收编码输入的ＤＰＦＮＮ模型,还将训练ＭＬＰ的有关算法推广到ＤＰＦＮＮ情形。用计算机仿真了若干飞行故障模式并用于测试ＤＰＦＮＮ。