开放式环境中的高可用性系统

高可靠性正在为高档次的开放系统环境中不可缺少的特性。     

基于物联网标识的智能家居服务体系架构设计

目前,智能家居领域在互联互通方面主要存在两个问题：一个是家庭环境中多个设备之间无法实现较好的互联互通;另一个问题是智能家居系统所采用的标识、操作平台和编程语言没有统一的标准。异构的服务和设备需要彼此协作来共同执行任务。因此,设备和标识的异构性问题会导致智能家居系统的兼容性较差。本文提出了一种基于物联网标识的全新智能家居服务体系架构,明确了智能家居的各参与方及其之间的关系,设计了智能家居服务的具体流程。这种架构可以在对现有的智能家居产品不做额外改变的前提下,实现不同产品之间的互连互通,提高智能家居系统的兼容性和可扩展性。     

Web服务互操作性测试系统的研究

Web服务互操作性是面向服务的软件系统测试内容的一个重要方面.本文分析了Web服务及其互操作性问题,介绍了协议互操作性测试的基本方法及协议互操作性测试系统的基本框架,在此基础上提出了一个Web服务互操作性测试系统的结构框架,并对该测试系统进行了形式化定义,最后指出了需要进一步研究的方向.     

软交换网络中媒体网关控制器的研究与设计

300万像素对于专业摄影来说可能不值一提，但是对于家庭用户而言却已经十分完美了。下面三款数码相机是300万家庭中令人兴奋的新品，它们的价格都在3000元到4000元人民币之间，想想一年前3000万像素的相机要花多少钱？而在测试中它们的表现也的确让人觉得物有所值。     

基于一阶逻辑的RDF模型的研究

XML为互联网应用提供了语法互操作性统一标准,而资源描述框架RDF定义了支持语义互操作的框架模型。作为RDF数据模型的类型系统,资源描述框架模式RDFS定义了一套扩充新的建模原语及其语义约束的机制。由于整个互联网语义化过程都以RDF模型为底层的模型支持,RDF数据模型及其类型系统的形式化程度直接影响和制约着更高层次上的语言和模型的形式化能力和推理能力。文章首先对RDFS类型系统做了非形式化分析,然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集。     

Minimal-Length Interoperability Test Sequences Generation via Genetic Algorithm

A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.     

面向OWL的联合作战管理语言本体开发方法

作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构（语法）和形式化语义（本体）,目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。     

基于网关的HLA-TENA互联研究

分布交互体系结构如DIS、HLA、TENA等解决了各自领域内的互操作问题,但体系结构间不一致的数据格式、不匹配的元模型和不同的仿真服务等因素阻碍了体系结构系统间的互操作。通用网关可将不同体系结构的仿真系统互联,通过通用数据交换模型实现异构系统间对象模型间的互操作,是当前最理想的互联方法。设计的通用网关架构包括接口服务、通用数据交换模型、模型映射模型和状态池,其中通用数据交换模型是网关具有通用性的关键。通过HLA-TENA原型系统的试验,验证了通用网关的性能,找到了影响网关性能的主要因素。     

IRBAC2000角色转换冲突处理策略

LRBAC 2000模型为我们提供了一个在多个RBAC域之间进行安全互操作的模型,使得外域角色能够转换为本地域角色从而访问本地资源。但是,LRBAC 2000在域间进行角色转换 时可能会产生“冲突”。本文分析了冲突产生的情形及处理方法,提出了冲突检测算法和冲突子集最小化算法,并讨论了消除冲突的约束策略。     

分布式异构数据库中语义的表示和转换

如何屏蔽分布在不同站点上的异构数据库之间的差异,是实现多个数据库互访要解决的首要问题。本文提出了语义值的概念和用语义值来消除各异构数据库的语义差别,从而实现多个数据库互访的一种方法。