A type system with usage aspects

Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).

Defining the Fluid framework

In this position paper we present the developing Fluid framework, which we believe offers considerable advantages in maintaining software stability in dynamic or evolving application settings. The Fluid framework facilitates the development of component software via the selection, composition and configuration of components. Fluid's composition language incorporates a high-level type system supporting object-oriented principles such as type description, type inheritance, and type instantiation. Object-oriented relationships are represented via the dynamic composition of component instances. This representation allows the software structure, as specified by type and instance descriptions, to change dynamically at runtime as existing types are modified and new types and instances are introduced. We therefore move from static software structure descriptions to more dynamic representations, while maintaining the expressiveness of object-oriented semantics. We show how the Fluid framework relates to existing, largely component based, software frameworks and conclude with suggestions for future enhancements. © 2007 IEEE.

Using a simulation model for capacity management

A simulation model has been constructed of a valve manufacturing plant with the aim of assessing capacity requirements in response to a forecast increase in demand. The plant provides a weekly cycle of valves of varying types, based on a yearly production plan. Production control is provided by a just-in-time type system to minimise inventory. The simulation model investigates the effect on production lead time of a range of valve sequences into the plant. The study required the collection of information from a variety of sources, and a model that reflected the true capabilities of the production system. The simulation results convinced management that substantial changes were needed in order to meet demand. The case highlights the use of simulation in enabling a manager to quantify operational scenarios and thus provide a rational basis on which to take decisions on meeting performance criteria.

A study of the behaviour of the single phase induction type energy meter and the design of an instrumentation system for its calibration

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Impact of the fiber type and dispersion management on the performance of a NRZ 16 x 40 Gb/s DWDM transmission system

We examine the impact of the fiber type and dispersion management on the performance of a 16 × 40 Gb/s dense wavelength-division-multiplexing nonreturn-to-zero transmission system. The transmission line is composed of G.652 or G.655 fiber with periodic dispersion compensation and hybrid Raman erbium-doped fiber amplifier amplification.

Impact of the fiber type and nonlinear management over the performance of a 16x40 Gb/s DWDM transmission system

We examine impact of the fiber type and nonlinear management over the performance of a 16x40Gb/s DWDM NRZ transmission system. The line is constituted of 3x100km of G.652 or G.655 fiber with hybrid Raman-EDFA amplification.

c-Type cytochrome biogenesis can occur via a natural Ccm system lacking CcmH, CcmG, and the heme-binding histidine of CcmE

The Ccm cytochrome c maturation System I catalyzes covalent attachment of heme to apocytochromes c in many bacterial species and some mitochondria. A covalent, but transient, bond between heme and a conserved histidine in CcmE along with an interaction between CcmH and the apocytochrome have been previously indicated as core aspects of the Ccm system. Here, we show that in the Ccm system from Desulfovibrio desulfuricans, no CcmH is required, and the holo-CcmE covalent bond occurs via a cysteine residue. These observations call for reconsideration of the accepted models of System I-mediated c-type cytochrome biogenesis. © 2010 by The American Society for Biochemistry and Molecular Biology, Inc.