Sökning: "Resource system models"

Visar resultat 36 - 40 av 262 avhandlingar innehållade orden Resource system models.

  1. 36. Risk stratification in cardiac surgery: Algorithms and applications

    Författare :Johan Nilsson; Thoraxkirurgi; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Surgery; orthopaedics; traumatology; Kardiovaskulära systemet; Cardiovascular system; Cardiac surgery; Statistics; Artificial neural networks; Resource utilization; Mortality; Risk factors; Kirurgi; ortopedi; traumatologi;

    Sammanfattning : The aims of this research was to compare different risk score algorithms with regard to their validity to predict 30-day and one-year mortality after open-heart surgery, to evaluate if the preoperative risk stratification model EuroSCORE predicts the different components of resource utilization in cardiac surgery, and to systematically evaluate the accuracy and performance of artificial neural networks (ANNs) to select and rank the most important risk factors for operative mortality in open-heart surgery. Preoperative evaluation of the surgical risk is an important component in cardiac surgery. LÄS MER

  2. 37. Foresight and Feedback: Monitoring and assessing the environmental implications of emerging technologies

    Författare :Duncan Kushnir; Chalmers tekniska högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; patent analysis; lithium; Foresight; topic model; monitoring; guidance; energy system; resource availability; environmental assessment;

    Sammanfattning : The magnitude of the change required to approach sustainability indicates an effort that will have to be sustained over decades, during which vast new technology systems will have to be developed and deployed. Yet technological development is a double edged sword, and these efforts will inevitably incur unintended consequences. LÄS MER

  3. 38. Design of Assured and Efficient Safety-critical Systems

    Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

  4. 39. Preservation of Extra-Functional Properties in Embedded Systems Development

    Författare :Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Vittorio Cortellessa; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Engineering; Embedded Systems; Non-Functional Requirements; Extra-Functional Properties; Model-Driven Development; Trade-off analysis; Computer Science; datavetenskap;

    Sammanfattning : The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. LÄS MER

  5. 40. Model-driven Analysis and Verification of Automotive Embedded Systems

    Författare :Raluca Marinescu; Cristina Seceleanu; David Garlan; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. LÄS MER