论文部分内容阅读
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法完成系统动态特性的描述,本文提出一种改进分析方法--独立-耦合可达树分析方法,简化了Petri网模型中多进程并行运行情况下的可达树分析,取得了良好的效果.
Petri网分析方法改进研究
【摘 要】
：
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法完成系统动态特性的描述,本文提出一种改进分
【机 构】
：
西南交通大学
【出 处】
：
铁道学报
【发表日期】
：
2005年6期
【基金项目】
：
铁道部科技研究开发计划
其他文献
将中小桥山洪水害作为研究对象,以人工神经网络中的BP网络为工具,将桥墩历史上的数次洪水水痕高程和产生当次洪水的雨量记录作为数据基础,提出一种流量计算和预报既有中小桥
发达国家抓住人工智能网联汽车的发展契机,积极进行政策松绑和法律制定,以期获得国际竞争优势。我国智能网联汽车技术也在迅速发展,但囿于技术瓶颈和传统交通法规限制,智能网
摘要:生理学教学理论性和实验性很强,学生普遍认为难学难记,笔者根据多年教学经验,运用经典讲授,启发、问题式教学,对比和总结,联系教学等教学方法,达到了理想的教学效果。 关键词:生理学;教学方法;探讨及运用 生理学是研究生物机体正常生命活动及其规律的科学,是理论性和实验性很强的学科。由于难以像形态学科那样进行直观教学,因此在教学中应根据不同教学内容,运用相应的教学方法,做到扬长避短,以达到理
目的：探讨苯丙酮尿症（PKU）新筛患儿治疗依从性对智力发育水平的影响。方法：选取7年间在陕西省新生儿筛查门诊经新生儿疾病筛查确诊的115例PKU患儿,选用Gesell发育量表评估患儿智