Encontrados 28 documentos, a visualizar página 1 de 3
A specification patterns system for discrete event systems analysis
Campos, J. Creissac; Machado, José MendesAs formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express properties of a system's behavior is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skillful process. Errors in this ste...
Conceptual design and development of an automated co-generation system
Seabra, Eurico; Machado, José Mendes; Lima, MárioCo-generation or Combined Heat and Power (CHP) is the simultaneous generation of both electricity and heat from the same fuel for useful purposes. The fuel varies greatly and can include coal, biomass, natural gas, nuclear material, the sun or heat stored in the earth. Co-generation (as a vector of energy efficiency) and renewable sources of energy possess their own set of low carbon benefits. Coupling co-gener...
Finding the optimal setting of the sewing needle transfer mechansm using simula...
Komarec, Jiri; Beran, Jaroslav; Lima, Mário; Machado, José Mendes; Silva, João PedroThe paper is concerned with an analysis and optimisation of the needle transfer mechanism by means of the software Pro/Engineer Wildfire 4 with the aim to obtain a reduction of needle wear. An optimisation of parameters of the setting mechanism that influence the moment of release of the needle during its transfer from one needle bar to the other has been carried out. As a result the optimal setting of the need...
A dependable automated people mover system modeled and verified using timed aut...
Kunz, Guilherme; Perondi, Eduardo; Machado, José MendesAutomated People Movers (APM) are systems for passenger transport with fully automated operation and high frequency service. For this study we have used the system named Aeromovel installed in Porto Alegre, Brazil. Aeromovel is a non-conventional Automatic People Mover whose operation principle is based on pneumatics. This paper proposes the use, in a complementary way, of two analysis techniques, simulation an...
A formal approach for aerospace systems control considering SFC specification a...
Borges, Paulo; Machado, José Mendes; Seabra, Eurico; Silva, Luís F.The C programming language is one of the most used in critical embedded real-time controllers applied at aerospace systems. Despite its potential, it is a very general language, with many maintenance problems and with a little or without graphical structure. The absence of formal verification techniques - even if it is possible to find some works associated to C programming language formal verification - is a f...
A mechatronic device for spasticity quantification
Ferreira, João; Moreira, Vitor; Machado, José Mendes; Oliveira, FilomenaSpasticity is a common and complex motor disorder that affects more than 12 million persons in the world. There are several studies on spasticity quantification in the literature but there is still a need for measurement improvements. This paper presents the design of a mechatronic device for spasticity quantification, in joint of ankle, elbow and knees. This approach is based on the velocity dependent of the t...
A support tool for teaching grafcet : engineering students' perceptions
Leão, Celina Pinto; Oliveira, Filomena; Machado, José Mendes; Oliveira, P. B. de Moura; Cunha, J. BoaventuraModeling discrete event systems with sequential behavior can be a very hard and complex task. Some formalisms are used in this context, such as: Petri Nets, Statecharts, Finite automata, Grafcet and others. Among these, Grafcet seems to be a good choice because it is easy: to learn, to understand and to use. Teaching Grafcet is then relevant within engineering courses concerned with Industrial Automation. A vir...
An approach for spasticity quantification based on the stretch reflex threshold
Rodrigues, Paulo; Ferreira, João; Oliveira, Filomena; Machado, José MendesSpasticity is a common and complex motor disorder that affects more than 12 million persons in the world. There are several studies on spasticity quantification in the literature but there is still a need for measurement improvements. This paper presents the design of a mechatronic device for spasticity quantification, in joint of ankle, elbow and knees. This approach is based on the velocity dependent of the t...
Design and development of a feeding aid device to assist people with deficiency
Seabra, Eurico; Silva, Luís F.; Machado, José MendesThe present work intends to design new devices of aid to the feeding for individuals with deficiency. Like this, along this paper they are referred the most relevant pathologies, which affect the autonomy of the patient’s feeding, as well as some existent devices in the market. Based on the characteristics of these devices, this research was performed with the main objective of finding the most appropriate actu...
Design of a mechatronic system for application of hardware-in-the-loop simulati...
Chioran, Daniel; Machado, José MendesClassical approaches, using Simulation analysis technique, use a controller model that can – or not – be coupled with a plant model. Usually, the controller and plant models are connected, in a closed-loop behavior, and this kind of Simulation is called Software-in-the-loop Simulation (SIL). However, recently, some directions are being assumed and some recent works deal with Simulation considering the real cont...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||