Sökning: "Black-Box Model"

Visar resultat 1 - 5 av 73 avhandlingar innehållade orden Black-Box Model.

1. 1. Model-Based Test Case Generation for Real-Time Systems

   Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
   Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

   Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

3. 2. Demystifying the Black Box - Exploring How Users Make Sense of Fully Automated Vehicles

   Författare :Mikael Johansson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; Automated vehicles; Driving Automation; Meaning; Conceptual model; Make sense; Product semantics; Signifiers; Understanding;

   Sammanfattning : Vehicles are becoming increasingly automated. Already today vehicles are able to take over and assist the human driver in certain driving tasks, and the scope of technical possibilities is rapidly expanding. However, for the proliferation of AVs to occur, there are several challenges that must first be overcome. LÄS MER

4. 3. Recursive black-box identification of nonlinear state-space ODE models

   Författare :Linda Brus; Bengt Carlsson; Torbjörn Wigren; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

   Sammanfattning : Nonlinear system identification methods is a topic that has been gaining interest over the last years. One reason is the many application areas in controller design and system development. However, the problem of modeling nonlinear systems is complex and finding a general method that can be used for many different applications is difficult. LÄS MER

5. 4. NADH:quinone oxidoreductase: the black box of the respiratory chain

   Författare :Robert Roth; Biokemi och Strukturbiologi; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NADH:quinone oxidoreductase; Complex I; electron transport; membrane protein; ubiquinone; respiratory chain; respiration; metabolism; Metabolism; Biokemi; Biochemistry;

   Sammanfattning : Complex I or NADH:quinone oxidoreductase the largest, most complex and least understood of the five membrane-bound enzyme complexes constituting the mitochondrial respiratory chain. The enzyme is present in all types of organisms, from bacteria to mammals. LÄS MER

7. 5. Towards Automated Software Testing : Techniques, Classifications and Frameworks

   Författare :Richard Torkar; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

   Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER