论文部分内容阅读
利用Ｐｅｔｒｉ网为资源复合共用ＦＭＳ进行建模，给出了关于此类系统死锁的一系列定义，讨论了系统死锁的充分必要条件。
多资源复合共用FMS的死锁研究
【摘 要】
：
利用Ｐｅｔｒｉ网为资源复合共用ＦＭＳ进行建模，给出了关于此类系统死锁的一系列定义，讨论了系统死锁的充分必要条件。
【机 构】
：
中国科学院自动化研究所
【出 处】
：
计算机集成制造系统-CIMS
【发表日期】
：
2000年4期
其他文献
目的 观察鼻内镜电凝治疗顽固性鼻出血的临床效果。方法 对40例顽固性鼻出血患者实施鼻内镜定位出血点并应用双极或单极电凝止血。观察治疗效果及并发症情况。结果 本组37例（9
目的探讨宫-腹腔镜联合手术治疗剖宫产术后瘢痕妊娠的效果。方法随机将64例剖宫产后瘢痕妊娠患者分为2组,各32例。对照组给予刮宫术治疗,观察组给予宫-腹腔镜联合治疗。比较2
摘要[目的]筛选温郁金根腐病有效的生物药剂。[方法]采用生长速率法测定7种生物药剂对温郁金根腐病病原菌的室内毒力。[结果] 0.5%施特灵氨基寡糖素AS和哈茨木霉菌WP对根腐病菌抑制作用较好，其EC50值分别为1.14和 3.61 mg/L；其次为3%中生菌素、3%氨基寡糖素和荧光假单胞杆菌，EC50分别为11.64、13.52和16.61 mg/L。[结论] 0.5%施特灵氨基寡糖素AS和哈茨木