论文题目: 基于主体的自主计算研究
论文类型: 博士论文
论文专业: 计算机软件与理论
作者: 张海俊
导师: 史忠植
关键词: 自主计算,自主单元,自主计算系统,自配置,结构自配置,服务描述,服务匹配,策略,策略语言,自优化,合同网协议,动态合同网协议,自主行为,自主社会
文献来源: 中国科学院研究生院（计算技术研究所）
发表年度: 2005
论文摘要: 自主计算所要解决的是日益复杂的计算环境中所面临的管理与成本问题,满足人们日益增长的按需计算需求,方法是使得IT系统能自管理和自适应,包括自配置、自恢复、自优化和自保护。本论文借鉴智能主体和多主体系统方面的若干研究成果,在自主计算系统模型、策略、自主计算自配置、自主计算系统的开发实现等几个关键问题的研究上做了有益的尝试。本文的主要工作和创新点包括以下几个方面:(1)系统研究了自主计算系统与自主单元应该具有的体系结构,提出了一种面向服务的自主计算系统模型框架。该框架给出了自主单元的功能结构,定义了其心智状态模型、阐述了其组成结构和完整的生命周期;阐述了自主计算系统应该具有的体系结构,应该为自主单元提供的公共基础设施,以及所支持的自主单元交互协作模式。(2)研究了自主计算策略,定义了一种通用策略规范语言GPSL,并给出基于动态描述逻辑的目标规划算法。我们给出了策略概念模型的形式化定义,把策略分为动作策略、目标策略、效用策略以及混和策略,并对动作做了形式化描述和分类。如何把目标细化为系统可以执行的动作是目标策略实施的关键。基于第二章定义的自主单元心智状态模型,我们给出目标的静态规划算法和动态规划算法,有效的解决了策略的目标规划问题。(3)提出了一种面向服务的自主计算自配置方法。该方法把自配置分为结构自配置和接口自配置:结构自配置用来确定自主单元的配置目标对象,接口自配置完成具体配置内容。服务匹配是结构自配置的关键,我们定义了一种自主单元服务描述语言SDLSIN,把服务匹配分为基于语义的服务匹配和基于语法的服务匹配,并分别给出了其算法描述。(4)提出了一种动态合同网协议来解决自主计算结构自优化问题。参考群体智能中的响应阈值模型,我们在传统合同网中引入了信任度,提出了一种动态合同网协议,给出了算法描述。该协议能够充分利用自主单元以往的服务匹配过程,适应动态变化的环境,较好地解决自主计算系统中的结构自优化问题。(5)定义了自主计算系统建模过程,提出了一种基于构件复用的自主计算系统层次化开发方法,把开发过程分为可复用实体层、自主行为层、自主单元层和自主社会层。该方法使用策略语言GPSL对自主单元的交互协议进行形式化描述,把自主单元的功能开发和交互开发有机分离,提高了交互协议和自主单元功能的复用性。在多主体环境MAGE之上,我们开发了自主计算原型系统ACE,并以ACE为基础,基于构件复用的层次化开发方法,开发了自主计算开发环境VAStudio,
论文目录:
图目录
第一章 绪论
1.1 智能主体和多主体系统
1.1.1 智能主体
1.1.2 多主体系统
1.1.3 研究内容
1.1.4 研究现状
1.1.4.1 智能主体的理论模型
1.1.4.2 智能主体的体系结构
1.1.4.2.1 慎思主体
1.1.4.2.2 反应主体
1.1.4.2.3 混合主体
1.1.4.3 面向主体的软件工程
1.1.4.4 主体服务
1.1.4.5 多主体平台与主体开发环境
1.2 自主计算
1.2.1 自配置
1.2.2 自优化
1.2.3 自恢复
1.2.4 自保护
1.2.5 策略
1.2.6 系统开发方法与工具
1.2.7 其他研究
1.2.8 应用现状
1.3 自主计算研究存在的问题
1.4 研究动机、思路及主要工作
1.5 论文的组织
第二章 自主计算系统模型框架
2.1 引言
2.2 面向服务的系统架构
2.3 自主单元
2.3.1 功能结构
2.3.2 自主单元心智状态模型
2.3.2.1 心智状态模型
2.3.2.2 信念
2.3.2.3 行为能力
2.3.2.4 目标
2.3.2.4.1 目标集与目标公式集
2.3.2.4.2 目标偏好
2.3.2.4.3 目标分层
2.3.2.5 规划
2.3.2.6 意图
2.3.3 组成结构
2.3.4 服务描述
2.3.5 生命周期
2.4 自主计算系统
2.4.1 体系结构描述
2.4.2 自主单元交互方式
2.5 相关工作比较
2.6 小结
第三章 策略
3.1 引言
3.2 策略概念模型
3.3 通用策略规范语言GPSL
3.3.1 动作策略
3.3.1.1 授权策略
3.3.1.2 委派策略
3.3.1.3 禁止策略
3.3.1.4 职责策略
3.3.2 目标策略
3.3.3 效用策略
3.3.4 动作
3.3.5 策略冲突消解
3.4 策略中的目标规划
3.4.1 静态规划
3.4.2 动态规划
3.4.2.1 子目标排序
3.4.2.2 规划算法
3.4.2.3 动态规划实例
3.5 相关工作比较
3.6 小结
第四章 面向服务的自主计算自配置
4.1 引言
4.2 自主计算自配置
4.2.1 自配置描述
4.2.2 结构自配置
4.2.3 接口自配置
4.3 自主单元服务匹配
4.3.1 服务描述语言
4.3.1.1 服务描述语言的性质
4.3.1.2 服务描述语言SDLSIN
4.3.2 服务匹配类型
4.3.3 基于语义的服务匹配
4.3.3.1 基本概念
4.3.3.2 概念分层
4.3.3.3 动作分层
4.3.3.4 服务匹配算法
4.3.4 基于语法的服务匹配
4.3.4.1 基本概念
4.3.4.2 近似服务匹配算法
4.3.4.3 插入服务匹配算法
4.4 相关工作比较
4.5 小结
第五章 基于动态合同网协议的自主计算自优化
5.1 引言
5.2 自优化定义
5.3 动态合同网协议
5.3.1 合同网协议
5.3.2 响应阈值模型
5.3.3 动态合同网协议
5.3.4 实验结果及分析
5.4 基于动态合同网协议的自优化方法
5.5 相关工作比较
5.6 小结
第六章 自主计算系统的开发实现
6.1 引言
6.2 自主计算系统建模
6.2.1 基于主体的自主计算系统分析设计方法
6.2.2 自主计算系统分析设计工具
6.3 基于构件复用的层次化开发
6.3.1 自主行为层
6.3.2 自主单元层
6.3.3 自主社会层
6.3.4 自主计算系统开发环境VAStudio
6.4 自主计算原型系统ACE
6.5 相关工作比较
6.6 小结
第七章 结束语
7.1 本文的主要贡献
7.2 工作展望
参考文献
致谢
作者简历
攻读博士学位期间发表的论文
攻读博士学位期间参加的科研项目
发布时间: 2006-12-27
相关论文
- [1].面向自治计算的基于政策的多agent协同体系研究[D]. 胡军.浙江大学2006
- [2].多主体环境MAGE及其协作与规划研究[D]. 曹虎.中国科学院研究生院（计算技术研究所）2000
- [3].Web信息智能获取若干关键问题研究[D]. 贾自艳.中国科学院研究生院（计算技术研究所）2004
- [4].语义Web中的资源管理与主体技术研究[D]. 盛秋戬.中国科学院研究生院（计算技术研究所）2004
- [5].语义Web服务自动组合的Petri网方法研究[D]. 马炳先.中国科学院研究生院（计算技术研究所）2006
- [6].移动agent关键技术研究[D]. 王红.中国科学院研究生院（计算技术研究所）2002
标签：自主计算论文; 自主单元论文; 自主计算系统论文; 自配置论文; 结构自配置论文; 服务描述论文; 服务匹配论文; 策略论文; 策略语言论文; 自优化论文; 合同网协议论文; 动态合同网协议论文; 自主行为论文; 自主社会论文;