语义Web技术及其逻辑基础

随着语义Web的产生和发展，人-机及机-机间的交流与协作将变得更加方便。该文从介绍语义Web概念及体系结构入手，对关键技术XML, RDF及Ontology进行了对比分析说明，同时研究了其逻辑基础(描述逻辑)，分析了其语法语义及推理任务。对语义Web的未来发展热点问题进行了展望。  

一种基于Web服务的多主体系统模型

针对广域网异质、开放和动态的特性，提出了一种基于Web服务的多主体系统模型，它将Web服务嵌入BDI主体结构，使得异质主体之间得以方便地协作；它引入了关于多主体系统中主体类与服务描述的本体，使得主体之间可以进行动态协作；模型还建立了一个协调控制中心，使主体之间得以进行时间非耦合的协作。对相关模块及功能作了详细的描述，并对一些服务的流程或实现进行了说明。  

基于IEEE802.11的CBTC数据安全传输的研究

研究了802.11无线局域网的体系结构和其安全机制,对基于WLAN的CBTC数据传输系统的安全性进行了分析,提出了基于IPSec隧道协议安全加强措施,构建了基于802.11的CBTC数据传输系统试验平台,进行了数据传输试验,验证了IPSec的有效性。  

本体变化管理技术研究综述

语义Web是一个动态变化的环境，作为其基础的本体也需要及时适应环境的变化而进行改进。本文首先对本体变化和本体变化管理的概念进行了分析，将本体变化管理划分为三个部分：本体变化发现、本体变化处理和本体变化结果传播。以这个划分为基础，分别对本体进化、本体版本机制、多版本推理和不一致推理等与本体变化管理相关的技术进行了具体的阐述，并采用一致的标准对这些研究进行了分类比较。还说明了与本体变化管理相关的研究内容。  

基于变化生成图的OWL本体协同进化方法研究

随着本体规模的不断扩大，由于能力和知识的约束，单个知识工程师已经难以单独对本体进行改进，因此如何实现本体的协同进化成为了一个亟待解决的问题。本文提出了一个能够支持OWL本体协同进化的结构化方法，引入了一种有向的与或图——变化生成图来表示知识工程师的本体改进意图，通过发现变化生成图之间的冲突来找出多个知识工程师本体改进意图之间潜在的矛盾，并通过变化生成图的冲突消解来解决本体改进意图之间的矛盾，使得多个本体改进意图能够并存，从而实现本体协同进化的目标。  

一种面向语义Web的组合服务演化方法研究

为了敏捷、有效地调整动态环境下的组合服务，系统地提出一种面向语义Web的组合服务结构化演化方法EM4CS。 EM4CS方法采用OWL-S语言描述的组合式语义Web服务为研究对象，将组合服务演化过程划分为3个部分、6个阶段，分别从演化需求获取、演化需求形式化表示、语法一致性维护、语义一致性维护、演化结果确认和演化结果发布与传播6个方面覆盖组合服务演化周期。EM4CS方法从系统工程的角度分析组合服务演化过程，以迭代求精的方式逐步实现演化需求，同时维持服务描述语法和语义的一致性。介绍了遵循EM4CS方法的组合服务演化支撑系统ESS4CS，该系统能够全程辅助知识工程师完成组合服务演化工作，能有效地提高组合服务演化的效率和精度。  

基于扩展CPN的OWL-S过程语义建模及分析方法研究

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题，提出了一种扩展的着色Petri网PM_ net(过程模型网，Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点，PM_ nct对基本着色Pctri网的变迁和触发规则进行了扩展，使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM net。同时说明了如何基于PM_ net对OWL-S的过程语义一致性进行分析，为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。  

一种基于主体的语义Web服务模型

要实现Web服务组合自动快速准确性,必须对Web服务进行语义标注,使计算机能在"理解"服务的基础上实现快速准确查找和自动组合.Agent以其独特的性质,被普遍认为是可以代替人做出某些行为的实体.借鉴主动服务的思想,在传统面向服务体系架构(SOA)的基础上,将Agent技术引入到SOA模型中,提出了一种基于主体的语义Web服务模型,采用Agent来封装不同角色模块,使得Web服务的调用和组合过程可看成是代表各自角色的A-gent之间的协商和协作解决问题的过程.  

基于组织的多Agent系统建模方法研究

广域网异质开放的环境给多Agent系统的建模带来了挑战,如何降低系统分析的复杂度、如何提高建模效率成为一个亟待解决的问题.文章从系统工程的角度出发,提出了一种基于组织的多Agent系统建模方法OrgMAS,将复杂系统划分为若干组织分别进行建模设计,从而降低系统分析复杂度.同时,该方法将本体建模贯穿于整个建模过程,使得异质Agent之间能够通过本体映射获得相同的语义基础.文章还介绍了支持该方法的建模辅助工具OrgMAS Tool,该工具在辅助建模的同时进行模型校验,从而能够提高建模效率.  

合训人才科技创新能力培养实践与思考

针对合训人才的特点,从指导教员与学员的角色定位、正确处理各种关系,构建科技创新的良好环境以及渐进式培养,促进持续创新三个方面,描述了近年来,指导教员在合训人才科技创新能力培养的实践经验和思考。