基于活动网络图工作流过程模型的设计

根据工作流管理联盟(WFMC)制定的过程定义元模型和基于XML的过程定义语言(XPDL)规范,论文设计了一个独立通用的基于活动网络图工作流过程模型,它可以输出一个标准通用的过程定义,该过程定义能被不同的工作流运行系统解释与执行。     

基于Web的工作流过程定义模型的研究与实现

针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型.该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XPDL规范,并能被不同的工作流运行系统解释执行.最后通过具体的实例说明了该模型在实际流程中的有效运用.     

雷达仿真模型设计与实现

针对作战仿真和战争类游戏开发,从雷达的功能入手,建立其数学模型并采用C++语言编程实现.通过仿真案例应用表明,该模型具有形式简洁、计算速度快、可信度高等特点.     

基于P—PROCE模型的工作流仿真研究

1.引言工作流管理技术经过近十年左右的发展,已经日益成熟并且渗透到各个应用领域。企业经营过程重组、并行工程等研究已经把工作流作为一种重要的使能技术来对待。它提供过程建模、模型分析和过程管理的功能。其中与模型分析相关的技术有静态校验和动态仿真。模型验证在图论和Petri网理论的基础上,已经进行了相当深入的研究,并开发出相对成熟的     

基于ATM的MPLS网络仿真模型设计与实现

利用计算机仿真分析MPLS网络的性能是深入研究MPLS技术的有效途径。该文通过分析基于ATM的MPLS技术,在借鉴OPNET仿真软件中MPLS模型的基础上,实现了基于ATM的标签交换路由器模型,构建了基于ATM的MPLS网络仿真模型。利用该仿真模型建立的MPLS仿真试验网络,数据传输性能明显优于非MPLS网络。该模型的开发对于MPLS网络的性能分析具有一定的意义。     

工作流仿真平台的设计与实现

讨论了工作流管理技术,提出了工作流仿真的概念,介绍了一种工作流系统仿真平台的设计与实现。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

OBS通用仿真模型的设计与实现

仿真是通信网络技术研究中一种非常有效的分析手段,但对于光突发交换（OBS）这种新型的光交换技术,目前还缺乏一种通用的仿真模型.该文在总结现有光突发交换技术的基础上,以OPNET Modeler为工具建立了一种通用的OBS仿真模型.提出了一种在不损失精度的条件下对OBS网络体系结构进行简化设计的方案,并根据仿真需要对OBS关键设备边缘节点和核心节点的逻辑结构进行了重新设计,同时为增加模型的灵活性,增设了数据源节点和初始化节点.目的是要建立一种灵活、易用、可扩展性强的通用OBS仿真模型.     

海鹰仿真模型转化为银河仿真模型的编程实现方法

海鹰仿真系统是基于Alpha计算机研制的实时仿真工作站,曾被广泛应用于航天仿真,但如今海鹰仿真系统正在被银河仿真系统等新型设备取代。本文旨在介绍一种将海鹰仿真模型自动转化为银河仿真模型的实现方法,以实现将海鹰仿真系统中的经典模型快速移植到银河仿真系统中。     

基于MATLAB的改进蒙特卡洛仿真气体模型实现

通过MATLAB仿真,对传统空碰撞蒙特卡洛模型进行改进,并以我国电力系统中广泛应用的SF6-CO2混合绝缘气体为例,验证改进模型的可行性和正确性。     

基于元模型的可重用仿真模型表示方法研究

仿真模型的组合与重用是当前复杂系统建模仿真领域的热点研究问题,统一的仿真模型表示方法与表示规范是实现模型重用的关键技术.模型表示在仿真研究中有着重要作用,可重用仿真模型对表示方法和表示规范有具体的需求,当前用于表示仿真模型的方法包括程序设计语言表示、仿真语言表示和通用建模语言表示三种,这三种仿真模型表示方法在满足可重用仿真模型表示需求方面均存在不足,为此文中提出了基于元模型的仿真模型表示方法,给出了元模型表示规范的设计策略.元模型表示方法较好地克服了现有方法存在的不足,可满足模型重用对模型表示的需求.     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。     

基于主动网络平台的VPN仿真建模设计与实现

基于传统的被动网络在发展过程中遇到的一些难以克服的问题,以及现在的网络体系结构经常导致网络拥塞的发生,该文通过仿真建模,提出将主动网络同VPN结合起来,把VPN建构在可按需要定制网络服务的主动网络上,将两者的优点集中在一起。仿真结果表明,该文的模型是有效的。实现主动VPN可以大大减少人们的工作量,增强了网络的利用率,而且也可以将计算机网络的发展推向”智能化”的方向。     

大气环境仿真中数据模型及数据库的设计与实现

大气环境对飞行器有着至关重要的影响,不仅影响着飞行器本身的飞行和作战性能,而且也影响着飞行器操纵人员的决策.所以,大气环境仿真是高逼真度飞行仿真器设计的一个的重要组成部分.该文基于数据场的概念建立了大气环境数据模型,然后根据这个大气环境数据模型设计了一个具有四叉树结构的大气环境数据库,很好地解决了多分辨率的问题.最后将大气环境数据库映射到SEDRIS表示.     

基于SNMP及构件组装技术的设备仿真模型

基于SNMP协议及构件组装技术,构建网络设备的仿真模型来反映真实设备的运行状况。运用SNMP协议可以获取或设置设备的运行状态,比如获取设备CPU、内存及电源的运行状态;运用构件组装技术可以把网络设备的构件组装成一个整体的可视化仿真模型。网络设备的构件包括引擎板构件、业务板构件、电源构件及风扇构件等,这些构件的运行依赖于SNMP协议。网络设备仿真模型的建立提高了网络管理人员的工作效率,网络管理人员对仿真模型的操作相当于对真实设备进行操作。     

基于云模型的业务管理网的设计与实现

为了解决面向业务网络管理中怎样快速提供满足用户需求的复杂新业务的问题,根据面向业务管理网（SMN）的概念和模型为基础,从业务复用的视点出发,针对整个业务生命周期建立了业务云模型,并设计了业务云发生器,可以方便快速地产生新业务。最后,给出并实现了一个基于业务云模型的SMN原型框架。     

一种AADL模型测试仿真引擎的设计与实现

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。