传值进程

作品数：7被引量：4H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：林惠民刘剑薛锐许文方海更多>>
相关机构：中国科学院软件研究所国防科学技术大学中国科学院大学中国科学院更多>>
相关期刊：《计算机学报》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带复杂数据结构的模型检测工具
《计算机研究与发展》2004年第11期1990-1999,共10页张轶 林惠民 
国家自然科学基金项目 (6983 3 0 2 0 )
模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键 为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻...
关键词：模型检测 传值进程 带赋值符号迁移图 谓词μ演算 复杂数据结构 
面向传值进程的一阶模态逻辑的可判定性与模型检测
《中国科学（E辑）》2003年第2期97-110,共14页薛锐 林惠民 
国家自然科学基金(批准号:69833020);国家高技术研究发展计划(863计划;2002AA144050);国家"九七三"重点研究发展规划(G1999035802);山西师范大学山西省归国留学生基金资助项目
对于面向传值进程的Hennessy—Milner逻辑的一阶扩充HML(FO),给出了基于带赋值的符号迁移图的语义解释.证明了HML(FO)的子逻辑HML(FO2)是满足性可判定的,并且讨论了判定的复杂性.最后给出传值进程关于HML(FO2)的模型检测的可判定性结果.
关键词：一阶模态逻辑 可判定性 模型检测 传值进程 Hennessy-Milner逻辑 符号迁移图 
传值进程模型检测中诊断信息的生成被引量：3
《软件学报》2003年第1期1-8,共8页刘剑 林惠民 
(国家自然科学基金)No.69833020 ~
诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法.所采用的方法是从检测过程保存的依...
关键词：传值进程 模型检测 诊断信息 进程代数 证明图 示例 算法 计算机 
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
《计算机学报》2002年第6期561-569,共9页薛锐 林惠民 
国家自然科学基金 (6983 3 0 2 0 );山西省归国留学生基金;中国科学院软件研究所开放实验室青年科学基金资助
作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner...
关键词：传值进程 谓词μ-演算 FO 完备推演系统 计算机 
STGA的变种及其互模拟验证
《计算机学报》2000年第4期345-355,共11页李舟军 陈火旺 钟广军 王兵山 
国家"八六三"高技术研究发展计划项目!(863-306-ZT05-06-1);国家自然科学基金!(69873045)
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互模拟等...
关键词：传值进程 符号迁移图 互模拟 算法 STGA 
带赋值符号迁移图的局部优化算法被引量：2
《计算机研究与发展》2000年第1期95-101,共7页方海 许文 林惠民 
国家自然科学基金重点项目!(项目编号69833020)和中国科学院"九五"基础研究重点项目
带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ 上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ 的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ 上所作...
关键词：传值进程 符号迁移图 赋值 局部优化算法 
嵌套谓词等式系与弱互模拟
《软件学报》1999年第11期1121-1126,共6页林惠民 
国家自然科学基金;中国科学院"九五"基础研究重点项目
带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌...
关键词：传值进程 互模拟 谓词等式系 符号迁移图 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部