【摘 要】
：
在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可以分为相关和不相关两类,在Agent合作或竞争
【机 构】
：
福州大学计算机科学与技术系,福州 350002 中国科学院计算机科学重点实验室,北京 100080
【出 处】
：
第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议
论文部分内容阅读
在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可以分为相关和不相关两类,在Agent合作或竞争的情形下,存在大量相关的并发行为,Agent必须有能力对这些行为进行推理。针对多Agent系统中各Agent并发动作的特点,通过多子集语义,避免了逻辑全知及副作用等问题,通过区分宏观时间和微观时间,给出一个交叠式并发的语义模型,描述了宏观时间中的并发性,为基于并发的多Agent合作与竞争提供了逻辑基础。
其他文献
本文分析了无线传感器网络面临的安全弱点,明确了其安全体系结构,指出密钥管理和安全路由是WSN安全领域中最重要的两个安全问题,并分别对他们进行了论述。最后,给出了无线传
在Ad hoc网络中信道多跳共享的特性,产生了隐终端和暴露终端问题,严重影响了网络的性能。多信道协议通过把数据信道和控制信道分离来消除数据信息和控制信息的干扰,从而有效
烟草(Nicotiana tabacum)是一个吸收钾较多的农作物.钾对烟草而言,不仅能够满足其生长发育的需求,而且能够提高烟草的品质,并有效降低烟焦油及其它有害物质的含量.因此,探索
在信息化、网络化高度发展的今天,新一代网络技术不断革新,虚拟专用网(VPN)因其具有安全性、可靠性、保密性和虚拟性等诸多优点,得到了越来越广泛的应用.IPSec协议是由IETF提
认证一直是网络安全中的重要研究课题之一。本文介绍了可信计算的概念,并根据当前的安全认证机制不能满足普适计算要求的现状,给出基于可信计算的思想的三种安全认证模型,并
日常生活中,人们的交谈经常受到背景音乐的干扰,需要用户手动的调节播放器的音量。这对用户来说是极其不方便的。本文介绍了我们开发的一个实时控制播放器音量的系统,它能感
嵌入式系统的软件开发目前大多使用Ad hoc即专用方法,各种软件产品之间、甚至同一系列产品之间也难以实现软件重用和代码共享。分布构件技术由于具有功能模块化、接口标准化
植物启动子是基因表达不可缺少的重要顺式作用元件,对其结构与功能深入研究不仅对于了解植物生长发育机制与防御机制具有重要意义,且可为利用转基因植物工程实现基因的高效特
本文展示了一种嵌入式领域能耗管理的新框架,通过观察系统符合并基于此来重新安排对于设备的访问请求。该框架专注于有多种运行状态的嵌入式系统外部设备。我们使用一种自顶
巴黎消息:国际科学工作者协会执行委员会主席约里奥—居里在10月24日写信给参加协会的各国科学工作者组织负责人,号召各国科学工作者行动起来,反对细菌战和要求各国批准禁止