Sökning: "box model"

Visar resultat 1 - 5 av 258 avhandlingar innehållade orden box model.

  1. 1. Grey-box Identification of Distributed Parameter Systems

    Författare :Yi Liu; Elling W. Jacobsen; Denis Dochain; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical engineering; grey-box modeling; grey-box identification; model reduction; PDE; chromatography; bifurcation; moving mesh methods; orthogonal collocation on moving finite elements; OCMFE; Elektroteknik; elektronik och fotonik; Electrical engineering; electronics and photonics; Elektroteknik; elektronik och fotonik;

    Sammanfattning : This thesis considers the problem of making dynamic models for industrial processes by combining physical modelling with experimental data. The focus is on distributed parameter systems, that is, systems for which the model structure involves partial differential equations (PDE). Distributed parameter systems are important in many applications, e. LÄS MER

  3. 2. 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

  4. 3. Programming Model and Protocols for Reconfigurable Distributed Systems

    Författare :Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

    Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER

  5. 4. Box paradox : how key account management contributes to Business model innovation

    Författare :Ebba Laurin; Handelshögskolan i Stockholm; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : Key Account Management is the way a firm handles its largest and most important customers. Significant resources are dedicated to accomplish both short-term sales objectives and strategic long-term goals. KAM is increasingly strategic, not least because the sales and selling activities are becoming digitalized and automatized. LÄS MER

  7. 5. Modeling, Model Validation and Uncertainty Identification for Power System Analysis

    Författare :Tetiana Bogodorova; Luigi Vanfretti; Konstantin Turitsyn; Francisco Gonzalez-Longatt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Power system modelling; model validation; parameter identification; uncertainty identification; Modelica; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : It is widely accepted that correct system modeling and identification are among the most important issues power system operators face when managing instability and post-contingency scenarios. The latter is usually performed involving special computational tools that allow the operator to forecast, prevent system failure and take appropriate actions according to protocols for different contingency cases in the system. LÄS MER