16 ordspråk av Kim Guldstrand Larsen

Kim Guldstrand Larsen

Kim Guldstrand Larsen - Professor i datalogi og leder af Center for Indlejrede Software Systemer (CISS) ved Aalborg Universitet
Mer info via Google. Hitta foto...


dk Vi får stadig flere computerstyrede systemer, fordi computerne er i stand til at overskue meget mere, end vi mennesker kan. Derfor skal vi også kunne stole på systemerne. (8 jun 2025, nyhedsartikel)

dk Jeg har læst matematik som hovedfag og fysik som bifag, og for mig var det en aha-oplevelse, da jeg fandt ud af, at når man sad og skrev i Pascal, der var forløberen for programmeringssproget Java, så var det ikke bare en meningsløs kode. Der var en dyb, matematisk logik bag det hele. (8 jun 2025, nyhedsartikel)

dk Det er fascinerende indenfor datalogi, at der er et matematisk fundament bag såvel computere som programmer, der blandt andet kan bruges til at bevise, at programmer eller program-systemer opfører sig som ønsket. (8 jun 2025, nyhedsartikel)

dk Meget software bruges i dag til at styre særdeles sikkerhedskritiske systemer, lige fra pace-makere til alskens funktioner i en bil og intelligent elnet. (8 jun 2025, nyhedsartikel)

dk Hvis en bil eksempelvis kører ind i et træ, så skal softwaren indenfor en garanteret tid sikre, at det udløser en airbag. Den funktion ligger der mange beregninger og afhængigheder bag. (8 jun 2025, nyhedsartikel)

dk Vi skal finde ud af, hvordan vi sikrer os mod upålidelige komponenter og hacking i de forbundne systemer. (8 jun 2025, nyhedsartikel)

dk Der er ingen tvivl om, at det er computeren. Englænderen Alan Turing var foregangsmanden for det hele. Som matematiker og logiker byggede han ikke blot en computer og var med til at bryde tyskernes kode under anden verdenskrig, han lavede også en matematisk model af, hvad en computer kan, den såkaldte Turing-maskine. (8 jun 2025, nyhedsartikel)

dk Mange fremtidige programfunktioner kommer til at styre processer og systemer, der er sikkerhedskritiske. Derfor er det afgørende, at programmerne kan lave analyser, der giver garantier for, at ting ikke går galt, og at systemerne ikke bliver hacket. (8 jun 2025, nyhedsartikel)

dk Programmerne kan selvfølgelig ikke forudse alt og levere absolutte garantier, for der vil altid være grænsetilfælde, hvor noget kan gå galt. Men de kunstige neurale netværk skal kunne levere garantier for, at under en række antagelser, så vil systemet altid fungere korrekt. (8 jun 2025, nyhedsartikel)

dk Skal det fx også være sådan med selvkørende biler, at de kan lære af hinanden og ikke kun af sig selv? Her er udfordringen, at vi skal finde ud af, hvordan vi sikrer os mod upålidelige komponenter og hacking i de forbundne systemer. (8 jun 2025, nyhedsartikel)

dk Det er ikke anerkendt nok. Folk indser ikke, at det faktisk er kæmpe risici, som vil kunne ramme os som samfund. (8 jun 2025, under radioprogrammet "Brinkmann på P1")

dk Det er alle mulige store infrastrukturer med software i. Det kan være vand- og energiforsyningen og andre ting, vi afhænger af. De kan blive hacket, og så kommer vi til at mærke det. (8 jun 2025, under radioprogrammet "Brinkmann på P1")

dk Computere bliver fx ikke trætte. Det gør mennesker. (8 jun 2025, under radioprogrammet "Brinkmann på P1")

dk Cyberfysiske systemer” lyder meget futuristisk, men det er allerede hverdag i dag, hvor computere og små stykker software overvåger og styrer en eller anden fysisk virkelighed. Det kan være vores energinet, vores biler, vores køleskabe eller mikrobølgeovn. (8 jun 2025, under radioprogrammet "Brinkmann på P1")

dk God gammeldags ingeniørkunst bliver nu mødt af, at der skal software ind i det. Faren består i, at alle de her ting kommer på nettet. Og så er der muligheder for, at de bliver hacket. (8 jun 2025, under radioprogrammet "Brinkmann på P1")


Sidan 1 av 2
1 2

Aantal gezegden is 2307862
varav 1407627 på engelska

Gezegde (2307862 st) Zoek
Categoriën (4590 st) Zoek
Auteurs (212133 st) Zoek
Afbeeldingen (4592 st)
Geboren (10499 st)
Gestorven (3320 st)
Datums (9521 st)
Landen (27876 st)
Idiom (4439 st)
Lengths
Toplists (6 st)



in




Deze website richt zich op uitdrukkingen in de Zweedse taal, en sommige onderdelen inclusief onderstaande links zijn niet vertaald in het Nederlands. Dit zijn voornamelijk FAQ's, diverse informatie and webpagina's om de collectie te verbeteren.


Här har vi samlat citat sedan 1990!

Vad är gezegde?
Hur funkar det?
Vanliga frågor
Om samlingen
Ordspråkshjältar
Hjälp till!



Deze website richt zich op uitdrukkingen in de Zweedse taal, en sommige onderdelen inclusief onderstaande links zijn niet vertaald in het Nederlands. Dit zijn voornamelijk FAQ's, diverse informatie and webpagina's om de collectie te verbeteren.


Här har vi samlat citat sedan 1990!

Vad är gezegde?
Hur funkar det?
Vanliga frågor
Om samlingen
Ordspråkshjältar
Hjälp till!