论文部分内容阅读
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.
形式化多主体系统中的交互及交互协议
【摘 要】
：
深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其
【机 构】
：
中国科学院计算技术研究所
【出 处】
：
软件学报
【发表日期】
：
2001年8期
其他文献
在PBIL(population base dincrementallearning)算法和自私基因算法的基础上,提出一个新的优化搜索算法——基因学习算法.该算法允许每个等位基因取多值(复等位基因),并且用
目的 分析胸腺肽辅助抗菌药物对于AECOPD的治疗价值.方法 选取我院进行治疗的AECOPD患者92例,分为两组,分别使用胸腺肽联合抗菌药物和单纯使用抗菌药物,观察实验组和对照组的
在Web挖掘中,应用关联规则发现方法可以发现Web页面之间用户访问的关联度.由于Web站点内含丰富的页面结构信息,也由于用户的访问总是要遵循一定的访问顺序,因此提出一种新的
目的 探讨支气管肺泡灌洗氨溴索治疗支气管扩张并感染的疗效.方法 将120例支气管扩张并感染患者随机分为用氨溴索灌洗的治疗组60例和用生理盐水灌洗的对照组60例,均每3天灌洗
人类文化遗产的数字化应用是数字图书馆计划的重要组成部分.目前,数字化手书中文古籍尚缺乏有效的内容检索手段.提出了一种基于视觉相似性的计算机古籍内容检索方法,研制出关
目的 分析标准化化疗加胸腺肽治疗纵隔淋巴结核的临床疗效.方法将42例纵膈淋巴结核患者随机分组为胸腺肽干预组及对照组,其中干预组19例,对照组23例,治疗中有2组退出,对照组
肺部疾病以往临床主要依靠X线、CT等放射学检查。随着彩色多普勒超声技术的普及应用，成为诊断肺部疾病的手段之一[1]。本文分析2005年一2011年本院住院及门诊病人426例，均经临
现代光学技术正日新月异、大放异彩，而大学物理的光学课程课堂效果却不甚理想，学生学习的积极不高、自主解决问题的能力较差。针对这些问题，作者结合自身和其他相关教师的授课经