Reversão sexual de tilápias gift criadas em hapas e submetidas a diferentes taxas de alimentação em alta frequência

Pós-graduação em Zootecnia - FMVZ

Utilização de alvos codificados do tipo ARUCO na automação do processo de calibração de câmaras

This paper presents a proposal for the automation of the camera calibration process, locating and measuring image points in coded targets with sub-pixel precision. This automatic technique helps minimize localization errors, regardless of camera orientation and image scale. To develop this technique, several types of coded targets were analyzed and the ARUCO type was chosen due to its simplicity, ability to represent up to 1024 different targets and availability of source code implemented with the OpenCV library. ARUCO targets were generated and two calibration sheets were assembled to be used for the acquisition of images for camera calibration. The developed software can locate targets in the acquired images and it automatically extracts the coordinates of the four corners with sub-pixel accuracy. Experiments were conducted with real data showing that the targets are correctly identified unless excessive noise or fragmentation occurs mainly in the outer target square. The results with the calibration of a low cost camera showed that the process works and that the measurement accuracy of the corners achieves sub-pixel precision.

Automação do manejo alimentar de Bijupirá (Rachycentron canadum)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Automação do fornecimento de ração para organismos aquáticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de um sistema de controle para avaliação de fontes de energias renováveis no bombeamento de água

The use of alternative energy systems in the current days is an urgent necessity due to the problems that the planet is facing as the heating and loss of ozone layer. The scarcity of conventional energy is another problem that must be solved for the future of humanity. It must be considered that the people are inhabiting places moved away not always with available energy. The application of technologies as automation and control can help us to solve this problem. Therefore, this work aimed at apply an equipment of industrial usage, the Programmable Logical Controller, PLC, in alternative energies systems, as eolic generation and fotovoltaic generation used for water pumping, aiming the automatic control and the efficiency in the places where it has simultaneous availability of these sources, based in criterion of priority that previously established itself between them. It was made a hydraulic and energetic evaluation of the energy system, eolic and fotovoltaic, used in the automatic control system of pumping, in the place of accomplishment of the experiment, according to previously established physical conditions. The results have shown that the control system using the PLC is practicable and has trustworthiness. The program developed can be adapted for the use with several power plants in a specific application place. The fotovoltaic system of pumping, using a polycrystalline of 70 Watts connected to a pump Shurflo 8000, showed to be efficient with significant flows in almost all the months. The eolic system of pumping, using an eolic generator of 400 Watts assembled in place of experiment, did not demonstrate energetic capacity for use in this specific type of application.

O emprego de técnicas de qualidade de serviço em redes sem fio aplicado à automação predial

Pós-graduação em Engenharia Elétrica - FEIS

Automação em raspadora de pneus utilizando controle numérico computadorizado com controlador lógico programável integrado

This work studies and develops a machine automation for tyre truing. It is discussed industry development, industrial processes automation, tyre-recycling process, advantages of tyre reuse for preservation of the environment and probable gains from the automation of part of the tyre-recycling process. In this text, it is detailed the work done to configure, program and optimize the truing process through automation components as CNC, PLC and drives. Tests and simulations are performed to determine the payback necessary period in productivity and profit gains

Reestruturação e automação de processos: caso de um processo da área de compras e suprimentos de uma empresa brasileira do setor de mídia

Innovation in the field of Information Technology (IT) have made companies evaluate their processes and activity of its supply chain to conform to this new reality. In the supply chain management, one of the tools that revolutionized the activities was the use of management information systems such as ERP tool. This system allows greater integration of data from multiple areas of the enterprise and beyond, giving more activities to processes and activities. This work aims to analyze the results and impacts of the restructuring of an equipment leasing process in a Brazilian media company and verify that the gains and improvements that were targeted in the initial design of this restructuring have been achieved. Also the risks identified with this change will be studied, the reactions of those involved in this process and the performance of the chain as a whole. To carry out this work was carried out a single case study with data collection in the assessed company and literature related to supply chain and information systems

Automação em raspadora de pneus utilizando controle numérico computadorizado com controlador lógico programável integrado

This work studies and develops a machine automation for tyre truing. It is discussed industry development, industrial processes automation, tyre-recycling process, advantages of tyre reuse for preservation of the environment and probable gains from the automation of part of the tyre-recycling process. In this text, it is detailed the work done to configure, program and optimize the truing process through automation components as CNC, PLC and drives. Tests and simulations are performed to determine the payback necessary period in productivity and profit gains

Reestruturação e automação de processos: caso de um processo da área de compras e suprimentos de uma empresa brasileira do setor de mídia

Innovation in the field of Information Technology (IT) have made companies evaluate their processes and activity of its supply chain to conform to this new reality. In the supply chain management, one of the tools that revolutionized the activities was the use of management information systems such as ERP tool. This system allows greater integration of data from multiple areas of the enterprise and beyond, giving more activities to processes and activities. This work aims to analyze the results and impacts of the restructuring of an equipment leasing process in a Brazilian media company and verify that the gains and improvements that were targeted in the initial design of this restructuring have been achieved. Also the risks identified with this change will be studied, the reactions of those involved in this process and the performance of the chain as a whole. To carry out this work was carried out a single case study with data collection in the assessed company and literature related to supply chain and information systems

Febrile response induced by cecal ligation and puncture (CLP) in rats: involvement of prostaglandin E-2 and cytokines

The purpose of the present study was to better understand the events involved in the febrile response induced by cecal ligation and puncture (CLP), a complex infectious process. To this end, we conducted in vivo experiments in rats examining (1) fever development, (2) bacterial number in the infection focus and in blood, (3) peripheral and hypothalamic synthesis of cytokines, (4) hypothalamic and cerebrospinal fluid (CSF) synthesis of prostaglandin E-2 (PGE(2)), (5) the effect of anti-IL-6 antibody on fever, and (6) the effect of celecoxib on fever and hypothalamic synthesis of PGE(2) after CLP induction. We found that CLP promotes fever and animal death depending on the number of punctures. The peak of CLP-induced fever overlapped with the maximal increase in the number of bacteria in the infectious focus and blood, which occurred at 6 and 12 h. The peak of the febrile response also coincided with increased amounts of interleukin (IL)-1 beta, IL-6 and IL-10 in the peritoneal exudate and serum; IL-6 in the hypothalamus and PGE(2) in the CSF and predominantly in the hypothalamus. Moreover, intracerebroventricularly injected anti-IL-6 antibody reduced the febrile response while celecoxib reduced the fever and PGE(2) amount in the hypothalamus induced by CLP. Tumor necrosis factor (TNF)-alpha peaked at 3 h at all sites studied. Conversely, IL-10 concentration decreased in the hypothalamus. These findings show that the peak of CLP-induced fever is accompanied by an increase of bacteria in peritoneal fluid (local infection) and blood; local synthesis of pyrogenic (IL-1 beta, IL-6) and antipyretic (IL-10) cytokines and central production of IL-6 and PGE(2), suggesting that these last are the central mediators of this response.

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution.

CLP Projection for Constraint Handling Rules

This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP). We show that the CLP projection provides a safe operational and declarative approximation for CHR programs. We demónstrate moreover that a confluent CHR program has a least model, which is precisely equal to the least model of its CLP projection (closing henee a ten year-old conjecture by Abdenader et al.). Finally, we illustrate how the notion of CLP projection can be used in practice to apply CLP analyzers to CHR. In particular, we show results from applying AProVE to prove termination, and CiaoPP to infer both complexity upper bounds and types for CHR programs.

A generic persistence model for CLP systems (and two useful implementations)

This paper describes a model of persistence in (C)LP languages and two different and practically very useful ways to implement this model in current systems. The fundamental idea is that persistence is a characteristic of certain dynamic predicates (Le., those which encapsulate state). The main effect of declaring a predicate persistent is that the dynamic changes made to such predicates persist from one execution to the next one. After proposing a syntax for declaring persistent predicates, a simple, file-based implementation of the concept is presented and some examples shown. An additional implementation is presented which stores persistent predicates in an external datábase. The abstraction of the concept of persistence from its implementation allows developing applications which can store their persistent predicates alternatively in files or databases with only a few simple changes to a declaration stating the location and modality used for persistent storage. The paper presents the model, the implementation approach in both the cases of using files and relational databases, a number of optimizations of the process (using information obtained from static global analysis and goal clustering), and performance results from an implementation of these ideas.

A generic persistence model for CLP systems

This paper describes a model of persistence in (C)LP languages and two different and practically very useful ways to implement this model in current systems. The fundamental idea is that persistence is a characteristic of certain dynamic predicates (i.e., those which encapsulate state). The main effect of declaring a predicate persistent is that the dynamic changes made to such predicates persist from one execution to the next one. After proposing a syntax for declaring persistent predicates, a simple, file-based implementation of the concept is presented and some examples shown. An additional implementation is presented which stores persistent predicates in an external database. The abstraction of the concept of persistence from its implementation allows developing applications which can store their persistent predicates alternatively in files or databases with only a few simple changes to a declaration stating the location and modality used for persistent storage. The paper presents the model, the implementation approach in both the cases of using files and relational databases, a number of optimizations of the process (using information obtained from static global analysis and goal clustering), and performance results from an implementation of these ideas.