| |
| Previous course: C5336 |
| Offered by:
Department of Electric Power Engineering
(ELTEK) |
| No credit points with: C5336 |
| Prerequisite: 53153/C5331 |
| Recommended semester:
4th semester |
| Limitation: Max. 20 |
| Scope and form: Lectures and exercises |
| Examination:
Evaluation of report and oral presentation
(13 point scale
) |
| Contact person: |
Peter Falster, ELTEK, Building 325, Tel. +45 4525 3522 |
|
| Aim: Introduction to the foundation of a new technology "array-based logic" that is presently being developed in cooperation with electric power companies and industry. |
Contents: Array-based logic is a novel technology founded on an algebraic-geometrical representation of logic that has been developed within the framework of systems science. The original break-through was achieved jointly with the Danish company Bang & Olufsen A/S in the area of logic control of their audio-video products. However, the perspective of application is far wider, presently being explored in joint projects with electric power companies, the Danish state railways (DSB), and other industrial partners.
The course presents the scientific foundation of this technology with special emphasis on an array-theoretic formulation of logic by: (1) Considerations of analogy between physics and logic; (2) Representation of logic by nested data arrays; (3) Array-theoretic operations underlying an engineering platform for the developement of logical systems in industry. |
