- Table View
- List View
Systematische Beurteilung technischer Schadensfälle
by Michael Pohl Günter LangeZunächst stehen bei der Havarie technischer Systeme die Fragen nach Sicherheit und Kosten im Vordergrund. Aber erst durch die systematische Analyse der schadensauslösenden Mechanismen bekommt man den Schlüssel zur nachhaltigen Prophylaxe in dieHand. Das defekte Bauteil ist der ?Datenträger? für den Werkstoff und seinen Zustand sowie für die Beanspruchungen, die er erfahren hat und für den Mechanismus seines Versagens. Die Untersuchungsmethoden der Materialwissenschaft und Werkstofftechnik sind in der Lage, diese Informationen zu entschlüsseln. Durch einen Ist/Soll-Vergleich lässt sich der Schadensauslöser dingfest machen.Das vorliegende Buch ist aus einem gleichnamigen Seminar hervorgegangen. Dieses Seminar hat in mehr als 30 Jahren gezeigt, dass Schadensfälle in überwiegender Zahl auf Zuwiderhandeln gegen bekannte Regeln der Technik beruhen. Daher liegt der Fokusdieses Nachschlagewerks auf der systematischen Gliederung des Fachgebietes und der anschaulichen Erklärung der Schadensmechanismen in der Theorie sowie durch die praktische Darstellung realer Schadensfälle. Diese Kenntnisse sind für Konstrukteure und Produktionstechniker ebenso von Interesse wie für Qualitäts- und Schadensanalytiker.
Systematische Bewertung des defektdominierten Ermüdungsverhaltens der additiv gefertigten austenitischen Stähle X2CrNiMo17-12-2 und X2CrNiMo18-15-3 (Werkstofftechnische Berichte │ Reports of Materials Science and Engineering)
by Felix Julian SternFelix Julian Stern befasst sich in dieser Arbeit mit der Charakterisierung von Stählen, die mittels pulverbettbasierter Laserfusion gefertigt wurden. Von besonderer Bedeutung sind für additiv gefertigte Werkstoffe prozessbedingte Defekte wie Poren und Anbindungsfehler, die insbesondere unter Ermüdungsbeanspruchung durch ihre Kerbwirkung zu einem vorzeitigen Versagen des Werkstoffs führen. Aus diesem Grund liegt der Fokus der Untersuchungen zu einem Teil auf einer systematischen Herangehensweise zur Charakterisierung des Defekteinflusses auf die Ermüdungseigenschaften, indem Defekte mit definierter Größe, Form und Lage in einen austenitischen Chrom-Nickel-Stahl erzeugt wurden. An diesen Proben erfolgten Ermüdungsversuche, deren Ergebnisse in Kombination mit den Informationen über den künstlich eingebrachten Defekt dazu verwendet werden, zwei bruchmechanische Modelle von Murakami sowie von Shiozawa zur Beschreibung des Ermüdungsverhaltens zu validieren. Im zweiten Teil werden diese Modelle dazu genutzt, den Einfluss des Legierungselements Stickstoff in einem weiteren austenitischen Chrom-Nickel-Stahl zu untersuchen, wobei sowohl das Ermüdungsverhalten an Luft als auch in korrosivem Medium erfolgreich beschrieben wird. Diese Arbeit bietet somit Ansätze zur systematischen Bewertung des Einflusses von Defekten auf additiv gefertigte Werkstoffe und zur Beschreibung des Ermüdungsverhaltens unter korrosiver Beanspruchung.
Systematische Steigerung der Energieeffizienz im Karosseriebau (AutoUni – Schriftenreihe #150)
by Hanno TeiwesDie vorliegende Dissertation präsentiert ein Konzept zur Steigerung der Energieeffizienz im Karosseriebau um durchschnittlich 10-15%. Die dafür benötigte Energietransparenz wird durch die strukturierte energetische Analyse bestehender Karosseriebauanlagen erreicht. Weiterhin besteht bereits im Karosseriebauplanungsprozess die Möglichkeit einer Energieprognose der zu planenden Arbeitsgruppen als auch des energetischen Lastprofils. In Abhängigkeit der energetischen Bewertung werden mit Hilfe eines Expertensystems entsprechend zu ergreifende Maßnahmen dem Planer zur Verfügung gestellt.
Systematisches Konstruieren: Praxisnah und prägnant (essentials)
by Markus HahneDieses essential bietet einen theoriefreien Einblick in den faszinierenden und diffizilen Entstehungsprozess technischer Produkte, der anhand eines begleitenden Praxisbeispiels einfach nachvollzogen und bis zur ersten eigenen Maschinenkonstruktion selbst weiterentwickelt werden kann. Hierbei helfen die vorgestellten Methoden und Beispiele ebenso wie der Aufbau des essentials. Der Konstruktionsprozess wird in seinem natürlichen Verlauf nachgezeichnet. Zugleich wird das bereichsübergreifende Spektrum aller konstruktionsrelevanten Bereiche aufgezeigt sowie auf wichtige Entscheidungspunkte hingewiesen.
SystemC: From the Ground Up, Second Edition
by David C. Black Bill Bunton Jack Donovan Anna KeistSystemC provides a robust set of extensions to the C++ language that enables rapid development of complex models of hardware and software systems. The authors focus on practical use of the language for modeling real systems, showing: A step-by-step build-up of syntax Code examples for each concept Over 8000 lines of downloadable code examples Updates to reflect the SystemC standard, IEEE 1666 Why features are as they are Many resource references How SystemC fits into an ESL methodology This new edition of an industry best seller is updated to reflect the standardization of SystemC as IEEE 1666 and other improvements that reflect feedback from readers of the first edition. The wide ranging feedback also include suggestions from editors of the Japanese and Korean language translations, professors and students, and computer engineers from a broad industrial and geographical spectrum, all who have successfully used the first edition. New chapters have been added on the SystemC Verification Library and the Transaction Level Modeling, and proposed changes to the current SystemC standard. David Black and Jack Donovan, well known consultants in the EDA industry, have teamed with Bill Bunton and Anna Keist, experienced SystemC modeling engineers, to write the second edition of this highly popular classic. As a team the authors bring over 100 years of ASIC and system design experience together to make a very readable introduction to SystemC.
SystemC and SystemC-AMS in Practice
by Amal Banerjee Balmiki SurThis book describes how engineers can make optimum use of the two industry standard analysis/design tools, SystemC and SystemC-AMS The authors use a system-level design approach, emphasizing how SystemC and SystemC-AMS features can be exploited most effectively to analyze/understand a given electronic system and explore the design space. The approach taken by this book enables system engineers to concentrate on only those SystemC/SystemC-AMS features that apply to their particular problem, leading to more efficient design. The presentation includes numerous, realistic and complete examples, which are graded in levels of difficulty to illustrate how a variety of systems can be analyzed with these tools.
Systeme von Turbofan-Triebwerken: Funktionen der Triebwerkssysteme von Verkehrsflugzeugen
by Andreas Linke-DiesingerUm das Funktionsprinzip von Turbinentriebwerken zu verstehen, reicht es nicht aus, das grundsätzliche Funktionsprinzip einer Gasturbine zu kennen. Es ist ebenfalls erforderlich, die Funktionen und den Aufbau der Triebwerkssysteme zu verstehen. Dieses Buch bietet eine Einführung in die Systemfunktionen von modernen Turbofan-Triebwerken. Es ist für Leser geschrieben, die mit dem Funktionsprinzip des Turbinentriebwerks vertraut sind und sich grundlegend mit den Funktionen der Triebwerkssysteme befassen wollen. Mit Hilfe dieses Buches erhält der Leser auch eine Orientierung in dem scheinbaren Gewirr von Rohrleitungen, Schläuchen, Kabeln und Systembauteilen an einem Turbofan-Triebwerk. In diesem Buch findet der Leser Informationen über den Betrieb der Triebwerkssysteme, die Aufgaben ihrer Komponenten und die in der Luftfahrtindustrie übliche Terminologie. Die englischen Begriffe werden ebenfalls genannt oder auch im Text verwendet, wenn dies sinnvoll ist. Die Triebwerkssysteme werden anhand von Beispielen erklärt, die von heute in Verwendung befindlichen Triebwerkstypen verschiedener Hersteller stammen. Dieses Buch ist eine nützliche Informationsquelle für Mechaniker und Ingenieurs-Studenten. Auch Flugschüler in der Berufspilotenausbildung finden hier Informationen, die das in ihrer Ausbildung vermittelte Wissen erweitern. Selbst für Leser ohne Ingenieursausbildung und für solche, die sich nicht beruflich mit der Materie befassen, bietet das Buch umfassende und leicht verständliche Informationen. Es hilft ihnen, die Funktionsprinzipien der Systeme von Turbofan-Triebwerken zu verstehen.
Systemführung: Betrieb elektrischer Energieübertragungsnetze
by Karl Friedrich SchäferIn diesem Buch werden die wesentlichen Aufgaben der Systemführung von elektrischen Übertragungsnetzen beschrieben. Dazu gehören die Netzführung, die Einhaltung der Systembilanz, die Gewährleistung der Systemsicherheit und die Koordinierung des Stromhandels. Das Buch gibt einen Überblick über den Aufbau und die Struktur von Übertragungsnetzen sowie über deren geschichtliche Entwicklung. Die Einbindung der nationalen Übertragungsnetze in die europäische Verbundsystemführung und in die Sicherheitszentren ist ebenfalls Bestandteil dieses Buches. Es werden der Aufbau und die Aufgaben von Schaltleitungen beschrieben. Die künftige Entwicklung im Bereich der Systemführung wird an den Beispielen neuer Visualisierungskonzepte und kurativem Engpassmanagement skizziert.
Systemführung: Betrieb elektrischer Energieübertragungsnetze
by Karl Friedrich SchäferIn diesem Buch werden die wesentlichen Aufgaben der Systemführung von elektrischen Übertragungsnetzen beschrieben. Dazu gehören die Netzführung, die Einhaltung der Systembilanz, die Gewährleistung der Systemsicherheit und die Koordinierung des Stromhandels. Das Buch gibt einen Überblick über den Aufbau und die Struktur von Übertragungsnetzen sowie über deren geschichtliche Entwicklung. Die Einbindung der nationalen Übertragungsnetze in die europäische Verbundsystemführung und in die Sicherheitszentren ist ebenfalls Bestandteil dieses Buches. Es werden der Aufbau und die Aufgaben von Schaltleitungen beschrieben. Die künftige Entwicklung im Bereich der Systemführung wird an den Beispielen neuer Visualisierungskonzepte und kurativem Engpassmanagement skizziert.
Systemic and Systematic Project Management
by Joseph Eli KasserThis book applies systems thinking to treat project management in a systemic and systematic manner from a problem-solving perspective. Considering the project as a system, the book discusses traditional project planning and organizing, as well as some neglected aspects of the project, namely how to prevent cost and schedule escalation, how to deal with change, recognize problems in time to prevent project failure and what to do when things go wrong during the implementation states of a project. This book provides you with a better understanding of the systems approach to problem-solving and project management that will enable you to be more successful at managing projects. Features Treats projects as systems Presents project management as a problem-solving paradigm Discusses how to incorporate prevention into planning and how to show the value Describes what to do and how to cope with unanticipated problems that arise during the project implementation state Introduces new tools and techniques
Systemic and Systematic Risk Management
by Joseph E. KasserThis book discusses risk management as it applies to problem-solving for simple, complex and wicked problems faced by policy creators and implementors, project managers and systems engineers in the context of policies, large engineering projects (LEPs), projects and systems. When applying systems thinking to risk management, it can be seen that risk management applies to almost every action taken in daily life. This book: Introduces the systems approach of integrating risk management into policy creation and implementation, project management and systems engineering, such as the risk framework and the Firm Fixed Price (FFP) contract with penalties and bonuses. Introduces a number of out-of-the box concepts building on the application of the systems thinking tools in the system thinker’s toolbox. Points out that integrating risk management into policy and project management and systems engineering is just good management and engineering practice. Discusses the flow of risk in a policy from creation through implementation via LEPs and simpler projects, identifying where risks arise and where they should be dealt with. Presents the risks in the relationship between policy creation, implementation, project management and systems engineering. Discusses risks throughout the policy implementation process and shows how the nature of risks changes from political to financial to technological as implementation proceeds. Discusses managing complexity and specifies the minimum number of elements in a system for it to be defined as, and managed as, complex. Points out that in most instances the traditionally ignored major implementation risk is that of poor performance by personnel. Shows how to proactively incorporate prevention into planning in order to prevent risks, as well as how to mitigate them when they occur.
Systemic Aspects of Innovation and Design
by Marzia MortatiThe book provides a snapshot of a hot topic - the systemic nature of innovation and its relevance to design - with a trifold perspective: the academic level - the literature on innovation studies and design is often neglected and a clear connection between the two topics taken for granted; the research level - collaborative models are currently considered great opportunities for transforming consumption, production and distribution of goods, but a clear scholarly discourse is still forming; the political level - the European Commission and the OECD are devoting much effort to understanding and measuring the impact of design in innovation processes and firms and a clear contribution would greatly support this path. Thus the book provides an informed, historical and nuanced perspective to the relationship between design and innovation to contribute to all three levels and to propose a point of view that goes beyond aesthetics and meanings.
Systemic Circular Economy Solutions for Fiber Reinforced Composites (Digital Innovations in Architecture, Engineering and Construction)
by Marcello Colledani Stefano TurriThis open access book provides an overview of the work undertaken within the FiberEUse project, which developed solutions enhancing the profitability of composite recycling and reuse in value-added products, with a cross-sectorial approach. Glass and carbon fiber reinforced polymers, or composites, are increasingly used as structural materials in many manufacturing sectors like transport, constructions and energy due to their better lightweight and corrosion resistance compared to metals. However, composite recycling is still a challenge since no significant added value in the recycling and reprocessing of composites is demonstrated. FiberEUse developed innovative solutions and business models towards sustainable Circular Economy solutions for post-use composite-made products. Three strategies are presented, namely mechanical recycling of short fibers, thermal recycling of long fibers and modular car parts design for sustainable disassembly and remanufacturing. The validation of the FiberEUse approach within eight industrial demonstrators shows the potentials towards new Circular Economy value-chains for composite materials.
Systemic Delivery Technologies in Anti-Aging Medicine: Methods and Applications (Healthy Ageing and Longevity #13)
by Wing-Fu LaiThis book presents a multidisciplinary assessment of the state of science in the use of systemic delivery technologies to deliver anti-aging therapeutics now under development. There is a gap between basic aging research and the development of intervention technologies. This major obstacle must be overcome before biogerontological interventions can be put into clinical practice. As biogerontology comes to understand aging as a systemic degenerative process, it is clear that there is a pressing need for technologies that enable cells and tissues in a fully developed adult body to be manipulated systemically to combat aging. The authors review advances in the chemistry and engineering of systemic delivery methods and analyze the strengths and limitations of each.The book is organized into six sections. The first offers an overview of the need for systemic delivery technologies alongside the development of anti-aging therapies and describes approaches that will be required for studying the properties and efficiency of carriers for systemic delivery. Sections II, III and IV describe recent advances in a range of strategies that may enable systemic delivery to help combat aging conditions ranging from cell senescence to decline in immune function and hormonal secretion. Section V discusses practical strategies to engineer and optimize the performance of delivery technologies for applications in systemic delivery, along with their working principles. The final section discusses technical and biological barriers that must be overcome as systemic delivery technologies move from research laboratory to clinical applications aimed at tackling aging and age-associated diseases.Benefiting scholars, students and a broader audience of interested readers, the book includes helpful glossary sections in each chapter, as well as sidebars that highlight important notes, and questions for future research.
Systemic Design Methodologies for Electrical Energy Systems: Analysis, Synthesis and Management
by Xavier RoboamThis book proposes systemic design methodologies applied to electrical energy systems, in particular analysis and system management, modeling and sizing tools.It includes 8 chapters: after an introduction to the systemic approach (history, basics & fundamental issues, index terms) for designing energy systems, this book presents two different graphical formalisms especially dedicated to multidisciplinary devices modeling, synthesis and analysis: Bond Graph and COG/EMR. Other systemic analysis approaches for quality and stability of systems, as well as for safety and robustness analysis tools are also proposed. One chapter is dedicated to energy management and another is focused on Monte Carlo algorithms for electrical systems and networks sizing.The aim of this book is to summarize design methodologies based in particular on a systemic viewpoint, by considering the system as a whole. These methods and tools are proposed by the most important French research laboratories, which have many scientific partnerships with other European and international research institutions. Scientists and engineers in the field of electrical engineering, especially teachers/researchers because of the focus on methodological issues, will find this book extremely useful, as will PhD and Masters students in this field.
A Systemic Perspective on Cognition and Mathematics (Communications in Cybernetics, Systems Science and Engineering)
by Jeffrey Yi-Lin ForrestThis book is devoted to the study of human thought, its systemic structure, and the historical development of mathematics both as a product of thought and as a fascinating case analysis. After demonstrating that systems research constitutes the second dimension of modern science, the monograph discusses the yoyo model, a recent ground-breaking deve
A Systemic-Structural Theory of Activity: Applications to Human Performance and Work Design
by Gregory Bedny Waldemar KarwowskiWhile its importance is widely recognized, the theoretical basis and practical applications of Activity Theory have not yet been firmly established in the field of human factors and ergonomics, experimental, and work psychology. This book presents the foundations of the systemic-structural theory of human activity. It contains multiple practical examples of systemic-structural theory of activity analyses, including a study of production operations in the manufacturing environment, system safety evaluation, work improvement, equipment design, robot system performance, and design of human/computer interaction tasks in the context of training, efficiency, work motivation, fatigue, personality, and individual style of performance.
A Systemic Transition to Circular Economy: Business and Technology Perspectives (Greening of Industry Networks Studies #12)
by Aldo Roberto Ometto Joseph Sarkis Steve EvansThe book will explore, using multiple perspectives from multiple contributors, two main aspects for circular economy (CE) business and technology (B&T): systems and value perspectives. Going beyond a linear-economic perspective--the traditional perspective--CE needs to develop intentional and integrated paths to help restore physical resources and regenerate the functions of natural and anthropic systems, creating greater economic and social opportunities, with environmentally positive outcomes. Whether this is feasible and possible within the context of CE and B&T is something that will be central to the contributions made in this book. A major objective of the book is to deliver practical and fundamental knowledge of B&T CE insights combining a systems perspective and value creation for socio-technical innovation leading to sustainable transitions and effective transformations. Based on those key aspects, the book is structured in two parts, one from a more theoretical and conceptual basis in Part 1, and a more applied perspective in Part 2. The chapters in Part 1 are presented through the lens of business and systems transitions. In Part 2, the chapters present the opportunities and the journeys from real case studies of companies engaged in circular business strategies, processes, practices, and technologies.
Systemic Yoyos: Some Impacts of the Second Dimension (Systems Evaluation, Prediction, and Decision-Making)
by Yi LinA Novel Method to Analyze Problems and Encourage Systemic ThinkingReal-Life Case Studies Illustrate the Application of the Systemic Yoyo Model in Diverse AreasWritten by the co-creator of the systemic yoyo model, Systemic Yoyos: Some Impacts of the Second Dimension shows how the yoyo model and its methodology can be employed to study many unsettled
Systemintegration in Industrie 4.0 und IoT: Vom Ethernet bis hin zum Internet und OPC UA
by Wolfgang BabelWer Industrie 4.0 sagt, meint Internet oder auch IoT und wer IoT sagt, meint auch Ethernet. Alle drei Begriffe sind eng miteinander verbunden. Das Buch zeigt die geschichtliche Entwicklung und die Technische Entwicklung von Hardware, Software sowie Protokolle von Ethernet über Internet (IoT) bis hin zu OPC UA, der heute besten plattformunabhängigen Kommunikationsvernetzung. Ein Fokus von Industrie 4.0 ist die Betrachtung und Einordnung der Künstlichen Intelligenz und der Prädiktiven Wartung . Es werden Beispiele für Vernetzungstopologien von der Fabrikebene über die SPS-Ebene, SCADA/HMI-Ebene MES bis hin zur ERP-Ebene erläutert. Schwerpunkte sind Feldbusse, Internet und Ethernet TCP/IP. Es werden die verschiedenen Ethernet/Internet- und echtzeitfähigen Feldbusse wie PROFINET, EtherCAT, Ethernet/IP sowie deren Implementierung erläutert. Thema sind horizontale und vertikale Kommunikationsstrukturen, Feldbusse und Kommunikationsprotokolle gemäß des OSI-Modells und der Automatisierungspyramide gezeigt und wie diese in modernen Industrieanwendungen Eingang finden.
Systemische Bionik: Impulse für eine nachhaltige gesellschaftliche Weiterentwicklung (essentials)
by E. W. Udo KüppersDieses Essential vermittelt einen grundlegenden Einblick in die Systemische Bionik als Grenzen überwindende Disziplin. Der Autor erläutert auf leicht verständliche Weise, welchen Wert die Bionik für ganzheitliche Problemlösungen bietet und welche Rolle eine intakte Natur dabei spielt. Wegweisend und zielführend bei diesem systembionischen Vorgehensmodell ist das Erkennen von Zusammenhängen in Natur und Technik.
Systemleichtbau für die Luftfahrt (essentials)
by Martin Wiedemannessentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als „State-of-the-Art“ in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. essentials informieren schnell, unkompliziert und verständlichals Einführung in ein aktuelles Thema aus Ihrem Fachgebietals Einstieg in ein für Sie noch unbekanntes Themenfeldals Einblick, um zum Thema mitreden zu könnenDie Bücher in elektronischer und gedruckter Form bringen das Fachwissen von Springerautor*innen kompakt zur Darstellung. Sie sind besonders für die Nutzung als eBook auf Tablet-PCs, eBook-Readern und Smartphones geeignet. essentials sind Wissensbausteine aus den Wirtschafts-, Sozial- und Geisteswissenschaften, aus Technik und Naturwissenschaften sowie aus Medizin, Psychologie und Gesundheitsberufen. Von renommierten Autor*innen aller Springer-Verlagsmarken.Dies ist ein Open-Access-Buch.
Systems 4.0: Systems Foundations for Industry 4.0 (Analytics and Control)
by Adedeji B. Badiru Olufemi A. OmitaomuThe underlying premise for Industry 4.0 is a systems approach. This book introduces the concept of Systems 4.0 as a foundational requirement for the success of Industry 4.0 in the same way that Quality 4.0 has emerged to advance Industry 4.0. Systems 4.0: Systems Foundations for Industry 4.0 discusses the role of the professional engineer in advancing commerce and industry. It offers an introduction to Industry 4.0 and how to leverage the digital era to improve industrial operations. The book presents and describes the first industrial revolution on through to the fourth revolution and provides general systems engineering principles that can be used with Industry 4.0. This is a practical guide for professional engineers and consultants involved in Industrial Engineering, Mechanical Engineering, Operations Management and can also be used as a reference for students.
Systems Analysis Approach for Complex Global Challenges
by Priscilla Mensah David Katerere Sepo Hachigonta Andreas RoodtThis book, which contains a collection of review articles as well as focus on evidence-based policy making, will serve as a valuable resource not just for all postgraduate students conducting research using systems analysis thinking but also for policy makers. To our knowledge, a book of this nature which also has a strong African focus is currently not available. The book examines environmental and socio-economic risks with the aim of providing an analytical foundation for the management and governance of natural resources, disasters, addressing climate change, and easing the technological and ecological transitions to sustainability. It provides scientific and strategic analysis to better understand the dynamics of future energy transitions, their main driving forces, enabling factors, barriers, as well as their consequences for the social, economic and environmental dimensions of human wellbeing. Science-based policy advice is achieved through an integrated assessment and modeling of how to simultaneously address the major energy policy challenges in the areas of environment (climate change and air pollution), energy poverty (or access to affordable and clean energy for the poor), energy security and reliability. It also aims to improve our understanding of ecosystems and their management in today’s changing world—in particular, the current state of ecosystems, and their ecological thresholds and buffering capacities. It provides support for policy makers in developing rational, realistic and science-based regional, national and global strategies for the production of fuel, food and fibre that sustain ecosystem services and safeguard food security. Finally, it addresses the human development dimension of global change based on comprehensive studies on the changing size and composition of human populations around the world by analyzing both their impacts and the differential vulnerabilities by age, gender and level of education.
Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965
by John Hart Satoru TakasuThis book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time. The chief developments in computer science have been concerned with the "applied" rather than the "pure" areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between "applied" and "pure" by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences.