您的位置： 专家智库 > >

国家自然科学基金(60173053)

作品数：51 被引量：162H指数：7
相关作者：吴哲辉曾庆田翟正利张广胜崔焕庆更多>>
相关机构：山东科技大学中国科学院安徽理工大学更多>>
发文基金：国家自然科学基金山东省自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
相关领域：自动化与计算机技术理学电子电信航空宇航科学技术更多>>

文献类型

  • 51篇中文期刊文章

领域

  • 47篇自动化与计算...
  • 4篇理学
  • 2篇电子电信
  • 1篇交通运输工程
  • 1篇航空宇航科学...

主题

  • 24篇PETRI网
  • 7篇PETRI网
  • 6篇时间PETR...
  • 6篇时延PETR...
  • 5篇网模型
  • 4篇形式化
  • 4篇语言
  • 4篇活性
  • 3篇形式化分析
  • 3篇增广PETR...
  • 3篇可达性
  • 3篇PETRI网...
  • 2篇有界
  • 2篇增广PETR...
  • 2篇智能主体
  • 2篇随机PETR...
  • 2篇通信
  • 2篇谓词
  • 2篇连续时间马尔...
  • 2篇逻辑进程

机构

  • 46篇山东科技大学
  • 9篇中国科学院
  • 5篇安徽理工大学
  • 3篇山东农业大学
  • 2篇北京科技大学
  • 2篇山东财政学院
  • 2篇同济大学
  • 1篇江苏科技大学
  • 1篇山东大学
  • 1篇上海交通大学
  • 1篇临沂师范学院

作者

  • 34篇吴哲辉
  • 6篇曾庆田
  • 5篇翟正利
  • 4篇方贤文
  • 4篇赵义军
  • 4篇崔焕庆
  • 4篇范昊
  • 4篇张广胜
  • 3篇方欢
  • 3篇马炳先
  • 3篇吴振寰
  • 2篇张继军
  • 2篇洪永发
  • 2篇徐颖蕾
  • 2篇许安国
  • 2篇杨扬
  • 2篇倪丽娜
  • 2篇王培良
  • 2篇段华
  • 2篇徐誉尹

传媒

  • 18篇系统仿真学报
  • 14篇计算机科学
  • 7篇计算机工程与...
  • 6篇计算机工程
  • 3篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇山东科技大学...
  • 1篇安徽理工大学...

年份

  • 2篇2008
  • 5篇2007
  • 11篇2006
  • 11篇2005
  • 7篇2004
  • 13篇2003
  • 2篇2002
共 51 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
S-网的进程表达式及求取方法研究被引量：2
2006年
Petri网的进程是用于系统行为和状态描述的有效工具,但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法,为结构复杂Petri网系统的进程描述提供借鉴和帮助。
段华曾庆田
关键词：PETRI网S-N
正规表达式与恰当终结的标准Petri网被引量：4
2007年
给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。
范昊吴哲辉
关键词：PETRI网正规语言语言
基于Horn子句集的Pr/T网可达树的方案求解被引量：4
2005年
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.
方欢吴哲辉崔焕庆
关键词：HORN子句可达树
一个基于时间petri网的多处理机静态调度的方法被引量：1
2005年
讨论了把任务图转换成Petri网的方法,因为所得到的Petri网是出现网,所以可以通过添加辅助变迁把其转换为强连通T-图,通过求解极小s-不变量便可以找到原出现网的所有的变迁发生序列.最后利用计算结果把任务分配到处理机上.得到的多处理机的任务调度方法所需要的时间最短,处理机数最少.
孔德华吴哲辉
关键词：时间PETRI网多处理机调度
项链T-图和完全T-图中活的和安全的标识类个数的证明
2007年
本文证明了:有k个结点(变迁)的项链型T-图Nk和有n个结点(变迁)的完全T-图Kn这两种特定结构的T-图中活的和安全的标识类的个数分别为:k-1和(n-1)!个。
耿霞吴哲辉
Petri网语言的同步交运算被引量：15
2004年
Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 .
曾庆田吴哲辉
关键词：PETRI网语言
求网的S-不变量的一种图算法
2007年
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。
王丽丽吴哲辉
基于CPEBSDL通信协议的Petri网建模方法
2008年
结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
范昊吴哲辉
关键词：PETRI网
基于时延Petri网的密码协议分析及性能评估被引量：4
2003年
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,文章对MSR无线协议作了详细的形式分析和性能评估。最后,与其它形式化分析密码协议的方法作了比较。
张广胜
关键词：密码协议形式化分析时延PETRI网BAN逻辑
非线性判别函数的基于MDL标准的勒让德多项式构造法
2002年
In Model Recognition, although a non-linear discriminating function may be superior to linear or quadraticclassifiers, it is difficult to construct. This paper proposes a constructing method using Legendre polynomials. Theselection of an optimal set of Legendre is determined by the MDL criterion. Results using many data show the effec-tiveness of this method.
翟正利孙忠林吴哲辉
关键词：模式识别
全选 清除 导出
共6页<123456>
聚类工具0