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

Priority systems [deadlock-free systems]

We present a framework for the incremental construction of deadlock-free systems meeting given safety properties. The framework borrows concepts and basic results from the controller synthesis paradigm by considering a step in the construction process as a controller synthesis problem. We show that priorities are expressive enough to represent restrictions induced by deadlock-free controllers preserving safety properties. We define a correspondence between such restrictions and priorities and provide compositionality results about the preservation of this correspondence by operations on safety properties and priorities. Finally, we provide an example illustrating an application of the result

Scheduler modeling based on the controller synthesis paradigm

The controller synthesis paradigm provides a general framework for scheduling real-time applications. Schedulers can be considered as controllers of the applications; they restrict their behavior so that given scheduling requirements are met. We study a modeling methodology based on the controller synthesis paradigm. The methodology allows to get a correctly scheduled system from timed models of its processes in an incremental manner, by application of composability results which simplify schedulability analysis. It consists in restricting successively the system to be scheduled by application of constraints defined from scheduling requirements. The latter are a conjunction of schedulability requirements that express timing properties of the processes and policy requirements about resource management. The presented methodology allows a unified view of scheduling theory and approaches based on timing analysis of models of real-time applications

A methodology for the construction of scheduled systems

We study a methodology for constructing scheduled systems by restricting successively the behavior of the processes to be scheduled. Restriction is used to guarantee the satisfaction of two types of constraints: schedulability constraints characterizing timing properties of the processes, and constraints characterizing particular scheduling algorithms including process priorities, non-idling, and preemption. The methodology is based on a controller synthesis paradigm. The main results deal with the characterization of scheduling policies as safety constraints and the simplification of the synthesis process by applying a composability principl

Three-dimensional P-wave velocity structure on the shallow part of the Central Costa Rican Pacific margin from local earthquake tomography using off- and onshore networks

The Central Costa Rican Pacific margin is characterized by a high-seismicity rate, coincident with the subduction of rough-relief ocean floor and has generated earthquakes with magnitude up to seven in the past. We inverted selected P-wave traveltimes from earthquakes recorded by a combined on- and offshore seismological array deployed during 6 months in the area, simultaneously determining hypocentres and the 3-D tomographic velocity structure on the shallow part of the subduction zone (<70 km). The results reflect the complexity associated to subduction of ocean-floor morphology and the transition from normal to thickened subducting oceanic crust. The subducting slab is imaged as a high-velocity perturbation with a band of low velocities (LVB) on top encompassing the intraslab seismicity deeper than ∼30 km. The LVB is locally thickened by the presence of at least two subducted seamounts beneath the margin wedge. There is a general eastward widening of the LVB over a relatively short distance, closely coinciding with the onset of an inverted forearc basin onshore and the appearance of an aseismic low-velocity anomaly beneath the inner forearc. The latter coincides spatially with an area of the subaerial forearc where differential uplift of blocks has been described, suggesting tectonic underplating of eroded material against the base of the upper plate crust. Alternatively, the low velocities could be induced by an accumulation of upward migrating fluids. Other observed velocity perturbations are attributed to several processes taking place at different depths, such as slab hydration through outer rise faulting, tectonic erosion and slab dehydratio

Frequency dependence of thermal noise in gram-scale cantilever flexures

We present measurements of the frequency dependence of thermal noise in aluminum and niobium flexures. Our measurements cover the audio-frequency band from 10 Hz to 10 kHz, which is of particular relevance to ground-based interferometric gravitational wave detectors, and span up to an order of magnitude above and below the fundamental flexure resonances. Results from two flexures are well explained by a simple model in which both structural and thermoelastic loss play a role. The ability of such a model to explain this interplay is important for investigations of quantum-radiation-pressure noise and the standard quantum limit. Furthermore, measurements on a third flexure provide evidence that surface damage can affect the frequency dependence of thermal noise in addition to reducing the quality factor, a result which will aid the understanding of how aging effects impact on thermal noise behavior.Australian Research Counci

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. &copy; Springer-Verlag Berlin Heidelberg 2007

A framework for scheduler synthesis

We present a framework integrating specification and scheduler generation for real time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs) is specified as a timed Petri net. In a second step, our tool generates the most general non preemptive online scheduler for the specification, using a controller synthesis techniqu

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