云南高校图书馆联盟文献共享服务平台- 互模拟等价

互模拟等价: 作品数：11被引量：14H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：邓辉张双双赵锡英吴尽昭刘美玲更多>>; 相关机构：吉林大学广西民族大学上海交通大学北京交通大学更多>>; 相关期刊：《控制理论与应用》《软件学报》《兰州理工大学学报》《北京交通大学学报》更多>>; 相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>

连续时间Markov决策过程互模拟等价及逻辑保持被引量：1: 《控制理论与应用》2016年第8期1031-1038,共8页黄镇谨陆阳杨娟王智文; 国家自然科学基金项目(61462008;61070220);安徽省自然科学基金项目(1608085QF149);广西省高校科学技术研究项目(LX2014186)资助~~; 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M...; 关键词：马尔科夫链马尔科夫决策过程互模拟等价关系逻辑保持

一种递归π演算向Petri网的转换方法被引量：2: 《吉林大学学报（工学版）》2014年第1期142-148,共7页康辉张双双梅芳; 国家自然科学基金项目(61073164); 针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的...; 关键词：计算机软件递归兀演算转换层次化方法 Petri网简洁表示互模拟等价

线性半代数变迁系统的近似互模拟等价被引量：1: 《吉林大学学报（工学版）》2013年第4期1052-1058,共7页邓辉吴尽昭; 国家自然科学基金项目(60973147;60873118);高等学校博士学科点专项科研基金项目(20090009110006);广西自然科学基金项目(2011GXNSFA018154);广西壮族自治区主席科技基金项目(10169-1);广西教育厅科研项目(201012MS274); 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在...; 关键词：计算机软件近似互模拟线性半代数变迁系统特征列奇异值分解并发通信程序

绿色评价模型的互模拟等价及逻辑保持被引量：4: 《计算机学报》2013年第5期967-976,共10页钮俊曾国荪王伟; 国家"八六三"高技术研究发展计划项目基金(2007AA01Z425;2009AA012201);国家"九七三"重点基础研究发展规划项目基金(2007CB316502);国家自然科学基金(90718015;61103068;61174158);NSFC-微软亚洲研究院联合项目(60970155);教育部博士点基金(20090072110035);上海市优秀学科带头人计划项目(10XD1404400);高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06);浙江省自然科学基金项目(LY12F020031);宁波市自然科学基金(2012A610062)资助~~; 绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸...; 关键词：绿色评价模型检测随机过程评价指标互模拟绿色计算

多项式程序模型的互模拟等价被引量：1: 《北京交通大学学报》2011年第5期73-77,88,共6页邓辉吴尽昭; 国家自然科学基金资助项目(60973147;60873118);教育部博士点基金项目资助(20090009110006); 针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式...; 关键词：互模拟等价多项式程序模型非确定性并发

概率带测试克林代数: 《四川大学学报（工程科学版）》2009年第1期134-138,共5页乔瑞吴尽昭; 国家973计划资助项目(2004CB318000;2007CB310800);国家高技术发展计划(863计划)资助项目(2007AA01Z143); 为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局...; 关键词：概率带测试克林代数概率格局变迁系统结构操作语义互模拟等价

交互式马尔科夫链上强模拟关系的计算被引量：1: 《兰州理工大学学报》2008年第1期76-81,共6页赵锡英张明新邢敬宏; 甘肃省自然科学基金(3ZS051-A25-047);甘肃省教育厅科研基金(0712-02); 对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.; 关键词：交互式马尔可夫链强互模拟等价强模拟前序算法计算复杂度

基于进程代数的安全软件体系结构建模: 《计算机应用》2005年第12期2811-2813,共3页甘厚勇毋国庆胡涌涛; 分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结...; 关键词：进程代数软件体系结构描述语言弱互模拟等价体系结构风格

π-网的强互模拟等价被引量：3: 《计算机学报》2005年第1期1-8,共8页曹木亮吴智铭; 国家自然科学基金 (60 0 740 11;70 0 710 17)资助 .; 该文建立了π 网的强互模拟等价关系 ,对π 网的结构作了进一步的研究 .π 网是一类新型的基于π 演算语义的模块化高级Petri网 ,是对两类并发模型Petri网和π 演算的有效结合 ,它的并发语义既是“真正并发”的又是“交互”的 .π ...; 关键词：π-网 Π-演算标号操作规则强互模拟等价

传值CCS和π—演算互模拟等价的验证理论和算法: 《计算机工程与科学》2003年第3期109-109,共1页李舟军; 关键词：验证算法验证理论 CCS Π-演算模拟等价

互模拟等价