Sökning: "Dinko Ivanov"

Hittade 3 uppsatser innehållade orden Dinko Ivanov.

  1. 1. Gearbox housing design – topology optimization through generative design

    Master-uppsats, KTH/Maskinkonstruktion (Avd.)

    Författare :Dinko Ivanov; [2018]
    Nyckelord :Abaqus; CATIA; Manufacturability; Tosca; Topology optimization; Abaqus; CATIA; Tillverkningsbarhet; Tosca; Topologisk optimering;

    Sammanfattning : Detta examensarbete använder ett systematiskt tillvägagångssätt för att omkonstruera ett växellådshus till ett elektriskt fordon med avsikt att förbättra prestanda med avseende på hållfasthet, livslängd och styvhet. I examensarbetet ges även en kort beskrivning av hur växellådan fungerar, vilken roll den spelar i de elektriska fordonen, samt grundläggande teori som används  vid konstruktion av liknande växellådor. LÄS MER

  3. 2. Integrating formal analysis techniques into the Progress-IDE

    Master-uppsats, Akademin för innovation, design och teknik

    Författare :Dinko Ivanov; [2011]
    Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER

  4. 3. Integrating formal analysis techniques into the Progress-IDE

    Master-uppsats, Akademin för innovation, design och teknik

    Författare :Dinko Ivanov; [2011]
    Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER