Essays about: "maskin program"

Showing result 1 - 5 of 30 essays containing the words maskin program.

  1. 1. Digital Model of a Mining Stacker for Material Tracking : Modelling a Mining Stacker with Forward Kinematics for Material Tracking

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Livia Maria Waller; [2023]
    Keywords : Mining; Material tracking; Bucket wheel stacker; Gruvteknik; Materialspårning; Skovelhjulsstaplar;

    Abstract : The Fourth Industrial Revolution is reshaping the manufacturing industry with the emergence of interconnectivity, smart automation, and cyber-physical systems. A popular example of cyber-physical systems is the digital twin or digital model, which both create a virtual (cyber) representation of a system. READ MORE

  3. 2. Automatic wire bender machine

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Klas Birkestål; Simon Spång; [2022]
    Keywords : Cold processing; 3D shaping; bending; mechatronics; Kallbearbetning; 3D formning; bockning; mekatronik;

    Abstract : One of the most fundamental manufacturing processes is the simple bending of rods and wire. Although a simple process, when performed manually it can become a burdensome and repetitive workload with scattered results. Automation today has allowed these kind of processes to be automated, although the machines can be complicated to program. READ MORE

  4. 3. Autonomously docking, using object detection, and path planning

    University essay from KTH/Mekatronik

    Author : Joel Bergman; [2021]
    Keywords : ;

    Abstract : With today’s climate change Volvo Construction Equipment (CE) must develop machines that emit less carbon dioxide or no carbon dioxide at all. One way to go is to electrify their machines. Volvo CE has developed an autonomous electric machine called HX02. Today the HX02 is charged with an inverted pantograph. READ MORE

  5. 4. OPC UA Field eXchange Prototyping : Enabling decentralized communication using Publish/Subscribe

    University essay from Högskolan i Halmstad/Akademin för informationsteknologi

    Author : Samuel Andreasson; Jesper Palmér; [2021]
    Keywords : Publish Subscribe; PubSub; FLC; FX; OPC; UA; OPC UA; industrial protocol; IIoT; interoperability; open-source; open62541;

    Abstract : Open Platform Communication Unified Architecture, or OPC UA, is a world-leading communication protocol specializing in unifying and automating production systems communication. In 2018 the OPC Foundation, an industrial consortium, started the OPC UA Field eXchange initiative to develop the current protocol to extend the reach of the communication down to field level devices like sensors and actuators. READ MORE

  6. 5. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Adrian Westerberg; [2021]
    Keywords : Formal verification; Binary analysis; Interactive theorem proving; Indirect jump resolution; Formell verifiering; Binär analys; Interaktiv teorembevisning; Indirekt hopp bestämning;

    Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE