您的位置： 专家智库 > >

福建省教育厅资助项目(JK2010037)

作品数：9 被引量：1H指数：1
相关作者：岳昊李文杰更多>>
相关机构：漳州师范学院西北核技术研究所山东科技大学更多>>
发文基金：国家自然科学基金福建省教育厅资助项目博士科研启动基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

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

领域

  • 9篇自动化与计算...
  • 1篇理学

主题

  • 10篇PETRI网
  • 7篇PETRI网
  • 5篇PETRI网...
  • 3篇向量
  • 3篇可重复向量
  • 2篇柔性制造系统
  • 2篇网模型
  • 2篇活性
  • 2篇公平
  • 2篇本原
  • 2篇PETRI网...
  • 1篇信标
  • 1篇死锁
  • 1篇资源分配
  • 1篇资源分配系统
  • 1篇自动制造系统
  • 1篇系统活性
  • 1篇向量分析
  • 1篇库所
  • 1篇化简

机构

  • 10篇漳州师范学院
  • 5篇西北核技术研...
  • 4篇山东科技大学

作者

  • 10篇岳昊
  • 5篇李文杰

传媒

  • 1篇云南师范大学...
  • 1篇江西师范大学...
  • 1篇漳州师范学院...
  • 1篇湖北民族学院...
  • 1篇计算机科学
  • 1篇长春师范学院...
  • 1篇太原师范学院...
  • 1篇吉林师范大学...
  • 1篇长江大学学报...

年份

  • 2篇2011
  • 8篇2010
共 9 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Petri网系统本原有效受控可重复向量分析
Petri的有效受控可重复向量反映的是网系统的动态性质,并可用于确定网语言的属性。然而,一个Petri网系统通常具有无限多个有效受控可重复向量。因此,有必要用有限的形式表示无限多个有效受控可重复向量。为此,类比于Petr...
岳昊李文杰陈宝兴
关键词：PETRI网可重复向量本原
文献传递
柔性制造系统Petri网模型中的一类共享资源
2010年
揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.
岳昊李文杰
关键词：柔性制造系统PETRI网共享资源死锁
自动制造系统Petri网模型中的分叉操作库所
2010年
在自动制造系统Petri网模型中,分叉操作库所是资源变迁回路(Resource-Transition Circuit,简称RTC)发生不完美性的根源.若没有分叉操作库所,则所有的RTC都是完美的.对于一个资源子集R1,若存在以R1为资源集的RTC,则θ=就是以R1为资源集的完美极大资源变迁回路(Perfect Maximal Resource-Transition Circuit,简称PMRTC).
岳昊李文杰
关键词：PETRI网库所回路
Petri网系统中的有效本原可重复向量集
2010年
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.
岳昊
关键词：PETRI网可重复向量本原
合法变迁引发序列判定中的T-不变量添加
2010年
Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。
岳昊李文杰
关键词：PETRI网
S^3PR网多项式时间复杂度的化简算法被引量：1
2010年
针对在一类S3PR网柔性制造系统Petri网模型N中的位置特殊资源不可能出现在网的严格极小信标之中的理论进行研究,对包含此类资源的网系统进行化简,分析了化简算法的时间性能,得出了该算法是多项式时间复杂度的结论,并推广了已有文献的结果.
岳昊李文杰
关键词：柔性制造系统PETRI网信标化简
Petri网系统的公平性判定
2010年
一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0。最后,用一个实例展示结论的应用过程。
岳昊
关键词：PETRI网
Petri网系统的弱公平性判定
2010年
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X(j)>0且X(i)=0.最后,用一个实例展示结论的应用过程.
岳昊
关键词：PETRI网可重复向量
基于Petri网的顺序资源分配系统活性的一个性质
2011年
具有多资源需求和柔性加工路径的顺序资源分配系统(Sequential Resource Allocation Systems with MultipleResource Acquisitions and Flexible Routings,C/D-RAS)是一类较复杂的、更为一般的资源分配系统。考察了两个与C/D-RAS密切相关的活性问题。借助这两个C/D-RAS的Petri网模型来定义标识S3PGR2网对((N1,M01),(N2,M02)),由标识S3PGR2网中资源种类、数量的守恒性和变迁使能的一个充分必要条件,证明(N1,M01)和(N2,M02)的合法变迁发生序列是一致的,据此得出的最终结论是(N1,M01)和(N2,M02)具有相同的活性。最后,简要提及本结论的应用。
岳昊
关键词：PETRI网资源分配系统活性
Petri网系统中变迁的分级活性判定
2010年
活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。
岳昊
关键词：PETRI网活性
全选 清除 导出
共1页<1>
聚类工具0