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

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

Síntese e caracterização de pós Ba(x)Sr(1-x)Co0,8Fe0,2O3- através do método de coprecipitação via oxalato

Ceramic powders based on oxides of perovskite-type structure is of fundamental interest nowadays, since they have important ionic-electronic conductivity in the use of materials with technological applications such as gas sensors, oxygen permeation membranes, catalysts and electrolytes for solid oxide fuel cells (SOFC). The main objective of the project is to develop nanostructured ceramic compounds quaternary-based oxide Barium (Br), Strontium (Sr), Cobalt (Co) and Iron (Fe). In this project were synthesized compounds BaxSr(1-x)Co0, 8Fe0,2O3- (x = 0.2, 0.5 and 0.8) through the oxalate co-precipitation method. The synthesized powders were characterized by thermogravimetric analysis and differential thermal analysis (TGADTA), X-ray diffraction (XRD) with the Rietveld refinement using the software MAUD and scanning electron microscopy (SEM). The results showed that the synthesis technique used was suitable for production of nanostructured ceramic solid solutions. The powders obtained had a crystalline phase with perovskite-type structure. The TGA-DTA results showed that the homogeneous phase of interest was obtained temperature above 1034°C. It was also observed that the heating rate of the calcination process did not affect the elimination of impurities present in the ceramic powder. The variation in the addition of barium dopant promoted changes in the average crystallite size in the nanometer range, the composition being BSCF(5582) obtained the lowest value (179.0nm). The results obtained by oxalate co-precipitation method were compared with those synthesis methods in solid state and EDTA-citrate method

Desenvolvimento de uma rota química alternativa de síntese de SrCo0,8Fe0,2O3- e LaNi0,3Co0,7O3- para aplicação na reação de oxidação do CO

This thesis focuses on the coprecipitation synthesis method for preparation of ceramic materials with perovskite structure, their characterization and application as catalytic material in the reaction of converting CO to CO2 developing a methodological alternative route of synthesis from the middle via oxalate coprecipitation material SrCo0,8Fe0,2O3-d. In order to check the influence of this method, it was also synthesized using a combined citrate - EDTA complexing method. The material was characterized by: X-ray diffraction (XRD), Rietveld refinement method, thermogravimetry and differential thermo analysis (TG / DTA), scanning (SEM) and transmission (TEM) electron microscopy, particle size distribution and surface analysis method BET. Both methods led to post-phase synthesis, with pH as a relevant parameter. The synthesis based on the method via oxalate coprecipitation among particles led to the crystalline phase as those obtained using a combined citrate - EDTA complexing method under the same conditions of heat treatment. The nature of the reagent used via oxalate coprecipitation method produced a material with approximately 80 % lower than the average size of crystallites. Moreover, the via oxalate coprecipitation method precursors obtained in the solid state at low temperature (~ 26 oC), shorter synthesis, greater thermal stability and a higher yield of around 90-95 %, maintaining the same order of magnitude the crystallite size that the combined citrate - EDTA complexing method. For purposes of comparing the catalytic properties of the material was also synthesized by the using a combined citrate - EDTA complexing method. The evaluation of catalytic materials SrCo0,8Fe0,2O3-d LaNi0,3Co0,7O3-d was accompanied on the oxidation of CO to CO2 using a stainless steel tubular reactor in the temperature range of 75-300 oC. The conversion CO gas was evaluated in both materials on the results shaved that the firm conversion was loves for the material LaNi0,3Co0,7O3-d

Condutividade térmica de rochas: uma aplicação para granitos ornamentais

This dissertation focuses on rock thermal conductivity and its correlations with petrographic, textural, and geochemical aspects, especially in granite rocks. It aims at demonstrating the relations of these variables in an attempt to enlighten the behavior of thermal effect on rocks. Results can be useful for several applications, such as understanding and conferring regional thermal flow results, predicting the behavior of thermal effect on rocks based upon macroscopic evaluation (texture and mineralogy), in the building construction field in order to provide more precise information on data refinement on thermal properties emphasizing a rocky material thermal conductivity, and especially in the dimension stone industry in order to open a discussion on the use of these variables as a new technological parameter directly related to thermal comfort. Thermal conductivity data were obtained by using Anter Corporation s QuicklineTM -30 a thermal property measuring equipment. Measurements were conducted at temperatures ranging between 25 to 38 OC in samples with 2cm in length and an area of at least 6cm of diameter. As to petrography data, results demonstrated good correlations with quartz and mafics. Linear correlation between mineralogy and thermal conductivity revealed a positive relation of a quartz percentage increase in relation to a thermal conductivity increase and its decrease with mafic minerals increase. As to feldspates (K-feldspate and plagioclase) they show dispersion. Quartz relation gets more evident when compared to sample sets with >20% and <20%. Sets with more than 20% quartz (sienogranites, monzogranites, granodiorites, etc.), exhibit to a great extent conductivity values which vary from 2,5 W/mK and the set with less than 20% (sienites, monzonites, gabbros, diorites, etc.) have an average thermal conductivity below 2,5 W/mK. As to textures it has been verified that rocks considered thick/porphyry demonstrated in general better correlations when compared to rocks considered thin/medium. In the case of quartz, thick rocks/porphyry showed greater correlation factors when compared to the thin/medium ones. As to feldspates (K-feldspate and plagioclase) again there was dispersion. As to mafics, both thick/porphyry and thin/medium showed negative correlations with correlation factor smaller than those obtained in relation to the quartz. As to rocks related to the Streckeisen s QAP diagram (1976), they tend to fall from alcali-feldspates granites to tonalites, and from sienites to gabbros, diorites, etc. Thermal conductivity data correlation with geochemistry confirmed to a great extent mineralogy results. It has been seen that correlation is linear if there is any. Such behavior could be seen especially with the SiO2. In this case similar correlation can be observed with the quartz, that is, thermal conductivity increases as SiO2 is incremented. Another aspect observed is that basic to intermediate rocks presented values always below 2,5 W/mK, a similar behavior to that observed in rocks with quartz <20%. Acid rocks presented values above 2,5 W/mK, a similar behavior to that observed in rocks with quartz >20% (granites). For all the other cases, correlation factors are always low and present opposite behavior to Fe2O3, CaO, MgO, and TiO2. As to Al2O3, K2O, and Na2O results are not conclusive and are statistically disperse. Thermal property knowledge especially thermal conductivity and its application in the building construction field appeared to be very satisfactory for it involves both technological and thermal comfort aspects, which favored in all cases fast, cheap, and precise results. The relation between thermal conductivity and linear thermal dilatation have also shown satisfactory results especially when it comes to the quartz role as a common, determining phase between the two variables. Thermal conductivity studies together with rocky material density can function as an additional tool for choosing materials when considering structural calculation aspects and thermal comfort, for in the dimension stone case there is a small density variation in relation to a thermal conductivity considerable variation

Structural insights for fatty acid binding in a Lys49-phospholipase A(2): crystal structure of myotoxin II from Bothrops molojeni complexed with stearic acid

The crystal structure of dimeric Lys49-phospholipase A2 myotoxin-II from Bothrops moojeni (MjTX-II) co-crystallized with stearic acid (C18H36O2) has been determined at a resolution of 1.8 angstrom. The electron density maps permitted the unambiguous inclusion of six stearic acid molecules in the refinement. Two stearic acid molecules could be located in the substrate-binding cleft of each monomer in positions, which favor the interaction of their carboxyl groups with active site residues. The way of binding of stearic acids to this Lys49-PLA(2)s is analogous to phospholipids and transition state analogues to catalytically active PLA(2)s. Two additional stearic acid molecules were located at the dimer interface region, defining a hitherto unidentified acyl-binding site on the protein surface. The strictly conserved Lys122 for Lys49-PLA(2)s may play a fundamental role for stabilization of legend-protein complex. The comparison of MjTX-II/satiric acid complex with other Lys-PLA(2)s structures whose putative fatty acids were located at their active site is also analysed. Molecular details of the stearic acid/protein interactions provide insights to binding in croup I/II PLA(2)s and to the possible interactions of Lys49-PLA(2)s with target membranes. (c) 2004 Elsevier SAS. All rights reserved.

Vírus da leucemia felina: análise da classificação da infecção, das técnicas de diagnóstico e da eficácia da vacinação com o emprego de técnicas sensíveis de detecção viral

O Vírus da leucemia felina (FeLV) pertence à família Retroviridae, gênero Gammaretrovirus. Diferentemente de outras retroviroses, uma parcela dos gatos jovens e adultos exposta ao FeLV não apresenta antigenemia/viremia, de acordo com as técnicas convencionais de detecção viral, como isolamento em cultivo celular, imunofluorescência direta e ELISA. O emprego de técnicas de maior sensibilidade para detecção e quantificação viral, como o PCR quantitativo, permitiu a identificação de animais positivos para a presença de DNA proviral e RNA na ausência de antigenemia/viremia e, com isso, um refinamento da análise das diferentes evoluções da infecção. Assim, reclassificou-se a patogenia do FeLV em 4 categorias: infecção abortiva, regressiva, latente e progressiva. Foi possível também detectar DNA proviral e RNA em animais considerados imunes ao FeLV após vacinação. Diante disso, os objetivos desta revisão de literatura foram demonstrar as implicações da utilização de técnicas sensíveis de detecção viral na interpretação e classificação da infecção do FeLV e rever as técnicas de detecção do vírus para fins de diagnóstico. Além disso, apresentar os resultados referentes à eficácia da vacinação contra o FeLV com a utilização dessas técnicas.

Characterization of the columbite precursor and (1-x)PMN-xPT powders prepared by Ti-modified columbite route

This study proposes to synthesize (1-x)PMN-xPT powders, where 0.10 < x < 0.45, using the T-modified columbite route. This methodology consists in the preparation of the MNT columbite precursor via the polymeric precursor method, followed by the solid state reaction with PbO to get the PMN-PT powders. It was verified that from 15 mol% of Ti, the MNT presents the coexistence of two main phases with different crystal symmetry: Rutile and Columbite. However, the synthesis of (1-x)PMN-xPT powders is not affected by this event. A detailed study of structural effects in MNT and PMN-PT powders as function of Ti content was made using the Rietveld method. It was also demonstrated that powders possess high chemical and microstructural homogeneity.

Density and Spatial Distribution of Buffy-tufted-ear Marmosets (Callithrix aurita) in a Continuous Atlantic Forest

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

Bonding Efficacy of New Self-etching, Self-adhesive Dual-curing Resin Cements to Dental Enamel

Purpose: This study evaluated the efficacy of the union between two new self-etching self-adhesive resin cements and enamel using the microtensile bond strength test.Materials and Methods: Buccal enamel of 80 bovine teeth was submitted to finishing and polishing with metallographic paper to a refinement of #600, in order to obtain a 5-mm(2) flat area. Blocks (2 x 4 x 4 mm) of laboratory composite resin were cemented to enamel according to different protocols: (1) untreated enamel + RelyX Unicem cement (RX group); (2) untreated enamel + Bifix SE cement (BF group); (3) enamel acid etching and application of resin adhesive Single Bond + RelyX Unicem (RXA group); (4) enamel acid etching and application of resin adhesive Solobond M + Bifix SE (BFA group). After 7 days of storage in distillated water at 37 degrees C, the blocks were sectioned for obtaining microbar specimens with an adhesive area of 1 mm(2) (n = 120). Specimens were submitted to the microtensile bond strength test at a crosshead speed of 0.5 mm/min. The results (in MPa) were analyzed statistically by ANOVA and Tu key's test.Results: Enamel pre-treatment with phosphoric acid and resin adhesive (27.9 and 30.3 for RXA and BFA groups) significantly improved (p <= 0.05) the adhesion of both cements to enamel compared to the union achieved with as-polished enamel (9.9 and 6.0 for RX and BF).Conclusion: Enamel pre-treatment with acid etching and the application of resin adhesive significantly improved the bond efficacy of both luting agents compared to the union achieved with as-polished enamel.

SrZrO3 powders obtained by chemical method: Synthesis, characterization and optical absorption behaviour

Strontium zirconate (SrZrO3) powders have been synthesized by the polymeric precursor method after heat treatment at different temperatures for 2 h in oxygen atmosphere. The decomposition of precursor powder was followed by thermogravimetric analysis, X-ray diffraction (XRD) and Fourier transform Raman (FT-Raman). The UV-vis absorption spectroscopy measurements suggested the presence of intermediary energy levels in the band gap of structurally disordered powders. XRD, Rietveld refinement and FT-Raman revealed that the powders are free of secondary phases and crystallizes in the orthorhombic structure. (C) 2007 Elsevier Masson SAS. All rights reserved.

Structural characterization of phase transition of Al2O3 nanopowders obtained by polymeric precursor method

Nanocrystalline Al(2)O(3)powders have been synthesized by the polymeric precursor method. A study of the evolution of crystalline phases of obtained powders was accomplished through X-ray diffraction, micro-Raman spectroscopy and refinement of the structures through the Rietveld method. The results obtained allow the identification of three steps on the gamma-Al2O3 to alpha-Al2O3 phase transition. The single-phase alpha-Al2O3 Powder was obtained after heat-treatment at 1050 degrees C for 2 h. A study of the morphology of the particles was accomplished through measures of crystallite size, specific surface area and transmission electronic microscopy. The particle size is closely related to gamma-Al2O3 to alpha-Al2O3 phase transition. (c) 2007 Elsevier B.V. All rights reserved.

Barium strontium titanate powders prepared by spray pyrolysis

Ultasonic spray pyrolysis (SP) has been investigated for the production of the barium strontium titanate (BST) powders from the polymeric precursors. The processing parameters, such as flux of aerosol and temperature profile inside the furnace, were optimized to obtain single phase BST. The powders were characterized by the methods of X-ray diffraction analysis, SEM, EDS and TEM. The obtained powders were submicronic, consisting of spherical, polycrystalline particles, with internal nanocrystalline structure. Crystallite size of 10 nut, calculated using Rietveld refinement, is in a good agreement with results of HRTEM. (c) 2005 Elsevier B.V. All rights reserved.

Theoretical analysis of the structural deformation in Mn-doped BaTiO3

An alternative theoretical method to simulate the structural deformation induced by Mn-doping in BaTiO3 is proposed. The periodic quantum-mechanical method is based on density functional theory at B3LYP level. The structural models were obtained from Rietveld refinement of the undoped and Mn doped BaTiO3 X-ray diffraction data. This modelization gives access to the dopant General effect on the electronic structure. In fact, the influence of the doing element itself on the electronic configuration is barely local: therefore, it is not included in the simulation. The simplicity of the model makes it available for working within a wide range of materials.(C) 2004 Published bv Elsevier B.V.

X-ray diffraction and mossbauer spectra of nickel ferrite prepared by combustion reaction

Nickel ferrite powders with a nominal NiFe2O4 composition were synthesized by combustion reaction using urea as fuel. The powder was obtained using a vitreous silica basin heated directly on a hot plate at 480 degrees C until self-ignition occurred. After combustion, the powder was calcined at 700 degrees C for 2 h. The formation of the spinel phase and the distribution of cations in the tetrahedral and octahedral sites of the crystal structure were investigated by the Rietveld method, using synchrotron X-ray diffraction data and Mossbauer spectroscopy. The material presented a crystallite size of 120 nm and magnetic properties. The resulting stoichiometry after the Rietveld refinement was (Fe-0.989(2) Ni-0.011(2)) [Fe-1.012(2) Ni-0.989(2)] O-4.