Cauchy-characteristic Evolution of Einstein-Klein-Gordon Systems

A Cauchy-characteristic initial value problem for the Einstein-Klein-Gordon system with spherical symmetry is presented. Initial data are specified on the union of a space-like and null hypersurface. The development of the data is obtained with the combination of a constrained Cauchy evolution in the interior domain and a characteristic evolution in the exterior, asymptotically flat region. The matching interface between the space-like and characteristic foliations is constructed by imposing continuity conditions on metric, extrinsic curvature and scalar field variables, ensuring smoothness across the matching surface. The accuracy of the method is established for all ranges of $M/R$, most notably, with a detailed comparison of invariant observables against reference solutions obtained with a calibrated, global, null algorithm.Comment: Submitted to Phys. Rev. D, 16 pages, revtex, 7 figures available at http://nr.astro.psu.edu:8080/preprints.htm

Development of Wireless Techniques in Data and Power Transmission - Application for Particle Physics Detectors

Wireless techniques have developed extremely fast over the last decade and using them for data and power transmission in particle physics detectors is not science- fiction any more. During the last years several research groups have independently thought of making it a reality. Wireless techniques became a mature field for research and new developments might have impact on future particle physics experiments. The Instrumentation Frontier was set up as a part of the SnowMass 2013 Community Summer Study [1] to examine the instrumentation R&D for the particle physics research over the coming decades: {\guillemotleft} To succeed we need to make technical and scientific innovation a priority in the field {\guillemotright}. Wireless data transmission was identified as one of the innovations that could revolutionize the transmission of data out of the detector. Power delivery was another challenge mentioned in the same report. We propose a collaboration to identify the specific needs of different projects that might benefit from wireless techniques. The objective is to provide a common platform for research and development in order to optimize effectiveness and cost, with the aim of designing and testing wireless demonstrators for large instrumentation systems

A synthesis of logic and biology in the design of dependable systems

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits