Search for dissertations about: "compact model"

Showing result 1 - 5 of 242 swedish dissertations containing the words compact model.

  1. 1. Compact sprawl : Exploring public open space and contradictions in urban density

    Author : Alexander Ståhle; Lars Marcus; Michael Batty; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Spatial morphology; Urban design; Public open space; Urban density; Landscape planning; Architecture; Arkitektur;

    Abstract : Twentieth century urbanization has left a tremendous footprint on the globe. It is generally speaking a spread out fragmented suburban and exurban landscape continuously growing according to what has been called sprawl-like development, increasing energy and automobile dependency, challenging urban sustainability. READ MORE

  2. 2. Model-based coding : extraction, coding, and evaluation of face model parameters

    Author : Jörgen Ahlberg; Andrew Senior; Linköpings universitet; []
    Keywords : ;

    Abstract : This thesis deals with model-based coding of human faces for low bitrate communication. The basicidea of model-based coding is that the appearance and motion of a human face are analysed. By thisanalysis, compact parameters allowing realistic visualization of a synthetic face are extracted. READ MORE

  3. 3. Experimental and numerical study of the thermal and hydraulic effect of EMC screens in radio base stations : detailed and compact models

    Author : Raúl Antón Remírez; Björn Palm; Masud Behnia; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; sub-rack; perforated plate; air cooling; 90 degrees turn; flow deistribution; CFD; measurement; Mechanical energy engineering; Mekanisk energiteknik;

    Abstract : Today’s telecommunication cabinets use Electro Magnetic Compliance (EMC) screens in order to reduce electromagnetic noise that can cause some miss functions in electronic equipment. Many radio base stations (RBSs) use a 90-degree building architecture: the flow inlet is perpendicular to the EMC screen, which creates a complex flow, with a 90-degree air turn, expansions, compressions, perforated plates and PCBs. READ MORE

  4. 4. SAT Based Model Checking

    Author : Niklas Een; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. READ MORE

  5. 5. Model-based design of haptic devices

    Author : Ahmad Aftab; Kjell Andersson; Ulf Sellgren; Per Wennhage; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Haptic device; model-based design; stiffness; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Abstract : Efficient engineering design and development of high precision and reliable surgical simulators, like haptic devices for surgical training benefits from model-based and simulation driven design. The complexity of the design space, multi-domains, multicriteria requirements and multi-physics character of the behavior of such a product ask for a model based systematic approach for creating and validating compact and computationally efficient simulation models to be used for the design process. READ MORE