自主计算概念模型与实现方法

自主计算是一个新兴的热点研究领域,旨在通过"技术管理技术"的手段隐藏系统管理复杂性,建立用户可指导的、状态觉察的和自适应的计算机系统.目前,自主计算的研究仍处于起步阶段,尚缺乏系统而成熟的理论体系.在阐明自主计算概念的基础上,提出一个自主计算概念模型.该模型刻画了自主元素和自主计算系统的基本工作机制和原理.以该模型为依据,概括性地提出了两类分别基于知识模型和数学模型的自主计算系统,分析它们的优点和不足.最后,给出了自主计算研究展望.     

基于非交互保密函数计算的移动代理保护

通过优化不经意传输(OT)协议,提出一种基于非交互保密函数计算的移动代理保护新方案.根据OT协议的计算开销主要集中在密集的取幂运算,将OT协议由二选一扩展为多选一,把OT调用由多个二选一合并成单个多选一,在此基础上定义新的并发OT协议,使取幂运算次数减少为常数次.将该并发OT协议与加密电路构造组合,得到一个非交互保密函数计算协议.所有主机贡献出加密电路当中代表自己函数的部分,各个子电路进行级联,从而构造出最终的加密电路.与同类方案相比,新方案具有计算开销低、安全性更强、系统更容易实现等特点.     

OKMF: 一个基于本体论的知识管理系统框架

根据知识管理的工作原理、功能结构和知识在企事业中的全过程，提出将知识过程分为俘获、保存和重用三个阶段，用知识的转化和连接机制衔接这三个环节，本体论贯穿始终．设计了一个此理论下的基于本体论的知识管理系统基本框架——OKMF，对于将本体翻译为元知识结构、基于本体论的知识项检索以及人与知识的连接机制等方面，进行了比较系统和深入的论述，探讨了框架中的主要技术并给出了一个系统实例。     

开放式软件体系结构描述语言设计

本文针对软件体系结构描述语言的发展趋势和研究特点,提出并实现了一种开放式的软件体系结构描述语言ＣＯＡＤＬ,ＣＯＡＤＬ不仅使得工作人员可以方便的使用其对软件系统进行软件体系结构设计和开发,而且还为有关工作人员提供了进一步利用其它现有体系结构语言的扩展接口。     

NPCD-Agent：扩展的Agent思维状态模型

在基于Agent的计算中,现有研究对于动机的定义和动机影响Agent行为决策的分析比较片面,缺少对动机的清晰考虑和相应目标产生的描述.为此建立了具有动机的Agent思维状态模型,将动机分为社交行为准则（N）、策略（P）、契约准则（C)和内部愿望(D).形式化地描述了动机扩展的Agent思维状态模型(NPCD-Agent)和BNPCDGI逻辑,阐述了逻辑的语法、语义以及相应的公理系统.给出了动机算子基于Kripke可能世界的新的语义解释,验证了动机算子不存在逻辑全知问题.通过计算0-1规划和设定优先顺序,建立了动机冲突消解模型,改进了现有包含动机的Agent思维状态模型实现方法.实例分析表明,改进的Agent思维状态模型使得Agent行为决策过程更加理性.     

可信的自治式服务协同多租户租赁模型

规范调控、策略驱动的自治式服务协同模型NGPD,可以解决因自治个体行为难以预测、控制而导致的协同效应“可信”危机。然而,服务协同的广泛部署需要众多中小企业的参与,但协同模型NGPD部署、升级管理的复杂性难以为中小企业胜任,势必成为NGPD发展和商业应用的瓶颈。结合云计算中“软件即服务”（Soft as a Service,SaaS）的概念,采用托管集成、集中部署、租户定制等方式来解决该问题,有助于增加NGPD的实用价值和商业价值。     

基于符号模型检验的可信跨域协作系统验证方法

针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的状态或状态转移集,消除了系统模型和规范的语义不一致性;系统抽象模型包括规范Kripke结构和路径规范性定义,以及规范Kripke结构的分支时态逻辑（CTL）语义3个部分,实现了可信系统的形式建模;验证算法描述了系统符号模型检验的具体实现过程.与基于定理证明的验证方案相比,该方案有效降低了验证时间,提高了验证效率.     

词法多重散列与包容语义相结合的服务查找

为进一步提升服务组合性能,提出将词法多重散列与包容语义相结合的快速服务查找法.该方法有如下特点：将服务描述模型分解为不同粒度的词法和语义子块,同时将服务查找过程转换为按词法子块粒度递增的多重散列过程,利用子块间的包容语义消解散列冲突,实现降低查找失败时间至最低;所建立的服务库一方面通过缩减服务组合路径搜索空间降低查找成功时间,另一方面为设计高效组合路径查找算法提供了基础;可提供近似常数时间的原子服务查找和服务建库过程.实验证明该方法查找准确,较当前权威组织提供的基准服务查找方法效率提升显著,并具有查找时间几乎与服务库规模无关的良好稳定性.     

不完备信息系统中知识获取算法

粗糙集理论是一种新的处理模糊和不确定知识的软计算工具.应用粗糙集理论,可以将隐藏在系统的知识能够以决策规则的形式表达出来.根据粗糙集上下近似的概念,决策规则能够分成确定性规则和可能性规则两种.本文将介绍从不完备信息系统中知识获取的算法,通过这些算法能够从不完备决策表中生成一种确定性的规则和两种可能性的规则,同时也介绍了不完备决策表中描述约简的算法.     

基于Agent的Web服务研究

提出了一个基于Agent的Web服务,包括Web服务的描述语言,Weh服务的制定,中介Agent和Web服务的匹配。其目的是通过结合Agent和Web各自的优点,推动Web向一个新的方向发展。