Blar i NTNU Open på forfatter "Hendseth, Sverre"

Viser treff 41-60 av 109

    • Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP 

      Andersen, Sondre Ninive; Espe, Asbjørn Engmark; Hendseth, Sverre; Mathisen, Geir (Chapter, 2021)
      Using communicating sequential processes (CSP), this paper presents a model for wireless sensor networks (WSNs) to be used for formal verification of communication reliability in mesh networks. Process models are derived ...

    • FPGA based motor controller with sensorless control, used for electrical fuel pumps with high rotational frequency 

      Fjøsne, Amund (Master thesis, 2021)
      Abstract will be available on 2024-06-14

    • A Framework for Real-Time System Development Using the Pixhawk 

      Pedersen, Jon-Arne (Master thesis, 2015)
      Pixhawk is an open source hardware and software platform targeted at academic, hobbyist and industrial use in micro air vehicles. This thesis aims to develop and demonstrate a software framework for developing real-time ...

    • Framework for Rendering of Procedurally Generated Terrain 

      Borge, Håvard (Master thesis, 2020)
      Denne oppgaven undersøkte hvordan et program for a tegne en prosessuell generert verden kan implementeres. De viktigste delene av prosjektet var å implementere grunnlegende modeller og å ha et inndataformat som kan brukes ...

    • Functionally Generating Music Structures with Prefix Trees 

      Hoff, Erlend Kilvik (Master thesis, 2021)
      I dette prosjektet ble et nytt system for å generere musikk med fokus på struktur designet og implementert i det funksjonelle språket Haskell. Systemet representerer og genererer musikk med delt struktur på tvers av flerer ...

    • General Utilisation System for Timed Application and Fast Scheduling Over Network 

      Vestergren, Knut André Karlsen (Master thesis, 2012)
      In this thesis, an experimental runtime system for utilizingthe computational power of a multi-computer environment is presented.Through simple benchmark tests it is shown how some taskswill have a considerate speed-up ...

    • Generating rationally solvable instances of NP-hard logic puzzles 

      Melheim, Håvard (Master thesis, 2022)
      Nurikabe, en form for logisk hjerntrim oppkalt etter en ånd fra japansk folklore, er et underholdende og enagsjerende tidsfordriv. I likhet med mange lignende spill er det dessuten NP-hardt i sin generelle form. I denne ...

    • Generering av enlinjeskjema 

      Christiansen, Håkon Fruseth (Master thesis, 2020)
      I masteroppgaven er det lagd et dataprogram i Python som genererer enlinjeskjema av stasjoner i kraftnettet. Programmet leser inn data fra en XML-fil på CIM-standarden innenfor kraftnett, ved hjelp av biblioteket PyCIM. ...

    • Gesture recognition using a sensor glove 

      Brandal, Håvard Pedersen (Master thesis, 2020)
      Dette prosjektet har utforska korleis maskinlæring kan brukast i menneske-maskin interaksjonssystemer ved å nytte ein sensorhanske. Det vart foreslått eit design av eit system for kontroll ved hjelp av gestar som er samansett ...

    • Graphical Inspection Tool for Ultrasound Measurements in 3D 

      Aamold, Mikkel Carlton (Master thesis, 2019)
      Denne oppgaven fortsetter arbeidet som ble gjort i en prosjektoppgave, hvor er verktøy ble utviklet for å visualisere 3D målinger fra en ultralyd sensor, DolphiCam2. Dette ble gjort i Windows, gjennom DirectX APIet og ...

    • High-Dimensional Data Visualization 

      Nielsen, Mikal (Master thesis, 2017)
      High-dimensional data is challenging to visualize. To gain some insight in the field, there has been performed a literature research which is presented. Visualization is done to accelerate and increase interpretation of ...

    • Implementation of an Event-Driven Architecture for Multiprocessor Embedded Systems 

      Zaitsev Nymo, Nikolai (Master thesis, 2019)
      Masteroppgaven beskriver klargjøringen av kretskortet til og programvareimplementasjonen av en elektrisk racer bils kontrollenhet, eller en VCU. Med ett komplekts kretskort som målplattform, med flere prosessorkjerner og ...

    • Implementation of Delta-Sigma ADCs using the Microchip AVR-DB family of microcontrollers 

      Andersen, Sondre Ninive (Master thesis, 2020)
      AVR® MCU DB er en ny mikrokontrollerfamilie, som inkludere bruker-konfigurerbare op-amper som periferifunksjoner. Disse op-ampene gjør det mulig å implementere op-amp kretser med moderat kompleksitet, uten eksterne aktive ...

    • Implementere APT - modellen i CellML og tilhørende simuleringsverktøy. 

      Knævelsrud, Eirik (Master thesis, 2017)
      Oppgaven tar for seg et raskt overblikk over APT - modellen implementert i MatLab. Før den går inn på egenskaper ved CellML. Hvordan et CellML - dokument skal bygges opp. Det er introdusert noen standard softwares for å ...

    • Implementing Controller Strategies in FPGA 

      Næss, Erik Normann (Master thesis, 2009)
      In todays industrial applications there is an increasing demand for good control algorithms and implementions. This may be because of increased competition leading to smaller economic margins, safety reasons or even ...

    • Integrating graphical face software with a social robot and detecting human interest 

      Svoen, Håvard Wagner (Master thesis, 2016)
      This thesis explains how a digital graphical face was integrated with the software components of the Cyborg using Robot Operating System (ROS), and how the face could improve the Cyborg's ability to socially interact with ...

    • Introducing Time Driven Programming using CSP/occam and WCET Estimates 

      Korsgaard, Martin (Master thesis, 2007)
      This thesis describes an experimental programming language called TIME/occam. TIME/occam, like occam, is based on Communicating Sequential Processes (CSP), a branch of process algebra that allows computer programs to be ...

    • Kommunikasjon mellom bakkestasjon og ubemannet luftfarkost 

      Jacobsen, Jostein Austvik (Master thesis, 2009)
      Institutt for teknisk kybernetikk har interesse for å utvikle et autonomt fly (UAV) gjennom prosjekt- og diplom-oppgaver. Det er ønskelig å kunne gi kommandoer til og hente ned data live fra UAVen. I denne oppgaven legges ...

    • Kybulf jr. The Walking Six-Legged Bug Robot 

      Holmseth, Edvin (Master thesis, 2017)
      This paper describes how to build a small, lightweight hexapod (a six-legged bug-robot), using mostly off-the-shelf electronic hardware. The paper will discuss the electronic components that are used and their role in the ...

    • Large-scale Implementation and Distribution of Sensitive Code in a Commercial Setting 

      Ask, Jonas (Master thesis, 2009)
      Protecting intellectual property rights is an ongoing challenge for hardware manufacturers. After acquiring the rights to powerful capacitive sensing technology, the Atmel Corporation wanted to distribute this technology ...