论文部分内容阅读
基于面向对象着色 Petri网模型和时态逻辑方法 ,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色 Petri网模型 ,讨论了该过程的死锁分析问题 ,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。
自动化仓库输送调度问题的建模与控制研究
【摘 要】
：
基于面向对象着色 Petri网模型和时态逻辑方法 ,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色 Petri网模型 ,讨论了该过程的死锁分析问题 ,给
【机 构】
：
山东大学控制科学与工程学院
【出 处】
：
控制与决策
【发表日期】
：
2001年04期
【基金项目】
：
中国博士后基金项目 ;山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
科学技术是决定经济发展质量与水平的基本要素,但该要素能否真正转化为经济发展的动力,还取决于科技成果能否实现产业化。高科技只有实现产业化才能真正形成更高层次的生产力
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
零件的加工精度对于企业的生产非常重要，加工的精度是否符合要求决定了企业生产的产品质量的高低。本文对枳撤．加工时，所采用的加工工艺对零件精度的影响状况。首先，本文对加工工