咨询与建议

限定检索结果

文献类型

  • 67 篇 期刊文献
  • 46 篇 学位论文

馆藏范围

  • 113 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 108 篇 工学
    • 85 篇 计算机科学与技术...
    • 52 篇 软件工程
    • 12 篇 仪器科学与技术
    • 10 篇 网络空间安全
    • 5 篇 控制科学与工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 1 篇 机械工程
    • 1 篇 航空宇航科学与技...
  • 21 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 公共管理
  • 3 篇 理学
    • 2 篇 系统科学
  • 2 篇 军事学
    • 2 篇 军队指挥学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 113 篇 pi演算
  • 11 篇 web服务组合
  • 8 篇 web服务
  • 8 篇 petri网
  • 7 篇 服务组合
  • 6 篇 进程代数
  • 5 篇 模型验证
  • 4 篇 形式化方法
  • 4 篇 applied
  • 3 篇 uml
  • 3 篇 跨组织业务流程
  • 3 篇 形式化描述
  • 3 篇 npict语言
  • 3 篇 安全协议
  • 3 篇 mwb
  • 3 篇 安全模型
  • 3 篇 bpel4ws
  • 3 篇 形式化
  • 3 篇 本体演化
  • 2 篇 多核芯片

机构

  • 21 篇 吉林大学
  • 9 篇 西北大学
  • 6 篇 北方民族大学
  • 5 篇 大连理工大学
  • 5 篇 西安电子科技大学
  • 4 篇 中国石油大学
  • 4 篇 武汉大学
  • 4 篇 云南大学
  • 3 篇 上海交通大学
  • 2 篇 解放军西安政治学...
  • 2 篇 湖南铁道职业技术...
  • 2 篇 复旦大学
  • 2 篇 太原理工大学
  • 2 篇 大连海事大学
  • 2 篇 解放军信息工程大...
  • 2 篇 西北工业大学
  • 2 篇 福州大学
  • 2 篇 哈尔滨工业大学
  • 2 篇 南京航空航天大学
  • 2 篇 山东经济学院

作者

  • 7 篇 郭小群
  • 7 篇 郝克刚
  • 3 篇 侯红
  • 3 篇 黄邵
  • 3 篇 李彤
  • 3 篇 杨毅
  • 3 篇 贾志淳
  • 2 篇 康辉
  • 2 篇 邢雪
  • 2 篇 赵文耘
  • 2 篇 刘亚亚
  • 2 篇 浦洁
  • 2 篇 丁剑洁
  • 2 篇 常建生
  • 2 篇 朱锐
  • 2 篇 赵文兵
  • 2 篇 马俊锋
  • 2 篇 陈传峰
  • 2 篇 詹涛
  • 2 篇 李占峻

语言

  • 113 篇 中文
检索条件"主题词=Pi演算"
113 条 记 录,以下是1-10 订阅
排序:
k-选择网和pi演算的表达能力
收藏 引用
计算机学报 2013年 第6期36卷 1261-1266页
作者: 李向宁 郝克刚 郭小群 西安电子科技大学电子装备结构实验室 西安710071 西北大学信息科学与技术学院 西安710069
文中定义了Petri网的一子类系列:k-选择网,它形成一个后类包含前类的Petri网子类的无穷序列,证明了此无穷序列的并集等于Petri网类,自由选择网是k=1的k-选择网,即1-选择网.在证明自由选择网系统可以用pi演算表达的基础上,文中进一步证... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于pi演算的跨组织工作流建模研究
收藏 引用
计算机研究与发展 2007年 第7期44卷 1243-1251页
作者: 张静 王海洋 崔立真 山东大学计算机科学与技术学院 济南250061
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于pi演算的跨组织工作流建模方法,利用pi演算的并发计算操作符,将跨组织业... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于pi演算的前沿调度算法并行性建模及实现
收藏 引用
吉林大学学报(工学版) 2019年 第1期49卷 242-247页
作者: 陈海鹏 邱际伦 邱峰 邢雪 吉林大学计算机科学与技术学院 长春130012 吉林大学软件学院 长春130012 吉林人民广播电台 长春132000
前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将pi演算应... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
C2P:基于pi演算的协议C代码形式化抽象方法和工具
收藏 引用
软件学报 2021年 第6期32卷 1581-1596页
作者: 张协力 祝跃飞 顾纯祥 陈熹 数学工程与先进计算国家重点实验室 河南郑州450001 网络密码技术河南省重点实验室 河南郑州450002
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为pi演算模型,基... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于pi演算的并行编程语言
收藏 引用
吉林大学学报(工学版) 2016年 第1期46卷 235-241页
作者: 康辉 王家琦 梅芳 吉林大学计算机科学与技术学院 长春130012
针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算法。该语言以pi演算为理论基础,首先根据pi演算的基本结构定义语言的核心句法结构,然后以pi演算中进程间... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多Agent协同系统的pi演算建模方法
收藏 引用
西安电子科技大学学报 2014年 第6期41卷 76-82页
作者: 鱼滨 张琛 李文静 西安电子科技大学计算机学院 陕西西安710071
MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于pi演算的Web服务建模与WSDL转换
收藏 引用
北京工业大学学报 2008年 第11期34卷 1202-1206页
作者: 康辉 苑森淼 浦洁 刘勇 吉林大学计算机科学与技术学院 长春130012
为顺利地执行Web复合服务,实现服务的自动组合,对基于pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了piCM2WSDL模型,通过形式化的方法验证,基于pi演算的Web服务... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
pi演算与动态描述逻辑DDL的关系研究
收藏 引用
计算机研究与发展 2008年 第Z1期45卷 131-136页
作者: 刘磊 汪美玲 高艳华 张长海 于哲舟 吉林大学计算机科学与技术学院 长春130012
分析了pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
pi演算对图灵机的表达
收藏 引用
计算机工程与科学 2009年 第10期31卷 53-55页
作者: 郝克刚 郭小群 西北大学信息科学与技术学院 陕西西安710069
为了研究pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用pi演算的规约来表达图灵机的运算过程。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于pi演算的人工神经网络模型
收藏 引用
哈尔滨工程大学学报 2006年 第B7期27卷 71-73页
作者: 陈宁 冯博琴 西安交通大学计算机教学实验中心 陕西西安710049
人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论