Sökning: "declarative modeling"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden declarative modeling.

  1. 1. PDEModelica – A High-Level Language for Modeling with Partial Differential Equations

    Författare :Levon Saldamli; Peter Fritzson; Bernhard Bachmann; Francesco di Casella; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; mathematical modeling; PDEModelica; Modelica; object-oriented modeling; equation-based modeling; declarative modeling; high-level modeling languages; mathematical modeling languages; Computer science; Datavetenskap;

    Sammanfattning : This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. LÄS MER

  3. 2. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

    Författare :Martin Sjölund; Peter Fritzson; Christoph Kessler; Walid Mohamed Taha; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  4. 3. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration

    Författare :Seyed Hosein Attarzadeh Niaki; Ingo Sander; Christian Haubelt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. LÄS MER

  5. 4. Contributions to Meta-Modeling Tools and Methods

    Författare :Adrian Pop; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments. LÄS MER

  7. 5. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Författare :Peter Bunus; Peter Fritzson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; Computer science; Datavetenskap;

    Sammanfattning : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. LÄS MER