您的位置： 专家智库 > >

周奕

作品数：4 被引量：11H指数：1
供职机构：复旦大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 3篇PETRI网
  • 1篇性能分析
  • 1篇性能评价
  • 1篇应用程序
  • 1篇软件包
  • 1篇通信
  • 1篇通信软件
  • 1篇网络
  • 1篇谓词
  • 1篇逻辑
  • 1篇逻辑推理
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络

机构

  • 4篇复旦大学

作者

  • 4篇周奕
  • 4篇吴时霖

传媒

  • 1篇计算机学报
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇中国计算机学...

年份

  • 1篇1997
  • 2篇1995
  • 1篇1994
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种自动重发请求协议的谓词／变迁网描述与验证
周奕吴时霖
关键词：计算机网络
基于归结反演的Petri网推理新方法被引量：11
1997年
本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻辑的谓词／变迁网模型中．这些算法都具有较高的效率，为逻辑推论的Ｐ／Ｔ网和Ｐｒ／Ｔ网模型的推理提供了新的有效的方法．
周奕吴时霖
关键词：逻辑推理PETRI网
MultiExpress软件包分析及验证
1995年
本文根据对MultiExpress软件包的分析,就远程控制进行了简介,提出了它的实现方式并给出流程图。又在此基础上,建立Potri网模型,进行了验证。
周奕吴时霖
关键词：通信软件PETRI网应用程序
Zmodem协议的Petri网描述验证及其随机性能评价
1994年
本文首先对Ｚｍｏｄｃｍ协议简单介绍，包括Ｚｍｏｄｅｍ的工作流程与使用，然后用Ｐｅｔｒｉ网对Ｚｍｏｄｅｍ进行描述和正确性验证，最后引人时间概念，对Ｚｍｏｄｅｍ协议用随机Ｐｅｔｒｉ网分析其吞吐车及延迟时间．在此基础上．对比Ｚｍｏｄｅｍ与Ｘｍｏｄｅｍ协议的效率，分析Ｚｍｏｄｅｍ协议的优势所在．另外Ｚｍｏｄｅｍ协议提出两点建议．
吴时霖周奕
关键词：性能分析PETRI网
全选 清除 导出
共1页<1>
聚类工具0