| 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. |