检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

嵌套谓词等式系与弱互模拟

软件学报 1999年第11期10卷 1121-1126页

作者：林惠民中国科学院软件研究所计算机科学开放研究实验室北京100080

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌... 详细信息

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解．

关键词：传值进程互模拟谓词等式系符号迁移图算法

在线全文

学校读者我要写书评

暂无评论

时间符号迁移图及其互模拟判定

计算机学报 2002年第2期25卷 113-121页

作者：陈靖林惠民中国科学院软件研究所计算机科学开放实验室北京100080

引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法。

关键词：实时系统数据传送互模拟时间符号迁移图算法计算机

在线全文

学校读者我要写书评

暂无评论

递归数据传送进程的证明系统

计算机学报 1996年第11期19卷 854-860页

作者：林惠民中国科学院软件研究所计算机科学实验室

本文提出递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性．其中关键的推理规则是唯一不动点归纳法．这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统［３］推广到数据传送进程，另一方面将Ｈ... 详细信息

本文提出递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性．其中关键的推理规则是唯一不动点归纳法．这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统［３］推广到数据传送进程，另一方面将Ｈｅｎｎｅｓｓｙ与Ｌｉｎ关于有穷数据传送进程的证明系统［６］推广到无穷进程．

关键词：数据传送进程进程代数形式语义

在线全文

学校读者我要写书评

暂无评论

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

计算机学报 1998年第2期21卷 97-102页

作者：林惠民中国科学院软件研究所计算机科学实验室北京100080

本文引入描述传值并发系统的新模型“带赋值符号迁移图（STGA）”．STGA推广了Hen－nessy和Lin提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图．STGA的另一优点是在并行运算下封闭．文... 详细信息

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

关键词：互模拟谓词等式系传值系统进程软件

在线全文

学校读者我要写书评

暂无评论

带复杂数据结构的模型检测工具

计算机研究与发展 2004年第11期41卷 1990-1999页

作者：张轶林惠民中国科学院软件研究所计算机科学重点实验室北京100080

模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻... 详细信息

模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作 ,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图

关键词：模型检测传值进程带赋值符号迁移图谓词μ演算复杂数据结构

在线全文

学校读者我要写书评

暂无评论

π-演算互模拟判定算法的优化和实现

软件学报 2001年第2期12卷 159-166页

作者：许文方海林惠民中国科学院软件研究所计算机科学开放研究实验室北京100080

π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大... 详细信息

π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大大减少所用的时间和空间 ,并证明了优化算法的正确性 .

关键词：进程代数 π-演算互模拟验证算法计算机

在线全文

学校读者我要写书评

暂无评论

盐泽螺旋藻与其他螺旋藻的比较研究

水生生物学报 1991年第1期15卷 27-34页

作者：林惠民中国科学院水生生物研究所武汉430072

研究了盐泽螺旋藻的形态、生理生化特性和在不同条件下的生长状况,并与其他螺旋藻进行了比较。盐泽螺旋藻、极大螺旋藻和钝顶螺旋藻在蛋白质的含量、氨基酸组分以及可见光吸收光谱等方面差别不大。盐泽螺旋藻的生长速度最快(世代时间为8... 详细信息

研究了盐泽螺旋藻的形态、生理生化特性和在不同条件下的生长状况,并与其他螺旋藻进行了比较。盐泽螺旋藻、极大螺旋藻和钝顶螺旋藻在蛋白质的含量、氨基酸组分以及可见光吸收光谱等方面差别不大。盐泽螺旋藻的生长速度最快(世代时间为8.4h)。极大螺旋藻、钝顶螺旋藻1926和钝顶螺旋藻2340的世代时间分别为11、11.8和14.8h。盐泽螺旋藻的光合作用和呼吸作用强度亦大于极大螺旋藻和钝顶螺旋藻。此外,这种藻对盐分和温度还具有较宽的适应范围,在形态上也和其他3种螺旋藻有较大之差异。

关键词：螺旋藻光合作用呼吸作用