王培良

作品数：9被引量：68H指数：3
导出分析报告
供职机构：山东科技大学理学院更多>>
发文主题：PETRI网公平变图连续PETRI网动态性质更多>>
发文领域：自动化与计算机技术理学矿业工程自然科学总论更多>>
发文期刊：《计算机学报》《系统仿真学报》《系统科学与数学》《控制理论与应用》更多>>
所获基金：国家自然科学基金山东省自然科学基金煤炭科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
《系统仿真学报》2005年第z1期48-51,共4页王培良 赵义军 
山东省自然科学基金(Y2002G09)和国家自然科学基金(60173053)及煤炭科学基金(96电10509).
对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.
关键词：最大速度恒定的连续Petri网 结构有界性 守恒性 公平性 分解 
Petri网的公平分解和守恒分解被引量：4
《系统仿真学报》2003年第z1期43-45,共3页王培良 赵义军 
国家自然科学基金(60173053);煤炭科学基金(96电10509);山东省自然科学基金(Y2002G09)。
给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。
关键词：PETRI网 公平分解 守恒分解 结构性质 
无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质被引量：1
《系统仿真学报》2003年第z1期53-55,共3页赵义军 王培良 
山东省自然科学基金(Y2002G09);国家自然科学基金(60173053)。
时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其...
关键词：无界时延混合Petri网 不变行为状态 可覆盖性演变图 动态性质 
煤矿安全系统工程的模糊Petri网分析方法
《煤矿安全》2002年第12期23-24,共2页王培良 赵义军 曾庆田 
本文提出了煤矿安全系统工程的模糊Petri网分析方法。解决了求出导致顶上事件发生的最小割集和使顶上事件不发生的最小径集后 ,已知最小割集中每个基本事件发生的可信度可求出顶上事件发生的可信度 ,比较所求出的顶上事件可信度的大小...
关键词：煤矿安全系统 模糊PETRI网 事故 可信度 
Petri网的并分解被引量：36
《控制理论与应用》2001年第1期116-118,共3页王培良 赵义军 叶志宝 
煤炭科学基金! (96电 10 5 0 9);国家自然科学基金! (6 98730 2 9);山东省自然科学基金! (Y96G0 410 3)资助项目
给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。
关键词：PETRI网 并分解 结构性质 大系统 
无界公平Petri网的进程表达式被引量：20
《计算机学报》2000年第4期337-344,共8页吴哲辉 王培良 赵茂先 
国家自然科学基金!(69873029)
Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对...
关键词：PETRI网 进程表达式 无界 公平性 算法 
最大速度恒定的连续Petri网(CCPN)的性质及判定方法被引量：3
《系统工程学报》2000年第1期107-112,共6页赵义军 王培良 
国家自然科学基金!资助项目 ( 69873 0 2 9);煤炭科学基金资助项目!( 96电 10 5 0 9)
最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN...
关键词：连续PETRI网 演变图 结构性质 绝对公平性 
Petri网在煤矿安全系统工程中的应用被引量：1
《煤炭学报》1992年第2期40-48,共9页王培良 翟德元 
国家自然科学基金资助课题
本文用Petri网模拟和分析煤矿事故,以煤炭自然发火为例,通过构造事故的Petri网,作出Petri网的可达标识图。分析可达标识图,可求出导致顶上事件发生的最小割集和控制事故发生的最小径集,为选择控制事故的最佳方案,提供了可靠的理论根据...
关键词：PETRI网 煤矿 安全系统工程 
非肯定型工程问题的Petri网方法被引量：8
《系统科学与数学》1989年第4期289-297,共9页吴哲辉 王培良 王美琴 
国家自然科学基金
一项工程一般都包含着多道工序.如果知道了各工序的工期以及工序之间的衔接关系,就可以画出工程的流程图.从工序流程图可以求出完成这项工程的最短时间和每个工序的最晚必须开工时间,并确定主工序线.这样便于统筹安排,提高施工效率.这...
关键词：非肯定型工程 Perti网法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部