XML强闭包依赖范式的研究

为了解决从数据库整体的角度来消除基于不完全信息的XML数据冗余问题,研究了在不完全信息环境下XML数据库的各个模式之间存在的XML强闭包依赖引起数据冗余的判定条件和规范化算法.首先,给出了XML强函数依赖和XML强闭包依赖两者互不影响的定义;其次,提出了XML强函数依赖和非循环XML强闭包依赖互不影响的判定定理,研究了XML强闭包依赖范式以及相应的判定定理;最后,提出了把XML数据库模式转化为XML强闭包依赖范式的规范化算法,对时间复杂度进行了分析.该算法消除了冗余路径,避免了更新异常,实现了整个XML数据库模式更合理的设计.     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

基于Ontology和XML的非结构化信息语义表示机制研究

针对日益增长的非结构化信息实际应用的需要，结合Ontology（本体）和XML各自的优势，提出一种用于分布式环境的非结构化信息语义表示机制，该机制从某一领域的概念化模型——Ontology——出发，通过设计Ontology到XML Schema的映射算法将Ontology提供的共享概念模型、继承以及推理机制等语义元素融入到XML简便灵活的语法规则之中，从而形成一种新的能表达信息语义的模式语言，它不仅能有效提高信息的语义互操作性，也为进一步实现语义信息处理打下了一定基础。     

装备保障仿真军事概念模型研究

军事概念模型（military conceptual model,MCM）是装备保障仿真中的重要研究内容,规范的军事概念模型可以有效促进军事领域专家与仿真技术人员之间的沟通与协作。简述了研究装备保障仿真军事概念模型的必要性,在对装备保障仿真、概念模型、军事概念模型等概念进行分析总结的基础上,探讨了装备保障仿真军事概念模型研究的主要内容,指出了当前研究中存在的一些不足和亟待解决的问题。     

XML技术在保证Web安全性中的应用研究

分析了Web安全性需求,研究了XML技术,提出了XML在Web安全性中的解决方案.其中XML数字签名和XML加密不但可以保护数据的私有,而且可以对整个的交易提供数字上证明,从而保证交易的不可抵赖性;同时,还可以保证数据的完整性,使XML技术在电子商务等活动中起着越来越重要的作用.     

面向实体的军事概念模型建模法研究

首先介绍了军事概念模型的起因,提出了面向实体的军事概念模型建模法,通过比较研究提出了本方法的3个基本依据,以及它的定义、基本建模元素、基本模型和建模过程,最后比较了面向实体的军事概念模型建模法和面向对象的分析法。     

一种概率XML Twig查询的计算

传统数据库只管理确定性信息．但在许多应用中涉及大量不确定数据。本文把概率数据引入XML文档中．提出概率XML文档树、概率XML模式树、概率XML文档树符合概率XML模式树的定义;给出了概率XML Twig查询树和概率XML Twig查询匹配的定义,最后提出了计算概率XML Twig查询结果概率的定理。     

Java绑定XML架构的技术内涵

为了揭示Java绑定可扩展标记语言(XML)架构的技术内涵,分析了该应用编程接口(API)的开发背景,揭示了它的技术本质,论述了它的工作机理、核心组件、绑定过程的关键操作,即:用绑定编译器绑定XML文件的模式,生成模式导出类和接口,并将它们编译;解组过程将模式导出的Java类实例化成内容对象,表示XML文件的内容和结构,让应用程序可直接访问;在生成内容树之前,解组过程可有选择地验证XML文件;借助绑定编译器生成的接口,客户应用可修改内容树所表示的XML数据;所处理的内容树可被编组成1种或多种XML输出文件.给出了1个典型用例,并指出该API在开发XML Web服务和网络应用方面有很好的应用前景.     

XML数字签名及在远程培训中的应用

描述了NEMIS系统和XML数字签名的相关规范;阐述了XML数字签名的基本结构;给出了基于VB-NET的XML数字签名技术在远程培训中的具体实现;探讨了XML数字签名技术在远程培训中的发展前景.     

基于关系约束的XML元素近似查询研究

近年来,XML已成为信息表示、交换和发布的标准,因此,XML数据查询已成数据库（DB）和信息检索（IR）领域广发研究的问题。XML通常被视为一个标签树,常用的方法是近似查询。由于在用户查询通常有一定的关系约束出现,在分析了用户查询对XML元素和值关系约束之后,本文提出了使用关系约束近似提取XML元素的方法     

XML文档和XML数据库的集成化建模架构

引入了一个4维透视图，它为讨论XML文档模式和XML数据库模式建立了一个统一的上下文，统一了XML和数据库2个研究领域的概念。提出了一种建模系统的架构，它能同时支持XML文档建模和XML数据库建模，是一个集成化开发环境，由一系列工具有机结合而成。该建模系统支持3个抽象级别的建模：本体层、概念层和逻辑层；支持2个领域的建模；XML域和XML数据库域。最后讨论了系统的实现方案。     

基于框架的XML文档类型定义研究

提出了基于框架构造可扩展标识语言(XML)的文档类型定义的方法. 框架可以作为信息和XML文档之间的中介. 通过将框架映射为XML文档中的元素,使得框架的结构性、逻辑性和推理机制与XML的简洁性、通用性和灵活性相结合,增强了XML的语义表达能力,有利于数据的共享和交换.     

协同装配建模关键技术的研究

装配接口表达方案和协同装配模型修改实时传播机制是协同装配建模研究的重点.本文研究了协同装配建模过程中产品各组件之间的关联关系,提出了新的装配接口表达方案,该方案信息全面,有利于实现协同装配建模;XML语言具有局部更新能力,可采用基于语义传输的方法,能解决三维实体模型传输数据量大、系统不能及时响应的问题,利用XML对装配接口表达进行定义,通过对XML解析实现了装配模型修改的实时传播控制;最后,在协同装配建模环境下给出了修改信息的实时传播系统体系框架.     

基于UML的XML Schema设计

给出了一种基于UML对XML Schema文档进行辅助设计的方法,该方法将设计过程分为3个层次,即概念层、逻辑层和物理层。概念层使用标准的UML类图对对象建模,逻辑层使用自定义的逻辑层UML类图表示,物理层则用最终的XMLSchema文档表示。给出的逻辑层UML类图充分利用了XML Schema文档的嵌套结构特点,结构清晰简明,经过一系列的转换步骤,可以由概念层的UML类图生成逻辑层UML类图,并最终得到XML Schema设计。     

基于XML的CAPP信息模型标准化研究

XML可以方便地实现制造数据标准化,解决当前制约制造系统集成的瓶颈.提出了基于XML技术实现CAPP系统数据标准化的方法.研究了CAPP中零件信息、工艺信息及工艺决策信息等基于XML的建模,并叙述了应用XML技术建立基于XML的CAPP中的零件信息模型.基于XML实现CAPP信息标准化是解决CAX集成的有效途径.     

一种概念建模框架的提出及应用 

概念建模是建模仿真的重要阶段,概念建模的好坏与仿真模型的成功与否密切相关.针对目前缺乏普适性的概念建模框架这一现状,首先对概念建模进行了介绍,进而提出了一种概念建模框架及评价指标;将该概念建模框架应用于网络安全建模仿真中,提出了基于多Agent的概念模型,建立了基于人工免疫的入侵检测系统多Agent概念模型.最后基于OMNeT＋＋设计了相应的仿真模型并进行了仿真实验.结果证明该框架能够增加概念建模的规范程度,对概念模型的建立具有指导作用.     

基于XML的制造信息建模的研究

XML正成为互联网上数据交换的标准,基于XML建立数据模型是十分必要的.针对制造业信息化环境下很难为制造信息直接建立XML Schema描述的信息模型,采用了引入统一建模语言UML技术进行XML建模的方法,并通过工艺信息示例阐述了信息建模的具体步骤.基于XML的信息建模为解决跨平台数据交换提供了有效的途径.     

基于XPath的XML数据库并发控制机制

并发控制是改善数据库系统性能的最重要的机制,在XML数据管理中并发控制已经成为一个重要的研究课题．给出了一种基于XPath路径查询语言的XML数据库并发控制机制,定义了XPLock锁协议模型以及锁协议规则,讨论了并发控制操作流程,并验证了在此锁协议机制下的并发调度是可串行化调度．最后通过实验表明提出的XPLock锁协议在并发度、锁粒度等方面是一种有效的XML并发控制机制．     

XML和Java在工作流过程模型设计中的应用

工作流建模是工作流管理系统的基础和关键，而不同建模方法最终输出的过程模型描述是否标准化直接影响到工作流产品的互操作.在分析XML和Java技术特点的基础上，提出一种以XML中间文本为基础，结合XML和Java进行过程模型描述的方法，其中涉及过程模型中关键元素的XML?DTD描述、Java XML的数据绑定方法以及过程定义的存储.目的是使得跨平台应用得以按标准XML接口进行数据交换，进而较好地解决了上述问题.     

基于XML的概念模型表示

概念模型图等传统概念模型表示方法具有表达直观的特点,但存在着对模型概念缺乏深入描述,具体图形受绘制者的主观因素影响等诸多不足.针对以上问题,提出了基本概念描述框架,以及基于此框架的用XM L表示概念模型的方法.用XM L表示的概念模型,实现了模型的概念描述和可视化表达相分离,消除了主观因素对模型的影响,还便于模型的传输和自动管理分析.