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

作品数：9被引量：1H指数：1
导出分析报告
相关作者：岳昊李文杰更多>>
相关机构：漳州师范学院西北核技术研究所山东科技大学更多>>
相关期刊：《太原师范学院学报（自然科学版）》《长春师范学院学报（自然科学版）》《云南师范大学学报（自然科学版）》《吉林师范大学学报（自然科学版）》更多>>
相关主题：PETRI网PETRI网系统柔性制造系统PETRI网模型公平更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的顺序资源分配系统活性的一个性质
《计算机科学》2011年第4期267-271,共5页岳昊 
国家自然科学基金项目(60673053);福建省教育厅资助科技项目(JK2010037)资助
具有多资源需求和柔性加工路径的顺序资源分配系统(Sequential Resource Allocation Systems with MultipleResource Acquisitions and Flexible Routings,C/D-RAS)是一类较复杂的、更为一般的资源分配系统。考察了两个与C/D-RAS密切相...
关键词：PETRI网 资源分配系统 活性 
自动制造系统Petri网模型中的分叉操作库所
《吉林师范大学学报（自然科学版）》2010年第4期59-62,共4页岳昊 李文杰 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053)
在自动制造系统Petri网模型中,分叉操作库所是资源变迁回路(Resource-Transition Circuit,简称RTC)发生不完美性的根源.若没有分叉操作库所,则所有的RTC都是完美的.对于一个资源子集R1,若存在以R1为资源集的RTC,则θ=就...
关键词：PETRI网 制造系统 库所 回路 完美 
Petri网系统中的有效本原可重复向量集
《太原师范学院学报（自然科学版）》2010年第4期51-54,共4页岳昊 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053);漳州师范学院博士科研启动基金资助项目
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0...
关键词：PETRI网 可重复向量 有效 本原 
合法变迁引发序列判定中的T-不变量添加
《云南师范大学学报（自然科学版）》2010年第6期47-50,共4页岳昊 李文杰 
国家自然科学基金资助项目(60673053);福建省教育厅资助科技项目(编号:JK2010037);漳州师范学院博士科研启动基金资助项目
Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LF...
关键词：PETRI网 合法变迁引发序列 T-不变量 添加 
S^3PR网多项式时间复杂度的化简算法被引量：1
《江西师范大学学报（自然科学版）》2010年第6期636-640,649,共6页岳昊 李文杰 
国家自然科学基金(60673053);福建省教育厅资助科技项目(JK2010037)资助
针对在一类S3PR网柔性制造系统Petri网模型N中的位置特殊资源不可能出现在网的严格极小信标之中的理论进行研究,对包含此类资源的网系统进行化简,分析了化简算法的时间性能,得出了该算法是多项式时间复杂度的结论,并推广了已有文献的结果.
关键词：柔性制造系统 PETRI网 信标 化简 多项式时间复杂度 
Petri网系统的公平性判定
《长春师范学院学报（自然科学版）》2010年第5期15-18,共4页岳昊 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053);漳州师范学院博士科研启动基金资助项目
一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在...
关键词：PETRI网 公平性 有效可重复向量 有效受控 
柔性制造系统Petri网模型中的一类共享资源
《湖北民族学院学报（自然科学版）》2010年第3期349-352,共4页岳昊 李文杰 
国家自然科学基金资助项目(60673053);福建省教育厅资助科技项目(JK2010037);漳州师范学院博士科研启动基金资助项目
揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的...
关键词：柔性制造系统 PETRI网 共享资源 死锁 
Petri网系统的弱公平性判定
《漳州师范学院学报（自然科学版）》2010年第3期27-31,共5页岳昊 
国家自然科学基金资助项目(60673053);福建省教育厅资助科技项目(JK2010037);漳州师范学院博士科研启动基金资助项目
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有...
关键词：PETRI网 弱公平性 可重复向量 
Petri网系统中变迁的分级活性判定
《长江大学学报（自科版）（上旬）》2010年第4期8-10,共3页岳昊 
国家自然科学基金项目(60673053);福建省教育厅资助科技项目(JK2010037)
活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于...
关键词：PETRI网 活性 有效可重复向量 有效受控 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部