基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

基于IDEFO模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

基于Petri网统一模型的系统开发方法研究

为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

基于IDEF3 的业务过程仿真模型的存储与获取

模型的集成和重用是提高仿真建模效率的有效方法,而模型的存储和获取是实现模型集成和重用的关键技术.在研究基于IDEF3的业务过程仿真建模的基础上,分析设计了相应的数据库概念模型,实现了仿真模型在关系数据库中的存储及与描述模型在数据上的共享和集成.然后,重点研究了如何通过结构化参数化的查询从模型库中获取用户想要的特定仿真模型,提出了综合考虑模型基本元素、基本模块、基本属性和整体结构的计算仿真模型相似性的算法,并开发了相应的支持软件工具.     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.     

基于Petri网的企业过程模型的BPEL实现

为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

一种新的Petri网模型建立方法

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。     

基于Petri网模型检验的安全关键软件需求验证

需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用“非”虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。     

基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

基于Petri网的维修保障系统建设方案研究

根据装备的使用要求和设计特性,建立了基于Petri网的装备维修过程模型,通过对该模型的分析,提出了Petri网的优先触发规则,并按照此规则规划了与装备使用要求相对应的维修保障系统建设方案.     

基于蒙特·卡罗方法的可靠性仿真过程模型研究

针对传统可靠性仿真过程缺乏准确度以及仿真结果缺乏可信度等问题,通过嵌入验证模块和反馈模块,给出了改进的可靠性仿真过程模型。深入分析了改进后的仿真过程模型的具体步骤,随后基于蒙特.卡罗方法设计并实现了相应的可靠性仿真算法。最后,应用Matlab软件进行了仿真实验分析。实验结果表明,改进后的过程模型能够显著提高可靠性仿真的效率和精度,对于系统可靠性分析具有良好的指导意义和实用价值。     

利用子区域特征进行自适应目标跟踪

提出了一种基于目标区域分割的自适应运动目标跟踪算法。该算法通过K-均值聚类,将目标分割为多个子区域,根据子区域颜色特征及其分布提出了一种新的目标模型,并给出模型相似性测度准则,从而将目标模型更新问题简化为区域特征的更新,提高了模型的稳定性。同时在跟踪过程中,利用相似性测度检测目标遮挡程度,根据遮挡程度自适应地调整卡尔曼滤波器的参数和模型更新过程,提高了在遮挡情况下算法的鲁棒性。分析和实验表明,新算法能够在真实场景中准确、实时地跟踪目标,是一种有效的视频目标跟踪算法。     

基于对象Petri网的军事信息服务组合与验证方法

在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处。为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例,对该方法进行了实例分析。结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力。     

视频图像中运动目标的实时检测

提出了一种运动目标检测与跟踪算法。以每点色彩信息的混合高斯模型来实现对视频图像的背景估计,从而实现对运动目标的检测。利用模板匹配的方法实现对运动目标的跟踪,并对混合高斯模型的算法进行了改进,使其能更快、更有效地适应环境的变化。实验结果表明此方法具有较强的鲁棒性,能较好地适应各种气候和光照环境的变化。     

知识网络的结构及过程模型

针对知识网络同时具有的小世界结构和无标度连接度分布特征, 构造了知识网络特定结构形成的过程模型. 新知识创造立足于一定的知识基础, 而这个基础内部的知识点之间通常是强相关的; 模型首先在知识增长网络中择优选择并连接定位节点, 以确定知识的主要理论来源, 然后在定位节点的邻居节点中随机选择节点并进行连接, 反应知识的内聚性和知识创造者的领域限制, 过程模型最终形成兼具前述两种结构特征的知识网络; 实际数据统计和仿真实验验证了模型的有效性.     

BIT分析的三态马尔可夫模型

BIT虚警率高阻碍了BIT效能的充分发挥和更广泛、更深入的应用,如何在故障检测率一定的条件下,降低虚警率将成为一个亟待解决的问题。通过将系统状态划分为正常、间歇和故障三种状态,建立了三态马尔可夫模型。分析了三态模型的合理性、与两态(正常状态、故障状态)模型的关系,并对两者进行了对比。理论分析表明,基于三态模型的BIT与基于两态模型的BIT系统相比,其能力与性能得到了提高,在提高故障检测率的同时,还可以降低虚警率。