Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Synthesis, characterization, structural refinement and optical absorption behavior of PbWO(4) powders

The present paper describes the synthesis, characterization, structural refinement and optical absorption behavior of lead tungstate (PbWO(4)) powders obtained by the complex polymerization method heat treated at different temperatures for 2h in air atmosphere. PbWO(4) powders were characterized by X-ray diffraction (XRD), Rietveld refinement, Fourier transform Raman (FT-Raman) spectroscopy and ultraviolet visible (UV-vis) absorption spectroscopy measurements. XRD, Rietveld refinement and FT-Raman revealed that PbWO(4) powders are free of secondary phases and crystallizes in a tetragonal structure. The UV-vis absorption spectroscopy measurements suggest the presence of intermediary energy levels into the band gap of structurally disordered powders. (C) 2008 Elsevier B.V. All rights reserved.

Structural Refinement and Photoluminescence Properties of MnWO4 Nanorods Obtained by Microwave-Hydrothermal Synthesis

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

Synthesis, structural refinement and optical behavior of CaTiO3 powders: A comparative study of processing in different furnaces

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

Structural refinement and photoluminescence properties of irregular cube-like (Ca-1_Cu-x(x))TiO3 microcrystals synthesized by the microwave-hydrothermal method

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

Structural refinement, optical and microwave dielectric properties of BaZrO3

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

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)

Structural refinement and photoluminescence properties of cube-like (Ca 1-xCu x)TiO 3 crystals synthesized by the microwave-hydrothermal method

In this work, (Ca 1-xCu x)TiO 3 crystals with (x = 0, 0.01 and 0.02), labeled as CTO, CCTO1 and CCTO2, were synthesized by the microwave-hydrothermal method at 140°C for 32 min. XRD patterns (Fig. 1), Rietveld refinement and FT-Raman spectroscopy indicated that these crystals present orthorhombic structure Pbnm. Micro-Raman and XANES spectra suggested that the substitution of Ca by Cu in A-site promoted a displacement of the [TiO6]-[TiO6] clusters adjacent from its symmetric center, which leads distortions on the [CaO 12] clusters neighboring and consequently cause the strains into the CaTiO3 lattice. FE-SEM images showed that these crystals have an irregular shape as cube like probably indicating an Ostwald-ripening and self-assemble as dominant mechanisms to crystals growth. The powders presented an intense PL blue-emission.

Structural refinement, growth mechanism, infrared/Raman spectroscopies and photoluminescence properties of PbMoO4 crystals

Lead molybdate (PbMoO4) crystals were synthesized by the co-precipitation method at room temperature and then processed in a conventional hydrothermal (CH) system at low temperature (70 °C for different times). These crystals were structurally characterized by X-ray diffraction (XRD), Rietveld refinement, micro-Raman (MR) and Fourier transformed infrared (FT-IR) spectroscopies. Field emission scanning electron microscopy images were employed to observe the shape and monitor the crystal growth process. The optical properties were investigated by ultraviolet-visible (UV-Vis) absorption and photoluminescence (PL) measurements. XRD patterns and MR spectra indicate that these crystals have a scheelite-type tetragonal structure. Rietveld refinement data possibilities the evaluation of distortions in the tetrahedral [MoO 4] clusters. MR and FT-IR spectra exhibited a high mode ν1(Ag) ascribed to symmetric stretching vibrations as well as a large absorption band with two modes ν3(Eu and Au) related to anti-symmetric stretching vibrations in [MoO 4] clusters. Growth mechanisms were proposed to explain the stages involved for the formation of octahedron-like PbMoO4 crystals. UV-Vis absorption spectra indicate a reduction in optical band gap with an increase in the CH processing time. PL properties of PbMoO4 crystals have been elucidated using a model based on distortions of tetrahedral [MoO4] clusters due to medium-range intrinsic defects and intermediary energy levels (deep and shallow holes) within the band gap. © 2012 Elsevier Ltd. All rights reserved.

Structural refinement, optical and electrical properties of [Ba1-x Sm-2x/3](Zr0.05Ti0.95)O-3 ceramics

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

Structural refinement, optical and ferroelectric properties of microcrystalline Ba(Zr0.05Ti0.95)O-3 perovskite

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

Structural refinement, optical and microwave dielectric properties of BaZrO3

In this work, barium zirconate (BaZrO3) ceramics synthesized by solid state reaction method and sintered at 1670 degrees C for 4 h were characterized by X-ray diffraction (XRD), Rietveld refinement, and Fourier transform infrared (FT-IR) spectroscopy. XRD patterns, Rietveld refinement data and FT-IR spectra which confirmed that BaZrO3 ceramics have a perovskite-type cubic structure. Optical properties were investigated by ultraviolet-visible (UV-vis) absorption and photoluminescence (PL) measurements. UV-vis absorption spectra suggested an indirect allowed transition with the existence of intermediary energy levels within the band gap. Intense visible green PL emission was observed in BaZrO3 ceramics upon excitation with a 350 nm wavelength. This behavior is due to a majority of deep defects within the band gap caused by symmetry breaking in octahedral [ZrO6] clusters in the lattice. The microwave dielectric constant and quality factor were measured using the method proposed by Hakki-Coleman. The dielectric resonator antenna (DRA) was investigated experimentally and numerically using a monopole antenna through an infinite ground plane and Ansoft's high frequency structure simulator software, respectively. The required resonance frequency and bandwidth of DRA were investigated by adjusting the dimension of the same material. (C) 2011 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

Structural Refinement and Photoluminescence Properties of MnWO4 Nanorods Obtained by Microwave-Hydrothermal Synthesis

Manganese tungstate (MnWO4) nanorods were prepared at room temperature by the co-precipitation method and synthesized after processing in a microwave-hydrothermal (MH) system at 140 degrees C for 6-96 min. These nanorods were structurally characterized by X-ray diffraction (XRD), Rietveld refinements and Fourier transform (FT)-Raman spectroscopy. The growth direction, shape and average size distribution of nanorods were observed by means of transmission electron microscopy (TEM) and high resolution TEM (HR-TEM). The optical properties of the nanorods were investigated by ultraviolet visible (UV-vis) absorption and photoluminescence (PL) measurements. XRD patterns, Rietveld refinement data and FT-Raman spectroscopy indicate that the MnWO4 precipitate is not a single phase structure while the nanorods synthesized by MH processing have a wolframite-type monoclinic structure without deleterious phases. FT-Raman spectra exhibited the presence of 17 Raman-active modes from 50 to 1,000 cm(-1). TEM and HR-TEM micrographs indicated that the nanorods are aggregated due to surface energy by Van der Waals forces and grow along the [100] direction. UV-vis absorption measurements confirmed non-linear values for the optical band gap (from 3.2 to 2.72 eV), which increased as the MH processing time increased. The structural characterizations indicated that the presence of defects in the MnWO4 precipitate promotes a significant contribution to maximum PL emission, while MnWO4 nanorods obtained by MH processing decrease the PL emission due to the reduction of defects in the lattice.

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.