Knowledge-based Software Development for Real-time Distributed Systems

Knowledge-based Software Development for Real-time Distributed Systems
Author: Jeffrey J.-P. Tsai
Publisher: World Scientific
Total Pages: 244
Release: 1993
Genre: Computers
ISBN: 9789810211288

Download Knowledge-based Software Development for Real-time Distributed Systems Book in PDF, Epub and Kindle

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.

Guide to Programs

Guide to Programs
Author: National Science Foundation (U.S.)
Publisher:
Total Pages: 396
Release: 1992
Genre: Federal aid to research
ISBN:

Download Guide to Programs Book in PDF, Epub and Kindle

Proceedings

Proceedings
Author: Azzedine Boukerche
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 292
Release: 1998
Genre: Computers
ISBN:

Download Proceedings Book in PDF, Epub and Kindle

This volume covers topics including: cache performance; multicast routing; TCP/IP performance; ATM networks; networks and performance; parallel and distributed systems; modelling techniques; simulation techniques and applications; and wireless networks.

Scientific and Technical Aerospace Reports

Scientific and Technical Aerospace Reports
Author:
Publisher:
Total Pages: 456
Release: 1995
Genre: Aeronautics
ISBN:

Download Scientific and Technical Aerospace Reports Book in PDF, Epub and Kindle

Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

Building Expert Systems in Prolog

Building Expert Systems in Prolog
Author: Dennis Merritt
Publisher: Springer Science & Business Media
Total Pages: 360
Release: 2012-12-06
Genre: Computers
ISBN: 1461389119

Download Building Expert Systems in Prolog Book in PDF, Epub and Kindle

When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in the Telephone Shop of the Gennan Federal PTT near the Munich National Theater, and helps configure telephone systems and small PBXs for mostly private customers. It has a neat, graphical interface, and constructs and prices an individual telephone installation interactively before the very eyes of the customer. The hidden features of the system are even more impressive. It is part of an expert system network with a distributed knowledge base that will grow to about 150 installations in every Telephone Shop throughout Gennany. Each of them can be updated individually overnight via Teletex to present special offers or to adapt the selection process to the hardware supplies currently available at the local ware houses.

Power System Restoration

Power System Restoration
Author: M. M. Adibi
Publisher: John Wiley & Sons
Total Pages: 706
Release: 2000-06-22
Genre: Technology & Engineering
ISBN: 0780353978

Download Power System Restoration Book in PDF, Epub and Kindle

"At a time when bulk power systems operate close to their design limits, the restructuring of the electric power industry has created vulnerability to potential blackouts. Prompt and effective power system restoration is essential for the minimization of downtime and costs to the utility and its customers, which mount rapidly after a system blackout. Power System Restoration meets the complex challenges that arise from the dynamic capabilities of new technology in areas such as large-scale system analysis, communication and control, data management, artificial intelligence, and allied disciplines. It provides an up-to-date description of the restoration methodologies and implementation strategies practiced internationally. The book opens with a general overview of the restoration process and then covers: * Techniques used in restoration planning and training * Knowledge-based systems as operational aids in restoration * Issues associated with hydro and thermal power plants * High and extra-high voltage transmission systems * Restoration of distribution systems Power System Restoration is essential reading for all power system planners and operating engineers in the power industry. It is also a valuable reference for researchers, practicing power engineers, and engineering students." Sponsored by: IEEE Power Engineering Society

Distributed Computer Control Systems 1989

Distributed Computer Control Systems 1989
Author: L. Motus
Publisher: Elsevier
Total Pages: 149
Release: 2014-07-04
Genre: Computers
ISBN: 1483298523

Download Distributed Computer Control Systems 1989 Book in PDF, Epub and Kindle

The focus of the workshop was on recent advances in the theory, applications and techniques for distributed computer control systems. Topics included: tools and methods for inner layers of DCCS; application papers presenting operational DCCS; the infiltration of true real-time or "time critical" concepts and the emergence of artificial intelligence methods in DCCS applications, leading to novel computer architectures being integrated in computer networks. The book will be of interest not only to those involved in DCCS but also software engineers and distributed computing scientists.

Decentralized Systems

Decentralized Systems
Author: Michel Cosnard
Publisher: North-Holland
Total Pages: 468
Release: 1990
Genre: Computers
ISBN:

Download Decentralized Systems Book in PDF, Epub and Kindle

Decentralized systems have an increasing impact because they are the key to cooperation and even integration of large organizations and services. The increasing demands for computation, related distributed information and reliability have overtaken single machines, forcing the use of interconnected ones. The resulting challenges and problems are leading to new ideas, concepts and methods. The papers in this book cover a range of topics including: Communication Networks, Distributed Operating Systems, Object and Actor Oriented Systems, Logic Programming, Theoretical Models and Analysis, Parallel and Distributed Algorithms, Methodology of Parallelization, Scheduling and Load Balancing, and Performance Evaluation.