Contribuição para uma teoria formal de sistemas de produção

O presente relatório descreve o trabalho desenvolvido pelo autor no seu projecto de doutoramento “Contribuição para uma Teoria Formal de Sistemas de Produção”. A necessidade, identificada pela Comunidade científica, de uma base teórica sólida e rigorosa para a área da engenharia de sistemas de produção, funcionou como principal motivação para este projecto. O objectivo geral consiste em desenvolver elementos de uma teoria formal de sistemas de produção, recorrendo para isso à lógica matemática, teoria de linguagens e teoria de autómatos. A tese defendida neste projecto é formada por três componentes: (i) não existe uma teoria formal unificada de sistemas de produção, (ii) uma abordagem baseada na lógica de primeira ordem, gramáticas formais, e autómatos permite caminhar no sentido de obter essa teoria e aplicá-la no processo de projecto de sistemas produtivos, e, (iii) a utilização de técnicas de descrição formal permite automatizar algumas fases desse processo de projecto. O trabalho foi concluído com sucesso - demonstraram-se os componentes da tese, e contribuiu-se, efectivamente, para o estabelecimento da desejada fundação teórica formal para a área dos sistemas de produçãoThis report describes the author’s work on his doctoral project – “Contribution to a Formal Theory of Manufacturing Systems”. As identified by the scientific community, the need for a sound theoretical base to the manufacturing systems engineering area has provided the main motivation for this project. The overall objective is the development of elements of a formal theory of manufacturing systems, based on mathematical logic, languages theory and automata theory. The project’s thesis has three components: (i) there is no unified formal theory of manufacturing systems, (ii) an approach based on first-order logic, formal grammars and automata allows the investigation towards that theory, and its application in the manufacturing systems design process, and, (iii) the use of formal description techniques allows the automation of some stages of that design process. The work was successfully accomplished – the thesis’s components were demonstrated, and an effective contribution to the establishment of the desired manufacturing systems theoretical formal foundation, was provided.Universidade do Minho

An Architecture And A Methodology For Intelligent Control

We outline a multiple dimensional reference model architecture and a methodology for representing and developing intelligent systems. The reference model architecture features multiple dimensions enabling modeling the multiple aspects of complex systems. The canonical form within this framework facilitates an open and scalable system architecture. The well-defined structures facilitate efficient knowledge engineering processes. We describe a submarine automation model performing real-time control to illustrate the application of this reference model architecture. Keywords: automation, functional decomposition, hierarchical systems, intelligent control, methodology, multiple dimensional architecture, object oriented, task analysis