检索结果-维普期刊中文期刊服务平台

鲁棒环境演算类型演化系统的扩充(英文) 被引量：2: 1; 作者陈韬略冯扬悦 +1 位作者吕建韩婷婷《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第5期531-539,共9页; 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演... 展开更多; 关键词进程代数环境演算类型演化类型系统; 在线阅读下载PDF 职称材料

一种扩展式动态环境演算范型的Petri网描述被引量：1: 2; 作者曹玉辉王卫红覃征《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第10期1230-1234,共5页; 为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行... 展开更多; 关键词移动计算环境演算染色Petri网; 在线阅读下载PDF 职称材料

面向移动协同的扩展式动态环境演算范型研究被引量：1: 3; 作者曹玉辉王卫红覃征《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第4期427-430,435,共5页; 针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统,提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念"环境"进行深入解析的基础上给出其在协同计算情境下的新语义,之后抽取刻画协... 展开更多; 关键词动态环境演算移动协同行为理论; 在线阅读下载PDF 职称材料

鲁棒环境演算中的互模拟同余关系: 4; 作者陈韬略李斌 +1 位作者韩婷婷吕建《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期155-161,共7页; 　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余... 展开更多; 关键词进程代数环境演算标号转移系统互模拟; 在线阅读下载PDF 职称材料

一种改进的安全环境演算及其行为等价关系研究: 5; 作者韩婷婷陈韬略 +1 位作者吕建马骞《小型微型计算机系统》 CSCD 北大核心 2005年第6期1037-1041,共5页; 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并... 展开更多; 关键词移动计算进程代数安全环境演算上下文互模拟; 在线阅读下载PDF 职称材料

带口令的安全盒子环境演算: 6; 作者江华李祥《计算机工程》 CAS CSCD 北大核心 2007年第9期55-57,共3页; 带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,... 展开更多; 关键词移动计算进程代数移动环境演算网络计算; 在线阅读下载PDF 职称材料

从用户需求到软件规约:一种问题变换的方法被引量：8: 7; 作者李智金芝《软件学报》 EI CSCD 北大核心 2013年第5期961-976,共16页; 研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整... 展开更多; 关键词问题框架通信顺序进程领域和需求建模最弱环境演算软件规约; 在线阅读下载PDF 职称材料

移动Agent计算理论和形式化方法研究被引量：1: 8; 作者杨博黄晶刘大有《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期274-278,共5页; 研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较... 展开更多; 关键词移动AGENT Π-演算环境演算进程代数; 在线阅读下载PDF 职称材料

题名鲁棒环境演算类型演化系统的扩充(英文) 被引量：2: 1; 作者陈韬略冯扬悦吕建韩婷婷; 机构南京大学计算机软件新技术国家重点实验室; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第5期531-539,共9页; 基金 National Natural Science Foundation of China(60273034,60233010),the National High-Tech Research and Development Plan of China(2002AA116010),the 973 Program of China (2002CB312002); 文摘移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。; 关键词进程代数环境演算类型演化类型系统; Keywords process algebra mobile ambient type evolution type system; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种扩展式动态环境演算范型的Petri网描述被引量：1: 2; 作者曹玉辉王卫红覃征; 机构西安交通大学电子与信息工程学院河北经贸大学信息技术学院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第10期1230-1234,共5页; 基金国家高技术发展计划资助项目(2003AA412020) 陕西省科技发展计划“十五”攻关资助项目(2000K08-G12) 河北省自然科学基金资助项目(F2008000460); 文摘为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.; 关键词移动计算环境演算染色Petri网; Keywords mobile computing ambient calculus color Petri net; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向移动协同的扩展式动态环境演算范型研究被引量：1: 3; 作者曹玉辉王卫红覃征; 机构西安交通大学电子与信息工程学院河北经贸大学信息技术学院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第4期427-430,435,共5页; 基金国家高技术研究发展计划资助项目(2003AA412020) 陕西省科学技术发展计划“十五”攻关资助项目(2000K08-G12) 国防“十一五”预研基金资助项目(402040202); 文摘针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统,提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念"环境"进行深入解析的基础上给出其在协同计算情境下的新语义,之后抽取刻画协同行为的基础动作A,并将A作为刻画协作性的基本单位.进而将动作行为理论引入到动态环境演算中,即在动态环境演算的基础上将A作为参与环境演算的基本实体,从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计算的移动性,同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例描述.较之经典动态环境演算,EMA弥补了不能刻画移动协同中的协作性缺陷,为移动协同理论框架的完善提供了依据,为移动协同应用的构建提供了一种新的理论基础.; 关键词动态环境演算移动协同行为理论; Keywords mobile ambient mobile collaboration behavior theory; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名鲁棒环境演算中的互模拟同余关系: 4; 作者陈韬略李斌韩婷婷吕建; 机构南京大学计算机软件新技术国家重点实验室; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期155-161,共7页; 基金国家重点基础研究发展规划973项目(2002CB312002) 国家自然科学基金(60273034 +4 种基金 60233010 60403014) 国家863高科技项目(2002AA116010) 江苏省自然科学基金(BK2002203 BK2002409); 文摘　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明.; 关键词进程代数环境演算标号转移系统互模拟; Keywords process algebra, mobile ambient, labelled transition system, bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种改进的安全环境演算及其行为等价关系研究: 5; 作者韩婷婷陈韬略吕建马骞; 机构南京大学计算机软件新技术国家重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2005年第6期1037-1041,共5页; 基金国家重点基础研究发展规划"九七三"项目(2002CB312002)资助国家自然科学基金(60273034 +1 种基金 60233010)资助国家"八六三"高科技项目(2002AA116010)资助.; 文摘移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.; 关键词移动计算进程代数安全环境演算上下文互模拟; Keywords mobile computation process algebra safe ambient contextual bisimulation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名带口令的安全盒子环境演算: 6; 作者江华李祥; 机构贵州大学计算机理论与软件研究所; 出处《计算机工程》 CAS CSCD 北大核心 2007年第9期55-57,共3页; 基金贵州省科学基金资助项目(GGY2004002); 文摘带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。; 关键词移动计算进程代数移动环境演算网络计算; Keywords Mobile computation Process algebra Calculus of the mobile ambient Network computation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名从用户需求到软件规约:一种问题变换的方法被引量：8: 7; 作者李智金芝; 机构广西师范大学计算机科学与信息工程学院高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院软件研究所; 出处《软件学报》 EI CSCD 北大核心 2013年第5期961-976,共16页; 基金国家重点基础研究发展计划(973)(2009CB320701) 国家自然科学基金(61262004) +1 种基金 "八桂学者"工程专项经费; 文摘研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.; 关键词问题框架通信顺序进程领域和需求建模最弱环境演算软件规约; Keywords problem frame communicating sequential process domain and requirement modeling weakest-environment calculus software specification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名移动Agent计算理论和形式化方法研究被引量：1: 8; 作者杨博黄晶刘大有; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程国家教育部重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期274-278,共5页; 基金国家自然科学基金项目(60503016,60496321); 文摘研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.; 关键词移动AGENT Π-演算环境演算进程代数; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	鲁棒环境演算类型演化系统的扩充(英文)	陈韬略冯扬悦吕建韩婷婷	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
2	一种扩展式动态环境演算范型的Petri网描述	曹玉辉王卫红覃征	《西安交通大学学报》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
3	面向移动协同的扩展式动态环境演算范型研究	曹玉辉王卫红覃征	《西安交通大学学报》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
4	鲁棒环境演算中的互模拟同余关系	陈韬略李斌韩婷婷吕建	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
5	一种改进的安全环境演算及其行为等价关系研究	韩婷婷陈韬略吕建马骞	《小型微型计算机系统》 CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
6	带口令的安全盒子环境演算	江华李祥	《计算机工程》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
7	从用户需求到软件规约:一种问题变换的方法	李智金芝	《软件学报》 EI CSCD 北大核心	2013	8	在线阅读下载PDF 职称材料
8	移动Agent计算理论和形式化方法研究	杨博黄晶刘大有	《计算机研究与发展》 EI CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料