张冬蕾
- 作品数:5 被引量:15H指数:1
- 供职机构:中国科学院计算技术研究所更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 多主体系统可靠性及情感主体建模研究
- 多主体系统由于其高度的模块化、自主性、智能性,非常适合运行在一个开放的分布式的环境中。属于不同组织的主体间可以通过网络交互合作来完成更为复杂的任务。但是作为一个复杂的分布式系统,它同样面临着所有分布式软件系统会面临的故障...
- 张冬蕾
- 关键词:多主体系统动态描述逻辑
- 基于角色的“注意”类心理常识的获取及表示被引量:1
- 2005年
- 为了使机算机实现真正的拟人化,使机器具有人类的一些基本的心理常识是一个至关重要的问题。近年来,对于心理常识的研究已成为人工智能领域研究的热点,但已有的工作主要集中在小范围内,对于一些典型的心理状态或情绪的笼统的抽象分析,以及情感的计算方面,并没有对于引起特定心理状态产生的前提事件和原因做出系统的研究和考察。为了使计算机真正“理解”人类的心理,需要建立一个大规模的关于真实世界中人类的心理现象的常识性知识库。本文借鉴了心理学研究的若干方法,通过对一种特殊的心理常识——“注意”类常识的详尽探讨,从Internet上的海量文本资源中将真实世界中“注意”产生情境提取出来,经过加工整理形成一条条关于“注意”产生场景的命识,并在此基础上形成了一个基于角色的描述“注意”类心理状态成因的表示框架,同时提供了一种对常识库进行一致性检查的方法。
- 张冬蕾曹存根
- 关键词:基于角色常识心理学研究心理现象拟人化知识库
- RCSM:多主体系统中的可靠关键子系统模型
- 2012年
- 针对多主体系统由其自治的软件主体构成带来的故障处理上的困难,研究了多主体系统的可靠性问题,并尝试从主体组层面出发对系统中的故障进行协调处理,提出了一个可靠关键子系统模型(RCSM)。RCSM包含三类主体,即中继主体、控制中心主体以及工作主体。此模型使用中继主体封装由工作主体组成的关键子系统,使子系统的拓扑结构对外界不可见,从而避免故障的大范围传播。在子系统内部采用基于任务分配的一致性检查点设置技术实现工作主体的故障恢复。对模型中的控制中心主体则采用了复制技术与团队协作相结合的手段来提高其可靠性。通过仿真实验对RCSM的故障恢复效率及其对系统正常运行效率的影响进行分析,说明了该模型的实用价值。
- 张冬蕾史忠植王鹏赵亮
- 关键词:检查点
- 基于主体的软件的故障诊断系统eHealer被引量:1
- 2010年
- 提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各类事件,通过设计的诊断算法与软件行为模型进行匹配和比较,通过推理发现运行过程中出现故障的主体及其某个异常行为,从而实现对软件系统的故障进行定位和诊断。在此基础上,实现了一个原型系统eHealer。实验表明,该方法能够准确定位多主体软件系统中agent级别的故障,与已有方法相比,具有实时性强、定位准确、普适性好的优点,为进一步选择故障恢复策略提供了有效的信息。
- 张冬蕾韩旭史忠植
- 关键词:多主体系统
- 情感主体形式模型被引量:13
- 2009年
- 为使主体能够有效处理情感,具有更高的智能性,本文提出一种情感主体的形式化描述模型.分3个层次,给出情感主体心智状态、情感主体心智状态更新、以及情感主体模型的形式化定义.并通过对基本情感的更新过程的公理推导,说明了该模型能够充分体现情感主体的本质特征和运行机制,有较强的表达能力和扩展能力,为构建支持情感推理的情感规则库提供理论依据.然后对情感更新过程进行直观描述,并给出情感主体的体系结构.仿真实验表明,情感主体能够合理产生情感反应并作出更优智能决策,从而验证该模型的有效性.
- 张冬蕾史忠植潘瑜
- 关键词:BDI模型