论文部分内容阅读
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法完成系统动态特性的描述,本文提出一种改进分析方法--独立-耦合可达树分析方法,简化了Petri网模型中多进程并行运行情况下的可达树分析,取得了良好的效果.
Petri网分析方法改进研究
【摘 要】
：
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法完成系统动态特性的描述,本文提出一种改进分
【机 构】
：
西南交通大学
【出 处】
：
铁道学报
【发表日期】
：
2005年6期
【基金项目】
：
铁道部科技研究开发计划
其他文献
将中小桥山洪水害作为研究对象,以人工神经网络中的BP网络为工具,将桥墩历史上的数次洪水水痕高程和产生当次洪水的雨量记录作为数据基础,提出一种流量计算和预报既有中小桥
发达国家抓住人工智能网联汽车的发展契机,积极进行政策松绑和法律制定,以期获得国际竞争优势。我国智能网联汽车技术也在迅速发展,但囿于技术瓶颈和传统交通法规限制,智能网
在茹可夫斯基凳实验过程中，系统的转动能是改变的，这是由于内力作功的结果．本文将从质点组动能定理出发，通过模型简化手段，推导出内力作功与系统转动能改变二者之间的定量关系．
本文介绍一个测量杨氏模量的新方法．这种新方法可以缩短测量时间，扩大测量对象的范围，且可得到满意结果．
在物理学中如何选择适当的参照系是一个重要的问题，在力学中通常选用惯性参照系，但有时也选用非惯性参照系．如果我们要在非惯性参照系里沿用牛顿定律解力学问题，必须附加一个虚拟
摘要:生理学教学理论性和实验性很强,学生普遍认为难学难记,笔者根据多年教学经验,运用经典讲授,启发、问题式教学,对比和总结,联系教学等教学方法,达到了理想的教学效果。 关键词:生理学;教学方法;探讨及运用 生理学是研究生物机体正常生命活动及其规律的科学,是理论性和实验性很强的学科。由于难以像形态学科那样进行直观教学,因此在教学中应根据不同教学内容,运用相应的教学方法,做到扬长避短,以达到理
1980年胡昭煌指出；磁场中，沿任意封闭回路的 H·dl等于穿过积分迥路所包围的任意曲面8的电流的代数和∑s=1 1,加上所有电流间断点的-∑k=1 m ΩK/4π I K.
目的：探讨苯丙酮尿症（PKU）新筛患儿治疗依从性对智力发育水平的影响。方法：选取7年间在陕西省新生儿筛查门诊经新生儿疾病筛查确诊的115例PKU患儿,选用Gesell发育量表评估患儿智