基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

一种基于Petri网的虚拟维修过程建模方法

在虚拟维修领域,一般采用Petri网进行维修过程建模,存在建模方法复杂、理解困难,无法描述维修工作中复杂的行为关系等问题。因此根据维修资源属性和维修过程的特点,提出了一种实用的建模方法,首先将资源分为可变资源与不可变资源,提出了元模型融合的定义,给出了资源共享元模型和操作过程元模型,同时根据过程模型的拓扑特征,提出了广义状态机的概念,在分析模型结构的基础上,提出了基于广义状态机的子网合并。结合实际维修给出了模型实例,并验证了模型的正确性。     

虚拟维修拆卸序列智能规划研究

提出了基于虚拟拆卸Petri网的虚拟维修拆卸过程模型和基于混沌遗传算法的虚拟维修拆卸序列规划算法,解决了如何对虚拟维修拆卸序列进行智能规划的问题.基于拆卸优先矩阵和Petri网,提出了一种虚拟维修拆卸过程模型建立方法,研究了模型生成算法,运用多粒度可达图计算方法分析了可行拆卸序列,建立了拆卸序列规划目标函数,在改进遗传算法的基础上,提出了一种混沌遗传算法,该算法以遗传算法为主流程,利用混沌现象不重复遍历的特点优化生成初始种群,然后对每次迭代中的个体以一定的概率进行混沌优化,解决了虚拟维修拆卸序列规划效率不高的问题.经验证,虚拟维修拆卸过程模型和采用的混沌遗传算法能够有效解决虚拟维修拆卸序列智能优化的问题.     

基于Project的虚拟维修拆装过程建模

分析虚拟维修拆装过程描述的复杂性,提出利用项目管理软件Microsoft Project建立维修拆装过程模型的方法。建立的过程模型主要包括:拆装结构模型、拆装资源模型和拆装运动模型。其中,利用了Project中WBS层次管理、设定任务优先级及任务链接等功能建立基于层次关系和关联关系的拆装结构模型;构造用于表现螺旋运动、直线运动和空间运动的三个描述公式,建立拆装运动模型。最后以某型坦克起动电机的拆卸为实例,说明建立的模型能很好地应用于维修拆装过程的描述,并且具有直观性。     

虚拟维修样机中的刚体部件物理属性建模方法与实现

为了建立逼真的带有物理属性的虚拟维修样机模型,采用对刚体部件物理属性的建模方法,对虚拟维修样机的刚体部件进行了建模.给出了建立刚体部件物理属性模型的框架,定义了时间、空间和质量三个物理学中最基本的物理概念,从模型几何数据的获取,物理属性模型的算法实现和仿真流程给出了建立虚拟维修样机物理属性模型的具体仿真过程,并把此方法应用于某大型设备虚拟维修样机模型中刚体部件模型的建立.通过虚拟维修训练仿真过程可以看出,对刚体部件物理属性模型虚拟维修训练具有更强的逼真度和沉浸感,具有通用性.     

基于变量关系分析的建模过程及雷达建模

针对不同目的的模型中可能具有不同变量关系的问题,提出基于变量关系分析的建模过程,在该过程中,首先阐述变量的属性集合,其次判断变量间的相互关系,然后推导出模型中期望的因变量的组成关系,这些关系将是构建模型的理论基础。利用基于变量分析的建模过程,分别对雷达分析与设计、雷达电子战仿真系统中雷达功能模型的变量关系进行了分析,得出与应用需求相适应的不同功能模型,并模型对比的结果表明模型中的变量分析能够避免应用中一些特定的错误。     

模具设计过程的重组建模研究

将模具设计活动间的结构特征用设计结构矩阵表示;应用图论的有关知识,提出了模个设计过程中耦合活动识别的算法,并进一步划分了模具设计中各活动的级别,经过活动重组和过程优化,最后给出了能体现并行设计特点的冲模设计过程结构化模型。     

虚拟企业业务过程协同建模和在线优化方法研究

提出基于Internet/Intranet的敏捷虚拟企业业务过程协同建模、在线数据采集与分析、过程动态优化方法。在工作流和CSCW管理集成平台上，构建业务过程建模、管理、分析与优化这一闭环系统，实现过程的在线优化，支持虚拟企业业务过程不断改进，适应动态企业内外环境的变化，为敏捷制造在企业的成功应用提供先进的方法和工具。     

基于关节的虚拟场景建模及仿真方法

针对虚拟现实技术中场景生成及仿真问题提出了一种基于关节的虚拟场景建模及仿真方法。该方法将场景中实体的位置状态及其基元间的连接关系用统一的关节描述,通过建立场景连接图表述场景结构,在场景更新过程中采用关节驱动基元的方式。在此基础上,我们开发了通用的虚拟场景可视化软件平台,测试证明提出的方法可以有效地提高场景建模及仿真处理的效率。     

基于Petri网的工艺路线优化建模技术

主要探讨计算机集成系统环境下产品开发中工艺路线的优化问题,在Petri工艺网的基础上引入机床、夹具、刀具等工装的子网对工艺规程进行建模,并对仿真模型的初始、终结状态给出明确定义,使得Petri网仿真模型评估工艺路线更为准确。通过分析网络的可及图,按加工成本对工艺路线进行了优化安排。由于对加工过程建立了数学模型,故其解算可以很方便,可靠。这种分层建模的方法使得工艺决策的每一个阶段都能采用更适合的模型和分析方法,降低了系统实现的难度。     

基于混合ANN-Petri网的过程控制建模

针对混有离散事件的连续化工过程,提出了基于混合ANN-Petri网的控制建模方法.采用神经网络与Petri网的有效结合,较好地描述了化工过程连续和离散的混杂特性,并以某化工蒸发过程为例,进行了详细的讨论和分析,建立了混杂过程的控制模型,并且给出了仿真结果.     

基于Petri网的产品设计过程工作流结构化建模与仿真

产品设计过程的工作流管理是产品设计的核心管理过程,直接影响着项目的开发周期和整体效益.为实现对产品设计过程工作流动态性和不确定性的管理与控制,在研究工作流结构化建模相关问题的基础上,提出基于Petri网的产品设计过程工作流结构化建模方法,定义了基于Petri网结构化建模的七种基本结构模块,确定了顺序、重叠、迭代、耦合、分支和连接模式为工作流结构化建模核心模式.以某办公楼的设备详细设计过程为例,进行工作流结构化建模和仿真分析,验证基于Petri网的产品设计过程工作流结构化建模方法的正确性和有效性.     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

面向对象Petri网离散制造系统生产调度建模研究

将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交货期的成本最低原则作为调度目标,运用最优化方法进行目标优化.通过对FMS的建模及目标优化,证明利用该方法建模能准确反映生产调度的加工路径及其资源约束,将复杂系统高度抽象,模型易于扩展.     

基于Petri网的虚拟人行走动作建模及其仿真实现

提出了一种基于位置／变迁Petri网结构的虚拟人行走动作模型。该模型首先根据人体特征和运动特征计算行走的时间和空间特征参数，进而根据实验数据，通过插值计算生成具体的人体运动，仿真模型框架是基于Petri网实现的，并以面向对象的方法封装了包括行走和爬行等周期性的行走动作。最后，设计并实现了一个仿真演示实例，结果验证了所提方法的可行性与有效性。     

基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。