Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Polimorfismos de nucleotídeo único (SNPS) dos genes PPARy2, lipase lipoproteica, receptor de LDL, apolipoproteina C3, e adiponectina podem modular o perfil lipídico de pacientes com a síndrome de Berardinelli-Seip

A Síndrome de Berardinelli-Seip (SBS) é um distúrbio raro do metabolismo dos lipídios, caracterizada pela ausência quase total de tecido adiposo subcutâneo, hipertrigliceridemia, hipoleptinemia e diabetes insulino resistente ou lipoatrófico. Sua etiologia envolve implicações hipotalâmicas, alterações nos receptores de insulina e mutações nos genes AGPAT2, Gng3lg, CAV1 e PTRF. O tecido adiposo secreta diversas substâncias, tais como: leptina, resistina, adiponectina, esteróides, TNF , IL-6, PAI-1, angiotensinogênio, IGF-1. Muitas delas estão associadas ao diabetes mellitus tipo 2, obesidade e hipertensão. Os PPARs são fatores transcricionais pertencentes à superfamília de receptores nucleares ligantes ativados. Sabe-se que o PPAR , é importante para o metabolismo lipídico e glicídico e que o ligante natural do PPAR é derivado do ácido graxo. Nesse sentido, foram avaliados 24 pacientes portadores da SBS, provenientes do Estado do Rio Grande do Norte, com a mediana das idades de 18,5 anos (0,55 a 47 a), sendo 9 (37,5 %) do gênero masculino e 15 (62,5 %) do gênero feminino. Quanto ao grupo étnico, foram classificados em caucasóides (brancos) 21 (87,5 %) e negróides 3 (12,5 %) pacientes. Foram feitas avaliações clínico-endocrinológica, bioquímica, hormonal, molecular e o estudo dos polimorfismos Adiponectina ADIPOQ, PPARγ2 Pro12Ala, LPL-PvuII, APOC3-SstI e LDLR-AvaII em portadores da SBS. Nesta população nós não encontramos nenhuma associação de parâmetros lipídicos e glicídicos com os polimorfismos LPL-PvuII, APOC3-SstI e LDLR-AvaII. Porém, observamos associação entre Adiponectina ADIPOQ e PPARγ2 Pro12Ala e níveis lipídicos mais elevados, sugerindo um papel biológico para estes fatores, indicando estudos mais aprofundados

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Contribuição para o estudo do embarque de uma rede neural artificial em field programmable gate array (FPGA)

This study shows the implementation and the embedding of an Artificial Neural Network (ANN) in hardware, or in a programmable device, as a field programmable gate array (FPGA). This work allowed the exploration of different implementations, described in VHDL, of multilayer perceptrons ANN. Due to the parallelism inherent to ANNs, there are disadvantages in software implementations due to the sequential nature of the Von Neumann architectures. As an alternative to this problem, there is a hardware implementation that allows to exploit all the parallelism implicit in this model. Currently, there is an increase in use of FPGAs as a platform to implement neural networks in hardware, exploiting the high processing power, low cost, ease of programming and ability to reconfigure the circuit, allowing the network to adapt to different applications. Given this context, the aim is to develop arrays of neural networks in hardware, a flexible architecture, in which it is possible to add or remove neurons, and mainly, modify the network topology, in order to enable a modular network of fixed-point arithmetic in a FPGA. Five synthesis of VHDL descriptions were produced: two for the neuron with one or two entrances, and three different architectures of ANN. The descriptions of the used architectures became very modular, easily allowing the increase or decrease of the number of neurons. As a result, some complete neural networks were implemented in FPGA, in fixed-point arithmetic, with a high-capacity parallel processing

Controle fuzzy espacialmente diferenciado para um sistema de irrigação

Traditional irrigation projects do not locally determine the water availability in the soil. Then, irregular irrigation cycles may occur: some with insufficient amount that leads to water deficit, other with excessive watering that causes lack of oxygen in plants. Due to the nonlinear nature of this problem and the multivariable context of irrigation processes, fuzzy logic is suggested to replace commercial ON-OFF irrigation system with predefined timing. Other limitation of commercial solutions is that irrigation processes either consider the different watering needs throughout plant growth cycles or the climate changes. In order to fulfill location based agricultural needs, it is indicated to monitor environmental data using wireless sensors connected to an intelligent control system. This is more evident in applications as precision agriculture. This work presents the theoretical and experimental development of a fuzzy system to implement a spatially differentiated control of an irrigation system, based on soil moisture measurement with wireless sensor nodes. The control system architecture is modular: a fuzzy supervisor determines the soil moisture set point of each sensor node area (according to the soil-plant set) and another fuzzy system, embedded in the sensor node, does the local control and actuates in the irrigation system. The fuzzy control system was simulated with SIMULINK® programming tool and was experimentally built embedded in mobile device SunSPOTTM operating in ZigBee. Controller models were designed and evaluated in different combinations of input variables and inference rules base