论文部分内容阅读
Petri网是严格定义的数学对象，直观、形象，且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展，提出了一种基于退化令牌的随机Petri网（sPNAT）的维修过程建模与仿真方法。最后通过实例验证了该建模方法的有效性和优越性。
基于SPNAT的维修过程建模与仿真方法研究
【摘 要】
：
Petri网是严格定义的数学对象，直观、形象，且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展，提出了一种基于退化令牌的随机Petri网（sPNAT）的维修过程建模与仿
【机 构】
：
湖南大学工商管理学院,国防科技大学信息系统与管理学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年32期
【基金项目】
：
基金项目：国家部委“十一五”预研项目.
其他文献
交通标志检测在智能交通系统中的作用是帮助驾驶提高安全性。交通标志都具有特定的颜色和形状，但是现有的检测方法大多使用固定阈值分割等非智能方法，缺乏自适应性和鲁棒性。使
对克氏原螯虾卵粒大小与孵化率之间的相关性进行了研究。结果表明：当百粒重为0.422 g时,其孵化率最高,为95.1%;当卵径为1.45 mm时,孵化率最高,为94.5%;卵径与卵粒重之间具有很
小柴胡汤出自<伤寒论>,主要用于治疗伤寒邪入少阳,症见寒热往来,胸胁苦满,默默不欲饮食,心烦喜呕,口苦,咽干,目眩等.本方寒热并用,攻补兼施,既能疏利少阳气机,又能调和上下升
对兰科野生引种花卉羊耳蒜（Liparis japonica）多年生苗和实生苗采用控水方式进行水分胁迫处理，研究了土壤自然干旱胁迫下土壤含水量、叶片细胞膜透性、叶片相对含水量、丙二醛（MD
<正>中国经济发展的质量首先体现于供给的质量,这就需要产业的转型升级。加快建设实体经济、科技创新、现代金融、人力资源协同发展的产业体系,是建设现代化经济体系、实现高
探讨了^60C0-γ射线辐射对一品红彳项生理指标的影响。结果表明：淀粉含量与辐射剂量之间呈显著正相关，叶绿素B与叶绿素A之间呈极显著正相关，与蛋白质含量呈显著负相关；淀粉含量以