Buscar
Mostrando ítems 1-10 de 82
Axiomatic design applied to the development of a system for monitoring and teleoperation of a cnc machine through the internet
(Elsevier B.V, 2016)
The new era of manufacturing, called industry 4.0, will require the intensive use of mechatronics products. In this context, there are CyberPhysical Systems and Internet of Things (IoT). These are represented by platforms ...
Internal proof calculi for modal logics with separating conjunction
(Oxford University Press, 2021-04)
Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...
Proposta de um modelo conceitual para minimizar as dificuldades no uso do QFD
(Associação Brasileira de Engenharia de Produção, 2008)
Este trabalho apresenta uma proposta de desenvolvimento de um modelo de aplicação do QFD, com o objetivo de diminuir as dificuldades do uso do método. Para desenvolver este modelo foram realizadas as seguintes atividades: ...
Proposta de um método de aplicação da teoria de projeto axiomático ao desenvolvimento de software PON-POR
(Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2013-08-23)
This research proposes a method to apply the Axiomatic Design Theory (ADT) in the Rule-oriented software development process. In this context, it was not found in the literature, by the efforts of this work research, the ...