Thermal Grease Evaluation for ATLAS Upgrade Micro-Strip Detector.

The ATLAS upgrade detector foreseen at the phase 2 upgrade of LHC requires a complete new inner detector using silicon pixel and strip detectors. For both technologies, a specific mechanical and thermal design is required. Such a design may use soft thermal interfaces such as grease between the various parts. One foreseeable use would be between the cooling pipe and the thermal block allowing the strip modules to be decoupled from the mechanical and cooling structure. This note describes the technique used and the results obtained when characterizing a few grease samples. The results have been compared with thermal FEA simulations. A thermal conductivity measurement for each sample could be extracted from the measurements, with a systematic uncertainty of less than 6%. Some samples were irradiated to the expected fluence at sLHC and their resulting thermal conductivity compared with the non-irradiated samples

Quantitative Regular Expressions for Arrhythmia Detection Algorithms

Motivated by the problem of verifying the correctness of arrhythmia-detection algorithms, we present a formalization of these algorithms in the language of Quantitative Regular Expressions. QREs are a flexible formal language for specifying complex numerical queries over data streams, with provable runtime and memory consumption guarantees. The medical-device algorithms of interest include peak detection (where a peak in a cardiac signal indicates a heartbeat) and various discriminators, each of which uses a feature of the cardiac signal to distinguish fatal from non-fatal arrhythmias. Expressing these algorithms' desired output in current temporal logics, and implementing them via monitor synthesis, is cumbersome, error-prone, computationally expensive, and sometimes infeasible. In contrast, we show that a range of peak detectors (in both the time and wavelet domains) and various discriminators at the heart of today's arrhythmia-detection devices are easily expressible in QREs. The fact that one formalism (QREs) is used to describe the desired end-to-end operation of an arrhythmia detector opens the way to formal analysis and rigorous testing of these detectors' correctness and performance. Such analysis could alleviate the regulatory burden on device developers when modifying their algorithms. The performance of the peak-detection QREs is demonstrated by running them on real patient data, on which they yield results on par with those provided by a cardiologist.Comment: CMSB 2017: 15th Conference on Computational Methods for Systems Biolog

Efficient Online Timed Pattern Matching by Automata-Based Skipping

The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a timed word and a timed automaton in this paper), and one wishes to return the set of intervals for which the log $w$, when restricted to the interval, satisfies the specification $\mathcal{A}$. In our previous work we presented an efficient timed pattern matching algorithm: it adopts a skipping mechanism inspired by the classic Boyer--Moore (BM) string matching algorithm. In this work we tackle the problem of online timed pattern matching, towards embedded applications where it is vital to process a vast amount of incoming data in a timely manner. Specifically, we start with the Franek-Jennings-Smyth (FJS) string matching algorithm---a recent variant of the BM algorithm---and extend it to timed pattern matching. Our experiments indicate the efficiency of our FJS-type algorithm in online and offline timed pattern matching

Characterization of the demonstrator of the fast silicon monolithic ASIC for the TT-PET project

The TT-PET collaboration is developing a small animal TOF-PET scanner based on monolithic silicon pixel sensors in SiGe BiCMOS technology. The demonstrator chip, a small-scale version of the final detector ASIC, consists of a 03 × 1 pixel matrix integrated with the front-end, a 50 ps binning TDC and read out logic. The chip, thinned down to 100 µm and backside metallized, was operated at a voltage of 180 V. The tests on a beam line of minimum ionizing particles show a detection efficiency greater than 99.9% and a time resolution down to 110 ps. © 2019 CERN

Time resolution and power consumption of a monolithic silicon pixel prototype in SiGe BiCMOS technology

SiGe BiCMOS technology can be used to produce ultra-fast, low-power silicon pixel sensors that provide state-of-the-art time resolution even without an internal gain mechanism. The development of such sensors requires the identification of the main factors that may degrade the timing performance and the characterisation of the dependance of the sensor time resolution on the amplifier power consumption. Measurements with a $\mathrm{^{90}Sr}$ source of a prototype sensor produced in SG13G2 technology from IHP Microelectronics, shows a time resolution of 140 ps at an amplifier current of 7 $\mathrm{\mu}$A and 45 ps at higher power consumption. A full simulation shows that the resolution on the measurement of the signal time-over-threshold, used to correct for time walk, is the main factor affecting the timing performance

Performance of a 128 channel analogue front-end chip for read-out of Si strip detector modules for LHC experiments

We present a 128-channel analogue front-end chip, SCT128A-HC, for readout of silicon strip detectors employed in the inner tracking detectors of the LHC experiment. The chip is produced in the radiation hard DMILL technology. The architecture of the chip and critical design issues are discussed. The performance of the chip has been evaluated in details in the test bench and is presented in the paper. The chip is used to read out prototype analogue modules compatible in size, functionality and performance with the ATLAS SCT base line modules. Several full size detector modules equipped with SCT128A-HC chips has been built and tested successfully in the lab with beta particles as well as in the test beam. The results concerning the signal-to-noise ratio, noise occupancy, efficiency and spatial resolution are presented. The radiation hardness issues are discussed. (5 refs)

Kalman filter tracking and vertexing in a silicon detector for neutrino physics

This article describes the application of Kalman filter techniques for the tracking and vertexing of particles inside the NOMAD-STAR detector a silicon vertex detector installed in NOMAD, one of the neutrino oscillation experiments at the CERN-SPS. The use of the Kalman filter simplifies computationally the tracking and vertex procedure for NOMAD-STAR. The alignment of NOMAD-STAR is shown as an example of the application of the Kalman filter for tracking purposes. The accuracy of the method is such that one obtains alignment residuals between 9 and 12~$\mu$m. Furthermore, a preliminary measure of the impact parameter (with an RMS $\sim 36~\mu$m) illustrates the vertexing capabilities of this technique