IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

基于OOA的信息化防空ATBM指挥控制仿真模型研究

在仿真逼近信息化防空ATBM（Anti-Tactical Ballistic Missile）作战指挥控制的概念模型和软件实现模型两个层面上，采用面向对象方法，探讨了信息化防空ATBM作战指挥控制对象模型和防空ATBM作战指挥控制对象类概念，提出了信息化防空ATBM指挥控制对象结构，研究了这些对象的属性、操作和交互作用关系，给出了信息化条件下防空ATBM作战指挥控制仿真的对象模型和对象分类结构。     

航天任务模型到规划模型转换的映射方法研究

卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强.通过提出转换规则,分析模型转换的源模型--基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型--规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法.针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建.最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性.     

基于MDA的仿真模型转换框架研究与实现

提出了一个基于模型驱动体系结构（MDA）的分布交互仿真模型转换框架（DSMTF）,设计了仿真模型的元模型、转换规则和转换框架的体系结构。该框架可以通过扩展转换规则库支持不同的仿真标准。以HLA/RTI为例研究了DSMTF中模型转换的方法和步骤,提出了HLA仿真元模型并据此定义了相应的规则库,实现了仿真模型的自动转换。该框架在一个复杂系统仿真应用开发中获得了成功的应用。     

HLA对象模型与面向对象模型概念的比较

对象模型是实现ＨＬＡ邦联成员间互操作性的基本方法和手段。ＨＬＡ对象模型支持邦联的规划,邦联执行过程中数据交换需求的定义,以及完成ＲＴＩ的初始化。ＨＬＡ对象模型模板为描述ＨＬＡ对象模型提供了标准化的方法。在ＨＬＡ中许多对象建模的基本概念与传统的面向对象的软件开发方法有相同之处,但相同的术语在意义上却有着显著的区别。这篇文章的目标是强调和明确二者在语义和概念上的不同之处,便于更好地理解ＨＬＡ对象模型     

面向对象的交互显示和拾取模型研究

针对三维CAD／CAM系统可视化交互部分的实现，深入研究了可视化关键技术－－三维形体在计算机屏幕上显示和拾取的具体运行机制，采用面向对象思想构建了各自不同的模型框架，能够清楚高效地实现交互显示、拾取过程，简化系统结构，使系统具有层次性，易于维护，在此基础上，对显示和拾取进一步进行封装，合二为一，建立了两者统一的可视化数据模型，模型结构清晰，在面向对象环境下容易实现，体现了软件良好的封装性和复用性。     

联邦对象模型与仿真对象模型开发过程建模

在基于高层体系结构(HLA)的分布仿真系统开发过程中,需要对仿真系统中的交互数据进行建模和抽象,以便生成FOM和SOM,保证联邦执行的正确运行。提出了综合开发联邦对象模型(FOM)和仿真对象模型(SOM)的七个步骤,并对各个步骤所完成的任务进行了详细的定义。这些步骤包括:对仿真任务中的实体和事件类型进行抽象和建模;分解仿真任务,确定联邦成员及其仿真的实体和事件类型;确定FOM中的对象类和交互类;生成SOM草案;综合SOM草案,生成FOM;确定FOM中的路由空间,生成正式的FOM;生成正式的SOM。     

基于模型转换的C4ISR体系结构可执行模型构建

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification, IDEAS）,构建了C4ISR体系结构作战视图元模型;建立了对象Petri网（object Petri-net, OPN）建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。     

智能决策支持系统中模型管理系统的面向对象程序设计

本文从面向对象方法的基本原理和面向对象程序设计的技术特征出发, 基于实际问题域概念建模, 确立和构成智能决策支持系统的模型对象体系及对象间相应的关联模式, 即消息类型。这种软件系统结构自然地把模型和有关该模型运作的知识封装成一个独立单元, 通过与问题匹配的消息启动, 使模型管理系统的实现与建模相一致, 并由此促进系统智能水平的提高。     

故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

城市交通仿真实验系统的面向对象开发

依据面向对象软件开发思想，首先对城市道路交通系统进行了实体分析，并由此确定了城市道路交通仿真系统的主要对象类，在此基础上进一步进行了对象建模工作，提出了反映对象类之间静态关系的静态对象模型以及反映仿真系统运转机制和控制结构的动态对象模型，最后，根据对象建模的结果进行了详细的对象设计，确定了各主要对象的属性和功能。     

面向客户关系管理的营销信息系统可视化建模

分析了面向客户关系管理的营销管理模式和适应客户化定制的营销BOM多视图间组织映射关系,以及营销BOM作为市场需求信息的载体向企业内部生产制造系统传递的机制。将IDEF方法与面向对象技术相结合,对营销系统进行可视化建模,利用IDEF0方法设计了营销系统的功能模型,明确营销系统的开发目标和功能;利用面向对象技术进行详细分析,将营销信息以对象形式封装起来,采用可视化统一建模语言(UML)建立了营销信息系统的实现模型,使系统有好的维护性、扩充性和重用性。     

CSCW系统中协同机制及协同活动模型

分析了当前计算机支持协同工作 (ComputerSupportedCooperativeWork ,CSCW)系统普遍存在的问题 ,首先定义了协同的基本概念和类型 ,并引入协同代理的新概念 ,研究了CSCW这样的人机结合系统中协同成员间的语义通信机制和信息共享机制。在此基础上 ,分离出协同活动中的独立信息实体 ,建立了面向对象的协同活动模型。最后 ,用协同活动模型分析了一个典型的协同工作的实例。     

高级体系结构（HLA）中面向对象方法学的研究

分析和论述了高级体系结构（ＨＬＡ）中采用的面向对象技术及其与传统面向对象方法学的异同。阐述了ＨＬＡ对象模型的开发过程,指出ＨＬＡ对象模型内容的标准化对于保证系统互操作和重用性的重要性。     

面向对象模型管理方法的研究及应用

针对传统模型管理中存在的缺陷,把目前在软件开发领域中运用非常成功的面向对象技术应用到模型管理中,提出了面向对象模型管理的基本框架结构,并以其在财务管理决策支持系统中的应用为研究背景,详细阐述了面向对象的模型管理方法．     

基于OODSE的工程施工索赔问题描述模型

本文提出了企业管理支持系统（ＥＭＳＳ）的概念，并建立了面向对象的决策支持实体（ＯＯＤＳＥ）的描述方法。最后，本文将该描述方法应用于工程施工索赔问题上，建立了基于ＯＯＤＳＥ的工程施工索赔问题描述模型。     

一种支持产品开发的数据仓库模型

当前的数据仓库系统主要采用雪花模型，但是它存在着存取效率低等优点，我们的数据仓库系统是依据市场的销售量情况，来支持产品开发决策，直接采用雪花模型将难以满足要求，本文在常用的雪花模型的基础上融入面向对象技术的一些思想，提出了一种对象和雪花模型混合的数据仓库模型，并用实验数据验证了该模型的高效存取能力。     

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

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

视景仿真联邦成员的基础对象模型开发

分析了分布交互仿真中视景仿真联邦成员的结构和开发流程,描述了接口规范。利用基础对象模型(Base Object Mode,BOM)技术开发了视景仿真联邦成员的对象模型,并以动态实体为例,详细说明了建立视景仿真联邦成员各个组成部分基础对象模型的开发方法。     

混合系统的面向对象仿真

提出了一种新的混合系统自动机模型。该模型把混合系统看作是由系统行为模式集、连续状态空间、外部输入集、演化函数集、转移函数集、外部输入函数集等组成的六元组,对混合系统的行为具有很强的描述能力。在此基础上,利用面向对象思想,把混合系统看作由实体对象、时序对象和界面对象组合而成的对象,建立了混合系统的面向对象仿真模型,并讨论了其仿真逻辑。这一模型为混合系统的仿真提供了通用的框架。