Disputas: Steven Bos

Steven Bos disputerer for doktorgraden i teknologi. Avhandlingen handler om en ny type datamaskin som ikke er begrenset til å bruke det binære alfabetet med nuller og enere.


08 May

Praktisk informasjon

  • Dato: 8 mai 2024
  • Tid: kl. 10.15 - 15.30
  • Sted: Kongsberg, 2202 Hegstad og Zoom
  • Last ned kalenderfil
  • Følg disputasen på Zoom

    Program 

    10.15. Prøveforelesning. “Technological yield and power/energy design tradeoffs for cloud versus edge AI" 

    12.15. Disputas: "Første steg mot en ny type datamaskin med 3 i stedet for 2 stabile tilstander".

    Bedømmingskomité

    • Førsteopponent: Professor Valeriu Beiu, Aurel Vlaicu University of Arad, Romania
    • Andreopponent:Professor Yngvar Berg, Universitetet i Oslo
    • Administrator: Professor Einar Halvorsen, Universitetet i Sørøst-Norge 

    Veiledere

Har du spørsmål?

Steven Bos skal forsvare avhandlingen sin for graden philosophiae doctor (ph.d.) ved Universitetet i Sørøst-Norge. 

Han har fulgt doktorgradsprogrammet i teknologi ved fakultet for teknologi, naturvitenskap og maritime fag. 

Alle interesserte ønskes velkommen til prøveforelesning og disputas.
 

Sammendrag

I mer enn 80 år har datamaskiner brukt det binære-alfabetet med to symboler: 0 og 1. Tenk deg å skullSteven Bos disputerer - portrettbildee lage setninger med bare to bokstaver! Med ett ekstra symbol, et trinært alfabet, kan moderne datamaskiner teoretisk sett bli mindre, mer energieffektive, og raskere til en lavere kostnad.

Den første delen av doktorgradsavhandlingen presenterer en historisk analyse av hvorfor det binære alfabetet ble valgt, og hvordan praktiske snarere enn teoretiske synspunkter dannet grunnlaget for denne beslutningen. Det vises videre at det er et økende behov for å revidere dette på grunn av grunnleggende fundamentale problemer.

Den andre delen avhandlingen diskuterer et lenge kjent alternativ, den trinære datamaskinen. Fordeler med det trinære alfabetet presenteres, basert på syv applikasjonsdomener som blant annet energiforbruk, cybersikkerhet og designkompleksitet. I tillegg har noe av kritikken i litteraturen vist seg å være utdatert, ettersom industrien har tatt i bruk trinære og høyere radix-alfabeter som formelle standarder for lagring av data og bruk i kommunikasjonssystemer.

I den siste delen foreslåes et Electronic Design Automation (EDA) verktøy og praktiske byggeklosser for å bygge trinære datamaskiner. Oppgaven beskriver det første webbaserte EDA-verktøyet for å designe og verifisere binære, trinære og hybride (mixed-radix) logiske integrerte kretser (IC). Flere design laget med dette EDA-verktøyet har blitt testet ved hjelp av automatiserte industrielle verifiseringsverktøy og vellykket fabrikkert som faktiske integrerte kretser. Det andre verktøyet, tillater fysisk eksperimentering med memristorer for å teste egnetheten for trinære datamaskiner. Memristorer er ekstremt små og lovende minneenheter for å lagre tre eller flere stabile tilstander. Begge verktøyene er åpen kildekode og inkluderer en åpen lisens for kommersielt bruk.

Resultatene av denne avhandlingen muliggjør en spennende fremtid utover nuller og enere. Søkelyset på effektivitet fremfor enkelhet og en mye lavere inngangsbarriere, gir muligheten for mange interessante og mer rettferdige sammenligninger av datamaskinalfabetet.

Den foreslåtte arkitekturen for det trinære instruksjonssettet (ISA) og trinære mikroprosessorer, viser at komplekse design nå er faktisk mulig å realisere.