基于XML的多层次范例映射模型

本文以软件系统设计的CBR方法为例,针对以往CBR范例表示的缺陷,深入研究了基于XML的范例表示,建立了基于XML的多层次范例映射模型,随之探讨了在这个模型下CBR方法中的一些关键问题,最后给出了概念层次和概念层次树的定义和概化方法。

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证。

基于案例推理的虚拟样机概念设计支持系统

采用基于案例推理与XML相结合的技术方案 ,实现一种支持复杂产品虚拟样机概念设计的原型系统CBRDT ,并介绍其中两个关键技术 :用XML进行案例的知识表达 。