基于本体的概念间语义相似度计算方法研究

基于SUMO(Suggested Upper Merged Ontology)[1],提出了一种计算两概念语义相似度的语义距离方法。根据该方法实现了一个计算平台,将计算结果同人类的主观判断进行了比较,验证了概念语义相似度计算方法的有效性。该研究成果拟在正研发的语义数据库本体集成部分得到应用,也可以为本体的其它相关研究提供一定的技术基础。     

基于CORBA的分布构件模型综述

从企业对分布式中间件发展需求出发,介绍了C0RBA构件模型产生的背景及其总体框架。其中,对其模型的几个主要部分和构件开发步骤进行了详细的阐述和分析,从而明确了CORBA构件技术的基本概念和主要思想。     

RTI中乐观推进机制的实现

正确理解乐观推进机制的基本原理,并按照高层体系结构HLA(high level architecture)规范实现RTI(runtime infrastructure)中的乐观推进服务一直是分布式仿真领域关注的难点问题.介绍了并行离散事件仿真PDES(parallel discrete event simulation)和HLA中的乐观推进机制,并指出了它们之间的重要差异,例如PDES中的虚拟时间(virtual time)可以回卷(roll back),回卷发生在进程中;而HLA中的逻辑时间不能够回卷,但乐观盟员在不影响保守盟员推进的情况下可以回卷自己调度事件的时间,回卷发生在盟员内而不是RTI内.另外,提出了在实现乐观推进服务时,不需要RTI作任何保存操作的"零保存"技术,并成功地将该技术应用到RTI软件StarLink中."零保存"技术通过在消息句柄类型RTI::MessageRetractionHandle定义中增加两个变量,一个表示TSO(time stamp order)消息的时标,另一个表示所有接收该消息的盟员(RTI::MessageRetractionHandle为IEEE1516.1定义的数据类型),RTI将具有此类型的消息句柄返回给发送TSO消息的盟员保存,当发送盟员再次使用消息句柄撤消(retract)消息时,RTI从消息句柄中就可以知道并通知接收盟员撤消消息.对于理解和开发RTI中的乐观推进服务具有重要的现实意义.     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

可扩展自适应的分布对象容错模型研究

容错技术是实现分布对象系统可靠性的一种重要手段.现有的分布对象容错系统在保证应用程序可靠性的同时,却对其性能造成很大影响.一方面,这是由于系统缺乏应用的语义信息,只能采用少数几种保守的容错策略;另一方面是因为系统缺乏自适应性,导致资源利用率较低.为了解决这些问题,提出了一种具有可扩展性和自适应性的分布对象容错模型,它允许容错应用开发者扩充新的容错策略,并且在系统运行环境变化发生改变时,能够动态地调整配置结构,从而显著地改善容错应用程序的性能.     

认证可信度理论研究

认证是操作系统安全的基础之一,没有经过用户认证,系统安全的3个基本特性：秘密性、完整性和可用性将会严重地受到破坏．但是由于当前系统在用户认证过程中存在一些不确定性因素,如认证机制的不确定性、认证规则的不确定性和认证结论的不确定性,借鉴专家系统中不确定性推理的思想,提出认证可信度的思想,并给出了认证可信度因子模型．该模型对认证过程存在的不确定性因素给出了度量,针对需要多种认证机制的重要、特殊系统给出了认证可信度因子在多认证机制之间的传播公式,并进行了证明．通过在认证过程中引入认证可信度,可以很好地描述认证过程中的不确定性因素,并且可以更好地增强系统在多种认证机制情况下的安全性．     

实时通告服务设计与实现

OMG通告服务为对策之间提供强有力的解耦通信支持,是CORBA提供的重要服务之一,目前很多应用需要之间的通信具有实时性,而现有的通告服务规范已不能满足这种需求,为此,设计并实现了具有实时功能的通告服务,提出了一种实时通告服务的体系结构,讨论了实时通告服务系统的实现技术。     

可成长的分布式系统

可持续发展是大规模分布式系统的基本特征。在研究了大规模分布式系统的特点和规律后,本文提出了一个新的概念一可成长的分布式系统,认为大规模分布式系统是随着需求、环境、技术、投资等多种因素的变化而不断成长起来的。文中分析了分布对象技术在支持分布式系统的可成长性方面的优势和缺陷,然后提出了一个面向Agent的系统框架,并阐述了面向Agent的方法对于开发和维护可成长的分布式系统是合适的,并给出了后续的主要研究方向。     

一种高性能的全序组播算法

全序组播是构建分布式应用程序的一种重要组通信原语,它能够保证一个通信组中的所有成员都按照同样的顺序接收消息.目前的全序组播算法不能同时获取低延迟和高吞吐量,并且缺乏对应用程序通信模式的适应性,因此不适用于高性能计算环境.在分析已有算法排序机制基础上,指出影响全序组播算法性能的关键因素,并提出一种基于leader/followers模式和阻塞检测机制的新算法.算法工作原理如下:每一个组成员都可以在任意时刻发送消息,但只能提交来自当前leader成员的消息;一旦leader成员进入不活跃状态,则通过特殊的命令来指定某个活跃的follower成员为新的leader成员.模拟实验结果表明,该算法在延迟时间和吞吐量等性能指标方面都优于已有算法,同时在突发消息模式下能够大幅度提升性能.     

基于CSE／MA的多Agent协同环境的设计

多ａｇｅｎｔ协同环境与客户／服务器模式的分布计算环境的融合是必要且有益的．本文首先提出了一种ａｇｅｎｔ互操作语言ＡＣＯＬ，该语言在ＫＱＭＬ语言的基础上增加了＂共享组＂、＂私有组＂、＂组信号量＂等概念及相应语言成分，然后，提出了一种在基于集成中间件ＣＳＥ／ＭＡ上实现Ａ－ＣＯＬ以建立多ａｇｅｎｔ协同环境的方案．