Pose estimation of a humanoid robot using images from a mobile external camera

NOGUEIRA, Marcelo B. ; MEDEIROS, Adelardo A. D. ; ALSINA, Pablo J. Pose Estimation of a Humanoid Robot Using Images from an Mobile Extern Camera. In: IFAC WORKSHOP ON MULTIVEHICLE SYSTEMS, 2006, Salvador, BA. Anais... Salvador: MVS 2006, 2006.

Projeto e controle de um sistema de aquecimento no Laboratório de Avaliação de Medição em Petróleo

The Oil Measurement Evaluation Laboratory (LAMP), located in the Federal University of Rio Grande do Norte (UFRN), has as main goal to evaluate flow and BS&W meters, where the simulation of a bigger number of operation variable in field, guarantees a less uncertain evaluation. The objective of this work is to purpose a heating system design and implementation, which will control the temperature safely and efficiently in order to evaluate and measure it. Temperature is one of the variables which influence the flow and BS&W accurate measurement, directly affecting the fluid viscosity and density in the experiment. To project the heating system it is of great importance to take the laboratory requirements, conditions and current restrictions into consideration. Three alternatives were evaluated: heat exchanger, internal resistance and external resistance. After the analyses are made in order to choose the best alternative for the heating system in the laboratory, control strategies were determined for it, PID control methods in combination with fuzzy logic were used. Results showed a better performance with fuzzy logic than with classic PID

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification