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

Uma metodologia para modelagem e avaliação da dependabilidade de redes industriais sem fio

Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments

Genetic and environmental effects on sexual precocity traits in Nellore cattle

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

Um estudo de metamaterial em antenas de microfita

Metamaterials have attracted a great attention in recent years mostly due to their electromagnetic properties not found in nature. Since metamaterials began to be synthesized by the insertion of artificially manufactured inclusions in a medium specified host , it provides the researcher a broad collection of independent parameters such as the electromagnetic properties of the material host. In this work was presents an investigation of the unique properties of Split Ring Resonators and compounds metamaterials was performed. We presents a theoretical and numerical analysis , using the full-wave formalism by applying the Transverse Transmission Line - LTT method for the radiation characteristics of a rectangular microstrip antenna using metamaterial substrate, as is successfully demonstrated the practical use of these structures in antennas. We experimentally confirmed that composite metamaterial can improved the performance of the structures considered in this thesis

Genetic parameters of total milk yield and factors describing the shape of lactation curve in dairy buffaloes

The objective of this study was to apply factor analysis to describe lactation curves in dairy buffaloes in order to estimate the phenotypic and genetic association between common latent factors and cumulative milk yield. A total of 31 257 monthly test-day milk yield records from buffaloes belonging to herds located in the state of São Paulo were used to estimate two common latent factors, which were then analysed in a multi-trait animal model for estimating genetic parameters. Estimates of (co)variance components for the two common latent factors and cumulated 270-d milk yield were obtained by Bayesian inference using a multiple trait animal model. Contemporary group, number of milkings per day (two levels) and age of buffalo cow at calving (linear and quadratic) as covariate were included in the model as fixed effects. The additive genetic, permanent environmental and residual effects were included as random effects. The first common latent factor (F1) was associated with persistency of lactation and the second common latent factor (F2) with the level of production in early lactation. Heritability estimates for Fl and F2 were 0.12 and 0.07, respectively. Genetic correlation estimates between El and F2 with cumulative milk yield were positive and moderate (0.63 and 0.52). Multivariate statistics employing factor analysis allowed the extraction of two variables (latent factors) that described the shape of the lactation curve. It is expected that the response to selection to increase lactation persistency is higher than the response obtained from selecting animals to increase lactation peak. Selection for higher total milk yield would result in a favourable correlated response to increase the level of production in early lactation and the lactation persistency.

Determinação de dados de equilíbrio de fases para sistemas aquosos com eletrólitos

In the present work are established initially the fundamental relationships of thermodynamics that govern the equilibrium between phases, the models used for the description of the behavior non ideal of the liquid and vapor phases in conditions of low pressures. This work seeks the determination of vapor-liquid equilibrium (VLE) data for a series of multicomponents mixtures of saturated aliphatic hydrocarbons, prepared synthetically starting from substances with analytical degree and the development of a new dynamic cell with circulation of the vapor phase. The apparatus and experimental procedures developed are described and applied for the determination of VLE data. VLE isobarics data were obtained through a Fischer s ebulliometer of circulation of both phases, for the systems pentane + dodecane, heptane + dodecane and decane + dodecane. Using the two new dynamic cells especially projected, of easy operation and low cost, with circulation of the vapor phase, data for the systems heptane + decane + dodecane, acetone + water, tween 20 + dodecane, phenol + water and distillation curves of a gasoline without addictive were measured. Compositions of the equilibrium phases were found by densimetry, chromatography, and total organic carbon analyzer. Calibration curves of density versus composition were prepared from synthetic mixtures and the behavior excess volumes were evaluated. The VLE data obtained experimentally for the hydrocarbon and aqueous systems were submitted to the test of thermodynamic consistency, as well as the obtained from the literature data for another binary systems, mainly in the bank DDB (Dortmund Data Bank), where the Gibbs-Duhem equation is used obtaining a satisfactory data base. The results of the thermodynamic consistency tests for the binary and ternary systems were evaluated in terms of deviations for applications such as model development. Later, those groups of data (tested and approved) were used in the KijPoly program for the determination of the binary kij parameters of the cubic equations of state original Peng-Robinson and with the expanded alpha function. These obtained parameters can be applied for simulation of the reservoirs petroleum conditions and of the several distillation processes found in the petrochemistry industry, through simulators. The two designed dynamic cells used equipments of national technology for the determination of VLE data were well succeed, demonstrating efficiency and low cost. Multicomponents systems, mixtures of components of different molecular weights and also diluted solutions may be studied in these developed VLE cells

Síntese e caracterização de aluminofosfato impregnado com molibdênio/zinco visando a dessulfurização por adsorção

Discussions about pollution caused by vehicles emission are old and have been developed along the years. The search for cleaner technologies and frequent weather alterations have been inducing industries and government organizations to impose limits much more rigorous to the contaminant content in fuels, which have an direct impact in atmospheric emissions. Nowadays, the quality of fuels, in relation to the sulfur content, is carried out through the process of hydrodesulfurization. Adsorption processes also represent an interesting alternative route to the removal of sulfur content. Both processes are simpler and operate to atmospheric temperatures and pressures. This work studies the synthesis and characterization of aluminophosphate impregnate with zinc, molybdenum or both, and its application in the sulfur removal from the gasoline through the adsorption process, using a pattern gasoline containing isooctane and thiophene. The adsorbents were characterized by x-ray diffraction, differential thermal analysis (DTG), x-ray fluorescence and scanning electron microscopy (SEM). The specific area, volume and pore diameter were determined by BET (Brunauer- Emmet-Teller) and the t-plot method. The sulfur was quantified by elementary analysis using ANTEK 9000 NS. The adsorption process was evaluated as function of the temperature variation and initial sulfur content through the adsorption isotherm and its thermodynamic parameters. The parameters of entropy (ΔS), enthalpy variation (ΔH) and free Gibbs energy (ΔG) were calculated through the graph ln(Kd) versus 1/T. Langmuir, Freundlich and Langmuir-Freundlich models were adjusted to the experimental data, and the last one had presented better results. The thermodynamic tests were accomplished in different temperatures, such as 30, 40 and 50ºC, where it was concluded the adsorption process is spontaneous and exothermic. The kinetic of adsorption was studied by 24 h and it showed that the capability adsorption to the adsorbents studied respect the following order: MoZnPO > MoPO > ZnPO > AlPO. The maximum adsorption capacity was 4.91 mg/g for MoZnPO with an adsorption efficiency of 49%.

Síntese e caracterização de tensoativos e estudo de equilíbrio de fase dos sistemas CnH2n+2/H2O/CnH2n+1COONa/But-OH

The growing utilization of surfactants in several different areas of industry has led to an increase on the studies involving solutions containing this type of molecules. Due to its amphiphilic nature, its molecule presents one polar part and one nonpolar end, which easily interacts with other molecules, being able to modify the media properties. When the concentration in which its monomers are saturated, the airliquid system interface is reached, causing a decrease in interfacial tension. The surfactants from pure fatty acids containing C8, C12 and C16 carbonic chains were synthesized in an alcoholic media using sodium hydroxide. They were characterized via thermal analysis (DTA and DTG) and via infrared spectroscopy, with the intention of observing their purity. Physical and chemical properties such as superficial tension, critical micelle concentration (c.m.c), surfactant excess on surface and Gibbs free energy of micellization were determined in order to understand the behaviour of these molecules with an aqueous media. Pseudo-ternary phase diagrams were obtained aiming to limit the Windsor equilibria conditions so it could be possible to understand how the surfactants carbonic chain size contributes to the microemulsion region. Solutions with known concentrations were prepared to study how the surfactants can influence the dynamic light scattering spectroscopy (DLS) and how the diffusion coefficient is influenced when the media concentration is altered. The results showed the variation on the chain size of the studied surfactant lipophilic part allows the conception of surfactants with similar interfacial properties, but dependent on the size of the lipophilic part of the surfactant. This variation causes the surfactant to have less tendency of microemulsionate oil in water. Another observed result is that the n-alcanes molecule size promoted a decrease on the microemulsion region on the obtained phase diagrams

Determinação de Dados de Equilíbrio Líquido-Vapor para Sistemas Hidrocarbonetos e Desenvolvimento de uma Nova Célula Dinâmica

In the present work are established initially the fundamental relationships of thermodynamics that govern the equilibrium between phases, the models used for the description of the behavior non ideal of the liquid and vapor phases in conditions of low pressures. This work seeks the determination of vapor-liquid equilibrium (VLE) data for a series of multicomponents mixtures of saturated aliphatic hydrocarbons, prepared synthetically starting from substances with analytical degree and the development of a new dynamic cell with circulation of the vapor phase. The apparatus and experimental procedures developed are described and applied for the determination of VLE data. VLE isobarics data were obtained through a Fischer's ebulliometer of circulation of both phases, for the systems pentane + dodecane, heptane + dodecane and decane + dodecane. Using the two new dynamic cells especially projected, of easy operation and low cost, with circulation of the vapor phase, data for the systems heptane + decane + dodecane, acetone + water, tween 20 + dodecane, phenol + water and distillation curves of a gasoline without addictive were measured. Compositions of the equilibrium phases were found by densimetry, chromatography, and total organic carbon analyzer. Calibration curves of density versus composition were prepared from synthetic mixtures and the behavior excess volumes were evaluated. The VLE data obtained experimentally for the hydrocarbon and aqueous systems were submitted to the test of thermodynamic consistency, as well as the obtained from the literature data for another binary systems, mainly in the bank DDB (Dortmund Data Bank), where the Gibbs-Duhem equation is used obtaining a satisfactory data base. The results of the thermodynamic consistency tests for the binary and ternary systems were evaluated in terms of deviations for applications such as model development. Later, those groups of data (tested and approved) were used in the KijPoly program for the determination of the binary kij parameters of the cubic equations of state original Peng-Robinson and with the expanded alpha function. These obtained parameters can be applied for simulation of the reservoirs petroleum conditions and of the several distillation processes found in the petrochemistry industry, through simulators. The two designed dynamic cells used equipments of national technology for the determination Humberto Neves Maia de Oliveira Tese de Doutorado PPGEQ/PRH-ANP 14/UFRN of VLE data were well succeed, demonstrating efficiency and low cost. Multicomponents systems, mixtures of components of different molecular weights and also diluted solutions may be studied in these developed VLE cells

The Genome Sequence of Taurine Cattle: A Window to Ruminant Biology and Evolution

To understand the biology and evolution of ruminants, the cattle genome was sequenced to about sevenfold coverage. The cattle genome contains a minimum of 22,000 genes, with a core set of 14,345 orthologs shared among seven mammalian species of which 1217 are absent or undetected in noneutherian (marsupial or monotreme) genomes. Cattle-specific evolutionary breakpoint regions in chromosomes have a higher density of segmental duplications, enrichment of repetitive elements, and species-specific variations in genes associated with lactation and immune responsiveness. Genes involved in metabolism are generally highly conserved, although five metabolic genes are deleted or extensively diverged from their human orthologs. The cattle genome sequence thus provides a resource for understanding mammalian evolution and accelerating livestock genetic improvement for milk and meat production.

A etnomatemática dos trabalhadores das cerâmicas de Russas-Ce e o contexto escolar: delineando recomendações pedagógicas a partir de uma experiência educacional

It is still common among contemporary educational proposals an overemphasis abstraction, to the formalism and symbolism of mathematical knowledge at the expense of the sociocultural aspects of Mathematics. Coming up by questioning some academic mathematical tenets and valuing knowledge developed in different sociocultural contexts within Mathematical Education, the Ethnomatematics is consolidating itself as a research field. Despite its contributions to the educational context, because its philosophical character and the paucity of debates about the subject, the implementation of educational proposals for basic education are scarce. Given this situation, this dissertation comes up with a view to develop an educational intervention in the light of Ethnomathematics in a class of 6th grade of an elementary school from a red ceramic industries workers community, located in a countryside from Russas-CE and from this intervention, to develop a set of pedagogical recommendations aiming basic education teachers. Adopting a perspective of qualitative research, particularly guided by action research, this study used observation, field diary, interviews and activities with students as tools for data collection. It was found that the use of field research as part of teaching and learning favored the placement of students as critical subjects of their own reality . Furthermore, the educational experience culminated in the development of a method of teaching based on a relationship between protocooperational Ethnomatematics and the Resolution of Problems. It is necessary to broaden the debate about the ways in which the Ethnomatematics can contribute to the school context, bringing proposals closer to the reality of basic education teachers in order to help the promotion of an education which values cultural diversity without taking away the students from the access of the academic knowledge

O império do desentendimento humano: representações da realidade em textos de dalton trevisan

This work has the general proposal of studying the composition of the trevisanian fictional universe, the aesthetic expression engineered to formulate this universe, and last, the representations of reality that emanates from this aesthetic-narrative construction. It seemed to us, however, that it would be impossible to cover, even superficially, so vast and voluminous set of texts as the trevisanian. Therefore, so that we could accomplish this task, and still do it in a way that was, at the same time, plausible and thorough, it was necessary an objective cut within that library. Then we selected a book, representative of the whole trevisanian work, which served as the object of study: Cemitério de Elefantes, 1964, one of the first books of short stories by this author. Within this one, we focused even more our sight, then moving towards what we call a reality forked in paralytic world and world in violence . Supported by the theories and methodologies of Auerbach (2011), Candido (2002, 2006), Adorno (2003), Gennete (1995), Friedman (2002), and still moved by the spirit of Russian Formalism (1973), we built our criticism. Our approach was based then in three steps: first we are dedicated to comment the general context of the trevisanian work, supported strongly by reading two of the biggest critics of his literature, Miguel Sanches Neto and Berta Waldman, secondly, we turn us to comment on the detailed formal construction of language and narrative elements of the trevisanian prose; finally we raised our criticism to the level of reading representations of reality, and then we started to comment the construction of the trevisanian fictional universe, focusing in splitting this universe in paralytic world and world in violence

Electrochemical evaluation of the a carbon-paste electrode modified with spinel manganese(IV) oxide under flow conditions for amperometric determination of lithium

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

Uma (re)leitura teleológica da filosofia moral em Kant : por uma necessidade de inclusão do homem na natureza

Made from the bases of metaphysics, this dissertation is related do Kant‟s moral philosophy. But the itinerary to reach the main speculation used to develop this current understanding of Kant‟s thoughts, it is nothing but an attempt to make the formal rigor more flexible, which has always been associated to Kantian ethics‟ perspectives. From the awareness of what this formalism could be, while a moral arrangement, it is how we will be able to come upon a teleological Kant. That is the fundamental element to comprehend some of the significant aspects in that ethical system, which necessarily comes through the effort to demonstrate the proximity between reason and sensibility, as well as nature and liberty. In this environment, the journey to achieve the autonomy, as the bedrock of liberty and morality, evokes the support of education in Kantian patterns, which enables a course of improvement of the human being, as an individual e, more significantly, as specie. This evolution progress, which tents to reveal the destiny of the humanity, is evolved in the relationship between necessity and finality, as a condition to make the structure of a project to humanity possible. We should mention that it is a rational, an educational and a moral project to be developed in the course of history. As a consequence, the amount of all these elements permits the development of the man‟s natural disposition as a creature that looks for self knowledge , becoming, afterward, dignified to be qualified as a human being. Finally, this study intent to figure out the necessity of the human being inclusion to nature, which happens throughout the acquirement of the individuals‟ conscience

Percolação convencional, percolação correlacionada e percolação por invasão num suporte multifractal

In this work we have studied the problem of percolation in a multifractal geometric support, in its different versions, and we have analysed the conection between this problem and the standard percolation and also the connection with the critical phenomena formalism. The projection of the multifractal structure into the subjacent regular lattice allows to map the problem of random percolation in the multifractal lattice into the problem of correlated percolation in the regular lattice. Also we have investigated the critical behavior of the invasion percolation model in this type of environment. We have discussed get the finite size effects