Implementing the weakest failure detector for solving consensus

The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to solve several agreement problems, such as the consensus problem. In this paper, algorithms that implement failure detectors in partially synchronous systems are presented. First two simple algorithms of the weakest class to solve the consensus problem, namely the Eventually Strong class (⋄S), are presented. While the first algorithm is wait-free, the second algorithm is f-resilient, where f is a known upper bound on the number of faulty processes. Both algorithms guarantee that, eventually, all the correct processes agree permanently on a common correct process, i.e. they also implement a failure detector of the class Omega (Ω). They are also shown to be optimal in terms of the number of communication links used forever. Additionally, a wait-free algorithm that implements a failure detector of the Eventually Perfect class (⋄P) is presented. This algorithm is shown to be optimal in terms of the number of bidirectional links used forever.

Set agreement and the loneliness failure detector in crash-recovery systems

The set agreement problem states that from n proposed values at most n-1 can be decided. Traditionally, this problem is solved using a failure detector in asynchronous systems where processes may crash but not recover, where processes have different identities, and where all processes initially know the membership. In this paper we study the set agreement problem and the weakest failure detector L used to solve it in asynchronous message passing systems where processes may crash and recover, with homonyms (i.e., processes may have equal identities) and without a complete initial knowledge of the membership.

Detector de banda ultraancha en tecnología microstrip hasta 40 GHz

Detectors designing is a key aspect for the development of the new millimeter wave systems. In this paper two detectors in microstrip technology are presented. They use zero bias Schottky diodes to detect signals from low frequency to 40 GHz. High sensibility, flat frequency response and ultrabroadband are the main features of these designs. They are also cheap and easy to mount because they have been built using microstrip technology. This paper explains most technological questions which must be taken into account to design such detectors.

Passive neutron area monitor with pairs of TLDs as neutron detector

A passive neutron area monitor has been designed using Monte Carlo methods; the monitor is a polyethylene cylinder with pairs of thermoluminescent dosimeters (TLD600 and TLD700) as thermal neutron detector. The monitor was calibrated with a bare and a thermalzed 241AmBe neutron sources and its performance was evaluated measuring the ambient dose equivalent due to photoneutrons produced by a 15 MV linear accelerator for radiotherapy and the neutrons in the output of a TRIGA Mark III radial beam port.

Azimuthal asymmetry in the risetime of the surface detector signals of the Pierre Auger Observatory.

The azimuthal asymmetry in the risetime of signals in Auger surface detector stations is a source of information on shower development. The azimuthal asymmetry is due to a combination of the longitudinal evolution of the shower and geometrical effects related to the angles of incidence of the particles into the detectors. The magnitude of the effect depends upon the zenith angle and state of development of the shower and thus provides a novel observable, (sec theta)(max), sensitive to the mass composition of cosmic rays above 3 x 10(18) eV. By comparing measurements with predictions from shower simulations, we find for both of our adopted models of hadronic physics (QGSJETII-04 and EPOS-LHC) an indication that the mean cosmic-ray mass increases slowly with energy, as has been inferred from other studies. However, the mass estimates are dependent on the shower model and on the range of distance from the shower core selected. Thus the method has uncovered further deficiencies in our understanding of shower modeling that must be resolved before the mass composition can be inferred from (sec theta)(max).

Signal Processing Techniques for Chipless UWB RFID Thermal Threshold Detector Detection.

This letter presents signal processing techniques to detect a passive thermal threshold detector based on a chipless time-domain ultrawideband (UWB) radio frequency identification (RFID) tag. The tag is composed by a UWB antenna connected to a transmission line, in turn loaded with a biomorphic thermal switch. The working principle consists of detecting the impedance change of the thermal switch. This change occurs when the temperature exceeds a threshold. A UWB radar is used as the reader. The difference between the actual time sample and a reference signal obtained from the averaging of previous samples is used to determine the switch transition and to mitigate the interferences derived from clutter reflections. A gain compensation function is applied to equalize the attenuation due to propagation loss. An improved method based on the continuous wavelet transform with Morlet wavelet is used to overcome detection problems associated to a low signal-to-noise ratio at the receiver. The average delay profile is used to detect the tag delay. Experimental measurements up to 5 m are obtained.

Fabricação e caracterização de detector de Barreira de superfície a partir de substrato de silício comercial

Neste trabalho foram desenvolvidos detectores de radiação Barreira de superfície de silício que fossem capazes de detectar a presença da radiação gama de baixa energia proveniente de sementes de iodo-125 utilizada em tratamentos de braquiterapia. A partir de substratos comerciais de silício foram desenvolvidos os detectores, de uma sequência que partiu de tratamentos químicos nas superfícies destes substratos com a intenção de minimizar os possíveis ruídos gerados, validação das amostras obtidas como diodos, assegurando características detectoras, e a efetiva utilização como detector para fontes radioativas de iodo-125 com energia em torno de 25 kev e amerício-251 com energia na ordem de 59 kev. Finalizou realizando a análise dos espectros de energia obtidos e assim foi possível observar a capacidade destes detectores para mensuração da energia proveniente destas sementes.

Screen-printed electrode-based electrochemical detector coupled with in-situ ionic-liquid-assisted dispersive liquid–liquid microextraction for determination of 2,4,6-trinitrotoluene

A novel method is reported, whereby screen-printed electrodes (SPELs) are combined with dispersive liquid–liquid microextraction. In-situ ionic liquid (IL) formation was used as an extractant phase in the microextraction technique and proved to be a simple, fast and inexpensive analytical method. This approach uses miniaturized systems both in sample preparation and in the detection stage, helping to develop environmentally friendly analytical methods and portable devices to enable rapid and onsite measurement. The microextraction method is based on a simple metathesis reaction, in which a water-immiscible IL (1-hexyl-3-methylimidazolium bis[(trifluoromethyl)sulfonyl]imide, [Hmim][NTf2]) is formed from a water-miscible IL (1-hexyl-3-methylimidazolium chloride, [Hmim][Cl]) and an ion-exchange reagent (lithium bis[(trifluoromethyl)sulfonyl]imide, LiNTf2) in sample solutions. The explosive 2,4,6-trinitrotoluene (TNT) was used as a model analyte to develop the method. The electrochemical behavior of TNT in [Hmim][NTf2] has been studied in SPELs. The extraction method was first optimized by use of a two-step multivariate optimization strategy, using Plackett–Burman and central composite designs. The method was then evaluated under optimum conditions and a good level of linearity was obtained, with a correlation coefficient of 0.9990. Limits of detection and quantification were 7 μg L−1 and 9 μg L−1, respectively. The repeatability of the proposed method was evaluated at two different spiking levels (20 and 50 μg L−1), and coefficients of variation of 7 % and 5 % (n = 5) were obtained. Tap water and industrial wastewater were selected as real-world water samples to assess the applicability of the method.

Screen-printed electrode based electrochemical detector coupled with ionic liquid dispersive liquid–liquid microextraction and microvolume back-extraction for determination of mercury in water samples

A novel approach is presented, whereby gold nanostructured screen-printed carbon electrodes (SPCnAuEs) are combined with in-situ ionic liquid formation dispersive liquid–liquid microextraction (in-situ IL-DLLME) and microvolume back-extraction for the determination of mercury in water samples. In-situ IL-DLLME is based on a simple metathesis reaction between a water-miscible IL and a salt to form a water-immiscible IL into sample solution. Mercury complex with ammonium pyrrolidinedithiocarbamate is extracted from sample solution into the water-immiscible IL formed in-situ. Then, an ultrasound-assisted procedure is employed to back-extract the mercury into 10 µL of a 4 M HCl aqueous solution, which is finally analyzed using SPCnAuEs. Sample preparation methodology was optimized using a multivariate optimization strategy. Under optimized conditions, a linear range between 0.5 and 10 µg L−1 was obtained with a correlation coefficient of 0.997 for six calibration points. The limit of detection obtained was 0.2 µg L−1, which is lower than the threshold value established by the Environmental Protection Agency and European Union (i.e., 2 µg L−1 and 1 µg L−1, respectively). The repeatability of the proposed method was evaluated at two different spiking levels (3 and 10 µg L−1) and a coefficient of variation of 13% was obtained in both cases. The performance of the proposed methodology was evaluated in real-world water samples including tap water, bottled water, river water and industrial wastewater. Relative recoveries between 95% and 108% were obtained.

Measurement of the muon neutrino inclusive charged-current cross section in the energy range of 1–3 GeV with the T2K INGRID detector

We report a measurement of the νµ-nucleus inclusive charged current cross section (=σ cc) on ironusing data from exposed to the J-PARC neutrino beam. The detector consists of 14 modules in total, which are spread over a range of off-axis angles from 0◦ to 1.1◦. The variation in the neutrino energy spectrum as a function of the off-axis angle, combined with event topology information, is used to calculate this cross section as a function of neutrino energy. The cross section is measured to be σcc(1.1 GeV) = 1.10±0.15 (10^−38cm^2/nucleon), σcc(2.0 GeV) = 2.07±0.27 (10^−38cm^2/nucleon), and σcc(3.3 GeV) = 2.29 ± 0.45 (10^−38cm^2/nucleon), at energies of 1.1, 2.0, and 3.3 GeV, respectively. These results are consistent with the cross section calculated by the neutrino interaction generators currently used by T2K. More importantly, the method described here opens up a new way to determine the energy dependence of neutrino-nucleus cross sections.

A detector based on silica fibers for ion beam monitoring in a wide current range

A detector based on doped silica and optical fibers was developed to monitor the profile of particle accelerator beams of intensity ranging from 1 pA to tens of µA. Scintillation light produced in a fiber moving across the beam is measured, giving information on its position, shape and intensity. The detector was tested with a continuous proton beam at the 18 MeV Bern medical cyclotron used for radioisotope production and multi-disciplinary research. For currents from 1 pA to 20 µA, Ce3+ and Sb3+ doped silica fibers were used as sensors. Read out systems based on photodiodes, photomultipliers and solid state photomultipliers were employed. Profiles down to the pA range were measured with this method for the first time. For currents ranging from 1 pA to 3 µA, the integral of the profile was found to be linear with respect to the beam current, which can be measured by this detector with an accuracy of ∼1%. The profile was determined with a spatial resolution of 0.25 mm. For currents ranging from 5 µA to 20 µA, thermal effects affect light yield and transmission, causing distortions of the profile and limitations in monitoring capabilities. For currents higher than ∼1 µA, non doped optical fibers for both producing and transporting scintillation light were also successfully employed.

Accelerator and detector physics at the Bern medical cyclotron and its beam transport line.

The cyclotron laboratory for radioisotope production and multi-disciplinary research at the Bern University Hospital (Inselspital) is based on an 18-MeV proton accelerator, equipped with a specifically conceived 6-m long external beam line, ending in a separate bunker. This facility allows performing daily positron emission tomography (PET) radioisotope production and research activities running in parallel. Some of the latest developments on accelerator and detector physics are reported. They encompass novel detectors for beam monitoring and studies of low current beams.