ExtSym: a program to aid space-group determination from powder diffraction data

Once unit-cell dimensions have been determined from a powder diffraction data set and therefore the crystal system is known (e.g. orthorhombic), the method presented by Markvardsen, David, Johnson & Shankland [Acta Cryst. (2001), A57, 47-54] can be used to generate a table ranking the extinction symbols of the given crystal system according to probability. Markvardsen et al. tested a computer program (ExtSym) implementing the method against Pawley refinement outputs generated using the TF12LS program [David, Ibberson & Matthewman (1992). Report RAL-92-032. Rutherford Appleton Laboratory, Chilton, Didcot, Oxon, UK]. Here, it is shown that ExtSym can be used successfully with many well known powder diffraction analysis packages, namely DASH [David, Shankland, van de Streek, Pidcock, Motherwell & Cole (2006). J. Appl. Cryst. 39, 910-915], FullProf [Rodriguez-Carvajal (1993). Physica B, 192, 55-69], GSAS [Larson & Von Dreele (1994). Report LAUR 86-748. Los Alamos National Laboratory, New Mexico, USA], PRODD [Wright (2004). Z. Kristallogr. 219, 1-11] and TOPAS [Coelho (2003). Bruker AXS GmbH, Karlsruhe, Germany]. In addition, a precise description of the optimal input for ExtSym is given to enable other software packages to interface with ExtSym and to allow the improvement/modification of existing interfacing scripts. ExtSym takes as input the powder data in the form of integrated intensities and error estimates for these intensities. The output returned by ExtSym is demonstrated to be strongly dependent on the accuracy of these error estimates and the reason for this is explained. ExtSym is tested against a wide range of data sets, confirming the algorithm to be very successful at ranking the published extinction symbol as the most likely. (C) 2008 International Union of Crystallography Printed in Singapore - all rights reserved.

Caracterização estrutural da cerâmica Ti x(Sm0,2Ce0,8)1-xO 2-delta pelo método de Rietveld

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

Quantitative structural analysis of the transition from LT-LixCoO2 to HT-LixCoO2 using the rietveld method: correlation between structure and electrochemical performance

A quantitative phase analysis was made of LiXCoO2 powders obtained by two distinct chemical methodologies at different temperatures (from 400 to 700degreesC). A phase analysis was made using Rietveld refinements based on X-ray diffraction data, considering the LiXCoO2 powders as a multiphase system that simultaneously contained two main phases with distinct, layered and spinel-type structures. The sults showed the coexistence of both structures in LiXCoO2 obtained at low temperature (400 and 500degreesC), although only the layered structure was detected at higher temperatures (600 and 700degreesC, regardless of the chemical powder process employed. The electrochemical performance, evaluated mainly by the cycling reversibility of LiXCoO2 in the form of cathode insertion electrodes, revealed that there is a close correlation between structural features and the electrochemical response, with one of the redox processes (3.3 v/3.9 v) associated only with the presence of the spinel-type structure. (C) 2003 Elsevier B.V. All rights reserved.

Rietveld refinements of SnO(2) ceramic powders doped with ZnO, WO(3), CoO, Nb(2)O(5) and MoO(3)

Polycrystalline materials of SnO(2) doped with ZnO, WO(3), CoO, Nb(2)O(5), and MoO(3). were synthesized by solid state reaction. X-ray powder diffraction data were collected with Cu K(alpha) radiation from a Rigaku-Rint 2000 rotating anode source. The structural and profile parameters were refined by the Rietveld method using GSAS [2]. The obtained residual parameters are R(wp) = 11,93% and R(Bragg) = 4,19%. The refined profile parameters indicate no anisotropic crystallite microstrain. The refinement results and Fourier differences calculations indicate that the dopants do not occupy interstitial sites in the crystal structure of SnO(2).

Crystal structure refinement of Co-doped lanthanum chromites

Results of crystal structure refinements and phase quantification for samples of Co-doped lanthanum chromites with nominal composition LaCr(1-x)Co(x)O(3), for x=0.00, 0.10, 0.20, and 0.30, prepared by combustion synthesis are presented. The resulting powders were characterized by scanning electron microscopy and X-ray diffraction (XRD). The XRD patterns were obtained with Cu K alpha radiation for non-doped lanthanum chromite sample and additionally with Cr K alpha radiation for Co-doped lanthanum chromites samples, in order to enhance the signal from scattering. Rietveld analysis of XRD data showed that the studied samples presented the lanthanum chromite with an orthorhombic structure (Pnma), except for the composition with x=0.30, in which the space group was found to be R (3) over barc. (C) 2008 International Centre for Diffraction Data.

Structural refinement, growth process, photoluminescence and photocatalytic properties of (Ba1-xPr2x/3)WO4 crystals synthesized by the coprecipitation method

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

Quantitative structural analysis of the transition from LT-Li xCoO2 to HT-LixCoO2 using the rietveld method: Correlation between structure and electrochemical performance

A quantitative phase analysis was made of LixCoO2 powders obtained by two distinct chemical methodologies at different temperatures (from 400 to 700°C). A phase analysis was made using Rietveld refinements based on X-ray diffraction data, considering the Li xCoO2 powders as a multiphase system that simultaneously contained two main phases with distinct, layered and spinel-type structures. The results showed the coexistence of both structures in LixCoO 2 obtained at low temperature (400 and 500°C), although only the layered structure was detected at higher temperatures (600 and 700°C), regardless of the chemical powder process employed. The electrochemical performance, evaluated mainly by the cycling reversibility of Li xCoO2 in the form of cathode insertion electrodes, revealed that there is a close correlation between structural features and the electrochemical response, with one of the redox processes (3.3 v/3.9 v) associated only with the presence of the spinel-type structure. © 2003 Elsevier B.V. All rights reserved.

Efeito da adição de níquel nas propriedades elétricas de nanopós de niobato de potássio e estrôncio de estrutura tungstênio bronze

Pós-graduação em Química - IBILCE

Aplicação da difração de raios X por policristais e do método de Rietveld de refinamento de estruturas cristalinas no estudo de polimorfos cristalinos de fármacos

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

Síntese, caracterização estrutural e análise do potencial catalítico do SrTiO3 e das Perovskitas duplas de Sr1-xKxTiCux/2O3, onde x = 0,2; 0,3 e 0,5, na preparação de biodiesel

Pós-graduação em Química - IBILCE

Preparação de soluções sólidas superficiais à base de alumina como catalisadores para síntese do biodiesel via rota etílica

Pós-graduação em Química - IBILCE

Structural refinement, growth process, photoluminescence and photocatalytic properties of (Ba1-xPr2x/3)WO4 crystals synthesized by the coprecipitation method

Barium praseodymium tungstate (Ba1-xPr2x/3)WO4 crystals with (x = 0, 0.01, and 0.02) were prepared by the coprecipitation method. These crystals were structurally characterized by X-ray diffraction (XRD), Rietveld refinements, Fourier-transform Raman (FT-Raman) and Fourier-transform infrared (FT-IR) spectroscopies. The shape and size of these crystals were observed by field emission scanning electron microcopy (FE-SEM). Their optical properties were investigated by ultraviolet visible (UV-vis) absorption and photoluminescence (PL) measurements. Moreover, we have studied the photocatalytic (PC) activity of crystals for degradation of rhodamine B (RhB) dye. XRD patterns, Rietveld refinements data, FT-Raman and FT-IR spectroscopies indicate that all crystals exhibit a tetragonal structure without deleterious phases. FT-Raman spectra exhibited 13 Raman-active modes in a range from 50 to 1000 cm(-1), while FT-IR spectra have 8 infrared active modes in a range from 200 to 1050 cm(-1). FE-SEM images showed different shapes (bonbon-, spindle-, rice-and flake-like) as well as a reduction in the crystal size with an increase in Pr3+ ions. A possible growth process was proposed for these crystals. UV-vis absorption measurements revealed a decrease in optical band gap values with an increase of Pr3+ into the matrix. An intense green PL emission was noted for (Ba1-xPr2x/3)WO4 crystals (x = 0), while crystals with (x = 0.01 and 0.02) produced a reduction in the wide band PL emission and the narrow band PL emission which is related to f-f transitions from Pr3+ ions. High photocatalytic efficiency was verified for the bonbon-like BaWO4 crystals as a catalyst in the degradation of the RhB dye after 25 min under UV-light. Finally, we discuss possible mechanisms for PL and PC properties of these crystals.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Towards a refinement calculus for concurrent real-time programs

We define a language and a predicative semantics to model concurrent real-time programs. We consider different communication paradigms between the concurrent components of a program: communication via shared variables and asynchronous message passing (for different models of channels). The semantics is the basis for a refinement calculus to derive machine-independent concurrent real-time programs from specifications. We give some examples of refinement laws that deal with concurrency.

Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.