ALGEBRAIC DESCRIPTION FOR MACHINE-TOOL DESIGN

被引：4

作者：

GARRO, O

MARTIN, P

MARTI, H

机构：

[1] CRAN-Centre de Recherche en Automatique de Nancy, Vandoeuvre les Nancy cedex

来源：

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH | 1992年 / 30卷 / 11期

关键词：

D O I：

10.1080/00207549208948179

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

This paper deals with an algebraic approach which allows the design of machine tool architecture from maching features. The process design is based on specific temporal logic. The mathematical structures and the axioms of algebra are presented. An example is given and a design process is shown to illustrate how to operate in the proposed structure.

引用

页码：2603 / 2614

页数：12

共 10 条

[1]

Abadi M., Manna Z., Temporal logic programming, Journal of Symbolic Computation, 8, pp. 277-295, (1989)

[2]

Bestougeff H., Ligozat G., Outillogique Pour Ietraitement Du Temps, (1989)

[3]

Delessert A., Introduction Ala Logique, (1988)

[4]

Fusaoka A., Seki H., Takahashi K., Adescription and reasoning of plant controllers in temporal logic, International Joint Conference on Artificial Intelligence, (1983)

[5]

Garro O., Patrick M., Approche Ascendante Des Systemes Automatises De Production Par Modelisation Fonctionnelle, pp. 325-335, (1990)

[6]

Groupe GAMA, (1990)

[7]

Meluchamp J., Kwon O.J., Wahab A., FMS designer: An expert system for FMS, International Production Research, 28, 11, pp. 2013-2024, (1990)

[8]

Rutten E., Marce L., Temporal Logic and Structured Plans, (1989)

[9]

Tsang P., Planification Par Combinaison De Plans. Application a La Generation De Gammes D'usinage, (1987)

[10]

Wolper P., The tableau method for temporal logic: An overview, Automated Reasoning in Non-Classical Logic, 116-117, pp. 119-136, (1985)

← 1 →