基于归结原理的可扩展标识语言问题求解

针对可扩展标识语言(extensiblemarkuplanguage,XML)与说明描述理论结合的XDD(XMLdeclarativedescrip tion)语言是非过程的,只提供解决问题的机制,而不是解决问题的方法,论证了在XDD中应用归结原理解决问题的可行性,证明了归结过程是一个等价变换的过程,给出了求解过程,为求解XML问题提供了一种简洁有效的方法,为建立基于XML的智能信息关系奠定了基础。     

基于UML和XML的数据建模方法及应用

随着仿真技术的发展,建模方式趋向规范化、标准化。在舰载作战系统仿真中,将数据模型划分为概念模型、逻辑模型和物理模型三个层次,使用UML与XML相结合的方法进行数据建模。UML类图用来建立概念模型;XML模式用来建立逻辑模型,针对信息的内容实现数据类型的定义;XML文档是信息的载体,XML模式为最终的XML文档内容提供解释和约束。以仿真系统中的部分数据为例描述了建模的过程和方法。

Abstract：

The modeling method becomes more standardization now as simulation technology is developing. In simulation of shipborne combat system,the data model has three levels including conceptual,logical,and physical. UML and XML is used to do data modeling as UML class diagram for conceptual model,XML Schema for logical model,and XML documents for the final data which is described and restricted by XML Schemas. To describe the process and method of data modeling,an example is given.     

面向虚拟装配的框架数据模型研究

为了解决虚拟装配系统中装配意图的捕获、零件模型的精确定位等问题,提出一种框架数据模型。将典型装配过程性知识封装到过程框架中,将蕴藏在零件模型B-rep中的工程信息封装到特征框架中,框架实例对象同产品层、显示层中的数据对象一起构成框架数据模型。应用结果表明,数据模型不仅满足了装配信息完整性和虚拟现实实时性的要求,而且帮助解决了上述问题。     

基于BOM的并行离散事件仿真概念建模研究

概念建模是仿真建模过程前期中的重要环节,良好的概念模型有利于明确模型需求,以及模型的重用和互操作.针对目前并行离散事件仿真缺乏有效概念建模方法的问题,提出了基于基本对象模型(BOM)的并行离散事件仿真概念建模方法.结合UML和本体工程思想,从静态和动态两方面刻画概念模型,生成XML格式的概念模型文件.在YH-SUPE并行仿真开发及运行支撑环境的应用表明该方法切实可行.     

可组合的Agent体系仿真模型框架研究

当前基于Agent建模仿真(Agent based modeling and simulation, ABMS)方法被军事仿真界普遍认为是军事作战研究、特别是网络中心战(network centric war, NCW)环境下的网络中心作战研究的最佳方法。针对体系效能评估应用,需要在统一的作战概念框架下形成可重用的体系模型框架,能够根据体系(system of systems, SOS)效能评估需求定义和灵活组合不同的作战实体Agent模型,支持对不同体系效能评估问题的研究。基于ABMS开发方法,在统一的作战概念模型框架下对物理域、信息域、认知域和社会域进行合理抽象,建立了可组合的体系仿真模型框架,据此开发了面向体系效能分析应用的仿真平台,用户可以根据体系效能评估问题和作战背景,快速定义和组合不同的作战实体Agent模型形成体系仿真应用系统,进行体系对抗仿真分析与评估。     

作战视景仿真系统开发框架

分析了现有的视景仿真技术在系统结构和构建方法上的不足,针对鱼雷等制导武器工程研制仿真的共同特点,提出了一种基于VegaPrime的通用视景仿真开发框架GVSDA.GVSDA的特点在于:对视景仿真系统进行了抽象,建立了动态实体、静态实体、实体关联关系等基于XML技术的元模型,讨论了利用这些元模型建立视景仿真系统模型的方法,实现了XML模型到C 程序代码的自动转换.     

基于IDEAS的联合论证元模型

为统一描述联合论证模式中体系结构数据,基于《国际国防企业体系结构规范》(international defense enterprise architecture specification, IDEAS)提出了联合论证元模型(joint demonstration meta-model, JDM2)。首先,介绍了业务对象参考本体(business object reference ontology, BORO)、IDEAS和国防部元模型(department of defense meta-model,DM2),从设计机理方面剖析了DM2不适用于描述联合论证内容的根本原因以及DM2概念数据模型(conceptual data model,CDM)、逻辑数据模型(logical data model, LDM)和物理交换规范(physical exchange schema, PES)3层结构的优点;然后,借鉴本体理论和DM2设计思想基于联合论证空间提出了JDM2中的概念数据模型;在概念数据模型基础上基于IDEAS规范构建了JDM2中的逻辑数据模型。最后通过实例说明了JDM2的可行性。     

基于HLA的激光雷达跟瞄仿真系统设计与实现

根据HLA联邦模型的开发步骤设计并实现了激光雷达跟瞄仿真系统,包括概念模型开发、FOM/SOM模型建立、FED文件生成等。本系统将MAKRTI和视景仿真软件RTG结合到一起,实现了各个联邦成员功能,并给出了CCD仿真成员的仿真框架流程图以及部分代码清单。     

基于Agent行动图的作战建模方法

针对一般的基于Agent作战建模过程中没有实现军事人员主导下的军事概念模型直接驱动的问题,提出一种基于Agent行动图的作战建模方法。在给出基于Agent行动图建模基本原理的基础上,区分Agent行动组织结构图、通信网络图、动作属性图,提出了基于Agent行动图的作战系统静态概念模型建模方法,区分Agent行动指挥交互图、状态行为图,提出了基于Agent行动图的作战系统动态概念模型建模方法;进一步建立了Agent行动图概念模型到行为仿真模型框架转换方法,并设计实现了基于Agent行动图的作战建模工具;最后以装甲分队典型作战行动建模为例,验证了方法的可行性与有效性。     

编队协同反潜概念模型研究

概念建模是当前仿真领域的关键技术之一,被用于连接真实世界和仿真模型,建立概念模型有利于实现仿真间的互操作和促进仿真资源的重用。分析了概念模型的建立过程,简要介绍了统一建模语言UML。结合编队协同反潜的特点,建立了实体、任务、动作和交互的概念模型,并利用UML对协同反潜军事活动进行了形式化描述。所建模型可以减小军事专家与仿真技术人员对该活动的认知偏差,缩短建模与仿真的工作周期。     

Applying XML for designing and interchanging information for multidimensional model

1.INTRODUCTION Duringtherecentyears,theenterpriseshavebeen askingforsupportintheprocessofextractinguseful,concise,handyinformationfordecision makingoutof thetonsofdatastoredintheirexpensiveandcomplex informationsystems.Themultidimensionalmodeling isoneofitskeytechniques[1].AsstatedinRef.[2],oncedevelopersdefinethemultidimensionalmodel structure,userscandefineasetofinitialrequire mentsasastartingpointforthesubsequentdata anal ysisphase.Fromtheseinitialrequirements,userscan applyasetofon li…     

军事想定规范化描述接口技术研究

建立想定静态信息模型可以分为标识事物、分类、寻找关系和定义特性等四个步骤。研究了UML的对象模型、关系、属性、基本数据类型以及类和类继承到XMLSchema的映射方法。最后建立了基于XML的想定数据描述规范——想定描述标记语言(SDML)。     

基于XML的文物数字博物馆数据集成研究

博物馆数字化对有效保护和利用馆藏资源有着重要作用，博物馆数字信号的数据集成依赖于统一的表格式和功能强大的表示手段，XML以其灵活性和开放性，能够胜任这样的需求，本文根据文物属性描述的需要，尤其是出土文物的特点，提出适于表示文物信息的元数据模型，并探讨了应用XML语言进行文物数据集成的方法及XML与数据库间数据映射的问题。     

一种可扩展属性的实体建模与仿真方法

实体是仿真系统的基本单元，实体建模与仿真的主要对象是实体的属性信息。在分析了现有实体建模与仿真工具中存在的问题之后。提出了一种能够方便各类用户对实体进行走模与仿真的方法．该方法解决了实体属性描述和扩展的问题，同时通过谊方法建立的仿真程序具有很好的移植性和扩展性．结合提出的实体概念模型和仿真系统的概念模型，利用实体属性的数据映射和语义屏蔽的思想从理论上论述了该方法的正确性，同时通过建立实体建模与仿真工具从实际应用上验证了该方法的可行性。     

产品开发复杂系统建模及其动力学机制研究

以系统动力学为主框架,研究运用支持向量回归建立产品开发复杂系统动力学方程组,基于粗糙集理论方法对系统流图中反馈回路等元素进行约简与分析,结合具体产品类型寻求产品开发系统非线性动力学纠正机制与要素体系,构成一种产品开发复杂系统建模新方法.对用新建模方法建造的系统模型进行计算机仿真与验证,发现了产品开发复杂系统中起稳定作用的结构以及参数范围.证明所提出的方法能解决产品开发复杂系统的演化难以预测与控制等问题.     

Approach to conceptual data integration for multidimensional data analysis in e-commerce

1 .INTRODUCTIONWith the development of contemporary electroniccommerce ,the multidi mensional data analysis onthe Web makesit necessarytointegrate various da-ta sources such as XML data and relational data onthe conceptual level .Extensible Markup Language(XML) is becoming the newstandardfor data rep-resentation and exchange on the World Wide Webquickly[1]. At present the most widespread concep-tual model is constructed by the Unified ModelingLanguage ( UML)[2]. UML is a visual mo…     

XML-based integration data model and schema mappingin multidatabase systems

Keywords:multidatabasesystems,commondatamodel,schemamapping,extensiblemarkuplanguage(XML).1.INTRODUCTION Amultidatabasesystem(MDBS)isalayerofsoftware thatintegratesacollectionofpre existing,heterogeneous,distributeddatabasesystemscalledlocaldatabasesystems(LDBSs)[1].Itmainlysolvestheproblemthathowto achievetheschemaintegrationanddatainteroperabilitya mongmultipleLDBSs.AMDBSallowsaglobalapplica tiontoaccessdistributedobjectslocatedatdifferenttypes ofLDBSs,suchasrelationaldatabases…