Dieser Band enthalt die schriftlichen Beitrage zu den Fachgesprachen, die wahrend der 14. Jahrestagung der Gesellschaft fUr Informatik in Braunschweig veranstaltet wurden. Die Beitrage zum Hauptprogramm werden in einem gleichzeitig in derselben Reihe erscheinenden separaten Ta gungsband verbffentlicht. Die 14. Jahrestagung der Gesellschaft fUr Informatik steht unter dem Leitthema "Informatik und Ingenieurwissenschaften" Daran orientieren sich auch die hier verbffentlichten Fachgesprache. Der FachausschuB 4.2 der GI, "RechnergestUtztes Entwerfen und Projektieren", ist mit zwei Fachgesprachen…mehr
Dieser Band enthalt die schriftlichen Beitrage zu den Fachgesprachen, die wahrend der 14. Jahrestagung der Gesellschaft fUr Informatik in Braunschweig veranstaltet wurden. Die Beitrage zum Hauptprogramm werden in einem gleichzeitig in derselben Reihe erscheinenden separaten Ta gungsband verbffentlicht. Die 14. Jahrestagung der Gesellschaft fUr Informatik steht unter dem Leitthema "Informatik und Ingenieurwissenschaften" Daran orientieren sich auch die hier verbffentlichten Fachgesprache. Der FachausschuB 4.2 der GI, "RechnergestUtztes Entwerfen und Projektieren", ist mit zwei Fachgesprachen vertreten: "Produktdefinierende Daten" (Ko ordinator: R.Gnatz) und "Methoden der Evaluierung und EinfUhrung von CAD-Systemen" (Koordinator: J.Encarnacao). Der FachausschuB 1.1, "Grund lagen der Informatik", behandelt aktuelle "Grundlagen der GroBtintegra tion (VLSI)" (Koordinator: K.Mehlhorn), und die Fachgruppe "Robotik" im FachausschuB 1.2, "KUnstliche Intelligenz und Mustererkennung", be schaftigt sich in ihrem Fachgesprach mit dem Thema "Industrieroboter und KUnstliche Intelligenz" (Koordinator: G.Hirzinger). Den Koordinatoren, Mitveranstaltern und Mitgliedern der ProgrammausschUs se der einzelnen Fachgesprache danke ich herzlich fUr ihre MUhe bei de ren Planung, Organisation und DurchfUhrung.
Inhaltsübersicht Seite.- Fachgespräch: Grundlagen der Größtintegration (VLSI).- Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise.- Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise.- Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen.- Testprobleme bei Höchstintegrierten Schaltungen.- VLSI-Realisierungen von Sortieralgorithmen.- Geometrische Probleme beim VLSI-Design.- Anwendung von Plane-sweep Verfahren bei der Layouterzeugung integrierter Schaltungen.- Über Verdrahtungsalgorithmen.- Fachgespräch: Industrieroboter und Künstliche Intelligenz.- Hierarchische Steuerungsstrukturen für mobile Roboter.- Functional Specification of an Expert System for the Problem of Choosing Appropriate Sensor-Equipment for Robot Application.- Zur Bedeutung der Künstlichen Intelligenz für geschickte Roboter.- Entwurf eines Expertensystems für die Merkmalsdefinition auf der Basis von funktionalen Beschreibungen und Mustern.- Erfassung räumlicher Daten aus Mehrfachansichten.- Fachgespräch: Produktdefinierende Daten.- Mathematische Betrachtung des Austauschs von Oberflächendaten mittels der VDA-Schnittstelle.- Erfahrungen mit der IGES- und VDA-Schnittstelle bei AUDI.- Anwendung von IGES zum Austausch von 3D-Modellen am Beispiel des Systems COMPAC.- Transfer and Archiving Product Definition Data Aerospatiale's Experience and Achievements.- Information Transfer between Computer-Aided Design Systems: An Assessment of IGES.- Produktdefinierende Daten im Flugzeugbau.- Werkzeuge zum Test und zur Verifikation systemneutraler Produktdefinitionsdaten.- Erzeugung Produktdefinierender Daten (PDD) aus Produktdarstellenden Modellen (PDM).- Anforderungen an eine Schnittstelle zur Übertragungproduktdefinierender Daten zwischen verschiedenen CAD/CAM-Systemen.- Exchange of Product Definition Data between Dissimilar Systems Using IGES.- Fachgespräch: Methoden der Evaluierung und Einführung von CAD-Systemen.
Inhaltsübersicht Seite.- Fachgespräch: Grundlagen der Größtintegration (VLSI).- Algorithmische Spezifikation von symbolischen Layouts integrierter Schaltkreise.- Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise.- Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen.- Testprobleme bei Höchstintegrierten Schaltungen.- VLSI-Realisierungen von Sortieralgorithmen.- Geometrische Probleme beim VLSI-Design.- Anwendung von Plane-sweep Verfahren bei der Layouterzeugung integrierter Schaltungen.- Über Verdrahtungsalgorithmen.- Fachgespräch: Industrieroboter und Künstliche Intelligenz.- Hierarchische Steuerungsstrukturen für mobile Roboter.- Functional Specification of an Expert System for the Problem of Choosing Appropriate Sensor-Equipment for Robot Application.- Zur Bedeutung der Künstlichen Intelligenz für geschickte Roboter.- Entwurf eines Expertensystems für die Merkmalsdefinition auf der Basis von funktionalen Beschreibungen und Mustern.- Erfassung räumlicher Daten aus Mehrfachansichten.- Fachgespräch: Produktdefinierende Daten.- Mathematische Betrachtung des Austauschs von Oberflächendaten mittels der VDA-Schnittstelle.- Erfahrungen mit der IGES- und VDA-Schnittstelle bei AUDI.- Anwendung von IGES zum Austausch von 3D-Modellen am Beispiel des Systems COMPAC.- Transfer and Archiving Product Definition Data Aerospatiale's Experience and Achievements.- Information Transfer between Computer-Aided Design Systems: An Assessment of IGES.- Produktdefinierende Daten im Flugzeugbau.- Werkzeuge zum Test und zur Verifikation systemneutraler Produktdefinitionsdaten.- Erzeugung Produktdefinierender Daten (PDD) aus Produktdarstellenden Modellen (PDM).- Anforderungen an eine Schnittstelle zur Übertragungproduktdefinierender Daten zwischen verschiedenen CAD/CAM-Systemen.- Exchange of Product Definition Data between Dissimilar Systems Using IGES.- Fachgespräch: Methoden der Evaluierung und Einführung von CAD-Systemen.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309