Search for dissertations about: "constraint propagation"

Showing result 1 - 5 of 17 swedish dissertations containing the words constraint propagation.

  1. 1. Techniques for Efficient Constraint Propagation

    University dissertation from Stockholm : KTH

    Author : Mikael Zayenz Lagerkvist; KTH.; [2008]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

    Abstract : This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. READ MORE

  2. 2. Other Things Besides Number Abstraction, Constraint Propagation, and String Variable Types

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Joseph Scott; Uppsala universitet.; Uppsala universitet.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; string constraint problems; Galois connections; abstraction; constraint propagation; computer-aided verification applications; Datavetenskap; Computer Science;

    Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modeled declaratively as a conjunction of constraints, each of which captures some of the combinatorial substructure of the problem. Constraints are more than a modeling convenience: every constraint is partially implemented by an inference algorithm, called a propagator, that rules out some but not necessarily all infeasible candidate values of one or more unknowns in the scope of the constraint. READ MORE

  3. 3. Cost Propagation - Numerical Propagation for Optimization Problems

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Birgit Grohe; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; optimization; numerical propagation; Cost propagation;

    Abstract : In this thesis, we investigate Cost Propagation,an approach to numerical propagation for optimization problems, where we combine ideas from both Constraint Programming and Combinatorial Optimization. We consider discrete optimization problems with binary variables that can be expressed in the model max_x sum_k g_k(x^k)where the terms g_k(x^k) are distinct arbitrary functions over subsets x^k of x. READ MORE

  4. 4. Analysis, synthesis and application of automaton-based constraint descriptions

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : María Andreína Francisco Rodríguez; Uppsala universitet.; Uppsala universitet.; [2017]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint predicates; global constraints; automata; automaton-described constraint predicates; automaton-induced constraint decompositions; implied constraints; time-series constraints; transducers; automaton invariants; Computer Science; Datavetenskap;

    Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to a general-purpose solver performing systematic search to find constraint-satisfying domain values for the variables, giving an optimal value to the objective function. READ MORE

  5. 5. Shape Optimization for Acoustic Wave Propagation Problems

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Rajitha Udawalpola; Uppsala universitet.; Uppsala universitet.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; shape optimization; design optimization; acoustic wave propagation; Helmholtz equation; Boundary Element Method; Finite Element Method; inverse problems; adjoint method; gradient-based optimization; Scientific Computing; Beräkningsvetenskap;

    Abstract : Boundary shape optimization is a technique to search for an optimal shape by modifying the boundary of a device with a pre-specified topology. We consider boundary shape optimization of acoustic horns in loudspeakers and brass wind instruments. READ MORE