基于XML的HLA对象模型构建与表示方法

OMT是HLA规范的重要组成部分，目前OMT的交换标准是DIF格式。随着仿真的发展，需要使用更通用的XML文件格式，以满足对象模型的共享、重用和其它多种应用。在深入研究HLA OMT的结构与内容的基础上，提出用XML文件格式构建和表示HLA对象模型的方法，定义了该类XML文件统一遵循的模式文档。最后，给出基于以上研究成果的一个应用实例。     

元素失效相依时系统失效概率的计算

针对实际工程系统中元素失效的相依性,提出了元素失效的高阶关联度的定义,基于该定义并利用区间概率理论修改了传统的失效概率计算公式。复杂系统中元素失效的高阶关联度可以通过系统的层次结构和FMEA来确定。当系统中元素失效间存在相依时,关联度的定义和使用不仅使系统失效概率的计算变得容易,而且降低了计算结果的不确定性。实例计算验证了这种方法的正确性。     

语言判断矩阵的满意一致性检验方法

分析了语言判断矩阵具有满意一致性定义的合理性, 定义了一个满意的一致性指标; 给出了满意一致性指标的计算方法, 通过该方法可以找出语言判断矩阵中所有不合逻辑的判断元素组,判定语言判断矩阵的满意一致性程度, 有效地解决存在两个方案无差异的语言判断矩阵的满意一致性的判定问题; 最后通过两个实例表明该方法的有效性和适用性.     

基于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.     

基于RDEU理论的n人非期望效用博弈模型及其应用

分析了经典博弈论理性行为假设的局限性,基于RDEU理论提出了新的n人非期望效用博弈模型,给出了其纳什均衡的定义和存在性的相关定理.通过"夫妻之争"博弈问题的实例分析,揭示了博弈问题的纳什均衡与局中人的偏好态度相关,表明了该模型的有效性.     

广义系统的动态软变结构控制

针对广义变结构控制系统的抖振问题,给出了新的控制策略：动态软变结构控制。首先给出了软变结构控制定义和控制器构造形式。其次讨论了广义动态软变结构控制系统的稳定性,构造了合适的广义动态软变结构控制器,给出了动态软变结构控制的具体算法。所设计的动态软变结构控制是无滑模的变结构控制,调节精度高,响应速度快,有效地削弱了系统抖振,具有良好的动态品质。最后,用一个仿真实例验证了本文方法的可行性和有效性,展示了它进一步的发展前景。     

基于XML的工程施工索赔依据数据模式的研究

工程施工索赔依据的管理是索赔决策系统的重要子系统 .根据索赔决策的要求和 XML技术的特点 ,引入 XML的 DTD模式类型来组织集成索赔依据 .在深入分析索赔依据的数据结构的基础上 ,具体描述了索赔依据内容在 XML文档中的同构变换 ,及索赔依据对象的数据结构在 DTD中的同构映射 ,并给出索赔依据数据模式的 DTD模型及应用实例 .     

基于Z的虚拟加工仿真环境规范技术研究

对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表迭方案的有效性.规范描述的实现方法选用中性文件,易于理解和实现.     

冷冲模CAD系统中设计信息XML描述模型的研究

传统的冷冲模具设计中信息组织方式在协同设计中存在很多问题，本文基于特征的Schema词表讨论了利用XML的数据模式设计冷冲模具，通过XML模式组织的模具设计文档有效地支持了模具的协同设计，很好地解决了设计人员之间信息传递问题，同时支持建立面向产品生命周期的产品信息模型。     

一类不确定大系统分散鲁棒H∞状态反馈控制

针对一类状态矩阵、控制矩阵及关联矩阵中存在数值界不确定性关联大系统,研究其分散鲁棒H∞状态反馈控制问题。基于有界实引理提出了存在分散鲁棒H∞状态反馈控制器的参数化定理和两种线性矩阵不等式(LMI)设计方法:直接LMI和迭代LMI,所获得的控制器具有块对角结构,使闭环系统稳定并且满足给定的H∞性能指标。最后用数值实例说明了该设计方法的有效性。     

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…     

一种支持QoS的军事网格UDDI改进方法

针对不同应用要求不同的服务QoS,提出了一种UDDI扩展方法来支持QoS约束。该方法引入了XML模式,采用服务元数据,定义了一组对象来描述Web服务的QoS属性;改进了tModel模型,在tModel中增加一个新的数据结构qualityInformation来表示QoS信息;对QoS属性的连续变量进行分段表示,并提出了更新和查找QoS信息的实现方法。实验表明,这种方法能够在网格服务中支持QoS。     

一种基于XML的Web数据挖掘模型

随着 HTML格式的出现 ,Internet得到了迅猛发展 ,面对着浩瀚如烟的数据 ,为了从中发现潜在的、有价值的信息 ,必须对 Web信息进行挖掘 ,但由于 HTML语言特点 ,使得 Web信息的组织结构性很差 ,对于进行 Web数据挖掘工作有很大的阻碍 ,XML语言的出现从根本上解决了这个问题 ,XML语言具有良好的结构 ,层次性好 ,用其对 Web页面信息进行组织 ,有利于进行数据挖掘工作 .本文通过对XML语言的认识提出了一个基于 XML的 Web Miner模型 ,以帮助用户快速、有效的挖掘 Web上的信息.     

两坐标雷达融合定位算法

传统的两坐标雷达目标定位算法需通过迭代求取目标位置估计,不仅计算量大,而且有可能得到局部最优解,甚至无效解。提出了一种组网融合定位算法,利用数据融合技术进行目标定位,回避了费时的迭代搜索,同时保证了估值的有效性。仿真实验验证了该方法的有效性。     

HLA框架下的Agent与XML应用研究

对于一类包含控制节点和交互信息结构复杂多变的系统对象，在HLA框架下集成Agent和XML展开建模与仿真可以很好地完成仿真任务。针对在地面遥控下的航天器对抗问题，设计了基于Agent的HLA仿真联邦，并采用XML来实现系统中的信息交互。应用表明，Agent和XML可以有效地增强和扩展HLA应用。     

Markov跳变系统的单步约束预测控制

针对离散Markov跳变系统,研究带输出约束的单步预测控制问题。首先设计基于模态的单步预测控制器,驱动系统状态到达相应的终端不变集内,以此保证约束预测控制系统的稳定性,接着进一步讨论了系统存在峰值有界噪声输入情形。其中终端不变集是通过在预测时域外寻求一个虚拟的带约束的状态反馈控制器以保证系统的随机稳定性来获得,为计算方便,控制器的优化问题转化为SDP问题,并得到以LMI描述的优化问题。最后对Markov跳变系统描述的经济学动力系统的仿真结果说明了本控制器设计方法能够在峰值有界噪声输入下保证系统的稳定性,并且使控制变量满足给定的约束条件。     

一种适用于DVE系统的基于索引的XML路由算法

针对分布式虚拟环境（Distributed Virtual Environment,DVE）系统的数据特点,提出了一种基于索引的XML路由算法——IAFilter。该算法通过对DVE系统中的动静态XML信息进行划分,分别选用了更合适的匹配算法和过滤策略;同时,采用结构匹配和谓词匹配相结合的方法,减少了不必要的结构匹配,有效地降低了系统路由器上谓词匹配的复杂度,提高了算法的通用性和灵活性。最后,在自主研发的DVE仿真系统——AIMNET上的实验结果表明,该算法是可行和有效的。