HLA在炼钢流程仿真中的应用

针对炼钢生产的复杂过程,提出了利用分布交互仿真高层体系结构HLA模拟炼钢流程.介绍了基于HLA的炼钢流程仿真的结构性解决方案、交互设计、联邦实现及仿真应用.解决了炼钢流程仿真系统的场景建立、维护,各子系统之间信息交互、时间同步等问题,同时使系统具有良好的通用性和可扩展性,并提供了对不同仿真应用的支持.     

基于SCPN的机场航班进离港流程建模与仿真

通过对航班进离港流程的分析,拟建立一种基于随机着色Petri网的机场航班进离港流程模型,设置其库所和变迁颜色集合得到航班的复合颜色,并赋予变迁不同的随机时间延迟函数,使模型更符合实际运行特点.在此模型基础上,以航班为仿真对象,在ServiceModel平台上实现了浦东国际机场航班进离港流程仿真系统.最后进行了大量的仿真试验,仿真结果较真实地再现了机场的实际运行情况,得出了航班进离港流程中的实际到达时间、跑道小时容量、停机位利用情况等关键指标,对于机场飞行区的规划设计以及其日常运行有重要参考价值.     

YAWL与BPMN的双向映射研究

对高级建模语言YAWL及BPMN进行了研究.提出BPMN与YAWL语言之间的双向映射算法.转换可使得建模时对不同高级语言各取所长,减少重复开发的费用.算法的最终实现已以插件嵌入到进程挖掘开发平台ProM6.0中.     

基于仿真的设备检修流程优化

针对设备维护的流程优化问题,建立了设备检修的广义随机Petri网流程模型,在Artifex工具平台上实现了设备检修流程的长周期真实模拟,依据仿真结果完成了某石化企业2#聚合装置检修方案的可靠性评估和检修流程优化,企业的具体检修实践验证了检修方案的可靠性和有效性.     

基于AI的BPR技术在证券风险管理动态联盟建模中的应用

多方合作的动态联盟中,实现基本业务流程与战略目标的一致性一直是BPR要解决的关键问题.一种新的基于AI的面向目标(GO)的过程建模方法--i*模型(如Tropos)将有助于突破传统BPR建模技术的局限.研究了基于人工智能方法的i*模型的基本构成-战略依赖(SD)模型与战略推理(SR)模型,及其在动态联盟中的企业BPR建模流程;并将其应用于证券业风险管理建模领域.研究发现,这种基于AI的BPR新技术可以描述多代理人或行为人之间的目标关系和意图,通过采用知识推理机制,实现了对象实体向目标和社会实体的延伸,解决了多目标实体间动态联盟过程中企业战略意图与业务流程衍生风险管理相结合的难题.     

基于多核平台的乐观并行离散事件仿真

计算机处理器的发展已进入多核时代,为并行离散事件仿真的推广提供了良好的契机。分析了离散事件仿真多核并行化的并行编程模型及时间同步问题,采用乐观同步协议设计实现了一个基于多核平台的并行离散事件仿真引擎。在具有8个执行核的惠普多核服务器上,使用Phold模型系统地测试了并行仿真引擎的各项开销以及事件粒度、进程数目、前瞻量、事件的本地性对仿真性能的影响。实验结果表明,对于事件粒度较大的仿真应用,基于多核平台的乐观并行离散事件仿真能获得良好的加速比。     

面向复杂问题的贝叶斯网建模方法

面向复杂问题的贝叶斯网的建模是一项系统工程,必须遵循一定的流程和方法。建立了面向复杂问题的贝叶斯网建模流程,分为问题分析,模型设计与模型测试三个阶段。阐述了每个阶段所应完成的任务和解决方法,并在模型设计阶段,提出了将专家知识和数据融合的贝叶斯网构造方案。最后总结了建模过程中的简化原则。     

基于Agent的协同虚拟试验流程管理技术研究

针对分布式虚拟试验流程管理的应用背景,分析了虚拟试验流程的层次划分,结合相关的工作流规范和Agent规范提出了基于Agent的协同流程管理系统框架,包括流程系统与Agent系统之间的映射关系以及多Agent的功能定义等内容;进一步的,阐述了实现框架所涉及的若干关键技术,重点包括基于本体的流程ACL、基于＂块结构＂的流程定义和基于功能Agent的流程引擎等;最后给出了原型系统实例和下一步工作。     

磨矿流程优化控制的分布式仿真平台

磨矿工业流程具有多变量、强非线性、大时滞、时变性等综合复杂性及多个生产设备因矿浆而相互关联的复杂性,为进行其优化控制实验,开发了由优化计算机与监控计算机、ControlLogix控制器,虚拟执行与检测设备,以及虚拟磨矿过程对象组成的磨矿流程优化控制分布式半实物仿真平台.虚拟对象的仿真软件是基于磨矿分级过程动态模型,以便于实现动态优化控制.该平台可为研究磨矿流程先进控制技术以及产品粒度、能耗等生产指标的优化控制方法的研究提供便捷、可靠、直观的工程化验证环境.     

基于实物增强的交互式下颌运动可视化

利用计算机图形学技术实现交互式下颌运动仿真与可视化具有重要意义.针对传统交互界面的缺点,基于视觉跟踪技术利用牙齿实物模型和标记卡片实现了一种实物增强的三维交互界面,将多种交互任务与交互技术无缝融合在一起,物理空间和数字空间实现同步一致性.实验评估表明,这种交互方式能够让用户更有效地利用已有技能,以自然、直观的方式与虚拟对象进行交互.     

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

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

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

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

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

大型装置双缸同步起竖系统建模与仿真

运用现代多体系统动力学理论,针对双液压缸并列驱动的大型装置起竖系统,建立了含间隙起竖多刚体系统的动力学模型。基于该模型,分析了起竖过程的同步控制问题,提出了基于分流集流阀的开环控制方案和基于电液比例换向阀的闭环控制方案,对两种方案的控制效果进行了仿真分析。仿真结果表明,基于电液比例技术的闭环同步控制方案具有适应性好、控制精度高的特点,可以满足快速起竖过程中同步控制的要求。     

一种路由器形式化测试模型的研究

研究了基于进程代数的并行复合测试技术，其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析，而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。     

Linear generalized synchronization of chaotic systems with uncertain parameters

A more general form of projective synchronization,so called linear generalized synchronization(LGS)is proposed,which includes the generalized projective synchronization(GPS)and the hybrid projective synchronization(HPS)as its special cases.Based on the adaptive technique and Lyapunov stability theory,a general method for achieving the LGS between two chaotic or hyperchaotic systems with uncertain parameters in any scaling matrix is presented.Some numerical simulations are provided to show the effectiveness and feasibility of the proposed synchronization method.     

基于微型核的双星编队实时仿真系统

为了测试微型核的实时软/硬件性能,利用两个微型核原理样机及dSAPCE实时仿真器构建了双星编队实时仿真验证系统。在实时系统构建的过程中,分别解决了两个微型核之间的时间同步、dSAPCE与微型核原理样机CAN总线双向数据转换以及dSAPCE实时串口数据如何驱动STK场景实时动画显示等问题。利用建立的实时仿真系统,进行了双星编队姿态协同控制算法仿真,仿真结果表明基于微型核的双星编队实时仿真验证系统的软/硬件的正确性。     

Linear generalized synchronization of chaotic systems with uncertain parameters

A more general form of projective synchronization, so called linear generalized synchronization （LGS） is proposed, which includes the generalized projective synchronization （GPS） and the hybrid projective synchronization （HPS） as its special cases, Based on the adaptive technique and Lyapunov stability theory, a general method for achieving the LGS between two chaotic or hyperehaotic systems with uncertain parameters in any scaling matrix is presented. Some numerical simulations are provided to show the effectiveness and feasibility of the proposed synchronization method.     

基于WTK的灌装线主机运动建模

在基于WTK虚拟仿真平台的灌装生产线虚拟环境中，提出一种新的主机运动学模型的建模方法，即利用对等模型和辅助节点。结合卸箱机的运动建模说明其原理。这一方法可简化场景结构，减少节点任务数量，提高机构运动的同步性，并且简单直观，易于理解和实现。     

基于诺西肽分批发酵的过程建模

诺西肽是一种含硫多肽类抗生素，该抗生素能明显促进动物生长，而且在动物体内无残留，是一种优良的非吸收型饲料添加剂。以分批发酵工艺过程为对象，研究了基质浓度、押制物及菌体自身浓度对菌体生长的影响，建立了诺西肽的菌体生长模型、基质消耗模型、产物生成模型，以及溶解氧与操作变量（搅拌转速和通气量）的关联模型．在所建模型基础上，对诺西肽的分批发酵过程进行了仿真研究，仿真结果与实验结果基本一致。