国家自然科学基金(60673053)

作品数：43被引量：46H指数：3
导出分析报告
相关作者：吴哲辉岳昊张继军李文杰董卫更多>>
相关机构：山东科技大学漳州师范学院山东农业大学西北核技术研究所更多>>
相关期刊：《太原师范学院学报（自然科学版）》《系统仿真学报》《江西师范大学学报（自然科学版）》《微电子学与计算机》更多>>
相关主题：PETRI网PETRI网模型不变量化简柔性制造系统更多>>
相关领域：自动化与计算机技术理学农业科学轻工技术与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网与二元文法的语言等价性
《微电子学与计算机》2011年第4期1-4,8,共5页张继军 董卫 范昊 
国家自然科学基金项目(60673053);国家自然科学基金委员会重大研究计划项目(90718011)
为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.
关键词：二元文法 PETRI网 语言等价 
语言表达式到Petri网模型的转化及其算法被引量：2
《小型微型计算机系统》2011年第4期726-731,共6页张继军 范昊 
国家自然科学基金项目(60673053)资助;国家自然科学基金委员会重大研究计划项目(90718011)资助
已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了P...
关键词：正规表达式 α闭包表达式 同步交错正规表达式 有界覆盖合成 
基于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期51-54,共4页岳昊 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053);漳州师范学院博士科研启动基金资助项目
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0...
关键词：PETRI网 可重复向量 有效 本原 
自动制造系统Petri网模型中的分叉操作库所
《吉林师范大学学报（自然科学版）》2010年第4期59-62,共4页岳昊 李文杰 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053)
在自动制造系统Petri网模型中,分叉操作库所是资源变迁回路(Resource-Transition Circuit,简称RTC)发生不完美性的根源.若没有分叉操作库所,则所有的RTC都是完美的.对于一个资源子集R1,若存在以R1为资源集的RTC,则θ=就...
关键词：PETRI网 制造系统 库所 回路 完美 
柔性制造系统Petri网模型的化简被引量：1
《云南民族大学学报（自然科学版）》2010年第6期417-422,共6页岳昊 李文杰 
国家自然科学基金(60673053);福建省教育厅科技项目(JK2010037);漳州师范学院博士科研启动基金
在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删...
关键词：柔性制造系统 PETRI网 信标 资源 化简 
自动制造系统Petri网模型中的非完美变迁
《井冈山大学学报（自然科学版）》2010年第6期66-69,共4页岳昊 李文杰 
国家自然科学基金项目(60673053);福建省教育厅科技项目(JK2010037);漳州师范学院博士科研启动基金项目
提出了变迁子集的非完美变迁集的概念,非完美变迁集中的元素(成员)即为非完美变迁。一条资源变迁回路θ是完美的,当且仅当其变迁集T[θ]的非完美变迁集为空。对于一个变迁子集T1而言,已知T1中存在非完美变迁,如果试图从T1中删去一些变...
关键词：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网 公平性 有效可重复向量 有效受控 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部