Sökning: "binary system"

Visar resultat 21 - 25 av 289 avhandlingar innehållade orden binary system.

  1. 21. Methods for Detecting Unsolvable Planning Instances using Variable Projection

    Författare :Simon Ståhlberg; Peter Jonsson; Christer Bäckström; Malte Helmert; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis we study automated planning, a branch of artificialintelligence, which deals with construction of plans. A plan is typically an action sequence that achieves some specific goal. In particular, we study unsolvable planning instances, i.e. LÄS MER

  3. 22. Optimal Detectors for Transient Signal Families and Nonlinear Sensors : Derivations and Applications

    Författare :Daniel Asraf; Mats Gustafsson; Anders Grennberg; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signalbehandling; optimal detection; transient signals; noncoherent detection; unknown arrival time; ultrasonic nondestructive testing; nonlinear sensor; stochastic resonance; Signalbehandling; Signal processing; Signalbehandling; Signal Processing; signalbehandling;

    Sammanfattning : This thesis is concerned with detection of transient signal families and detectors in nonlinear static sensor systems. The detection problems are treated within the framework of likelihood ratio based binary hypothesis testing. LÄS MER

  4. 23. Advances in Functional Decomposition: Theory and Applications

    Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

    Sammanfattning : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. LÄS MER

  5. 24. Exploiting Structure in CSP-related Problems

    Författare :Tommy Färnqvist; Peter Jonsson; Miki Hermann; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis we investigate the computational complexity and approximability of computational problems from the constraint satisfaction framework. An instance of a constraint satisfaction problem (CSP) has three components; a set V of variables, a set D of domain values, and a set of constraints C. LÄS MER

  7. 25. Interactions and phase stability in Ni-rich binary alloys

    Författare :Shuang He; Andrei Ruban; Biplab Sanyal; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Ni-based superalloys; ab initio calculations; atomic ordering; effective interactions.; Teknisk materialvetenskap; Materials Science and Engineering; Teknisk materialvetenskap; Materials Science and Engineering;

    Sammanfattning : Ni-based superalloys are the important materials for gas turbines in advancedaeroplane engines . The addition of refractory elements to these superalloys,such as rhenium and tungsten, can significantly improve the hightemperatureperformance by so-called solid-solution hardening. LÄS MER