5,219 research outputs found
Alignment of the Inner Tracker Stations Using First Data
Data taken during LHC synchronisation tests in August--September 2008 has been used to align the Inner Tracker ladders with a precision of 20,m. To validate the results, simulation studies with a high multiplicity particle gun have been performed. In addition, alignment studies with data taken with a cosmic trigger are discussed
Diffusion-Limited Aggregation on Curved Surfaces
We develop a general theory of transport-limited aggregation phenomena
occurring on curved surfaces, based on stochastic iterated conformal maps and
conformal projections to the complex plane. To illustrate the theory, we use
stereographic projections to simulate diffusion-limited-aggregation (DLA) on
surfaces of constant Gaussian curvature, including the sphere () and
pseudo-sphere (), which approximate "bumps" and "saddles" in smooth
surfaces, respectively. Although curvature affects the global morphology of the
aggregates, the fractal dimension (in the curved metric) is remarkably
insensitive to curvature, as long as the particle size is much smaller than the
radius of curvature. We conjecture that all aggregates grown by conformally
invariant transport on curved surfaces have the same fractal dimension as DLA
in the plane. Our simulations suggest, however, that the multifractal
dimensions increase from hyperbolic () geometry, which
we attribute to curvature-dependent screening of tip branching.Comment: 4 pages, 3 fig
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples
Alignment of LHCb tracking stations with tracks fitted with a Kalman filter
The LHCb detector, operating at the Large Hadron Collider at CERN, is a single arm spectrometer optimized for the detection of the forward b anti-b production for b physics studies. The reconstruction of vertices and tracks is done by silicon micro-strips and gaseous straw-tube based detectors. In order to achieve good mass resolution for resonances the tracking detectors should be aligned to a precision of the order of ten microns. A software framework has been developed to achieve these goals and has been tested in various configurations. After a description of the software, we present alignment results and show in particular for the first time that a global solving for alignment using a locally parameterized track trajectory can be achieved
First studies of T-station alignment with simulated data
The alignment of the tracking stations using tracks fitted using standard LHCb track fit is studied. The procedure is presented together with two examples using simulated data. The first scenario presents the alignment of the IT and OT layers using beam-gas events at 450~GeV with no magnetic field. The second scenario is the alignment of the OT layers and IT boxes, layers and ladders with magnet-on data using minimum bias events at nominal energy. The results are validated by refitting J/ tracks using the misaligned geometry compared to the re-aligned case as well as the default. It is shown that after alignment the J mass resolution is degraded by at most 3~\%
Superantenna made of transformation media
We show how transformation media can make a superantenna that is either
completely invisible or focuses incoming light into a needle-sharp beam. Our
idea is based on representating three-dimensional space as a foliage of sheets
and performing two-dimensional conformal maps on each shee
Artemis Curation: Preparing for Sample Return from the Lunar South Pole
Space Policy Directive-1 mandates that the United States will lead the return of humans to the Moon for long-term exploration and utilization, followed by human missions to Mars and other destinations. In addition, the Vice President stated that It is the stated policy of this administration and the United States of America to return American astronauts to the Moon within the next five years, that is, by 2024. These efforts, under the umbrella of the recently formed Artemis Program, include such historic goals as the flight of the first woman to the Moon and the exploration of the lunar south-polar region. Among the top priorities of the Artemis Program is the return of a suite of geologic samples, providing new and significant opportunities for progressing lunar science and human exploration. In particular, successful sample return is necessary for understanding the history of volatiles in the Solar System and the evolution of the Earth-Moon system, fully constraining the hazards of the lunar polar environment for astronauts, and providing the necessary data for constraining the abundance and distribution of resources for in-situ resource utilization (ISRU). Here we summarize the ef-forts of the Astromaterials Acquisition and Curation Office (hereafter referred to as the Curation Office) to ensure the success of Artemis sample return (per NASA Policy Directive (NPD) 7100.10E)
- …