Structural and morphological characteristics of (Pb1-x Sr (x) )TiO3 powders obtained by polymeric precursor method

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

Otimização no uso de martelos e bigornas para quebrar sementes por macacos prego (Cebus flavius e C. libidinosus) no Bioma Caatinga

Recently, capuchin monkeys (Cebus spp.) inhabitants of dry environments and with restriction of fleshy fruits, have been the subject of several studies regarding the use of instruments. During behaviour of using stones to crack open nuts there is evidence of selection of more effective hammers, as well as selection of anvils related to reducing the risk of predation. The aim of this study was to determine whether two groups of capuchin monkeys (C.flavius and and C.libidinosus) inhabitants of the Caatinga of Rio Grande do Norte make choice of hammers and anvils. The record of weight and location of stones indicated active choices of with what (choice of hammers) and where (selection of anvils) to crack open encapsulated seeds. The choice of hammers to break nuts depended on the type and degree of ripeness seed. Thus, smaller seeds were smashed with lighter hammers and larger seeds with heavier hammers. Still, C. flavius was the only species that presented a refinement in the choice of hammers that depended on the ripeness of seeds. For both species of capuchin monkeys studied, the nut-crack sites were not spread in accordance with the spatial distribution of seed-producing species, suggesting that the capuchin monkeys promote active choice of anvils. Thus, in environments with more escape routes through the trees, the nut-crack sites were found further apart than in regions that had less chance of escape through the trees. Also, there was a difference in the spacing of the anvils to depend on the type of seed: sites used to crack larger and more caloric seeds were found farther apart than the sites used to crack smaller and less caloric seeds, suggesting a pattern of avoiding direct competition. We conclude that the capuchin monkeys maximize energy savings and reduced risk of predation and the costs of food competition during the behaviour of using stones to crack open nuts

Estudo das propriedades psicométricas da escala WHOQOLold em idosos da região Nordeste

The population aging process increases the number of elderly people worldwide. In Brazil, a country of continental size, this process began in the 40s and happens with specific features in each of the different region s realities. This way, this thesis aimed to evaluate the psychometric properties of a elderly s quality of life (QOL) scale, the WHOQOL-old, in a population of the Northeast of Brazil. We sought to investigate the congruence between the content covered by the scale and the ones deemed as relevant by the participants. It aimed also study the validity evidences of the instrument s internal structure. To achieve the research objectives we adopted the design of multiple methods. The research was organized in two studies. For data collection, both studies used a sociodemographic questionnaire to obtain a profile of the participants and the Mini Mental State Exam (MMSE), used as exclusion criterion. A number of 18 elderly residents of the cities of Natal-RN and Campina Grande-PB, mean age of 73.3 years (SD = 5.9) took part od the study, They were organized into three focal groups (FG) in witch they discussed about the concept of QOL, what enhance and what hinders QOL. For Study II, a quantitative approach, 335 elderly from Campina Grande responded scale WHOQOL-old. They are between 65 and 99 years (M = 74.17, SD = 6.5). The FG data were analyzed by categorical thematic content. For the data analysis of the WHOQOL-old scale were used exploratory factor analysis and calculation of the Akaike and Bayesian information criteria. The results of both studies were triangulated. According to the discussions in the FG, health and social participation have central roles in quality of life. Social participation is related to all the other QOL s influences raised. The participants indicated the relevance of religiosity and were divided about the importance of sexual activity. Exploratory factor analysis (EFA) extracted a model of six factors. Two items (OLD_3 and OLD_9), not loaded on any factor and were excluded. The other items had factor loadings > 0.3. The response categories were reduced from five to three. After the scale changes, the empirical model showed better fit (-2loglikelihood = 8993.90, BIC and AIC = 9183.90 = 9546.24) than the theoretical model (-2loglikelihood = 18390.88, AIC = 18678.88 and BIC = 19228.11). Despite the best information criterion values, the RMESA remained above the ideal (0.06). We conclude that the WHOQOL-old presents psychometric parameters below the ideal when used with the Northeast population, but the improvements made the scale s use acceptable. The WHOQOL-old uses observable variables that matches with the participants' perceptions on quality of life. However, new strategies must be tested for a better sacale refinement

Síntese, sinterização e caracterização de ferritas à base de Ni-Zn

Were synthesized different ferrites NixZn1-xFe2O4 (0,4 ≤ x ≤ 0,6) compositions by using citrate precursor method. Initially, the precursors citrates of iron, nickel and zinc were mixed and homogenized. The stoichiometric compositions were calcined at 350°C without atmosphere control and the calcined powders were pressed in pellets and toroids. The pressed material was sintered from 1100º up to 1200ºC in argon atmosphere. The calcined powders were characterized by XRD, TGA/DTG, FTIR, SEM and vibrating sample magnetometer (VSM). All sintered samples were characterized using XRD, SEM, VSM and measurements of magnetic permeability and loss factor were obtained. It was formed pure ferromagnetic phase at all used temperatures. The Rietveld analyses allowed to calculate the cations level occupation and the crystallite size. The analyses obtained nanometric crystals (12-20 nm) to the calcined powder. By SEM, the sintered samples shows grains sizes from 1 to 10 μm. Sintered densities (ρ) were measured by the Archimedes method and with increasing Zn content, the bulk density decrease. The better magnetization results (105-110 emu/g) were obtained for x=0,6 at all sintering temperatures. The hysteresis shows characteristics of soft magnetic material. Two magnetization processes were considered, superparamagnetism at low temperature and the magnetic domains formation at high temperatures. The sintered toroids presents relative magnetic permeability (μr) from 7 to 32 and loss factor (tanδ) of about 1. The frequency response of toroids range from 0,3 kHz to 0,2 GHz. The composition x=0,5 presents both greater μr and tanδ values and x=0,6 the most broad range of frequency response. Various microstructural factors show influence on the behavior of μr and tanδ, such as: grain size, porosity across grain boundary and inside the grain, grain boundary content and domain walls movement during the process of magnetization at high frequency studies (0,3kKz 0,2 GHz)

Síntese análise das propriedades magnéticas da ferrita de NiMg e características de absorção de radiação

It was synthesized different Ni1-xMgxFe2O4 (0,2 ≤ x ≤ 0,7) compositions by use of citrate precursor method. Initially, the precursory citrates of iron, nickel and magnesium were mixed and homogenized. The stoichiometric compositions were calcined from 350°C to 1200°C at ambient atmosphere or in argon atmosphere. The calcined powders were characterized by XRD, TGA/DTG, FTIR, magnetic measures and reflectivity using the wave guide method. I was observed pure magnetic phase formation between 350°C and 500°C, with formation of ferrite and hematite after 600°C at ambient atmosphere. The calcined powder at argon atmosphere formed pure ferromagnetic phase at 1100°C and 1200°C. The Rietveld analyses calculated the cations level occupation and the crystallite size. The analyses obtained nanometric crystals (11-66 nm), that at 900°C/3h presents micrometric sizes (0,45 - 0,70 Om). The better magnetization results were 54 Am2/Kg for x= 0,2 composition, calcined at 350°C/3h and 30 min, and 55,6 Am2/Kg for x= 0,2 1200°C, calcined in argon. The hysteresis shows characteristics of soft magnetic material. Two magnetization processes were considered, superparamagnetism at low temperature and the magnetic domains formation at high temperatures. The materials presented absorption less or equal the 50 % in ranges specific frequency. As for the 2,0 and 3,0 thickness (in 11,0 - 11,8 GHz), the reflectivity of the x= 0,3, 0,5 and 0,4 compositions, all calcined at 900°C/3h showed agreement with MS and O. Various factors contribute for the final radiation absortion effect, such as, the particle size, the magnetization and the polymer characteristics in the MARE composition. The samples that presented better magnetization does not obtaining high radiation absorption. It is not clear the interrelaction between the magnetization and the radiation absorption in the strip of frequencies studied (8,2 - 12,4 GHz)

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

Hydrothermal Microwave: A New Route to Obtain Photoluminescent Crystalline BaTiO3 Nanoparticles

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

Evidence for the monoclinic-tetragonal phase coexistence in Pb(Zr(0.53)Ti(0.47))O(3) thin films

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

Structural and dielectric properties of relaxor Sr0.5Ba0.5Bi2Nb2O9 ceramic

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

A Monte Carlo Revisiting of N-Methylformamide and Acetone

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

Otimização da síntese de nanoferritas de nizn dopada com cobre e cobalto

Different compositions of Ni0,5-xCuxZn0,5Fe2O4 and Ni0,5-xCoxZn0,5Fe2O4 0 ≤ x ≤ 0.3 were synthesized ferrite y the citrate precursor method. The stoichiometric compositions were calcined in air at 350°C and then pressed into pellets and toroids. The pressed samples were sintered at temperatures of 1000, 1050 and 1100°C/3h in air control at the speed of heating and cooling. The calcined powders were characterized by XRD, TGA / DTG, FTIR, SEM and vibrating sample magnetometry (VSM) and the sintered samples by XRD, SEM, MAV, density and measurements of permeability and magnetic losses. There was pure phase formation ferrimagnetism applied at all temperatures except for A-I composition at all sintering temperatures and A-II only at a temperature of 1100°C. Crystallite sizes were obtained by Rietveld analysis, nanometer size from 11 to 20 nm for the calcined powders. For SEM, the sintered samples showed grain size between 1 and 10 micrometers. Bulk density (ρ) of sintered material presented to the Families almost linear behavior with increasing temperature and a tendency to decrease with increasing concentration of copper, different behavior of the B Family, where the increase in temperature decreased the density. The magnetic measurements revealed the powder characteristics of a soft ferrimagnetic material. Two processes of magnetization were considered, the superparamagnetism at low temperatures (350°C) and the formation of magnetic domains at higher temperatures. Obtaining the best parameters for P and B-II magnetic ferrites at high temperatures. The sintered material at 1000°C showed a relative permeability (μ) from 50 to 800 for the A Family and from 10 to 600 for the B Family. The samples sintered at 1100°C, B Family showed a variation from 10 to 1000 and the magnetic loss (tan δ) of A and B Families, around of 1. The frequency response of the toroidal core is in the range of 0.3 kHz. Several factors contribute to the behavior of microstructure considering the quantities μ and tan δ, such as the grain size, inter-and intragranular porosity, amount of grain boundary and the aspects of the dynamics of domain walls at high frequencies.

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

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy