基于面向对象Petri网的BPM系统建模

为满足业务流程管理(BPM)系统在面对外界变化时对流程可变性的需求,提出了基于规则库的支持流程运行可变的BPM系统架构.利用面向对象Petri网(OOPN)建立了该BPM架构的OOPN模型,其中库所中的托肯表示各个规则库和流程.通过CPN Tools对该模型进行了仿真.使用创建过程得到具体系统模型,利用状态空间分析法给出了此模型的活性、各个库所有界性的分析报告.采用监控工具得出了主要库所的托肯流动分析报告.最后利用Gnuplot对此报告数据分析显示系统满足稳定性要求.仿真分析结果表明,此模型简单直观地表现出系统的运行过程,真实地反映了各个规则库在系统运行过程中的存取比例,为企业构建BPM系统提供了参考.     

云环境下以Artifact为中心的业务过程管理

针对云环境下BPM(业务过程管理)存在的数据管理问题,提出了一种以Artifact为中心的云环境业务过程管理方法.首先研究了Artifact业务过程模型,具体介绍了Artifact定义、活动定义和业务规则定义;然后针对该模型提出了云环境下的执行系统,研究了该系统的运行和监控机制;最后以一个购物流程为实例,验证了以Artifact为中心的BPM的可用性和灵活性,结果证明该方法能够有效地管理流程控制数据,满足云环境下BPM的需求.     

基于混合遗传算法的两流薄板坯连铸连轧流程生产调度系统

首先建立了两流薄板坯连铸连轧流程生产调度规则库.然后根据该生产流程的特点,提出了遗传算法新的编码、交叉、变异操作及改良的概念,并在遗传算法的初始种群建立和改良过程中引入调度规则.在此基础上,利用调度规则和遗传算法相结合的混合遗传算法建立了两流薄板坯连铸连轧流程生产调度系统.该调度系统可以较好地解决两流薄板坯连铸连轧流程的动态调度问题,进一步优化生产组织.     

事件驱动的面向服务作战仿真集成平台架构

分析了现代大型作战仿真系统所面临的仿真模型的重用和互操作、仿真应用的快速灵活构造、可扩展性等3个方面的问题,基于面向服务架构(SOA)和事件驱动架构(EDA)的思想,设计了事件驱动的面向服务作战仿真集成平台架构,分析了面向服务的作战仿真运行流程和事件驱动的作战仿真执行机制,并分析了架构的特性.提出的仿真集成平台架构能够满足大型作战仿真应用架构的需求.     

基于规则的数据校验在数据库应用系统中的实现

本文给出了一种规则库的概念来扩充数据库应用系统的校验的功能,使系统能够对规则进行动态读取和分析,并根据分析结果对输入数据进行动态校验.本文介绍了数据库报表系统中的校验模型,并运用一种规则库执行流图REBF描述了规则库图模型,之后论述了该系统中具体的规则库的建立及规则表结构,并通过对推理过程的不确定性的分析,证明了规则的有效性,最后给出了基于规则的动态分析及推理过程.     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．     

SOA架构下基于BPM的产品批发业务集成平台研究与设计

本文研究利用了SOA架构和BPM技术,针对主营商品批发业务企业的实际需求,提出SOA架构下基于BPM的产品批发业务集成平台的设计框架,阐述了该体系下各层服务,介绍了系统平台的主要功能模块,以一个模块举例说明了实现过程。     

船舶总体装配制造物流仿真系统

针对船舶总体装配制造物流仿真的功能需求,提出了船舶总体装配物流仿真系统总体解决方案,进行了总体架构的设计,完成了工程化仿真流程的制定和船舶总体装配物流仿真模型的建立.依托可视化仿真软件QUEST建立了仿真运行环境,进行了系统实现,最后通过在船舶总体装配建造中的应用,验证了仿真系统设计的合理性.     

基于性能分析的一种OOPN关联矩阵建立方法

目的从性能分析角度建立面向对象Petri网(OOPN,Object-Oriented Petri Nets)关联矩阵。方法通过建立OOPN中可量化的基本元素包括:资源、弧的权重等的数量化模型以及双向弧、同步通道等的性能等价模型,从而得到OOPN的数量化模型。结果基于数量化模型完成了OOPN关联矩阵的建立,以公路施工中的土方装载、运输、平整为例演示了该方法。结论利用该方法建立的OOPN关联矩阵能够对资源均衡配置等性能指标进行优化计算,对生产实践具有指导意义。     

永磁同步电机DTC控制系统的仿真研究

分析了永磁同步电机的数学模型,在此基础上,利用MATLAB所提供的电气系统模块库构造一个永磁同步电机直接转矩控制系统的仿真模型,并对该系统的相关子模块进行了简单介绍,仿真结果验证了该模型具有较好的控制效果,同时易于实现。     

基于规则库的航路飞行冲突探测与解脱

通过对国内某航路管制单位的冲突探测与解脱数据收集和数据分析,形成贴合实际运行的航路管制规则库,采用基于BADA(Base of Aircraft data,一种由欧洲空管开发维护并应用比较成熟的飞行性能模型)的轨迹生成算法,通过实地调研和数据收集,结合实际管制运行中的航路冲突标准,建立双机基于管制规则库和决策树的航路冲突探测与解脱模型.选取国内A593航路,使用JAVA语言完成了仿真系统开发,并导入飞行计划数据实现了实例验证.最终的仿真结果表明模型成功解脱常见航路冲突,保证了与实际航路管制运行的一致性.     

基于自适应模型遴选规则库的组合预测系统初探

首次提出基于自适应模型连选规则库的组合预测系统的研发原理,探讨组合预测模型遴选规则库的建立方式,提出规则适应性的自适应调节机制原理,构建基于自适应模型遴选规则库的组合预测系统的基本架构.系统可将预测的经验信息与预测的定量方法紧密而有效地结合起来,为提高预测水平和预测系统的研究提供了新的思路.     

面向对象Petri网技术在系统建模中的应用

面向对象Petri网将面向对象技术与Petri网相结合,利用对象的封装及继承等特性,降低了所建立系统模型的结构复杂性,增强了其可重用性和可剪裁性.系统的面向对象Petri网模型(OOPN)由对象模型(OPN)及对象联系模型(OCN)组成,前者描述对象内部的状态变化细节及与外部联系的接口,后者描述系统中各对象间的联系.分析了面向对象Petri网技术在各种复杂系统建模问题中的应用,并以电梯群控系统的建模为例,从电梯群控调度的角度,详细给出了OOPN模型的构建.     

柔性工作流模型的研究与应用

随着企业竞争的加剧和政府对提高工作效率的迫切需要,工作流的柔性问题成为研究的热点。本文以WFMC过程定义元模型为基础,综合考虑各种动态的需求以及流程中的可变因素,通过引入规则库系统,对工作流元模型进行了扩展,提出了一种基于规则库实现柔性工作流模型的方法。     

一种基于模糊C均值聚类的模糊规则提取方法

提出了一种基于模糊C均值聚类的模糊规则提取方法，给出了模糊系统的模糊规则库，基于此规则库，构造了一种新颖的分类算法，利用IRIS数据进行了测试，仿真结果表明，分类效果好，由此说明所提出的模糊规则生成方法有效。     

支持企业过程协同工作的过程监控方法

从监控角度出发研究并设计企业过程协同模型,支持企业过程协同运作.该模型将传统的以过程为核心的企业集成化模型中的协同模型扩展为企业决策模型、交互模型、协同行为控制规则、协同资源等价关系和过程监控模型.讨论了该模型所增加的过程监控模型,包括从模型到系统映射的关键技术,如扩展的协同模型中的监控对象、监控事件等概念与监控模型的一阶逻辑推理机制、事件处理机制等技术.同时,还设计了一个适合该模型的事件驱动的体系架构,通过实现原型验证了该监控方法的有效性.实验效果表明,该模型与方法能够很好地支持企业过程协同与运作.     

基于T-S型模糊系统的复杂系统镇定控制器

针对局部可用非线性系统描述的复杂系统问题,基于T-S(Takageno-Sugeno)模糊模型,给出了一种设计非线性镇定控制器的方法.该方法所依赖的稳定性假定只涉及其中一个特定的模糊子系统和隶属函数的选取,而模糊规则库中的隶属函数可以依照一个明确的方向选择,所得到的非线性控制器依赖于隶属函数的选取,保证了全局模糊逻辑系统渐近稳定.通过仿真验证了该非线性控制器的有效性.     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

基于BPEL描述的移动工作流的协同机制与实现

针对基于面向服务架构的移动信息服务平台,研究了移动工作流的结构模型,分析了流程设计中的Web服务接口及其消息驱动的协同机制.移动工作流主要依赖SMS和MMS协议发起同外部进行通信和服务调用.当用户发起某一事项申请时,工作流引擎实例化流程,按照每一个活动中协同规则调用服务来完成该活动的任务.由于流程节点之间的流转体现出多种协同关系,在进行逻辑规则和时间规则分类的基础上,提出了基于业务流程执行语言BPEL协同规则的描述方法.以申请开放实验项目协同流程为例,涉及多种人员角色,利用移动短消息的模式驱动流程的流转,利用基于BPEL描述的服务协同规则进行了实现,取得了良好的效果.表明所提出的方法有利于简化移动服务平台的系统集成,缩短系统设计周期.