Uma ferramenta alternativa para síntese de circuitos lógicos usando a técnica de circuito evolutivo

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

Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451

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

Metodologia para análise e interpretação de alarmes em tempo real de sistemas de distribuição de energia elétrica

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

Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo

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

DESIGN OF MICROIRRIGATION SYSTEMS IN SLOPING LANDS USING LINEAR PROGRAMMING

Quando a área a ser irrigada apresenta um elevado gradiente de declive na direção das linhas de derivação, uma opção de dimensionamento é o uso de tubulações com vários diâmetros para economizar no custo e também para manter a variação de pressão dentro dos limites desejados. O objetivo deste trabalho foi desenvolver um modelo de programação linear para dimensionar sistemas de irrigação por microaspersão com linhas de derivação com mais de um diâmetro e operando em declive, visando a minimização do custo anualizado da rede hidráulica e do custo anual com energia elétrica, além de assegurar que a máxima variação de carga hidráulica na linha será respeitada. Os dados de entrada são: configuração da rede hidráulica do sistema de irrigação, custo de todos os componentes da rede hidráulica e custo da energia. Os dados de saída são: custo anual total, diâmetro da tubulação em cada linha do sistema, carga hidráulica em cada ponto de derivação e altura manométrica total. Para ilustrar a potencialidade do modelo desenvolvido, ele foi aplicado em um pomar de citros no Estado de São Paulo, Brasil. O modelo demonstrou ser eficiente no dimensionamento do sistema de irrigação quanto à obtenção da uniformidade de emissão desejada. O custo anual com bombeamento deve ser considerado no dimensionamento de sistemas de irrigação por microaspersão porque ele gera menores valores de custo anual total quando comparado com a mesma alternativa que não considera aquele custo.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

A genetic algorithm/mathematical programming approach to solve a two-level soft drink production problem

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estimating outcomes in newborn infants using fuzzy logic

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

Logic TK: algebric notions from Tarski's consequence operator

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

A Fuzzy Goal Programming model for solving aggregate production-planning problems under uncertainty: A case study in a Brazilian sugar mill

This paper proposes a Fuzzy Goal Programming model (FGP) for a real aggregate production-planning problem. To do so, an application was made in a Brazilian Sugar and Ethanol Milling Company. The FGP Model depicts the comprehensive production process of sugar, ethanol, molasses and derivatives, and considers the uncertainties involved in ethanol and sugar production. Decision-makings, related to the agricultural and logistics phases, were considered on a weekly-basis planning horizon to include the whole harvesting season and the periods between harvests. The research has provided interesting results about decisions in the agricultural stages of cutting, loading and transportation to sugarcane suppliers and, especially, in milling decisions, whose choice of production process includes storage and logistics distribution. (C)2014 Elsevier B.V. All rights reserved.

A mixed-integer quadratically-constrained programming model for the distribution system expansion planning

This paper presents a mixed-integer quadratically-constrained programming (MIQCP) model to solve the distribution system expansion planning (DSEP) problem. The DSEP model considers the construction/reinforcement of substations, the construction/reconductoring of circuits, the allocation of fixed capacitors banks and the radial topology modification. As the DSEP problem is a very complex mixed-integer non-linear programming problem, it is convenient to reformulate it like a MIQCP problem; it is demonstrated that the proposed formulation represents the steady-state operation of a radial distribution system. The proposed MIQCP model is a convex formulation, which allows to find the optimal solution using optimization solvers. Test systems of 23 and 54 nodes and one real distribution system of 136 nodes were used to show the efficiency of the proposed model in comparison with other DSEP models available in the specialized literature. (C) 2014 Elsevier Ltd. All rights reserved.

Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic

This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.

Undernutrition fetal programming: effects on kidney morphology, renal steroid and angiotensin receptors expression and urinary sodium excretion

Maternal undernutrition affects the foetal development, promoting renal alterations and adult hypertension. The present study investigates, in adult male rats, the effect of food restriction in utero on arterial blood pressure changes (AP), and its possible association with the number of nephrons, renal function and angiotensin II (AT1R/AT2R), glucocorticoid (GR) and mineralocorticoid (MCR) receptors expression. The daily food supply to pregnant rats was measured and one group (n=5) received normal quantity of food (NF) while the other group received 50% of that (FR50) (n=5). The AP was measured weekly. At 16 weeks of life, fractionator’s method was used to estimate glomeruli number in histological slices. The renal function was estimate by creatinine and lithium clearances. Blood and urine samples were collected to biochemical determination of creatinine, sodium, potassium and lithium. At 90th and 23rd days of life, kidneys were also processed to AT1R, AT2R, GR and MCR immunolocalization and for western blotting analysis. FR50 offspring shows a significant reduction in BW (FR50: 5.67 ± 0.16 vs. 6.84 ± 0.13g in NF, P<0.001) and increased AP from 6th to 12nd week (6thwk FR50: 149.1 ± 3.4 vs. 125.1 ± 3.2mmHg in NF, P<0.001and, 12ndwk FR50: 164.4 ± 4.9 vs. 144.0 ± 3.3 mmHg in NF, P=0.02). Expression of AT1R and AT2R were significantly decreased in FR50 (AT1, 59080 ± 2709 vs. 77000 ± 3591 in NF, P=0.05; AT2, 27500 ± 95.50 vs. 67870 ± 1509 in NF, P=0.001) while the expression of GR increased in FR50 (36090 ± 781.5 vs. 4446 ± 364.5 in NF, P=0.0007). The expression of MCR did not change significantly. We also verified a pronounced decrease in fractional urinary sodium excretion in FR50 offspring (0.03 ± 0.02 vs. 0.06 ± 0.04 in NF, p=0.03). This occurred despite unchanged creatinine clearance. The study led us to suggest that fetal undernutrition, with increased fetal exposure... (Complete abstract click electronic access below)

Integrated cutting machine programming and lot sizing in furniture industry

In this paper a mathematical model that combines lot-sizing and cutting-stock problems applied to the furniture industry is presented. The model considers the usual decisions of the lot sizing problems, as well as operational decisions related to the cutting machine programming. Two sets of a priori generated cutting patterns are used, industry cutting patterns and a class of n-group cutting patterns. A strategy to improve the utilization of the cutting machine is also tested. An optimization package was used to solve the model and the computational results, using real data from a furniture factory, show that a small subset of n-group cutting patterns provides good results and that the cutting machine utilization can be improved by the proposed strategy.