论文部分内容阅读
基于Ｐｅｔｒｉ网模型研究自动制造系统的死锁问题，提出了一个通过简化系统的Ｐｅｔｒｉ网模型综合避免系统死锁控制的方法。该控制对系统的限制作用小，综合算法简单。
制造系统的死锁避免控制方法
【摘 要】
：
基于Ｐｅｔｒｉ网模型研究自动制造系统的死锁问题，提出了一个通过简化系统的Ｐｅｔｒｉ网模型综合避免系统死锁控制的方法。该控制对系统的限制作用小，综合算法简单。
【机 构】
：
西北纺织工学院计算中心
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
1996年3期
其他文献
设Ｆ（ｘ，ｙ）在Ｒ２上有定义，若ｌｉｍ△Ｆ／△ｘ△存在（其中△ｘ△ｙ≠定，△Ｆ＝Ｆ（ｘ＋△ｘ，ｙ＋△ｙ）－Ｆ（ｘ，△ｘ，ｙ）－Ｆ（ｘ，ｙ＋△ｙ）＋Ｆ（ｘ，ｙ）），则称此极限为Ｆ在点（ｘ，ｙ）有面导数，记为Ｆｘｙ＇（ｘ，ｙ）。本文证明了（１）若Ｆｘｙ’（ｘ，ｙ）存在又在（ｘ，ｙ）的邻域内偏导数Ｆｘ存在，则二阶混合编导数Ｆｘｙ（ｘ，ｙ）存在且Ｆｘｙ＝（ｘ，ｙ）（２）若Ｆｘ和Ｆｘｙ存在且Ｆｘｙ在点（ｘ，ｙ）连续，Ｆｘｙ‘（ｘ，ｙ）存
考察具有小扩散项的铁磁链方程组Ｚｔ＝εＺｘｘ＋Ｚ±Ｚｘｘ＋ｆ（ｘ，ｔ，Ｚ），周期初值问题的显式有限差分格式，利用有界延拓法证明了该差分格式的收敛性与稳定性，给出了算法和数值例子。
吴敬梓（1701—1754）是清代著名的小说家，他所写的《儒林外史》特别是其中“范进中举”的故事可谓家喻户晓。他为什么要写这样一部小说，又缘何能写出这样一部小说呢？大家都知道明清
农业水价综合改革将成为农业节水的重要突破口。明晰农业水权，严格农业用水总量控制和定额管理；健全农业水价形成机制；建立农业用水精准补贴制度和节水激励机制等，都将成为推进农
能源林，是以生产生物质能源为主要培育目的的林木。以利用林木所含油脂为主，将其转化为生物柴油或其它化工替代产品的能源林称为“油料能源林”；以利用林木木质为主，将其转化为固
证明多自由度振动系统主振型的节点定理,给出定理成立的一个充分条件.该定理揭示振型元素符号变化的规律.
给出图Ｇ是（Ｐ２，Ｃｉ│ｉ≥３）－消去图的一个充要条件及二分图Ｇ是（Ｐ２，Ｃｉ│ｉ≥３）－覆盖图的充要条件。
目的 探讨奥氮平在重症监护病房（ICU）内治疗慢性阻塞性肺疾病（COPD）合并肺性脑病患者的安全性和有效性,为临床慢性阻塞性肺疾病合并肺性脑病的规范治疗提供参考依据。方法 选取IC