Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Predicting the columnar-to-equiaxed transition for a distribution of nucleation undercoolings

A deterministic mathematical model for steady-state unidirectional solidification is proposed to predict the columnar-to-equiaxed transition. In the model, which is an extension to the classic model proposed by Hunt [Hunt JD. Mater Sci Eng 1984;65:75], equiaxed grains nucleate according to either a normal or a log-normal distribution of nucleation undercoolings. Growth maps are constructed, indicating either columnar or equiaxed solidification as a function of the velocity of isotherms and temperature gradient. The fields A columnar and equiaxed growth change significantly with the spread of the nucleation undercooling distribution. Increasing the spread Favors columnar solidification if the dimensionless velocity of the isotherms is larger than 1. For a velocity less than 1, however, equiaxed solidification is initially favored, but columnar solidification is enhanced for a larger increase in the spread. This behavior was confirmed by a stochastic model, which showed that an increase in the distribution spread Could change the grain structure from completely columnar to 50% columnar grains. (c) 2008 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

The effect of grain refinement and silicon content on grain formation in hypoeutectic Al-Si alloys

The effect of increasing the amount of added grain refiner on grain size and morphology has been investigated for a range of hypoeutectic Al-Si alloys. The results show a transition in grain size at a silicon concentration of about 3 wt% in unrefined alloys; the grain size decreasing with silicon content before the transition, and increasing beyond the transition point. A change in morphology also occurs with increased silicon content. The addition of grain refiner leads to greater refinement for silicon contents below the transition point than for those contents above the transition point, while the transition point seems to remain unchanged. The slope of the grain size versus silicon content curve after the transition seems to be unaffected by the degree of grain refinement. The results are related to the competitive processes of nucleation and constitutional effects during growth and their impact on nucleation kinetics. (C) 1999 Elsevier Science S.A. All rights reserved.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Development of MASH TL-3 Transition Between Guardrail and Portable Concrete Barriers, TPF-5(081), 2014

Often, road construction causes the need to create a work zone. In these scenarios, portable concrete barriers (PCBs) are typically installed to shield workers and equipment from errant vehicles as well as prevent motorists from striking other roadside hazards. For an existing W-beam guardrail system installed adjacent to the roadway and near the work zone, guardrail sections are removed in order to place the portable concrete barrier system. The focus of this research study was to develop a proper stiffness transition between W-beam guardrail and portable concrete barrier systems. This research effort was accomplished through development and refinement of design concepts using computer simulation with LS-DYNA. Several design concepts were simulated, and design metrics were used to evaluate and refine each concept. These concepts were then analyzed and ranked based on feasibility, likelihood of success, and ease of installation. The rankings were presented to the Technical Advisory Committee (TAC) for selection of a preferred design alternative. Next, a Critical Impact Point (CIP) study was conducted, while additional analyses were performed to determine the critical attachment location and a reduced installation length for the portable concrete barriers. Finally, an additional simulation effort was conducted in order to evaluate the safety performance of the transition system under reverse-direction impact scenarios as well as to select the CIP. Recommendations were also provided for conducting a Phase II study and evaluating the nested Midwest Guardrail System (MGS) configuration using three Test Level 3 (TL-3) full-scale crash tests according to the criteria provided in the Manual for Assessing Safety Hardware, as published by the American Association of Safety Highway and Transportation Officials (AASHTO).

Phase-transition studies of Ba(0.90)Ca(0.10)(Ti(1-x)Zr(x))O(3) ferroelectric ceramic compounds

Perovskite-structured Ba(0.90)Ca(0.10)(Ti(1-x)Zr(x))O(3) ceramics were prepared in this work and subsequently studied in terms of composition-dependent dielectric and high-resolution long-range order structural properties from 30 to 450 K. The dielectric response of these materials was measured at several frequencies in the range from 1 kHz to 1 MHz. Combining both techniques, including Rietveld refinement of the X-ray diffraction data, allowed observing that, when increasing Zr(4+) content, the materials change from conventional to diffuse and relaxor ferroelectric compounds, the transition occurring spontaneously at the x = 0.18 composition. Interestingly, this spontaneous transition turned out to be prevented for a further increase of Zr(4+). On the basis of all the dielectric and structural results processed, a phase diagram of this system is presented. (C) 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

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.

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.

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.

Structural refinement, optical and microwave dielectric properties of BaZrO3

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.

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)