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

Performance of advanced generation from a hybrid Japanese cucumber

A endogamia reduz o vigor em plantas pela diminuição da proporção de loci heterozigotos. Entretanto, a influência da endogamia é diferente entre as espécies. O objetivo deste trabalho foi avaliar a depressão causada por endogamia em uma população de pepino do tipo japonês. A partir do intercruzamento entre plantas do híbrido Natsu suzumi foi obtida a geração F2, considerada como população S0. Obtiveram-se progênies S1, S2, S3, S4 e S5, através de autofecundações sucessivas pelo método do SSD ('Single Seed Descent'). Foram sete tratamentos (híbrido Natsu suzumi, populações S0 a S5) e o delineamento experimental foi em blocos ao acaso, com seis repetições e cinco plantas por parcela cultivadas em ambiente protegido de 21/08/2002 à 29/11/2002. Foram avaliados o número de folhas, semanalmente, o número e a massa de frutos, total e comercial, número de nós e porcentagem de nós com brotações laterais. Na comparação entre as populações S0 a S5 não foram observadas diferenças para todas as características avaliadas demonstrando não haver perda de vigor por endogamia nesta população.

Pyrolysis and auto-gasification of black liquor in presence of ZnO: An integrated process for Zn/ZnO nanostructure production and bioenergy generation

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

Effect of simvastatin on the generation of autoantibodies against oxidized LDL and progression of atherosclerosis in rabbits

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

Mass generation for Abelian spin-1 particles via a symmetric tensor

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

Interior point method for long-term generation scheduling of large-scale hydrothermal systems

This paper presents an interior point method for the long-term generation scheduling of large-scale hydrothermal systems. The problem is formulated as a nonlinear programming one due to the nonlinear representation of hydropower production and thermal fuel cost functions. Sparsity exploitation techniques and an heuristic procedure for computing the interior point method search directions have been developed. Numerical tests in case studies with systems of different dimensions and inflow scenarios have been carried out in order to evaluate the proposed method. Three systems were tested, with the largest being the Brazilian hydropower system with 74 hydro plants distributed in several cascades. Results show that the proposed method is an efficient and robust tool for solving the long-term generation scheduling problem.

Multi-objective evolutionary particle swarm optimization in the assessment of the impact of distributed generation

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

Time-series-based maximization of distributed wind power generation integration

Energy policies and technological progress in the development of wind turbines have made wind power the fastest growing renewable power source worldwide. The inherent variability of this resource requires special attention when analyzing the impacts of high penetration on the distribution network. A time-series steady-state analysis is proposed that assesses technical issues such as energy export, losses, and short-circuit levels. A multiobjective programming approach based on the nondominated sorting genetic algorithm (NSGA) is applied in order to find configurations that maximize the integration of distributed wind power generation (DWPG) while satisfying voltage and thermal limits. The approach has been applied to a medium voltage distribution network considering hourly demand and wind profiles for part of the U.K. The Pareto optimal solutions obtained highlight the drawbacks of using a single demand and generation scenario, and indicate the importance of appropriate substation voltage settings for maximizing the connection of MPG.

ALGORITHM FOR PROBABILISTIC ANALYSIS of DISTRIBUTION SYSTEMS WITH DISTRIBUTED GENERATION

In this paper an efficient algorithm for probabilistic analysis of unbalanced three-phase weakly-meshed distribution systems is presented. This algorithm uses the technique of Two-Point Estimate Method for calculating the probabilistic behavior of the system random variables. Additionally, the deterministic analysis of the state variables is performed by means of a Compensation-Based Radial Load Flow (CBRLF). Such load flow efficiently exploits the topological characteristics of the network. To deal with distributed generation, a strategy to incorporate a simplified model of a generator in the CBRLF is proposed. Thus, depending on the type of control and generator operation conditions, the node with distributed generation can be modeled either as a PV or PQ node. To validate the efficiency of the proposed algorithm, the IEEE 37 bus test system is used. The probabilistic results are compared with those obtained using the Monte Carlo method.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Lipid peroxidation and generation of hydrogen peroxide in frozen-thawed ram semen supplemented with catalase or Trolox

Semen manipulation and cryopreservation-thaw procedures may accelerate the generation of reactive oxygen species (ROS). Sperm exposure to large amounts of ROS has been shown to cause membrane lipid peroxidation and cellular injury to the sperm. The objective of this study was to overcome the ROS production in frozen-thawed ram semen by the addition of the antioxidants catalase or Trolox to semen following thawing. Frozen-thawed ram semen (100 x 10(6) sperm/straw) was supplemented with PBS (control group), 100 mu g/ml catalase, or 100 mu M Trolox/10(8) sperm (catalase and Trolox being dissolved in PBS) and incubated (37 degrees C) for 5 min. Under the experimental conditions used in this study, the catalase and Trolox antioxidants failed to protect the sperm from the spontaneous production of ROS. However, when lipid peroxidation was induced by iron (FeSO(4)), the addition of Trolox promoted a reduction (P < 0.05) in the formation of TBARS in the semen, compared to the control and catalase semen samples. The generation of TBARS and H(2)O(2) occurred in the extender alone, without the presence of sperm cells. In conclusion, the addition of Trolox to frozen-thawed ram semen could be beneficial as it decreases the production of TBARS when oxidative stress is induced. It is possible that a longer incubation period could lead to different results. The concentration of catalase also needs to be further evaluated. The extender could contribute to the oxidative stress of sperm, as it is a source of ROS during the cryopreservation of semen. (C) 2010 Elsevier B.V. All rights reserved.

Lipid peroxidation and generation of hydrogen peroxide in frozen-thawed ram semen cryopreserved in extenders with antioxidants

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

Rhamnolipids as biosurfactants from renewable resources: Concepts for next-generation rhamnolipid production

Several microorganisms are known to produce a wide variety of surface-active substances, which are referred to as biosurfactants. Interesting examples for biosurfactants are rhamnolipids, glycolipids mainly known from Pseudomonas aeruginosa produced during cultivation on different substrates like vegetable oils, sugars, glycerol or hydrocarbons. However, besides costs for downstream processing of rhamnolipids, relatively high raw-material prices and low productivities currently inhibit potential economical production of rhamnolipids on an industrial scale. This review focuses on cost-effective and sustainable production of rhamnolipids by introducing new possibilities and strategies regarding renewable substrates. Additionally, past and recent production strategies using alternative substrates such as agro-industrial byproducts or wastes are summarized. Requirements and concepts for next-generation rhamnolipid producing strains are discussed and potential targets for strain-engineering are presented. The discussion of potential new strategies is supported by an analysis of the metabolism of different Pseudomonas species. According to calculations of theoretical substrate-to-product conversion yields and current world-market price analysis, different renewable substrates are compared and discussed from an economical point of view. A next-generation rhamnolipid producing strain, as proposed within this review, may be engineered towards reduced formation of byproducts, increased metabolic spectrum, broadened substrate spectrum and controlled regulation for the induction of rhamnolipid synthesis. (C) 2012 Elsevier Ltd. All rights reserved.

Generation of Nutrients and Detoxification: Possible Roles of Yeasts in Leaf-Cutting Ant Nests.

The possible roles played by yeasts in attine ant nests are mostly unknown. Here we present our investigations on the plant polysaccharide degradation profile of 82 yeasts isolated from fungus gardens of Atta and Acromyrmex species to demonstrate that yeasts found in ant nests may play the role of making nutrients readily available throughout the garden and detoxification of compounds that may be deleterious to the ants and their fungal cultivar. Among the yeasts screened, 65% exhibited cellulolytic enzymes, 44% exhibited pectinolytic activity while 27% and 17% possess enzyme systems for the degradation of protease and amylase, respectively. Galacturonic acid, which had been reported in previous work to be poorly assimilated by the ant fungus and also to have a negative effect on ants' survival, was assimilated by 64% and 79% of yeasts isolated from nests of A. texana and Acromyrmex respectively. Our results suggest that yeasts found in ant nests may participate in generation of nutrients and removal of potentially toxic compounds, thereby contributing to the stability of the complex microbiota found in the leaf-cutting ant nests.

A first generation whole genome RH map of the river buffalo with comparison to domestic cattle

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