| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 第1章 绪论 | 第15-33页 |
| ·论文的研究背景 | 第15-16页 |
| ·实时任务求解的支撑技术 | 第16-26页 |
| ·服务计算 | 第16-17页 |
| ·agent和多agent系统 | 第17-19页 |
| ·agent技术在SOC中的应用 | 第19-21页 |
| ·基于agent的自治元素 | 第21-23页 |
| ·协同机制 | 第23-24页 |
| ·模型验证 | 第24-26页 |
| ·论文的研究动机与意义 | 第26-29页 |
| ·提高实时任务求解自动化程度的动机与意义 | 第27页 |
| ·增强基于SOC技术的实时任务求解的智能性的动机与意义 | 第27-28页 |
| ·针对实时任务求解的实施模型验证的动机和意义 | 第28-29页 |
| ·论文的研究内容与贡献 | 第29-30页 |
| ·论文的章节安排 | 第30-33页 |
| ·论文的组织 | 第30-33页 |
| 第2章 基于任务情景的服务描述方法 | 第33-59页 |
| ·当前的服务描述方法 | 第33-37页 |
| ·服务能力描述工具简介 | 第34-36页 |
| ·当前服务描述工具存在的不足 | 第36-37页 |
| ·服务描述应用层一知识的按需创建 | 第37-39页 |
| ·知识类型及转化过程 | 第37-38页 |
| ·知识转化过程中存在的问题 | 第38-39页 |
| ·服务描述语义层---基于本体的服务描述模型 | 第39-47页 |
| ·本体论 | 第39-41页 |
| ·知识工程中的本体 | 第41-42页 |
| ·服务能力描述模型 | 第42-47页 |
| ·服务实现层---任务情景 | 第47-51页 |
| ·扩展任务情景 | 第47-50页 |
| ·任务情景的获取 | 第50-51页 |
| ·本体创建工具 | 第51-57页 |
| ·应用域描述本体的建立 | 第51-52页 |
| ·概念的建立 | 第52-55页 |
| ·概念分类体系的建立 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第3章 词法散列与语义匹配相结合的服务发现方法 | 第59-83页 |
| ·服务发现概述 | 第59-60页 |
| ·服务发现的关键技术及存在问题 | 第60-63页 |
| ·服务发现的架构 | 第60-62页 |
| ·服务匹配 | 第62-63页 |
| ·基于本体的服务发现架构 | 第63-64页 |
| ·服务匹配策略 | 第64-66页 |
| ·词法散列过程 | 第66-74页 |
| ·服务库结构 | 第66-70页 |
| ·散列函数 | 第70-73页 |
| ·散列冲突消解 | 第73-74页 |
| ·基于相容度的语义匹配 | 第74-80页 |
| ·基础包容关系 | 第74-75页 |
| ·语义匹配 | 第75-80页 |
| ·实验 | 第80-82页 |
| ·结论 | 第82-83页 |
| 第4章 面向实时任务求解的动态服务组合 | 第83-109页 |
| ·服务组合的定义 | 第83-84页 |
| ·动态服务组合研究现状 | 第84-88页 |
| ·面向业务流的服务组合 | 第85-86页 |
| ·面向实时任务求解的服务组合 | 第86-88页 |
| ·面向实时任务求解的动态服务组合存在问题 | 第88-89页 |
| ·基于词法散列和语义匹配相结合的服务库 | 第89-91页 |
| ·有向带环加权多图 | 第90-91页 |
| ·有向带环加权多图的构建及时间代价分析 | 第91页 |
| ·基于多图的服务组合路径查找算法 | 第91-97页 |
| ·基于时间戳的反向边 | 第92-94页 |
| ·着色 | 第94页 |
| ·基于广度与深度优先的两点间连通路径查找算法 | 第94-97页 |
| ·时间复杂度分析 | 第97-98页 |
| ·算法查找示例 | 第98-100页 |
| ·实验 | 第100-107页 |
| ·评测指标 | 第101-103页 |
| ·评测方法 | 第103-104页 |
| ·评测结果 | 第104-107页 |
| ·本章小结 | 第107-109页 |
| 第5章 面向实时任务求解的自治服务协同模型 | 第109-135页 |
| ·服务协同研究现状及存在不足 | 第109-111页 |
| ·自治计算元素 | 第111-114页 |
| ·自治计算元素的定义 | 第111页 |
| ·面向实时任务求解的自治计算元素特点 | 第111-113页 |
| ·自治计算元素间的协同 | 第113-114页 |
| ·已有的AGENT合作模型 | 第114-118页 |
| ·黑板模型 | 第115页 |
| ·部分全局规划 | 第115页 |
| ·基于承诺和约定的合作模型 | 第115-117页 |
| ·合同网模型 | 第117-118页 |
| ·已有的AGENT协调模型 | 第118-120页 |
| ·通用部分全局计划 | 第118页 |
| ·基于社会的协调 | 第118-120页 |
| ·承诺及相关思维属性的定义与表示 | 第120-124页 |
| ·Cohen与Levesque的心智状态模型 | 第120-121页 |
| ·承诺和协定 | 第121-122页 |
| ·个体承诺、社会承诺 | 第122-123页 |
| ·联合承诺 | 第123-124页 |
| ·基于承诺的自治式服务协同 | 第124-132页 |
| ·基于承诺的自治式服务协同分层模型 | 第125-126页 |
| ·面向联合承诺的宏观协同机制 | 第126-128页 |
| ·基于社会承诺的外部调控机制内化模型 | 第128-131页 |
| ·服务计算层 | 第131-132页 |
| ·本章小结 | 第132-135页 |
| 第6章 基于承诺的AGENT组织描述工具及其模型验证 | 第135-155页 |
| ·AGENT组织及协作的描述工具研究现状 | 第135-136页 |
| ·AGENT组织建模工具——ATS | 第136-138页 |
| ·ATL | 第138-139页 |
| ·ATL的语法 | 第138页 |
| ·ATL的语义 | 第138-139页 |
| ·基于行为的迁移系统 | 第139-141页 |
| ·公平性约束 | 第140页 |
| ·个体与群体的决策 | 第140-141页 |
| ·q-computation | 第141页 |
| ·基于承诺的AGENT组织 | 第141-143页 |
| ·CbAO的产生 | 第142-143页 |
| ·CbAO与ATS的关系 | 第143页 |
| ·面向CbAO的决策 | 第143页 |
| ·ATCL | 第143-145页 |
| ·ATCL的语法 | 第144页 |
| ·ATCL语义 | 第144-145页 |
| ·ATCL的模型检测复杂度 | 第145-148页 |
| ·ATCL的模型检测算法 | 第145-147页 |
| ·ATCL的模型检测复杂度 | 第147-148页 |
| ·实例分析 | 第148-153页 |
| ·卫星图像服务应用域简介 | 第148-149页 |
| ·应用场景 | 第149页 |
| ·场景中的服务协同关系 | 第149-150页 |
| ·应用域建模 | 第150页 |
| ·CbAO的形成 | 第150-152页 |
| ·ATCL下的服务协同过程 | 第152-153页 |
| ·相关工作比较 | 第153-154页 |
| ·小结 | 第154-155页 |
| 第7章 结论与展望 | 第155-159页 |
| ·结论 | 第155-156页 |
| ·展望 | 第156-159页 |
| 参考文献 | 第159-179页 |
| 攻读博士学位期间主要的研究成果 | 第179-181页 |
| 致谢 | 第181-183页 |
| 个人简历 | 第183页 |