Tidligere kursus: C5336 |
Udbydes af:
Institut for Elteknik
(ELTEK) |
Pointspærring: C5336 |
Faglige forudsætninger: 53153 |
Vejledende semester:
4. semester. |
Deltager antal: Max. 20 |
Undervisningsform: Forelæsninger og øvelser |
Evalueringsform:
Rapportaflevering samt mundtlig fremlæggelse
(13-skala
) |
Kontaktperson: |
Peter Falster, ELTEK, bygn. 325, tlf. 4525 3522 |
|
Kursusmål: At indføre deltagerne i grundlaget for en ny teknologi "arraybaseret logik", der er under udvikling sammen med elforsyning og industri. |
Kursusindhold: Arraybaseret logik er en ny teknologi med videnskabeligt grundlag i en geometrisk-algebraisk formalisering af logikken, som er frembragt indenfor området systemlære. Det første gennembrud opnåedes i samarbejde med B&O omkring logisk styring af firmaets audio-video produkter. Anvendelsesområdet er imidlertid langt bredere og har resulteret i samarbejde med elforsyning, DSB og industrielle partnere. I kurset gennemgås det videnskabelige grundlag for denne teknologi med særlig vægt på den arrayteoretiske formulering af logikken ved: (1) Analogibetragtninger mellem fysik og logik; (2) Repræsentation af logikken ved nestede data-arrays; (3) Arrayteoretiske operationer bag en ingeniørplatform til udvikling af logiske systemer i industrien. |