Conference Proceeding
Refine
Year of publication
- 2005 (37) (remove)
Document Type
- Conference Proceeding (37) (remove)
Keywords
- Bauingenieurwesen (3)
- CAD (3)
- civil engineering (3)
- Arbeitsbelastung (1)
- Bewertung von Studienleistungen . Studierendenmobilität (1)
- Bologna-Prozess (1)
- ECTS (1)
- Energietechnik (1)
- Energy (1)
- Energy Systems (1)
- European Credit Transfer System (1)
- Europäisches Leistungspunktesystem (1)
- Evolutionary Neurocontrol (1)
- Funktionsmodelle (1)
- Kernenergie (1)
- Low-Thrust Propulsion (1)
- Nuclear Applications (1)
- Produktentstehung (1)
- Produktenwicklung (1)
- Prototypen (1)
- Prototyper (1)
- Prototyping (1)
- Pyrometrie (1)
- Rapid prototyping <Fertigung> (1)
- Spacecraft Trajectory Optimization (1)
- Temperaturmessung (1)
- Umwelt (1)
- Workload (1)
- acoustic pyrometry (1)
- environment (1)
- flue gas components (1)
- product development (1)
- product emergence (1)
- prototyper (1)
- prototypes (1)
- steam production (1)
- temperature measurement (1)
- working models (1)
Institute
- Fachbereich Energietechnik (15)
- Fachbereich Luft- und Raumfahrttechnik (4)
- Fachbereich Maschinenbau und Mechatronik (4)
- Fachbereich Medizintechnik und Technomathematik (4)
- Solar-Institut Jülich (3)
- Fachbereich Elektrotechnik und Informationstechnik (2)
- Fachbereich Wirtschaftswissenschaften (2)
- IfB - Institut für Bioengineering (2)
- Fachbereich Bauingenieurwesen (1)
- INB - Institut für Nano- und Biotechnologien (1)
- Nowum-Energy (1)
- ZHQ - Bereich Hochschuldidaktik und Evaluation (1)
In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0
Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben