检索结果-南通市图书馆

模式识别与人工智能 2008年第5期21卷 577-585页

作者：蔡国永高济黄勇赵岭忠浙江大学计算机与软件学院杭州310027 桂林电子科技大学计算机与控制学院桂林541004 桂林电子科技大学计算机与控制学院桂林541004

针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例... 详细信息

针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例,说明该方法的可用性.该演算文法特点是结合多主体组织管理理论的部门、角色、政策、演员等概念,因而更易于与其它系统高层领域概念分析模型建立关联,有利于系统概念模型到设计模型的平滑过渡.

关键词：环境演算电子机构多主体系统虚拟组织形式化方法

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

一种扩展式动态环境演算范型的Petri网描述

引用

西安交通大学学报 2008年第10期42卷 1230-1234页

作者：曹玉辉王卫红覃征西安交通大学电子与信息工程学院西安710049 河北经贸大学信息技术学院石家庄050061

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行... 详细信息

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.

关键词：移动计算环境演算染色Petri网

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

鲁棒环境演算类型演化系统的扩充(英文)

引用

南京大学学报（自然科学版） 2004年第5期40卷 531-539页

作者：陈韬略冯扬悦吕建韩婷婷南京大学计算机软件新技术国家重点实验室南京210093

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演... 详细信息

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。

关键词：进程代数环境演算类型演化类型系统

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

鲁棒环境演算中的互模拟同余关系

引用

南京大学学报（自然科学版） 2005年第2期41卷 155-161页

作者：陈韬略李斌韩婷婷吕建南京大学计算机软件新技术国家重点实验室南京210093

　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余... 详细信息

　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明.

关键词：进程代数环境演算标号转移系统互模拟

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

移动Agent计算理论和形式化方法研究

引用

计算机研究与发展 2006年第Z1期43卷 274-278页

作者：杨博黄晶刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程国家教育部重点实验室长春130012

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较... 详细信息

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.

关键词：移动Agent π-演算环境演算进程代数

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：