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

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

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

Effects of varenicline on sympatho-vagal balance and cue reactivity during smoking withdrawal: a randomised placebo-controlled trial

BACKGROUND: Varenicline is an effective smoking cessation medication. Some concern has been raised that its use may precipitate adverse cardiovascular events although no patho-physiological mechanism potentially underlying such an effect has been reported. The aim of this study was to test the hypothesis that varenicline impacts on sympatho-vagal balance during smoking withdrawal. METHODS: In this randomised, placebo-controlled trial, muscle sympathetic nerve activity (MSNA), baroreflex sensitivity (BRS), heart rate, and blood pressure were assessed in 17 smokers four weeks before a quit attempt (baseline) and again on the third day of that quit attempt (acute smoking withdrawal). RESULTS: Regarding the primary endpoint of our study, we did not find a significant effect of varenicline compared to placebo on changes in MSNA burst incidence between baseline and acute smoking withdrawal (−3.0 ± 3.3 vs.−3.9 ± 5.0 bursts/100 heart beats; p = 0.308). However, heart rate and systolic blood pressure significantly decreased in the placebo group only, while no significant changes in these parameters were observed in the varenicline group. Exposure to smoking cues during acute withdrawal lead to a significant increase of heart rate in the placebo group, while heart rate decreased in the varenicline group, and the difference in these changes was significant between groups (+2.7 ± 1.0 vs.−1.8 ± 0.5 1/min; p = 0.002). In all 17 participants combined, a significant increase in heart rate during smoking cue exposure was detected in subjects who relapsed in the course of six weeks after the quit date compared to those who stayed abstinent (+2.5 ± 1.2 vs.−1.1 ± 0.7; p = 0.018). Six-week abstinence rates were higher in the varenicline group compared to placebo (88 vs. 22 % p = 0.015). CONCLUSION: We did not find evidence of adverse effects of varenicline on sympatho-vagal balance. Varenicline probably blunts the heart rate response to smoking cues, which may be linked to improved cessation outcome

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

Indications of a link between seismotectonics and CH4 release from seeps off Costa Rica

Measurements of CH4 concentrations in the bottom water during two discrete sampling periods in subsequent years above different cold seeps at the Pacific margin off Costa Rica indicate large-scale variations of CH4 release. CH4 is emitted from mud extrusions and a slide scar at 1000–2300 m water depth. Maximum CH4 concentrations were found to be lower above all investigated sites in autumn 2003 than in autumn 2002 although seep sites are up to 300 km apart. Tidal and current changes were observed but found to apply only to individual seep sites. Increased seismic activity connected to the moment magnitude (M W ) 6.4 earthquake offshore Costa Rica in June 2002 could have had an impact on all seep sites and thereby caused an increase in CH4 emission. This is supported by the largest variations of CH4 concentration found above mud extrusions located above faults likely more strongly affected by tectonic movements. Even though our data indicate a relation between seismicity and CH4 seepage, the relation is not proven, and future work is needed to comprehensively test this hypothesis