自动化仓库客户服务管理问题的时态逻辑描述  

Specification of the CustomServicer Management of the Automated Warehouse Based on the Temporal Logic

作　　者：田国会[1] 徐心和[1] 刘长有[2] 

机构地区：[1]东北大学信息科学与工程学院 [2]山东工业大学

出　　处：《东北大学学报（自然科学版）》1997年第6期648-652,共5页Journal of Northeastern University(Natural Science)

基　　金：国家"八六三"高技术计划CIMS主题资助项目

摘　　要：在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．As a new research method,temporal logic has been devoted to discrete event dynamic systems (DEDS). In this paper,the problem of the customservicer management in the automated warehouse is studied in the generalized temporal logic framework. Specification,analysis and reasonable control strategies of the system are given.

关 键 词：时态逻辑 自动化仓库 客户服务管理 

分 类 号：F406.5[经济管理—产业经济] TP13[自动化与计算机技术—控制理论与控制工程]