多主体环境MAGE及其协作与规划研究
摘要 | 第1-5页 |
Abstract | 第5-7页 |
目录 | 第7-10页 |
第一章 引言 | 第10-20页 |
·软件主体 | 第11-14页 |
·多主体协作的研究现状 | 第14-16页 |
·基于经济学原则的协作 | 第15页 |
·协作中的计算模型 | 第15-16页 |
·多主体环境下的规划 | 第16-18页 |
·研究动机和目标 | 第18页 |
·主要研究工作 | 第18-19页 |
·内容安排 | 第19-20页 |
第二章 主体协作的形式系统 | 第20-40页 |
·前言 | 第20-26页 |
·协作的动力学 | 第20-21页 |
·联合意图 | 第21-22页 |
·社会依赖关系 | 第22-24页 |
·协作的知识 | 第24-25页 |
·面向协作的逻辑 | 第25-26页 |
·逻辑框架 | 第26-30页 |
·语法 | 第26页 |
·语义模型 | 第26-27页 |
·形式化语义 | 第27-28页 |
·约束 | 第28页 |
·动作 | 第28-29页 |
·能力 | 第29页 |
·基本性质 | 第29-30页 |
·协作 | 第30-33页 |
·目标求解行为 | 第30-32页 |
·协作 | 第32-33页 |
·协作的可满足问题 | 第33-37页 |
·多主体系统的潜在能力 | 第34-35页 |
·协作满足问题 | 第35-37页 |
·协作的形成和推理 | 第37-38页 |
·本章小结 | 第38-40页 |
第三章 基于约束传播的分布式多主体规划 | 第40-54页 |
·前言 | 第40-41页 |
·动作描述 | 第41-43页 |
·动作模板 | 第41页 |
·动作步骤和效果 | 第41-43页 |
·多主体规划和规划问题 | 第43页 |
·动作冲突与依赖关系 | 第43-45页 |
·分布式多主体规划 | 第45-49页 |
·分布的偏序关系上的约束一致性问题 | 第46-48页 |
·规划器的结构 | 第48-49页 |
·规划算法 | 第49-51页 |
·算法概述 | 第49-51页 |
·示例 | 第51页 |
·相关工作 | 第51-53页 |
·本章小结 | 第53-54页 |
第四章 MAGE中的协作主体团队 | 第54-68页 |
·前言 | 第54-55页 |
·协作网络 | 第55-60页 |
·定义 | 第55-57页 |
·合成 | 第57-58页 |
·性质 | 第58-60页 |
·协作主体团体 | 第60-67页 |
·主体的基本行为 | 第60-61页 |
·CAT:协作Actor群体 | 第61-65页 |
·CAT的形成 | 第65-66页 |
·实现 | 第66-67页 |
·本章小结 | 第67-68页 |
第五章 多主体环境MAGE | 第68-82页 |
·MAGE的组成 | 第69-70页 |
·主体执行模型 | 第70-72页 |
·主体通信 | 第72-76页 |
·SACL:软件主体通信语言 | 第72-73页 |
·通信模块 | 第73-74页 |
·并发对话 | 第74-76页 |
·主体的设计与生成 | 第76-78页 |
·编程模型 | 第76-77页 |
·软件主体描述语言SADL | 第77-78页 |
·MAGE中的系统服务 | 第78-81页 |
·本章小结 | 第81-82页 |
第六章 MAGE的应用 | 第82-98页 |
·多媒体信息检索系统MIRES | 第82-88页 |
·多特征图象检索 | 第83-84页 |
·图象特征和相似度判断标准 | 第84页 |
·特征的空间描述与空间相似度 | 第84-86页 |
·协作检索算法 | 第86-87页 |
·系统实现 | 第87-88页 |
·虚拟市场 | 第88-94页 |
·体系结构 | 第89-90页 |
·工作过程 | 第90-92页 |
·市场信息的表示 | 第92-93页 |
·系统实现 | 第93-94页 |
·银行贷款管理群体决策支持系统 | 第94-97页 |
·本章小结 | 第97-98页 |
第七章 结束语 | 第98-100页 |
·取得的成果 | 第98-99页 |
·进一步的工作 | 第99-100页 |
参考文献 | 第100-107页 |
致谢 | 第107-108页 |
作者简历和发表的论文 | 第108页 |