Desenvolvimento de componentes nanométricos para aplicação em células a combustível à base de sólidos estruturados e filmes finos

The present work aims the preparation of filmes of strontium-doped lanthanum manganite (perovskita) yttria-stabilized zirconia (LSM-SDC) films deposited on substrate of YSZ by means of spin coating technique having as principal objective their application to solid oxide fuel cells of intermediate temperature. La0,8Sr0,2MnO3 and Ce0,8Sm0,2O1,9 were obtained by modified Pechini method by use of gelatin which act as polymerization agent. The powders obtained were characterized by Xray fluorescence, X ray diffraction, electronic scanning microscopy and the superficial area by BET method. The results obtained by X-ray fluorescence showed that the route adopted for obtention of powders was effective in the obtention of the compositions with close values to the stoichiometrics. Ethyl cellulose was used as pore-forming agent and mixed with the LSM-SDC powders in weight proportions of 1:24, 2:23 and 1:9. The films were sintered at 1150 °C for 4 h and characterized by X-ray diffraction and scanning electron microscopy technique (SEM) and atomic force. The phases quantification of the precursory powders and of the obtained films was carried through Rietveld method. According with the analysis of SEM, as the content of ethyl cellulose was increased, the pore distribution in films become more uniform and the pore size reduced. The methodology used for the obtention of the films was very efficient, considering a material was obtained with characteristics that were proper to the application as electrolyte/cathode system to solid oxide fuel cells

Estudo da viabilização do uso da mistura híbrida ferrocarbonila / ferrita de NI0,5Zn0,5Fe2o4 como material absorvedor de radiação eletromagnética

Were synthesized ferrites of NiZn on systems Ni0,5Zn0,5Fe2O4, the precursors citrate method. The decomposition of the precursors was studied by thermogravimetric analysis and spectroscopy in the infrared region, the temperature of 350°C/3h. The evolution of the phases formed after calcinations at 350ºC/3h, 600, 1000 and 1100ºC/2h was accompanied by X-ray diffraction using the Rietveld refinement method for better identification os structures formed. Was observed for samples calcined at different temperatures increased crystallinity with increasing calcination temperature, being observed for the samples calcined at 900 and 1100 º C/2h was the precipitation of a secondary phase, the phase hematite. The ferrocarbonila of industrial origin was analyzed by X-ray diffraction and Rietveld for the identification of its structure. The carbonyl iron was added NiZn ferrite calcined at 350ºC/3h, 600, 900, 1000 and 1100ºC/2h to the formation of hybrid mixtures. They were then analyzed by Xray diffraction and Rietveld. The NiZn ferrite and ferrocarbonila as well as the hybrid mixtures were subjected to analysis of scanning electron microscopy, magnetic measurements and reflectivity. The magnetic measurements indicated that the ferrite, the ferrocarbonila, as well as hybrid mixtures showed characteristics of soft magnetic material. The addition of ferrocarbonila in all compositions showed an increase in the results of magnetic measurements and reflectivity. Best result was observed in the increase of the magnetization for the hybrid mixture of Ferrocarbonila / ferrite of NiZn calcined at 600ºC/2h. The mixture Ferrocarbonila / ferrite calcined 1000°C/2h presented better absorption of electromagnetic radiation in the microwave

Síntese e caracterização de carreadores de oxigênio para combustão com recirculação química obtidos via reação de combustão assistida por microondas

Perovskites oxides win importance by its properties and commercials applications, they have a high thermal stability, have conductive properties, electrical, catalytic, electro catalytic, optical and magnetic, and are thermally stable. Because of these properties, are being widely studied as carriers of oxygen in the process of power generation with CO2 capture. In this work, the base carrier system La1-xMexNiO3 (Me = Ca and Sr) were synthesized by the method via the combustion reaction assisted by microwave. were synthesized from the combustion reaction method by microwave process. This method control the synthesi`s conditions to obtain materials with specific characteristics. The carriers calcined at 800 ° C/2h were analyzed by thermal analysis (TG-DTA), to verify its thermal stability, X-ray diffraction (XRD) to verify the phase formation, with subsequent refinement by the Rietveld method, to quantify the percentage of phases formed, the surface area by BET method was determined, scanning electron microscopy (SEM) was obtained to evaluate the material morphology and temperature programmed reduction (TPR) was done to observe the metallic phase of the nickel. After all proposed characterization and analysis of their results can be inferred to these oxides, key features so that they can be applied as carriers for combustion reactions in chemical cycles. The final products showed perovskite-type structures K2NiF4 (main) and ABO3.

Estudo das características magnéticas e absorvedoras das ferritas de nizn, niznmn, mnzn, nimg, nicuzn e nicuznmg obtidas via método do citrato precursor

Were synthesized systems Ni0,5Zn0,5Fe2O4, i0,2Zn0,5Mn0,3Fe2O4, Mn0,5Zn0,5Fe2O4, Ni0,5Mg0,5Fe2O4, Ni0,2Cu0,3Zn0,5Fe2O4 and Ni0,2Cu0,3Zn0,5Mg0,08Fe2O4, the precursors citrate method. The decomposition of the precursors was studied by thermogravimetric analysis and spectroscopy in the infrared region, the temperature of 350°C/3h. The evolution of the phases formed after calcinations at 350, 500, 900 and 1100ºC/3h was accompanied by X-ray diffraction using the Rietveld refinement to better identify the structures formed. The materials were also analyzed by scanning electron microscopy, magnetic measurements and analysis of the reflectivity of the material. The samples calcined at different temperatures showed an increase of crystallinity with increasing calcination temperature, verifying that for some compositions at temperatures above 500°C precipitates of second phase such as hematite and CuO. The compositions of manganese present in the structure diffusion processes slower due to the ionic radius of manganese is greater than for other ions substitutes, a fact that delays the stabilization of spinel structure and promotes the precipitation of second phase. The compositions presented with copper precipitation CuO phase at a temperature of 900 and 1100ºC/3h This occurs according to the literature because the concentration of copper in the structure is greater than 0.25 mol%. The magnetic measurements revealed features of a soft ferrimagnetic material, resulting in better magnetic properties for the NiZn ferrite and NiCuZnMg at high temperatures. The reflectivity measurements showed greater absorption of electromagnetic radiation in the microwave band for the samples calcined at 1100ºC/3h, which has higher crystallite size and consequently the formation of multi-domain, increasing the magnetization of the material. The results of absorption agreed with the magnetic measurements, indicating among the ferrites studied, those of NiZn and NiCuZnMg as better absorbing the incident radiation.

Síntese, caracterização e estudo das propriedades magnéticas de ortoferritas de lantânio dopadas com manganês

Orthoferrites AFeO3 (A = rare earth) are an important class of perovskite oxides that exhibit weak ferromagnetism. These materials find numerous applications as chemical sensors, cathodes for fuel cells and catalysis, which make them interesting from the standpoint of science and technology. Their structural, electrical and magnetic properties are dependent on many factors such as the preparation method, heat treatment conditions, chemical composition and replacement of cations in sites A and/or B. In this paper, LaFe1-xMnxO3 (0 ≤ x ≤ 1) orthoferrites-type was prepared by Pechini method and Microwave-assisted combustion reaction in order to evaluate the influence of synthesis route on the formation of oxide, as well as the effect of parcial replacement of iron by manganese and heat treatment on the magnetic properties. The precursor powders were calcined at 700°C, 900°C, 1100°C and 1300°C for 4 hours and they were characterized by the techniques: Thermogravimetric analysis (TGA), X ray diffraction (XRD), Refinement by Rietveld method, Scanning electron microscopy (SEM), Reduction temperature programmed (RTP) and Magnetic hysteresis measurements performed at room temperature. According to the XRD patterns, the formation of perovskite phase with orthorhombic structure was observed for the systems where 0 ≤ x ≤ 0.5 and rhombohedral for x = 1. The results also showed a decrease of lattice parameters with the parcial replacement of iron by manganese and consequently a reduction in cell volume. The hysteresis curves exhibited weak ferromagnetism for the systems prepared by both synthesis methods. However, a dependence of magnetization as a function of dopant content was observed for samples produced by Pechini method. As for the systems prepared by combustion reaction, it was found that the secondary phases exert a strong influence on the magnetic behavior

Síntese pelo método pechini e caracterização da zircônia dopada com cério e neodímio

In this study five compositions were synthesized zirconia doped with cerium and neodymium ions in the system Ce10-xNdx Zr90O2 with 0,5 ≤ x ≤ 4,0 using the Pechini method. The powders were characterized by thermogravimetric analysis, differential thermal analysis, infrared spectroscopy and X-ray diffraction, with application of Rietveld refinement of the calcination temperatures of 350ºC/3h and 30 minutes at 900ºC/3h. All compositions stabilized with a mixture of cubic and tetragonal phase zirconia. The samples were pressed into bars and sintered at 1500°C/3h and 1500°C/6h, being characterized by Xray diffraction, with application of the Rietveld refinement, density and porosity using Archimedes method, scanning electron microscopy and resistance the three point bending. It has been observed the increase in strength with increasing sintering temperature for the compositions x = 2,0 and x = 4,0. For x = 2,0 the main phase was the cubic with 92,56% with crystallite size of 0,56 μm, density and porosity of 96,82% from 1,36%. For x = 4,0 was a mixture of cubic and tetragonal phase with 21% and 37,98%, respectively. The crystallite size was 54,21 nm and 49,64 nm with a density porosity of 97,45% and 1,32% respectively. In the analysis of the fracture surface was observed a greater amount of grain fracture intragranular type, which contribute to increase the mechanical strength of the ceramic. Increased addition of the neodymium ion in the crystal lattice of the zirconium showed a nearly linear behavior with increasing mechanical strength of the zirconia ceramic. Was obtained a bending resistance of 537 ± 38 MPa for the composition x = 2,0 predominantly attributed to cubic phase with 92,56%

Síntese e caracterização de ferritas de níquel dopadas com cobalto e efeito da substituição nas suas propriedades magnéticas

The ferrite composition Ni1 - xCoxFe2O4 (0 ≤ x ≤ 0.75) were obtained by the method of microwave assisted synthesis and had their structural and magnetic properties evaluated due to the effect of the substitution of Ni by Co. The compounds were prepared: according to the concept of chemical propellants and heated in the microwave oven with power 7000kw. The synthesized material was characterized by absorption spectroscopy in the infrared (FTIR), Xray diffraction (XRD) using the Rietveld refinement, specific surface area (BET) , scanning electron microscopy (SEM) with aid of energy dispersive analysis (EDS) and magnetic measurements (MAV). The results obtained from these techniques confirmed the feasibility of the method of synthesis employed to obtain the desired spinel structure, the ferrite, nickel ferrite as for nickel doped with cobalt. The results from XRD refinement ally showed the formation of secondary phases concerning stages α - Fe2O3, FeO, (FeCo)O e Ni0. On the other hand, there is an increase in crystallite size with the increase of cobalt in systems, resulting in an increased crystallinity. The results showed that the BET systems showed a reduction in specific surface area with the increase of cobalt and from the SEM, the formation of irregular porous blocks and that the concentration of cobalt decreased the agglomerative state of the system. The magnetic ferrites studied showed different characteristics according to the amount of dopant used, ranging from a very soft magnetic material (easy magnetization and demagnetization ) - for the system without cobalt - a magnetic material with a little stiffer behavior - for systems containing cobalt. The values of the coercive field increased with the increasing growth of cobalt, and the values of saturation magnetization and remanence increased up to x = 0,25 and then reduced. The different magnetic characteristics presented by the systems according to the amount of dopant used, allows the use of these materials as intermediates magnetic

Síntese, caracterização de ferritas espinélio com propriedades magnéticas e absorvedoras de microondas

Were synthesized spinel-type ferrites with general formula Ni0,8Mg0.2-xMxFe2O4, where M represents the doping Mn, Co or Mn + Co simultaneously, x ranges for the values 0.02, 0.05 and 0.1. The value of x was divided by 2 in cases where M equals Mn and Co conjugates. We used the citrate precursor method and heat treatment to obtain the phases at 1100°C. The materials were characterized by XRD, TGA/ DTGA, SEM, MAV and reflectivity measurements by the method of waveguide. Powders to 350°C/3.5 h were crystalline and nanosized. According to the results this temperature all powders have a percentage of ferrite phase over 90%. The composition had the addition of Mn and Co simultaneously showed a higher percentage of secondary phase NiO, 5.8%. The TGA/DTGA curves indicate that this sample reached phase (s) crystalline (s) at lowest temperatures. The X-ray diffractograms of the samples calcined at 350°C and 1100°C were treated with the Rietveld refinament technique. The powders calcined at 1100 °C/3h in air show to be 100% except spinel phase composition with 0.02 doping. The micrographs show clusters of particles with sizes smaller than 1 μm in calcination temperature of 1100°C which agreed with the result of Rietveld refinement. In the compositions doped with Mn were higher values of magnetization (45.90 and 53.20 Am2/kg), which did not cause high microwave absorption. The theoretical calculation of magnetization (MT) was consistent with the results, considering that there was agreement between the increase of magnetization experimental and theoretical. It was observed that there was the interrelation of the final effect of absorption with the thickness of MARE, the composition of ferrimagnetic materials and in particular the specific values of frequency. The analysis shows that the reflectivity increases in the concentration of cobalt increased the frequency range and also for absorption 10.17 GHz and 84%, respectively. The best result of chemical homogeneity and the value of 2.96 x 10-2 tesla coercive field were crucial for high performance ferrite absorber with 0.1 cobalt. The Cobalt has high magnetocrystalline anisotropy, it is associated with an increased coercive field, Hc. Therefore, this property improves the results of reflectivity of spinel ferrites

Correlação linear e espsacial entre a produtividade de feijão e a porosidade de um Latossolo Vermelho de Selvíria (MS)

Soil porosity influences plant development since root growth and crop yield are determined by the root depth. The objective of this study was to investigate the linear and spatial variability and correlations between common bean yield and soil porosity. The bean grain yield of the irrigated cultivar Carioca IAC was analyzed in the growing season 2004/2005, in Selviria-MS, as well as macroporosity (MA), microporosity (MI) and total porosity (TP), in a Dystroferric Red Latosol, at four depths: 1 (0.0-0.10 m), 2 (0.10-0.20 M), 3 (0.20-0.30 m) and 4 (0.30-0.40 m). Soil and plant data were collected in a geostatistical grid with 135 points spaced 10 m apart, covering an area of 50 x 150 m. The data of the studied attributes did not vary randomly and the values were intermediate to low. They followed well-defined spatial standards, reaching between 11.70-104.40 m. on the other hand, the linear correlation between the plant and soil attributes was low, due to the high number of observations. Grain yield had the best linear correlations with MA1b, MI1 and TP3. From the spatial point of view, the inverse correlation between PG and #TP2 was outstanding. At the sites where #TP2 diminished (0.030-0.045 m(3) m(-3)) the yield varied from 2,173 to 3,529 kg ha(-1) and where it increased (0.045-0.076 m(3) m(-3)), the yield was between 1,630 and 2,173 kg ha(-1). Therefore, the total soil porosity, evaluated in the 0.10-0.20 m layer (#TP2), indicated the importance of the contact root/soil and was in turn a satisfactory indicator of soil physical quality, with a view to the grain yield of irrigated common bean.

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.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais

The importance of non-functional requirements for computer systems is increasing. Satisfying these requirements requires special attention to the software architecture, since an unsuitable architecture introduces greater complexity in addition to the intrinsic complexity of the system. Some studies have shown that, despite requirements engineering and software architecture activities act on different aspects of development, they must be performed iteratively and intertwined to produce satisfactory software systems. The STREAM process presents a systematic approach to reduce the gap between requirements and architecture development, emphasizing the functional requirements, but using the non-functional requirements in an ad hoc way. However, non-functional requirements typically influence the system as a whole. Thus, the STREAM uses Architectural Patterns to refine the software architecture. These patterns are chosen by using non-functional requirements in an ad hoc way. This master thesis presents a process to improve STREAM in making the choice of architectural patterns systematic by using non-functional requirements, in order to guide the refinement of a software architecture

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks