传值系统的互模拟与谓词等式系

来源 :计算机学报 | 被引量 : 0次 | 上传用户：fengye3355

【摘要】

：

本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并

【作者】

：

林惠民

【机构】

：

中国科学院软件研究所计算机科学实验室

【出处】

：

计算机学报

【发表日期】

：

1998年2期

【关键词】

：

互模拟谓词等式系传值系统进程软件 Value-passing processes bisimulation predicate equation sy

【基金项目】

：

中国科学院“九五”基础研究重点项目,,国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并行运算不封闭，文中给给ＳＴＧＡ的操作语义，在此基础上定义了ＳＴＧＡ的互模拟等价关系，为了刻划ＳＴＧＡ的互模拟，以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点，并设计了一个算法将Ｓ

其他文献

赋值层化占先模型

Ｂｅｚｚａｚｉ，Ｍａｋｉｎｓｏｎ及Ｐｉｎｏ最近系统地研究了一些非Ｈｏｒｎ型推理规则（它们强于ＲＭ规则或者与ＲＭ规则不可比），给出了Ｐ＋ＲＭ＋ＷＤ与Ｐ＋ＲＭ＋ＲＣ非单调后承的表示定理，并将另两个非单调后承Ｐ＋ＷＤ及Ｐ＋ＲＣ的表示定理作为开问题提出来，文中提出两个新的占先模

期刊

非单调推理赋值层化占先模型人工智能nonmonotonic reasoning valuationranked preferential model

N—Star网络中最优的点到多点平行路由算法

Ｃｈｅｎｔ等研究了ｎ－Ｓｔａｒ网络中的点到多点并行路由问题，对前人的工作做了很大的改进，给出了一个几乎最优的时间复杂度为Ｏ（ｎ＾２）的算法，由Ｃｈｅｎ的算法所给出的ｎ－１条路Ｐ２，…，Ｐｎ满足│Ｐｉ│≤ｄｉｓｔ（ｖ１，ｖｉ）＋６，其中Ｐｉ是连续ｖｉ到ｖ１的路，│Ｐｉ│表示路Ｐｉ的

期刊

N-Star网络互连网络并行路由算法Nstar networks internet parallel routing algorithm disjo

纤溶酶和灯盏花素注射液治疗急性脑梗死临床观察

脑梗死是常见病、多发病，该病易复发、致残率及死亡率均高。严重威胁人类的健康。2008年5月～2010年5月应用纤溶酶和灯盏花素注射液治疗急性脑梗死36例，与低分子右旋糖酐加复方丹参注射液治疗的36例比较，疗效满意，现总结报告如下。　　　　资料与方法　　本组起病3天内急性脑梗死病人72例，均符合1995年第四届全国脑血管病学术会议制定的诊断标准，并经头颅CT证实为颈内动脉供血区脑梗死，且为首次发病，

期刊

灯盏花素注射液急性脑梗死纤溶酶临床观察治疗低分子右旋糖酐复方丹参常见病

邳州市钢架大棚草莓高效栽培技术

介绍了邳州市钢架大棚草莓高效栽培技术，主要包括基地选择、品种选择、适时定植、肥水管理：温湿度管理、花果管理、病虫害防治等内容，以期为草莓种植户提供技术参考。

期刊

草莓钢架大棚高效栽培技术江苏邳州

区间时序逻辑的标记相继式演算

区间逻辑在许多领域如人工智能，形式化方法中都有成功应用。其中，区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视，由于区间时序逻辑具有较强的表达能力，这也使得该逻辑

期刊

区间时序逻辑相继式演算定理证明人工智能Interval temporal logic sequent calculus theorem provin

犹太人的现场营销

我在美国东部北卡洛莱纳州的Durham(达勒姆)市生活了一段时间,这个城市在北卡州属于第四大城市,人口23万人左右,Southpoint Mall(南点商场)是该市最大的商场,因为认识的一个