论文部分内容阅读
通过建立对象通讯网（OCNet）,分析对象通讯子网OCi出现死锁情况,从而实现了对整个系统的死锁分析。这种死锁分析方法简化了计算分析过程,为发现排解死锁现象提供了可靠依据。
板材FMS基于规则的面向对象Petri网模型死锁分析
【摘 要】
：
通过建立对象通讯网（OCNet）,分析对象通讯子网OCi出现死锁情况,从而实现了对整个系统的死锁分析。这种死锁分析方法简化了计算分析过程,为发现排解死锁现象提供了可靠依据。
【机 构】
：
河北工业职业技术学院宣钢分院,河北宣化工程机械股份有限公司
【出 处】
：
山西冶金
【发表日期】
：
2007年3期
其他文献
一、高校体育教师继续教育的必要性1.知识更新面临挑战.目前高校体育教师知识结构陈旧单一,跟不上时代发展要求和国际学科前沿的问题仍然存在.新形势下,仅靠一次性的高校体育
重点阐述了和田地区农业生产季节的气候资源，包括光照资源、热量资源、水资源及其优良的农业生态环境条件，并阐述与之相适应的作物结构调整方向。
目的探讨骨折术后患者康复护理的方法及效果。方法对52例骨折术后患者进行康复处理，总结出康复护理的方法及措施。结果52例患者康复锻炼期间，1例老年患者合心并衰死亡，1例糖尿病
<正>成人高等教育的管理是成人高等教育办学中的一个重要问题,它直接关系到办学的质量和工作效率。随着信息时代的到来,传统的管理职能受到严重冲击。多媒体技术与网络技术的
介绍了一、二次球磨作业10：3工艺在某选矿厂一选车间的应用,结果表明：使用该工艺后,重选作业-200目给矿粒度质量分数提高5%-10%,重精品住提高0.36%,重尾品位降低2.19%。
循证药学（Evidence—based Pharmacy）是90年代医药学信息领域的重大进展，是遵循科学的依据，以证据为基础的临床药物治疗学。目前我国开展临床药学工作多数只停留在处方分析、药物
通过大田试验，对目前哈密地区生产上常用的5种配置方式下棉花形态变化及产量构成因素进行研究。结果表明：（1）处理A出苗比处理B、C、D、E早1～4d，现蕾早1-5d，开花早3～6d，吐絮早2～7d；（2）处理A