Aritmética Modular

A videoaula traz o conceito de aritmética modular, como sendo o estudo das operações básicas sobre um contexto diferente, que é o sistema dos números inteiros módulo n. As operações básicas são: adição mod n, subtração mod n, multiplicação mod n, e divisão mod n. O material destaca ainda a adição e multiplicação modulares, a subtração e a divisão modular, o inverso modular e seus elementos e, por fim, o cálculo de equações.

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

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector. (C) 2010 Elsevier Ltd. All rights reserved.

Test of a Modular Fault Current Limiter for 220 V Line Using YBCO Coated Conductor Tapes With Shunt Protection

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Allocation of protective devices in distribution circuits using nonlinear programming models and genetic algorithms

The optimized allocation of protective devices in strategic points of the circuit improves the quality of the energy supply and the system reliability index. This paper presents a nonlinear integer programming (NLIP) model with binary variables, to deal with the problem of protective device allocation in the main feeder and all branches of an overhead distribution circuit, to improve the reliability index and to provide customers with service of high quality and reliability. The constraints considered in the problem take into account technical and economical limitations, such as coordination problems of serial protective devices, available equipment, the importance of the feeder and the circuit topology. The use of genetic algorithms (GAs) is proposed to solve this problem, using a binary representation that does (1) or does not (0) show allocation of protective devices (reclosers, sectionalizers and fuses) in predefined points of the circuit. Results are presented for a real circuit (134 busses), with the possibility of protective device allocation in 29 points. Also the ability of the algorithm in finding good solutions while improving significantly the indicators of reliability is shown. (C) 2003 Elsevier B.V. All rights reserved.

Interior point algorithm for linear programming used in transmission network synthesis

This article presents a well-known interior point method (IPM) used to solve problems of linear programming that appear as sub-problems in the solution of the long-term transmission network expansion planning problem. The linear programming problem appears when the transportation model is used, and when there is the intention to solve the planning problem using a constructive heuristic algorithm (CHA), ora branch-and-bound algorithm. This paper shows the application of the IPM in a CHA. A good performance of the IPM was obtained, and then it can be used as tool inside algorithm, used to solve the planning problem. Illustrative tests are shown, using electrical systems known in the specialized literature. (C) 2005 Elsevier B.V. All rights reserved.

Modular hybrid total hip arthroplasty. Experimental study in dogs

Background: This prospective experimental study evaluated the surgical procedure and results of modular hybrid total hip arthroplasty in dogs.Methods: Ten skeletally mature healthy mongrel dogs with weights varying between 19 and 27 kg were used. Cemented modular femoral stems and uncemented porous-coated acetabular cups were employed. Clinical and radiographic evaluations were performed before surgery and at 30, 60, 90, 120, 180 and 360 days post-operation.Results: Excellent weight bearing was noticed in the operated limb in seven dogs. Dislocation followed by loosening of the prosthesis was noticed in two dogs, which were therefore properly treated with a femoral head osteotomy. Femoral fracture occurred in one dog, which was promptly treated with full implant removal and femoral osteosynthesis.Conclusions: The canine modular hybrid total hip arthroplasty provided excellent functionality of the operated limb.