Search for dissertations about: "degree constraint"

Showing result 1 - 5 of 29 swedish dissertations containing the words degree constraint.

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

    Author : Joseph Scott; Pierre Flener; Parosh Abdulla; Justin Pearson; Michel Rueher; Uppsala universitet; []
    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

  4. 2. Sensitivity Shaping under Degree Constraint : Nevanlinna-Pick Interpolation for Multivarible and Time-Delay Systems

    Author : Yohei Kuroiwa; Anders Lindquist; Per-Olov Gutman; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Optimization; systems theory; Optimeringslära; systemteori;

    Abstract : .... READ MORE

  5. 3. Constraint-based Methods for Human-aware Planning

    Author : Uwe Köckemann; Federico Pecora; Lars Karlsson; Paolo Traverso; Örebro universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Task Planning; Constraint-based Planning; Human-aware Planning; Information technology; Informationsteknologi;

    Abstract : As more robots and sensors are deployed in work and home environments, there is a growing need for these devices to act with some degree of autonomy to fulfill their purpose. Automated planning can be used to synthesize plans of action that achieve this. READ MORE

  6. 4. On the microstructure and mechanical properties of Mg-Al alloys

    Author : Haiping Cao; Linköpings universitet; []
    Keywords : Mg-AI; microstructure; mechanical properties; divorced degree; modeling; mould constraint; segregation band; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The microstructural features and the mechanical properties of binary Mg-Al alloys have been investigated by using a gradient solidification technique. Homogeneous and nearly defect-free samples were produced under well controlled cooling conditions, through which the microstructural characteristics as well as the relationships between microstructure and mechanical properties in Mg-AI alloys were precisely defined. READ MORE

  7. 5. Constraint-based conceptual design using principle solution elements

    Author : Sören Wilhelms; Christian Weber; Linköpings universitet; []
    Keywords : Conceptual design; functional modelling; constraint-based design; design reuse; VDI 2222; product modelling; design support; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The design of new products is an important engineering activity, and much of the competitiveness in high-salary countries depends on the ability to develop innovative products with acceptable time to market.During conceptual design, the principle solution for a product is conceived. READ MORE