Performance of a 1200m long suspended Fabry-Perot cavity

Using one arm of the Michelson interferometer and the power recycling mirror of the interferometric gravitational wave detector GEO600, we created a Fabry-Perot cavity with a length of 1200 m. The main purpose of this experiment was to gather first experience with the main optics, its suspensions and the corresponding control systems. The residual displacement of a main mirror is about 150 nm rms. By stabilising the length of the 1200 m long cavity to the pre-stabilised laser beam we achieved an error point frequency noise of 0.1 mHz/sqrt(Hz) at 100 Hz Fourier frequency. In addition we demonstrated the reliable performance of all included subsystems by several 10-hour-periods of continuous stable operation. Thus the full frequency stabilisation scheme for GEO600 was successfully tested.Comment: Amaldi 4 (Perth 2001) conference proceedings, 10 pages, 8 figure

Ensuring properties of interaction systems

We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and local progress of subsystems. This is done in the framework of interaction systems, a model for component based modelling described in [9]. An interaction system is the superposition of two models: a behavior model and an interaction model. The behavior model describes the behavior of individual components. The interaction model describes the way the components may interact by introducing connectors that relate actions from different components. We illustrate our concepts and results with examples. © Springer-Verlag Berlin Heidelberg 2007

Searching for stochastic gravitational-wave background with the co-located LIGO interferometers

This paper presents techniques developed by the LIGO Scientific Collaboration to search for the stochastic gravitational-wave background using the co-located pair of LIGO interferometers at Hanford, WA. We use correlations between interferometers and environment monitoring instruments, as well as time-shifts between two interferometers (described here for the first time) to identify correlated noise from non-gravitational sources. We veto particularly noisy frequency bands and assess the level of residual non-gravitational coupling that exists in the surviving data.Comment: Proceedings paper from the 7th Edoardo Amaldi Conference on Gravitational Waves, held in Sydney, Australia from 8-14 July 2007. Accepted to J. Phys.: Conf. Se

An approach to modelling and verification of component based systems

We build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time. © Springer-Verlag Berlin Heidelberg 2007

Flexible energy conversion and storage via high-temperature gas-phase reactions: The piston engine as a polygeneration reactor

Piston engines are typically considered devices converting chemical energy into mechanical power via internal combustion. But more generally, their ability to provide high-pressure and high-temperature conditions for a limited time means they can be used as chemical reactors where reactions are initiated by compression heating and subsequently quenched by gas expansion. Thus, piston engines could be “polygeneration” reactors that can flexibly change from power generation to chemical synthesis, and even to chemical-energy storage. This may help mitigating one of the main challenges of future energy systems – accommodating fluctuations in electricity supply and demand. Investments in devices for grid stabilization could be more economical if they have a second use. This paper presents a systematic approach to polygeneration in piston engines, combining thermodynamics, kinetics, numerical optimization, engineering, and thermo-economics. A focus is on the fuel-rich conversion of methane as a fuel that is considered important for the foreseeable future. Starting from thermodynamic theory and kinetic modeling, promising systems are selected. Mathematical optimization and an array of experimental kinetic investigations are used for model improvement and development. To evaluate technical feasibility, experiments are then performed in both a single-stroke rapid compression machine and a reciprocating engine. In both cases, chemical conversion is initiated by homogeneous-charge compression-ignition. A thermodynamic and thermo-economic assessment of the results is positive. Examples that illustrate how the piston engine can be used in polygeneration processes to convert methane to higher-value chemicals or to take up carbon dioxide are presented. Open issues for future research are addressed

The status of GEO 600

The GEO 600 laser interferometer with 600m armlength is part of a worldwide network of gravitational wave detectors. GEO 600 is unique in having advanced multiple pendulum suspensions with a monolithic last stage and in employing a signal recycled optical design. This paper describes the recent commissioning of the interferometer and its operation in signal recycled mode