检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

Seal演算的偶图语义

计算机学报 2008年第3期31卷 522-528页

作者：金龙飞刘磊吉林大学计算机科学与技术学院长春130012

偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一... 详细信息

偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.

关键词： Seal演算偶图偶图反应系统结构对应操作对应

在线全文

学校读者我要写书评

暂无评论

主存数据库组织的偶图方法

华中理工大学学报 1998年第9期26卷 14-16页

作者：刘云生李娟华中理工大学计算机科学与技术学院

提出一种新的ＭＭＤＢ的物理组织方法——主存数据库偶图方法，详细描述了它的物理实现和其上的数据操作．研究表明，这种方法提高了系统的空间利用率和存取性能，是实现ＭＭＤＢ的一种有效方法．

关键词：主存数据库主存数据库图物理数据库组织偶图

在线全文

学校读者我要写书评

暂无评论

由圈长分布确定的偶图

数学进展 2005年第2期34卷 167-172页

作者：王敏王明磊施永兵上海师范大学数理信息学院上海200234

阶为n的图G的圈长分布是序列(c1,c2,…,cn),其中Ci是图G中长为i的圈数.本文得到如下结果:设A(?)E(Kn,r),|A|≤1,且n≤r≤min{n+6,2n-3),则G=Kn,r-A是由它的圈长分布确定的.

关键词：圈圈长分布偶图圈长分布确定的偶图

在线全文

学校读者我要写书评

暂无评论

给定最大度的单圈偶图的谱半径

高校应用数学学报（A辑） 2013年第1期28卷 72-80页

作者：尹连伟郭曙光盐城师范学院数学科学学院江苏盐城224002 江苏师范大学数学科学学院江苏徐州224002

单圈偶图是边数等于顶点数的简单连通偶图.Δ(G)表示图G的最大度.文中给出了最大度为Δ(≥^(n+1)/2)的n阶单圈偶图的谱半径的上界,并刻画了达到该上界的图.文中还证明了当Δ(G)≥[(2n+1)/3]+1时,n(≥8)阶单圈偶图G的谱半径随着最大度的... 详细信息

单圈偶图是边数等于顶点数的简单连通偶图.Δ(G)表示图G的最大度.文中给出了最大度为Δ(≥^(n+1)/2)的n阶单圈偶图的谱半径的上界,并刻画了达到该上界的图.文中还证明了当Δ(G)≥[(2n+1)/3]+1时,n(≥8)阶单圈偶图G的谱半径随着最大度的递增而严格递增,并在此基础上给出了谱半径排在前17位的n(≥16)阶单圈偶图.

关键词：单圈图最大度偶图谱半径

在线全文

学校读者我要写书评

暂无评论

偶图范畴的规范描述

计算机科学 2013年第7期40卷 24-27页

作者：许东朱刚李静上海大学计算机工程与科学学院上海200444

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名... 详细信息

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、s-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用。

关键词：偶图范畴普适信息系统