Approaching theoretical strengths by synergistic internal and external size refinement

Refinement of the internal grain size leads to strengthening by retarding dislocation motion. There have also been recent reports that a reduction in external diameter enhances the strength of single crystal pillars. Here we show, in a hitherto unexplored domain, a synergistic increase in strength by a combined reduction in internal (0.5 mu m) and external (20-50 mu m) dimensions, with strengths at failure approaching the theoretical value. (c) 2012 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

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

Samarium doped barium zirconate titanate ceramics with general formula Ba1-x Sm-2x/3](Zr0.05Ti0.95)O-3 x = 0, 0.01, 0.02, and 0.03] were prepared by high energy ball milling method. X-ray diffraction patterns and micro-Raman spectroscopy confirmed that these ceramics have a single phase with a tetragonal structure. Rietveld refinement data were employed to model BaO12], SmO12], ZrO6], and TiO6] clusters in the lattice. Scanning electron microscopy shows a reduction in average grain size with the increase of Sm3+ ions into lattice. Temperature-dependent dielectric studies indicate a ferroelectric phase transition and the transition temperature decreases with an increase in Sm3+ ion content. The nature of the transition was investigated by the Curie-Weiss law and it is observed that the diffusivity increases with Sm3+ ion content. The ferroelectric hysteresis loop illustrates that the remnant polarization and coercive field increase with an increase in Sm3+ ions content. Optical properties of the ceramics were studied using ultraviolet-visible diffuse reflectance spectroscopy.

Protein structure refinement algorithms

Protein structure prediction has remained a major challenge in structural biology for more than half a century. Accelerated and cost efficient sequencing technologies have allowed researchers to sequence new organisms and discover new protein sequences. Novel protein structure prediction technologies will allow researchers to study the structure of proteins and to determine their roles in the underlying biology processes and develop novel therapeutics.

Difficulty of the problem stems from two folds: (a) describing the energy landscape that corresponds to the protein structure, commonly referred to as force field problem; and (b) sampling of the energy landscape, trying to find the lowest energy configuration that is hypothesized to be the native state of the structure in solution. The two problems are interweaved and they have to be solved simultaneously. This thesis is composed of three major contributions. In the first chapter we describe a novel high-resolution protein structure refinement algorithm called GRID. In the second chapter we present REMCGRID, an algorithm for generation of low energy decoy sets. In the third chapter, we present a machine learning approach to ranking decoys by incorporating coarse-grain features of protein structures.

Rietveld refinement, microstructure, conductivity and impedance properties of Ba[Zr0.25Ti0.75]O-3 ceramic

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

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)

Greenhouse Gas Emissions Calculator for Grain and Biofuel Farming Systems

Greenhouse gas markets, where invisible gases are traded, must seem like black boxes to most people. Farmers can make money on these markets, such as the Chicago Climate Exchange, by installing methane capture technologies in animal-based systems, no-till farming, establishing grasslands, and planting trees.

Effects of dry density and grain size distribution on soil-water characteristic curves of sandy soils

The unsaturated soil mechanics is receiving increasing attention from researchers and as well as from practicing engineers. However, the requirement of sophisticated devices to measure unsaturated soil properties and time consumption have made the geotechnical engineers keep away from implication of the unsaturated soil mechanics for solving practical geotechnical problems. The application of the conventional laboratory devices with some modifications to measure unsaturated soil properties can promote the application of unsaturated soil mechanics into engineering practice. Therefore, in the present study, a conventional direct shear device was modified to measure unsaturated shear strength parameters at low suction. Specially, for the analysis of rain-induced slope failures, it is important to measure unsaturated shear strength parameters at low suction where slopes become unstable. The modified device was used to measure unsaturated shear strength of two silty soils at low suction values (0 ~ 50 kPa) that were achieved by following drying path and wetting path of soil-water characteristic curves (SWCCs) of soils. The results revealed that the internal friction angle of soil was not significantly affected by the suction and as well as the drying-wetting SWCCs of soils. The apparent cohesion of soil increased with a decreasing rate as the suction increased. Further, the apparent cohesion obtained from soil in wetting was greater than that obtained from soil in drying. Shear stress-shear displacement curves obtained from soil specimens subjected to the same net normal stress and different suction values showed a higher initial stiffness and a greater peak stress as the suction increased. In addition, it was observed that soil became more dilative with the increase of suction. A soil in wetting exhibited slightly higher peak shear stress and more contractive volume change behaviour than that of in drying at the same net normal stress and the suction.

Stepwise refinement of interrupt-driven real-time programs

Embedded real-time programs rely on external interrupts to respond to events in their physical environment in a timely fashion. Formal program verification theories, such as the refinement calculus, are intended for development of sequential, block-structured code and do not allow for asynchronous control constructs such as interrupt service routines. In this article we extend the refinement calculus to support formal development of interrupt-dependent programs. To do this we: use a timed semantics, to support reasoning about the occurrence of interrupts within bounded time intervals; introduce a restricted form of concurrency, to model composition of interrupt service routines with the main program they may preempt; introduce a semantics for shared variables, to model contention for variables accessed by both interrupt service routines and the main program; and use real-time scheduling theory to discharge timing requirements on interruptible program code.

A semi-local method for iterative depth-map refinement

We present an iterative hierarchical algorithm for multi-view stereo. The algorithm attempts to utilise as much contextual information as is available to compute highly accurate and robust depth maps. There are three novel aspects to the approach: 1) firstly we incrementally improve the depth fidelity as the algorithm progresses through the image pyramid; 2) secondly we show how to incorporate visual hull information (when available) to constrain depth searches; and 3) we show how to simultaneously enforce the consistency of the depth-map by continual comparison with neighbouring depth-maps. We show that this approach produces highly accurate depth-maps and, since it is essentially a local method, is both extremely fast and simple to implement.