Sökning: "modeling languages"

Visar resultat 16 - 20 av 64 avhandlingar innehållade orden modeling languages.

  1. 16. Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs

    Författare :Tord Alenljung; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; State Estimation; Fault Detection and Diagnosis; Process Modeling; Discrete Event Systems; Logic Controllers; Formal Verification; State Feedback Control;

    Sammanfattning : The design of control programs for manufacturing systemsis becoming more and more complex as the demands for flexibility,efficiency and reconfigurability increase, due tochanging consumer demands and fierce competition.There are methods stemming from academia that can assist the control programmersin facing these challenges. LÄS MER

  3. 17. Memory modeling and synthesis for real-time video processing systems

    Författare :Benny Thörnberg; Mattias O´Nils; Bengt Oelmann; Erwin de Kock; Mittuniversitetet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; memory modeling; Electrical engineering; electronics and photonics; Elektroteknik; elektronik och fotonik;

    Sammanfattning : In this thesis, a new design methodology and new tools for modeling and synthesis of real-time video processing systems are presented. A real-time video processing system is a system that performs computations on a continuous sequence of images. Image processing is a memory intensive application. LÄS MER

  4. 18. 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

  5. 19. Magnetic Refrigeration for Near Room-Temperature Applications

    Författare :Behzad A Monfared; Björn Palm; Joachim Claesson; Andrew Rowe; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Magnetic Refrigeration; Magnetic; Cooling; Magnetocaloric; Life Cycle Assessment; Modeling; Simulation; Optimization; Regeneration; Active Magnetic Regeneration; Bonded Regenerator; Heat Switch; Thermal Diode; Peltier; Solid-State; Prototype; Magnetisk Kylteknik; Magnetisk; Kylning; Magnetokalorisk; Livscykela-nalys; Modellering; Simulering; Optimering; Regenerering; Aktiv Mag-netisk Regenerering; Bunden Regenerator; Värmebrytare; Termodiod; Peltier; Solid-State; Prototyp; Energy Technology; Energiteknik;

    Sammanfattning : Refrigeration plays a crucial role in many different sectors and consumes about 17% of the electricity produced globally. This significant energy consumption implies large share of refrigeration in primary energy consumption and other environmental impacts. LÄS MER

  7. 20. On Formal Methods in Development of Control Logic Using IEC 61499

    Författare :Goran Cengic; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

    Sammanfattning : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. LÄS MER