Search for dissertations about: "prototypical approach"

Showing result 1 - 5 of 23 swedish dissertations containing the words prototypical approach.

2. 1. Architectural Prototypes II : Reformations, Speculations and Strategies in the Digital Design Field

   Author : Jonas Runberger; Örjan Wikforss; Katja Tollmar Grillner; Mette Ramsgard Thomsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HUMANIORA; HUMANITIES; Architecture; digital design field; reformations; prototypical approach; performance; affect; cognitive estrangement; extrapolation; design fiction; architecture fiction; speculative approaches; digital design tropes; parametric design; operational digital design strategies; design project enquiries;

   Abstract : This doctoral thesis is situated within the digital design field of architecture, and is a continuation of the licentiate thesis Architectural Prototypes: Modes of Design Development and Architectural Practice, presented at the KTH School of Architecture in 2008. The doctoral thesis investigates the current status of the digital design field of architecture, and identifies a number of related discourses. READ MORE

4. 2. Towards a Deductive Compilation Approach

   Author : Ran Ji; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

   Abstract : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. READ MORE

5. 3. Modelling and Simulation of Reactor Pressure Vessel Failure during Severe Accidents

   Author : Peng Yu; Weimin Ma; Walter Villanueva; Sevostian Bechta; Florian Fichot; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; RPV failure; thermo-fluid-structure coupling; creep modelling; melt pool heat transfer; severe accident; CFD; FEA; transIVR;

   Abstract : This thesis aims at the development of new coupling approaches and new models for the thermo-fluid-structure coupling problem of reactor pressure vessel (RPV) failure during severe accidents and related physical phenomena. The thesis work consists of five parts: (i) development of a three-stage creep model for RPV steel 16MND5, (ii) development of a thermo-fluid-structure coupling approach for RPV failure analysis, (iii) performance comparison of the new approach that uses volume loads mapping (VLM) for data transfer with the previous approach that uses surface loads mapping (SLM), (iv) development of a lumped-parameter code for quick estimate of transient melt pool heat transfer, and (v) development of a hybrid coupling approach for efficient analysis of RPV failure. READ MORE

6. 4. Architectural Compliance in Component-Based Systems : Foundations, Specification, and Checking of Architectural Rules

   Author : Sebastian Herold; Clausthal University of Technology; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; software architecture; software system; design decisions; Datavetenskap; Computer Science;

   Abstract : The intended software architecture of a software system manifests the earliest and most fundamental design decisions. To ensure that the final software product is consistent with those design decisions and the requirements realized that way, the software architecture has to be refined correctly. READ MORE

7. 5. In Search of Prototypes and Feminist Bank-Tellers: Exploring the Representativeness Heuristic

   Author : Håkan Nilsson; Peter Juslin; Karl Halvor Teigen; Uppsala universitet; []
   Keywords : Psychology; Cognitive psychology; Subjective probability; Representativeness heuristic; PROBEX; Category learning; Cognitive modeling; Conjunction fallacy; Psykologi;

   Abstract : According to the heuristics and biases approach, the representativeness heuristic (RH) is one of the heuristics available for assessing subjective probabilities (A. Tversky & D. Kahneman, 1974). A subjective probability assessed by the RH is determined by how representative the target object is of the target category. READ MORE