论文部分内容阅读
基于面向对象着色 Petri网模型和时态逻辑方法 ,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色 Petri网模型 ,讨论了该过程的死锁分析问题 ,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。
自动化仓库输送调度问题的建模与控制研究
【摘 要】
：
基于面向对象着色 Petri网模型和时态逻辑方法 ,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色 Petri网模型 ,讨论了该过程的死锁分析问题 ,给
【机 构】
：
山东大学控制科学与工程学院
【出 处】
：
控制与决策
【发表日期】
：
2001年04期
【基金项目】
：
中国博士后基金项目 ;山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
综合媒体报道，7月1日Markit发欧元区6月制造业采购经理人指数从5月的52．2下降至51．8，为去年11月来最低。尽管该指数已连续一年保持在50的荣枯线以上，但欧洲经济复苏依旧脆弱。欧盟
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
科学技术是决定经济发展质量与水平的基本要素,但该要素能否真正转化为经济发展的动力,还取决于科技成果能否实现产业化。高科技只有实现产业化才能真正形成更高层次的生产力
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在建筑电气设计中运用防雷接地技术不仅关系到了建筑的安全,同时也对居民有着重要的影响。主要是因为在雷电天气时,雷电中附带了较大的电压负荷,所以如果接地系统安全系数不
作为人类文化重要组成部分之一的数学文化,虽然在现代数学教育中占有重要地位,但是在各类高等院校的实际教学过程中,却难以发挥其应有的作用。数学知识是学习自然科学的基础,
零件的加工精度对于企业的生产非常重要，加工的精度是否符合要求决定了企业生产的产品质量的高低。本文对枳撤．加工时，所采用的加工工艺对零件精度的影响状况。首先，本文对加工工