Sökning: "Number Theory"

Visar resultat 21 - 25 av 1790 avhandlingar innehållade orden Number Theory.

  1. 21. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Författare :Paul Pettersson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. LÄS MER

  3. 22. Efficient symbolic state exploration of timed systems : Theory and implementation

    Författare :Johan Bengtsson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER

  4. 23. Studies in climate change policy : theory and experiments

    Författare :Björn Carlén; Jason Shogren; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economics; nationalekonomi;

    Sammanfattning : Emission Quota Trade Among the Few: Laboratory Evidence of Joint Implementation Among Committed Countries. The purpose of the laboratory tests reported here is to identify a well-functioning design, tailored for an upcoming unique experiment using real-world relevant decision makers for carbon emission reductions trade among four countries committed to binding carbon emission limits, a form of so-called joint implementation. LÄS MER

  5. 24. Characterization of energy gases by ultrasound : theory and experiments

    Författare :Pär-Erik Martinsson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signalbehandling; Signal Processing;

    Sammanfattning : The long-term goal with the research presented in this thesis has been to develop an ultrasonic sensor capable of measuring the energy content of energy gases such as natural- and biogas. The energy content can be calculated if the concentration of each constituent of a gas mixture is known. LÄS MER

  7. 25. Maturation of Clay Seals in Deep Bore Holes for Disposal of Radioactive waste : Theory and Experiments

    Författare :Ting Yang; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; high-level radioactive waste; HLW; very deep borehole; VDH; disposal; saturation degree; water transport; maturation; model; shear strength; hydraulic conductivity; swelling pressure; homogenization; Geoteknik; Soil Mechanics;

    Sammanfattning : KBS-3 and very deep borehole (VDH) concepts are two major types of long-term geologicaldisposal methods for high-level radioactive waste (HLW) isolating from the biosphere. TheKBS-3V concept for isolating the HLW at the depth of 400-500 m, is the officially proposedoption in Sweden and has been the subject of considerable research in the past few decades,while the VDH concept was considered as an option in the 1950s but later became discouragedbecause of insufficient experience in drilling technology. LÄS MER