数学论文 | 力学论文 | 化学论文 | 信息科学论文 | 物理学论文 | 农学论文 | 林学论文 | 药学论文 | 天文学论文 | 生物学论文 | 水产学论文 | 核科学论文 | 中医中药学论文
管理学论文 | 经济学论文 | 教育学论文 | 地球科学论文 | 畜牧兽医论文 | 基础医学论文 | 临床医学论文 | 医学卫生论文 | 工程学科论文 | 测绘科学论文 | 军事特种医学论文
材料学论文 | 矿山工程论文 | 化学工程论文 | 纺织科学论文 | 食品科学论文 | 体育科学论文 | 水利工程论文 | 环境科学论文 | 安全科学论文 | 能源科学论文 | 机械工程论文
电子通信自动控制论文 | 计算机科学论文 | 冶金工程技术论文 | 动力电气工程论文 | 土木建筑工程论文 | 交通运输工程论文 | 航空航天科学论文 | 图书馆情报文献学论文
  当前位置：免费论文首页 >> 计算机科学论文 >> 正文

SetPi-演算及其对本体演化的建模

论文发布时间：[2010-03-10]    范文大全    编辑：Voive.net

所有作者：刘磊 范茸 张睿 吕帅 张义飞

作者单位：吉林大学计算机科学与技术学院

论文摘要：对Pi-演算进行语法扩展，提出了一种新的演算：SetPi-演算，在Pi-演算原有语义的基础上引入了“集合”的思想，从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义，刻画了SetPi-演算的结构同余规则和归约规则等，并进一步对SetPi-演算的描述能力进行了界定和分析；最后将SetPi-演算应用于本体演化领域，描述本体演化的基本变更操作，实现了其形式化建模。

关键词： 形式化 Pi-演算 本体演化 建模

免费下载《SetPi-演算及其对本体演化的建模》PDF全文（已停止下载）
　　本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！

〖返回计算机科学论文列表〗

下一篇：一种基于带宽估计的拥塞控制改进算法

 相关范文
 热点推荐