基于π演算的一种受限AGENT0操作语义

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:xinglink
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
AOP语言AGENT0的交互动作缺乏明确的操作语义,Hindriks等使用的语义模型不能以恰当的方式处理交互动作 .π演算是刻画并发交互系统的重要工具 .在对AGENT0做恰当限制的情形下,基于π演算给出了受限AGENT0的操作语义,确定了交互过程中Agent的行为 .对AGENT0做限制的目的是语义解释减少复杂性,不影响语言的基本含义 .与Hindriks等在AGENT0方面的工作相比,更适用于多Agent系统 .
其他文献
通过对两个矛盾案例的分析 ,说明如何理解“子女可以随父姓 ,也可以随母姓”,认为父母离异并没有改变父母子女之间的关系 ,一方无权擅自变更未成年子女姓名。同时 ,对公安部
<正>我哭了……泪是蓝色的。我惊讶:为什么我的泪是蓝色的?于是我去问上帝:“上帝,为什么我的泪是蓝色的?”上帝看了看我脸上蓝色的泪痕,缓缓问道:“你很不开心吗?”我答道:
期刊
在日常工程设计中,建筑方案的选定至关重要,建筑风格干变万化,欧式、现代、仿古等五花八门,其中不乏经典之作,但一个地方有一个地方的地域特色,在设计中如何有地方特色,达到经济和谐
绿脓杆菌是一种革兰氏阴性病菌,存在于自然界的土壤及水中,也可存在于人体器官表面,可污染常用眼药水。作为一种机会致病菌,当角膜上皮遭到损害,机体免疫功能低下时,绿脓杆菌
目的:探讨儿童髂骨骨质破坏性病变的影像学特征。方法:回顾性分析64例经手术或活检病理证实的儿童髂骨骨质破坏性病变的X线、CT和MRI资料。结果:64例中良性肿瘤16例,包括纤维
考察了不同的催化体系对均聚聚丙烯结构的影响;以N催化剂与外给电子体二环戊基二甲氧基硅烷组成的催化体系制备高等规度的均聚聚丙烯,再利用纳米级粉末丁苯橡胶与有机磷酸盐
早在20世纪20年代,萧友梅先生在他的文章《乐学研究法》中就提出了音乐声学领域的问题。但是由于政治、历史和社会等多方面原因,音乐声学研究在中国经历了近半个世纪的沉寂。
目的 为在理想环境下研究脑机交互(brain computer interface,BCI)系统,并为系统的实际应用开发做铺垫,本文基于Java3D设计了脑机交互应用系统.方法 EEG信号经分析处理后转换成
本文利用青海东部地区2010-2014年闪电监测资料, 对闪电频次、 密度和强度等参数进行分析.结果表明: 青海东部闪电以负地闪为主, 具有明显的季节性和日变化特征: 6-9月为高发月
目的对兔跟腱局部注射曲安奈德后组织结构及生物力学的改变进行动态观察,探讨曲安奈德对跟腱的组织结构、力学性能的影响。方法取30只家兔随机分为3组,取右后肢分别注射曲安