| 旋转货架系统运行过程的时态逻辑描述与分析 |
| |
| 引用本文： | 田国会,刘长有,徐心和.旋转货架系统运行过程的时态逻辑描述与分析[J].自动化学报,1998,24(3):373-376. |
| |
| 作者姓名： | 田国会 刘长有 徐心和 |
| |
| 作者单位： | 1.山东工业大学自动化工程系,济南; |
| |
| 基金项目： | 国家“八六三”计划CIMS主题,山东省自然科学基金 |
| |
| 摘 要： | 自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过
程进行描述与分析,并给出可行的调度控制策略.
|
| 关 键 词： | 离散事件系统 时态逻辑 自动化仓库 旋转货架系统 |
| 收稿时间： | 1996-2-7 |
| 修稿时间： | 1996-02-07 |
Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic |
| |
| TIAN GUOHUI,LIU CHANGYOU,XU XINHE.Specification and Analysis of the Running Process of the Carousel System Based on Temporal Logic[J].Acta Automatica Sinica,1998,24(3):373-376. |
| |
| Authors: | TIAN GUOHUI LIU CHANGYOU XU XINHE |
| |
| Affiliation: | 1.Dept.of Autom.Shandong Univ.of Tech.,Jinan;Dept.of Autom,Northeastern Univ.,Shenyang |
| |
| Abstract: | The running process of a carousel system in an automated warehouse possesses typical characteristics of discrete events. The process is specified and analyzed using temporal logic and feasible scheduling control strategies are given. |
| |
| Keywords: | Discrete event dynamic systems temporal logic automated warehouse carousel system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
