5 research outputs found

    A system for describing and deciding properties of regular languages using input altering transducers

    Get PDF
    ii, 94 leaves : ill. ; 29 cm.Includes abstract.Includes bibliographical references (leaves 92-94).We present a formal method for describing and deciding code related properties of regular languages using input altering transducers. We also provide an implementation of that method in the form of a web application. We introduce the concept of an input altering transducer. We show how to use such transducers to describe properties of languages and present examples of transducers describing some well known properties (like suffix codes, prefix codes, infix codes, solid codes, and others). We discuss some limitations of our method. In particular, all properties that can be described using input altering transducers are 3-independence properties. We also give an example of a 3-independence property that cannot be represented using a transducer. We explain how our method is a specialisation of a more general method based on language in-equations. We also discuss the relation between our method and a method that uses sets of trajectories to describe properties. In particular, we show how, for any given set of trajectories describing some property, to build an input altering transducer describing the same property. We introduce the concept of counterexample, which is a pair of words that, if a given language does not belong to a given property, illustrate that fact. We show how we can incorporate extracting such counterexample into our method. Finally, we provide some details on the implementation and usage of the web application that was built as a part of this research

    The prototype dosimetry system to protect MPD electronic equipment at the new NICA collider

    Get PDF
    The Multi-Purpose Detector (MPD) is a main detection system of the new collider located in Dubna, Russia (Nuclotron-based Ion Collider fAcility -NICA). During the work, the Slow Control electronic equipment which is located on the MPD surface and on the special platform near the MPD body, an accidental irradiation caused by the NICA’s failure or its abnormal functioning may occur. Thus, there is a risk of destroying the electronics by a radiation exposure in the platform area, and in the consequence the emergency/fast switch off of the MPD sub-detectors might become impossible. We present the preliminary dosimetry system i.e. the method of prevention of such situation by the continuous monitoring on the Slow Control electronics on the platform. System will be alarming when the radiation levels threshold will be surpassed

    The prototype dosimetry system to protect MPD electronic equipment at the new NICA collider

    No full text
    The Multi-Purpose Detector (MPD) is a main detection system of the new collider located in Dubna, Russia (Nuclotron-based Ion Collider fAcility -NICA). During the work, the Slow Control electronic equipment which is located on the MPD surface and on the special platform near the MPD body, an accidental irradiation caused by the NICA’s failure or its abnormal functioning may occur. Thus, there is a risk of destroying the electronics by a radiation exposure in the platform area, and in the consequence the emergency/fast switch off of the MPD sub-detectors might become impossible. We present the preliminary dosimetry system i.e. the method of prevention of such situation by the continuous monitoring on the Slow Control electronics on the platform. System will be alarming when the radiation levels threshold will be surpassed

    The cosmic ray detector for the NICA collider

    No full text
    Multi-Purpose Detector (MPD) is a main part of a new Ion Collider fAcility (NICA) located in Dubna, Russia. To increase MPD functionality, it was proposed to add an additional muon trigger system for off-beam calibration of the MPD sub-detectors and for rejection of cosmic ray background during experiments. The system could also be very useful for astrophysical observations of cosmic showers initiated by high energy primary particles. This article describes the main goals of MCORD detector and the early stage of MCORD design, based on plastic scintillators with silicon photomultiplier photodetectors (SiPM) for scintillation readout and electronic system based on MicroTCA standard

    The cosmic ray detector for the NICA collider

    Get PDF
    Multi-Purpose Detector (MPD) is a main part of a new Ion Collider fAcility (NICA) located in Dubna, Russia. To increase MPD functionality, it was proposed to add an additional muon trigger system for off-beam calibration of the MPD sub-detectors and for rejection of cosmic ray background during experiments. The system could also be very useful for astrophysical observations of cosmic showers initiated by high energy primary particles. This article describes the main goals of MCORD detector and the early stage of MCORD design, based on plastic scintillators with silicon photomultiplier photodetectors (SiPM) for scintillation readout and electronic system based on MicroTCA standard
    corecore