信息系统分布式轻量化容器云的设计与应用

针对分布式环境下信息系统面临的发展需求,设计并构建了信息系统分布式轻量化容器云平台,支撑信息系统"网-云-边-端"应用模式.基于国产容器技术的分布式架构的集群管理解决方案,融合服务器组合的计算、存储及网络等基础硬件资源,构建弹性、可扩展、共享式虚拟资源池,实现各类资源可视化的统一管理、按需分配和灵活调度;借助高可用机制、负载均衡等技术,为信息系统提供了轻量、灵活、可靠、高效的信息服务支撑能力,提升系统效能.     

一种基于语义的分布式本体融合机制研究

针对Web服务的形式语义和分布式本体融合的需求,提出了一种基于形式语义的分布式本体融合方法,构建了可共享语义平台,给出了一种分布式本体融合关系约简算法.该方法不依赖人工参与,形式化程度高,实现了分布式本体的有效融合.实验表明,该方法有效约简了融合本体中的冗语关系,提高了本体融合的质量和效率.     

P2P网络中基于本体的语义信息交互机制*

摘要：为提高P2P信息共享系统中的语义信息交互能力,提出了节点资源元数据本体模型,对资源元数据的共性进行建模,增加了资源元数据描述的清晰度和资源元数据间的语义联系。在此基础上,考虑丰富的语义和上下文信息,提出了一种基于本体匹配的语义信息交互机制,节点通过自主处理、理解和解释语义层次的信息,支持语义丰富的分布式信息共享。     

专家领域本体建模及语义信息服务研究

目前各省市各部门分别拥有各自专用的专家信息系统,分别管理所在地区和所属领域的专家信息,其形式各异且专家信息分布异构.针对实际应用中共享专家信息困难,基于关键字查询信息效率不高等问题,提出基于语义的专家信息系统解决方案.采用5W1H分析法归纳领域本体中概念和关系,建立基于5W1H的专家本体概念模型并生成专家领域本体,实现了专家语义信息统一建模.构建系统的四层体系结构,研究语义推理规则的定义方法,设计了基于语义的规则推理算法和基于SPAR-QL的语义信息查询算法,实现了系统基于语义的信息查询和推理等功能.实验表明,基于语义的专家信息查询在查全率、查准率优于基于关键字的查询.     

基于信息语义的异构信息集成方法

在系统集成的过程中，异构信息资源给人们信息共享、处理造成了困难，而异构信息中的语义表示方法一直是一个难点。该文采用基于信息语义的定义方法，提出一个以语义为核心的信息模型，给出异构信息系统集成的一种解决方法。     

基于本体的装备领域信息集成研究

装备信息集成中存在着大量的语义异构数据源,阻碍了信息的共享和交换.本体可以描述信息之间隐含的关系.在语义和知识层次上描述信息系统的概念模型,有效地解决信息集成中的语义异构问题.通过对基于本体的信息集成方法的分析,采用Wrapper/Mediator架构,提出了基于混合本体的装备基础信息集成框架,给出了框架的层次结构和关键技术.结合实际对基于本体的装备指标体系构建和查询处理问题进行了研究,验证了基于本体的信息集成方法在装备领域信息集成中的可行性和有效性.     

指挥控制信息交换数据模型的研究与应用

为了探索一种良好的数据模型用于支撑多信息系统的信息交换需要,提高互操作能力,对指挥控制信息交换数据模型(C2IEDM)进行了研究.该模型从概念模型、逻辑模型和物理模型3个层次上表达目标域的信息,以一种良好的结构化和规格化的方法对数据进行抽象,无二义性地反映它们的语义,具有可扩充性.然后结合其特点,从适用性,应用策略等方面对该模型作为多信息系统公用的基础数据模型的可能性进行了分析,并给出了具体的应用示例.     

多域环境下基于属性的访问控制模型设计

针对电力信息系统的复杂多域环境,提出了一个访问控制模型(BP-SABAC).该模型将属性访问控制(ABAC)与语义Web技术结合,引入边界策略,扩展了XACML标准框架结构,确保了跨域信息共享的安全,加强了边界防护.     

Java 对现代企业信息集成的技术支持

现代企业信息系统是跨单一企业集成的分布式信息系统,其支撑环境和开发工具的研究是现代企业信息系统的研究重点之一.文章结合工程实践探讨了 Java 独具的分布对象技术特点及其对现代企业信息系统集成的技术支持.     

Java 对现代企业信息集成的技术支持

现代企业信息系统是跨单一企业集成的分布式信息系统,其支撑环境和开发工具的研究是现代企业信息系统的研究重点之一.文章结合工程实践探讨了 Java 独具的分布对象技术特点及其对现代企业信息系统集成的技术支持.     

From P2P to reliable semantic P2P systems

Current research to harness the power of P2P networks involves building reliable Semantic Peer-to-Peer (SP2P) systems. SP2P systems combine two complementary technologies: P2P networking and ontologies. There are several types of SP2P systems with applications to knowledge management systems, databases, the Semantic Web, emergent semantics, web services, and information systems. Correct semantic mapping is fundamental for success of SP2P systems where semantic mapping refers to semantic relationship between concepts from different ontologies. Current research on SP2P systems has emphasized semantics at the cost of dealing with the traditional issues of P2P networks of reliability and scalability. As a result of their lack of resilience to temporary mapping faults, SP2P systems can suffer from disconnection failures. Disconnection failures arise when SP2P systems that use adaptive query routing methods treat temporary mapping faults as permanent mapping faults. This paper identifies the disconnection failure problem due to temporary semantic mapping faults and proposes an algorithm to resolve it. To identify the problem, we will use a simulation model of SP2P systems. The Fault-Tolerant Adaptive Query Routing (FTAQR) algorithm proposed to resolve the problem is an adaptation of the generous tit-for-tat method originally developed in evolutionary game theory. The paper demonstrates that the reliability of an SP2P system increases by using the algorithm.     

DartGrid II: a semantic grid platform for ITS

Intelligent transportation systems offer an alternative approach to solving many problems by implementing advances in information, Internet, communication, and cybernetics technologies. Grid computing can support traffic data semantization, resource sharing, ITS subsystem cooperation, and global-scale distributed computing that connects all kinds of resources. We are currently using grid technology to build DartGrid II, a semantic ITS platform to support resource sharing, service flow management, and cross-domain cooperation.     

基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

多媒体组通信机制——服务质量受控型组管道

提出一种服务质量受控型组管道,作为基于服务质量的平台层多媒体组通信抽象,以支持分布式多媒体组通信机制的描述与开发.给出了服务质量受控型组管道的形式定义,详细讨论了其工作过程.该抽象已被成功地用于指导分布式多媒体信息系统、计算机会议系统、远程教学系统等系统中的组通信机制的开发工作.实验结果表明,服务质量受控型组管道可以作为分布式多媒体组通信机制的开发指南.     

语义信息集成中格式异构解决方案

基于本体的语义信息集成能够解决分布环境下异构数据源之间的模式异构,而对于广泛存在的上下文异构却无法解决。由于上下文异构是暗含的语义,无法为信息系统俘获和理解,要解决上下文异构,必须将上下文语义进行形式化描述。本文首先提出了一种将暗含的上下文语义进行形式化描述的方法,然后在此基础上提出了一种基于元数据格式表示的上下文转换方法来解决上下文异构中的格式异构。该方法避免了已有转换方法需要反复定义大量映射的缺点,提高了上下文转换的灵活性、适应性和扩展性。     

A scalable P2P platform for the knowledge grid

The knowledge grid needs to operate with a scalable platform to provide large-scale intelligent services. A key function of such a platform is to efficiently support various complex queries in a dynamic large-scale network environment. This paper proposes a platform to support index-based path queries by incorporating a semantic overlay with an underlying structured P2P network that provides object location and management services. Various distributed indexing structures can be dynamically formed by publishing, semantic objects as indexing nodes. Queries are forwarded along the chains of semantic object pointers to search for objects. We investigate the deployment of a scalable distributed trie index for broadcast queries on key strings, propose a decentralized load balancing method for solving the problem of uneven load distribution incurred by heterogeneity of loads and node capacities and by the distributed trie index, and give an approach for improving the availability of the semantic overlay and its trie index. Experiments demonstrate the scalability of the proposed platform.     

BASIS: A behavioral approach to the specification of information systems

This paper is an overview of BASIS (Behavioral Approach to the Specification of Information Systems), a multi-step formal method used for information systems design and development. The steps include information analysis, semantic specification, verification of the specification, concrete implementation, and verification of the implementation. In this way, BASIS can be used to provide a formal basis for information systems development. We provide an example showing how BASIS can be used in conjunction with implementation in the programming language PLAIN.     

Semantic caching and query processing

Semantic caching is very attractive for use in distributed systems due to the reduced network traffic and the improved response time. It is particularly efficient for a mobile computing environment, where the bandwidth of wireless links is a major performance bottleneck. Previous work either does not provide a formal semantic caching model, or lacks efficient query processing strategies. This paper extends the existing research in three ways: formal definitions associated with semantic caching are presented, query processing strategies are investigated and, finally, the performance of the semantic cache model is examined through a detailed simulation study.     

面向Web应用集成的统一授权平台的设计与实现

每个应用系统都会有一个访问控制模块,分散的访问控制管理会导致访问控制策略不统一和数据冗余等问题。提出了一种基于Web服务的面向Web应用集成的统一授权平台,该平台用于实现用户信息的集中存储和分布管理,以及统一的访问控制管理。该方案不仅可以提高应用系统的安全性而且可以减轻系统维护和系统开发的工作量,是开发“一站式”信息共享平台的基础设施。     

数字农业时空信息管理平台

数字农业中大量时空数据分散在异构系统中,有着不同格式规范、概念术语、数学模型和分析推理方法.采用时空推理、本体论、语义Web和专家系统等技术建立一个数字农业时空信息管理平台,对多源、异构的农业时空数据和推理分析方法进行集中统一的规范化管理.基于该平台构建数字农业应用系统更加方便快捷.