Sökning: "generation of control logic"

Visar resultat 1 - 5 av 20 uppsatser innehållade orden generation of control logic.

  1. 1. Generation of Control Logic from Ordinary Speech

    Kandidat-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Hamed Haghjo; Elias Vahlberg; [2022]
    Nyckelord :Code generation; generation of code; generation of control logic; natural language processing;

    Sammanfattning : Developments in automatic code generation are evolving remarkably fast, with companies and researchers competing to reach human-level accuracy and capability. Advancements in this field primarily focus on using machine learning models for end-to-end code generation. LÄS MER

  2. 2. Application of formal verification and validation on modern multi-functional signalling system

    Master-uppsats, KTH/Transportplanering

    Författare :Shamsul Arefin; [2022]
    Nyckelord :;

    Sammanfattning : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. LÄS MER

  3. 3. An Integrated Tool Chain for Combinatorial Testing of Industrial Control Software

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Liene Andersone; Anne Christine Carlsson; [2021]
    Nyckelord :Control Software Testing; PLC; CODESYS; Combinatorial Testing; Testing;

    Sammanfattning : Testing is an important activity in software development used to ensure the quality of a product. In industrial practice when developing control software, such as Programmable Logic Controllers (PLCs), software testing is, in some cases, neglected during the development process. LÄS MER

  4. 4. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Anton Roslund; [2020]
    Nyckelord :Automated Test Generation; Simulink; Model Based Design; Comparison; Simulink Design Verifier; SLDV; MIL; SIL; PIL; Model-in-the-Loop; Conformance; Conformance testing; Test Generation; MATLAB; Evaluation;

    Sammanfattning : Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. LÄS MER

  5. 5. The Weave - An Investigation into the Intersection of Craft and 3D-printing

    Master-uppsats, Lunds universitet/Institutionen för arkitektur och byggd miljö

    Författare :Albin Karlsson; Johanna Jonsson; [2019]
    Nyckelord :Arts and Architecture;

    Sammanfattning : This project is a proposal for structural construction through fabrication and assembly of 3D-printed ceramic bricks developed side by side with a metaphysical investigation into the potential to express the living nature of matter through its material and formal attributes. Through an explorative process in the intersection of craft and digital fabrication, we have developed a system for LDM extrusion of composite bricks consisting of an outer ceramic shell and a low-density cementitious core, an integrated design flow based on procedural generation of fractal patterns and topological weaving, and an assembly logic capable of complex architectural expressions. LÄS MER