Sökning: "specifications"

Visar resultat 1 - 5 av 401 avhandlingar innehållade ordet specifications.

  1. 1. Quasi-analytical Modelling and Optimisation Techniques for Transport Aircraft Design

    Författare :Askin T. Isikveren; KTH; []
    Nyckelord :aircraft; conceptual; design; specifications; atmosphere; geometry; weight; aerodyanmics; propulsion; operational performance; stability and control; constrained multi-objective optimisation; computer aided design; regional; business; high-transonic; ;

    Sammanfattning : The research work presented here focuses on the subject oftransport aircraft design at the pre-design or conceptuallevel. The primary topics addressed are: (1) generation of avast array of new quasi-analytical expressions to permit aconceptual treatment of commercial and business transportaircraft with adequate sensitivity for more advanced tradestudies; (2) review and adoption of a method to predictstability and control characteristics (using the Mitchellmethod); (3) a study of the relative merits between variousmethods in facilitating an expedient and robust constrainedmulti-objective optimisation result within the context oftraditional conceptual design problems (Genetic Algorithms andNelder-Mead Simplex search); (4) creation of a software packageas a new and unique conceptual tool that permits the generationof design proposals in an accurate yet expeditious manner; and,(5) practical demonstration of the new conceptual designsoftware package by undertaking some actual aircraft designproposals. LÄS MER

  3. 2. Environments as specifications of processes

    Författare :Yi Wang; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; transition system; correctness; deadlock; specification; CCS; testing equivalence; implementation; protocol verification;

    Sammanfattning : .... LÄS MER

  4. 3. From LOTOS specifications to distributed implementations

    Författare :Peter Sjödin; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This Thesis presents a technique for automatic generation of implementations from their formal LOTOS specifications. The technique focuses on implementations executing in distributed systems where processes communicate by asynchronous message passing. Implementations are specified in an executable subset of LOTOS. LÄS MER

  5. 4. Affordable identification and modelling of uncertain design specifications when introducing new technologies in space applications

    Författare :Olivia Borgue; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; engineering specifications; Technology introduction; uncertainties identification.; space components; model-based systems engineering;

    Sammanfattning : When introducing new technologies in space products, both the uncertainties regarding technology feasibility and the way in which the technology affects the product development process hinder the early establishment of appropriate engineering specifications. Failing to establish product specifications during conceptual stages leads to problems discovered during later phases of the product development process, when design and process changes are the most expensive. LÄS MER

  7. 5. Promoting Innovation in Transportation Infrastructure Maintenance : Incentives Contracting and Performance Based Specifications

    Författare :Torbjörn Stenbeck; Johan Silfwerbrand; Jan Bröchner; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Building engineering; Byggnadsteknik;

    Sammanfattning : Knowledge of what action that is needed to drive innovation at a desired speed is in demand in civil engineering and its related maintenance. 1. What measures to stimulate innovation have been tested? 2. How much innovation has been achieved by contracting? 3. LÄS MER