环境演算

作品数：8被引量：12H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩婷婷陈韬略杨博吕建黄晶更多>>
相关机构：吉林大学南京大学广西师范大学北京大学更多>>
相关期刊：《南京大学学报（自然科学版）》《模式识别与人工智能》《武汉大学学报（理学版）》《西安交通大学学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从用户需求到软件规约:一种问题变换的方法被引量：8
《软件学报》2013年第5期961-976,共16页李智 金芝 
国家重点基础研究发展计划(973)(2009CB320701);国家自然科学基金(61262004);广西自然科学基金(2012GXNSFCA-053010);"八桂学者"工程专项经费
研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整...
关键词：问题框架 通信顺序进程 领域和需求建模 最弱环境演算 软件规约 
一种扩展式动态环境演算范型的Petri网描述被引量：1
《西安交通大学学报》2008年第10期1230-1234,共5页曹玉辉 王卫红 覃征 
国家高技术发展计划资助项目(2003AA412020);陕西省科技发展计划“十五”攻关资助项目(2000K08-G12);河北省自然科学基金资助项目(F2008000460)
为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行...
关键词：移动计算 环境演算 染色Petri网 
基于扩充环境演算的虚拟组织建模与分析
《模式识别与人工智能》2008年第5期577-585,共9页蔡国永 高济 黄勇 赵岭忠 
国家自然科学基金(No.60775029;60663005);广西省自然科学基金(No.0728089)资助项目
针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例...
关键词：环境演算 电子机构 多主体系统 虚拟组织 形式化方法 
带口令的安全盒子环境演算
《计算机工程》2007年第9期55-57,共3页江华 李祥 
贵州省科学基金资助项目(GGY2004002)
带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,...
关键词：移动计算 进程代数 移动环境演算 网络计算 
移动Agent计算理论和形式化方法研究被引量：1
《计算机研究与发展》2006年第z1期274-278,共5页杨博 黄晶 刘大有 
国家自然科学基金项目(60503016,60496321)
研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较...
关键词：移动AGENT Π-演算 环境演算 进程代数 
鲁棒环境演算中的互模拟同余关系
《南京大学学报（自然科学版）》2005年第2期155-161,共7页陈韬略 李斌 韩婷婷 吕建 
国家重点基础研究发展规划973项目(2002CB312002);国家自然科学基金(60273034;60233010;60403014);国家863高科技项目(2002AA116010);江苏省自然科学基金(BK2002203;BK2002409)
　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余...
关键词：进程代数 环境演算 标号转移系统 互模拟 
复制受限的环境演算中模态逻辑的内涵性
《武汉大学学报（理学版）》2004年第5期595-600,共6页颜锋 陈韬略 韩婷婷 吕建 
国家重点基础研究发展规划973项目资助(2002CB312002);国家自然科学基金资助项目(60273034);江苏省自然科学基金资助项目(BK2002203;BK2002409)
环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是...
关键词：移动计算 进程代数 移动环境演算 模态逻辑 内涵性 同余关系 
鲁棒环境演算类型演化系统的扩充(英文)被引量：2
《南京大学学报（自然科学版）》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]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演...
关键词：进程代数 环境演算 类型演化 类型系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部