Advanced Information Processing: Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences

ISBN-13: 9783540526834 / Angielski / Miękka / 1990 / 397 str.

Heinz Schwartzel; Igor A. Mizin

Opis

During the last few years, computers have evolved from pure number crunching machines to "intelligent" problem solving tools. Increasing effort has been spent on the investigation of new approaches and the application of solutions to real world problems. In this way, exciting new techniques have evolved providing support for an increasing number of technical and economical aspects. Applications range from the design and development of ultra highly integrated circuits to totally new man-machine interfaces, from software engineering tools to fault diagnosis systems, from decision support to even the analysis of unemployment. Following a first joint workshop on Advanced Information Processing held in July 1988 at the Institute for Problems of Informatics of the USSR Academy of Sciences (IPIAN) at Moscow, this was the second time that scientists and researchers from the USSR Academy of Sciences and Siemens AG, Corporate Research and Development, exchanged results and discussed recent advances in the field of applied computer sciences. Initiated by Prof. Dr. I. Mizin, Corresponding Member of the USSR Academy of Sciences and Director of IPIAN, and Prof. Dr. H. Schwartzel, Vice President of the Siemens AG and Head of the Applied Computer Science & Software Department, a joint symposium was arranged at the USSR Academy of Sciences in Moscow on June 5th and 6th 1990. The meetings on Information Processing and Software and Systems Design Automation provided a basis both for presentations of ongoing research and for discussions about specific problems.

Spis treści

Section 1: Information Processing and Software.- New Application Related Developments in Informatics with Verified Results.- Graphs, Automata, Petri Nets From Sequential to Distributed and Concurrent Systems.- Approaches to the Representation of Knowledge.- Inductive Inference in AI Systems.- Construction of High-Quality Software with Formally Guaranteed Properties.- An Intelligent System for Distributed System Software Design.- Integrated Environment for Software System Design.- Object-Oriented CASE.- Automatic Speech Synthesis by Computer.- Phoneme Recognition of Speech.- A Machine Learning Approach to Learn Rules for Fault Diagnosis in Power Distribution Systems.- Artificial Neural Networks: Models, Implementations, and Selected Applications.- Features of the Generalized Heterogeneous Information Resource Representation Language.- Technological Complexes for Application Program Development.- Document Image Understanding.- Computer Hardware Verification and Modeling.- Multi Media Human-Computer Communication.- Distributed Software Systems: Trends from Communication to Cooperation.- Towards a New Generation of Diagnosis Systems.- Speech-Understanding Systems: The Communication Technology of Tomorrow ?.- Section 2: Systems Design Automation.- Design of Integrated Systems.- VLSI-Based System Design Challenges in the Early 1990s.- Methodology Aspects of Logical Structure Synthesis of Application Specific Integrated Circuits.- High-Level Synthesis — A Step Towards System Design Automation.- Algorithmic Environment for VLSI Design on Cellular Automata.- HDL for System Design.- Hierarchical Physical Design of Complex VLSI Circuits.- Methods and Algorithms for Hierarchical Layout Synthesis of VLSI Circuits.- System-Related Aspects of Testing.- Directions of Reducing the Computational Complexity in LSI Circuit Simulation.- System Shell for VLSI CAD.