Avancerad sökning

Visar resultat 1 - 5 av 6 avhandlingar som matchar ovanstående sökkriterier.

1. 1. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

   Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

   Sammanfattning : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. LÄS MER

3. 2. A Simulation-Based Optimisation Method for PLC Systems

   Författare :Bo Svensson; Bengt Lennartson; Rolf Bernhardt; Högskolan Väst; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation based optimisation; Virtual manufacturing; Industrial control system; PLC; Continuous simulation; Parameter tuning; Optimisation methods; Manufacturing and materials engineering; Produktions- och materialteknik;

   Sammanfattning : Tuning of process parameters such as time constants, cam values, velocities and robot paths, in order to increase capacity utilisation, is today a challenging manual on-line task in many automated manufacturing systems. On-line methods interfere with production and will cause unwanted downtime, which indeed reduces capacity utilisation. LÄS MER

4. 3. Development of a Novel Gas Turbine Simulator for Hybrid Solar-Brayton Systems

   Författare :Tianyao Pan; Björn Laumert; Wujun Wang; Konstantinos Kyprianidis; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Gas turbine simulator; concentrating solar power; hybrid solar-Brayton system; pressure controller; choked nozzle; Programmable logic controller; proportional solenoid valve.; Gasturbinsimulator; koncentrerad solenergi; hybrid solenergi-Brayton-system; tryckregulator; strypt munstycke; programmerbar logikkontroller; proportionell magnetventil.; Energiteknik; Energy Technology;

   Sammanfattning : Hybrid solar-Brayton systems utilize both solar thermal energy and supplementary renewable fuels to provide controllable and dispatchable power output, which renders them a promising way to meet the growing energy demand and reduce the carbon footprints. However, existing testing facilities for key components in such hybrid systems often fail to accomplish the testing requirements, hence impeding the improvement of the renewable energy share and the overall efficiency. LÄS MER

5. 4. On Industrial Automation Software Components

   Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

   Sammanfattning : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. LÄS MER

7. 5. Operation Specification for Sequence Planning and Automation Design

   Författare :Kristofer Bengtsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : When designing an automation system, an important challenge is to specify the different tasks, or operations, of the system. This has become a problematic bottle-neck in industry, since the rising needs on manufacturing flexibility increases the complexity of the entire manufacturing system, as well as its control function. LÄS MER