Calculation of point defects in rutile TiO 2 by the screened-exchange hybrid functional

The formation energies of the oxygen vacancy and titanium interstitial in rutile TiO 2 were calculated by the screened-exchange (sX) hybrid density functional method, which gives a band gap of 3.1 eV, close to the experimental value. The oxygen vacancy gives rise to a gap state lying 0.7 eV below the conduction band edge, whose charge density is localized around the two of three Ti atoms next to the vacancy. The Ti interstitial (Ti int) generates four defect states in the gap, whose unpaired electrons lie on the interstitial and the adjacent Ti 3d orbitals. The formation energy for the neutral oxygen vacancy is 1.9 eV for the O-poor chemical potential. The neutral Ti interstitial has a lower formation energy than the O vacancy under O-poor conditions. This indicates that both the O vacancy and Ti int are relevant for oxygen deficiency in rutile TiO 2 but the O vacancy will dominate under O-rich conditions. This resolves questions about defect localization and defect predominance in the literature. © 2012 American Physical Society.

UK-NEES - Distributed hybrid testing between Bristol, Cambridge and Oxford Universities: Connecting structural dynamics labs to a geotechnical centrifuge

Distributed hybrid testing is a natural extension to and builds upon the local hybrid testing technique. Taking advantage of the hybrid nature of the test, it allows a sharing of resources and expertise between researchers from different disciplines by connecting multiple geographically distributed sites for joint testing. As part of the UK-NEES project, a successful series of three-site distributed hybrid tests have been carried out between Bristol, Cambridge and Oxford Universities. The first known multi-site distributed hybrid tests in the UK, they connected via a dedicated fibre network, using custom software, the geotechnical centrifuge at Cambridge to structural components at Bristol and Oxford. These experiments were to prove the connection and useful insights were gained into the issues involved with this distributed environment. A wider aim is towards providing a flexible testing framework to facilitate multi-disciplinary experiments such as the accurate investigation of the influence of foundations on structural systems under seismic and other loading. Time scaling incompatibilities mean true seismic soil structure interaction using a centrifuge at g is not possible, though it is clear that distributed centrifuge testing can be valuable in other problems. Development is continuing to overcome the issues encountered, in order to improve future distributed tests in the UK and beyond.

Fabrication of excitonic luminescent inorganic-organic hybrid nano- and microcrystals

Inorganic-organic (IO) hybrid nano- and microcrystals are fabricated by a low-cost, environmentally friendly and easily scaled-up route. Lead(II) iodide (PbI 2) nano/microcrystals are obtained by solvothermal techniques and subsequent IO hybrid (C 12H 25NH 3) 2PbI 4 crystals are produced by intercalation of the organic moiety. The hexagonally shaped crystals obtained range in size from 20 nm to ∼7 μm. Sequential stacking of inorganic/organic layers in these IO hybrid crystals results in strong room-temperature exciton photoluminescence, wherein the excitons are confined within the inorganic sheets. © 2012 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Sufficient conditions for zeno behavior in lagrangian hybrid systems

This paper presents easily verifiable sufficient conditions for the existence of Zenobehavior in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systemsundergoing impacts. © 2008 Springer-Verlag Berlin Heidelberg.

On the existence of Zeno behavior in hybrid systems with non-isolated zeno equilibria

This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.

Lyapunov-like conditions for the existence of zeno behavior in hybrid and lagrangian hybrid systems

Lyapunov-like conditions that utilize generalizations of energy and barrier functions certifying Zeno behavior near Zeno equilibria are presented. To better illustrate these conditions, we will study them in the context of Lagrangian hybrid systems. Through the observation that Lagrangian hybrid systems with isolated Zeno equilibria must have a onedimensional configuration space, we utilize our Lyapunov-like conditions to obtain easily verifiable necessary and sufficient conditions for the existence of Zeno behavior in systems of this form. © 2007 IEEE.

Hybrid passive/active inertial actuators to attenuate the structural response of a submerged hull

This paper theoretically investigates the application of tuned vibration absorbers and hybrid passive/active inertial actuators to reduce the vibrational responses of plates and shells. The passive/active actuators are initially applied to a simple plate. A model of a submerged hull consisting of a ring stiffened finite cylinder with bulkheads and external fluid loading is then considered. The fluctuating forces from the propeller result in excitation of the low frequency global hull modes. Inertial actuators and tuned vibration absorbers are located at each end of the hull and in circumferential arrays to reduce the hull structural response at its axial resonances. The control performance of the hybrid passive/active inertial actuator, where the passive component is tuned to a structural resonance, is compared to the attenuation achieved by a fully passive tuned vibration absorber. This work shows the potential of using hybrid passive/active inertial actuators to attenuate the global structural responses of a submerged vessel.

Half-bridge SIC inverter for hybrid electric vehicles: Design, development and testing at higher operating temperature

In recent years, Silicon Carbide (SiC) semiconductor devices have shown promise for high density power electronic applications, due to their electrical and thermal properties. In this paper, the performance of SiC JFETs for hybrid electric vehicle (HEV) applications is investigated at heatsink temperatures of 100 °C. The thermal runaway characteristics, maximum current density and packaging temperature limitations of the devices are considered and the efficiency implications discussed. To quantify the power density capabilities of power transistors, a novel 'expression of rating' (EoR) is proposed. A prototype single phase, half-bridge voltage source inverter using SiC JFETs is also tested and its performance at 25 °C and 100 °C investigated.

Hybrid ventilation by revolving doors

The transfers of air driven by a revolving door connecting two rooms of initially different temperatures are investigated. The results of small-scale laboratory modelling show that a critical revolution rate exists for which transfers are maximal for a given combination of door geometry, revolution rate and temperature contrast. This critical revolution rate divides two possible transfer regimes for revolving doors. Potential implications of our findings to revolving door operation, to heat losses across the doorway and to ventilation driven by the door are discussed.