Abstract: New developments in Computer Science and Technology are rendering it possible to create computer systems that allow the engineer to use his own, accustomed language and notation both to communicate his probl...
详细信息
This paper describes the methodological and implementational aspects of an intelligent system which is being developed for the planning of plant-side process operations such as start-up, response to faults, optimizati...
详细信息
This paper describes the methodological and implementational aspects of an intelligent system which is being developed for the planning of plant-side process operations such as start-up, response to faults, optimization, etc. In particular, it shows how knowledge is modeled, how the planning methodology is structured, and how current developments in artificial intelligence and LISP computers are being used to provide the implementational framework.
Personal workstations with bitmap displays and window systems are becoming a widely used computing tool. This article describes some of the capabilities of an experimental package for drawing scatterplots and histogra...
详细信息
Personal workstations with bitmap displays and window systems are becoming a widely used computing tool. This article describes some of the capabilities of an experimental package for drawing scatterplots and histograms that has been implemented on such a workstation. An example illustrates how those capabilities can be used in the graphical analysis of a data set. [ABSTRACT FROM AUTHOR]
A constraint describes a relation that must be maintained. Constraints provide a useful mechanism to aid in the construction of interactive graphical user interfaces. They can be used to maintain consistency between d...
详细信息
A constraint describes a relation that must be maintained. Constraints provide a useful mechanism to aid in the construction of interactive graphical user interfaces. They can be used to maintain consistency between data and a view of the data, to maintain consistency among multiple views, to specify layout, and to specify relations between events and responses for describing animations of interactive systems and event-driven simulations. object-oriented techniques for constraint representation and satisfaction are presented, and a range of examples that demonstrate the practical use of static and temporal constraints for such purposes is presented. These examples include animations of algorithms and physics simulations, and constructing user-interface elements such as file browsers, views onto statistical data, and an interactive monitor or a simulated operating system.
A system for simulating neural networks has been written in the LISP dialect, Scheme, using an object-oriented style of program ming, rather than the standard numerical techniques used in previous studies. Each node i...
详细信息
A system for simulating neural networks has been written in the LISP dialect, Scheme, using an object-oriented style of program ming, rather than the standard numerical techniques used in previous studies. Each node in the Scheme network represents either a neuron or a functional group of neurons, and can pass messages which trigger computations and actions in other nodes.
This paper describes an interpreter-centered list processing language TAO which supports the logic programming paradigm and the object-oriented programming paradigm together with the conventional procedural programmin...
详细信息
This paper describes an interpreter-centered list processing language TAO which supports the logic programming paradigm and the object-oriented programming paradigm together with the conventional procedural programming paradigm in the framework of the Lisp language. TAO allows the user to mix these programming paradigms in solving complicated and multifaceted AI problems. The fundamentals of these programing paradigms, namely, unification, message passing and function call can nest each other in an expression. Thus, the user can use the result of a function call or a message passing in a unification straightforwardly and vice versa. TAO also supports the concurrent programming. The implementation of the TAO interpreter on a Lisp machine called ELIS achieves a remarkable efficiency.
An automatic programming system using object-oriented programming techniques is described. This system is intended for use as a design tool for signal processing software. The system starts with a graphical descriptio...
详细信息
An automatic programming system using object-oriented programming techniques is described. This system is intended for use as a design tool for signal processing software. The system starts with a graphical description of an algorithm, supports interactive editing and performance analysis, and produces as output source code which implements the algorithm.
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent...
详细信息
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. object-oriented languages provide both a framework and a motivation for exploring the interaction among the concepts of type, data abstraction, and polymorphism, since they extend the notion of type to data abstraction and since type inheritance is an important form of polymorphism. We develop a A-calculus-based model for type systems that allows us to explore these interactions in a simple setting, unencumbered by complexities of production programming languages. The evolution of languages from untyped universes to monomorphic and then polymorphic type systems is reviewed. Mechanisms for polymorphism such as overloading, coercion, subtyping, and parameterization are examined. A unifying framework for polymorphic type systems is developed in terms of the typed A-calculus augmented to include binding of types by quantification as well as binding of values by abstraction. The typed A-calculus is augmented by universal quantification to model generic functions with type parameters, existential quantification and packaging (information hiding) to model abstract data types, and bounded quantification to model subtypes and type inheritance. In this way we obtain a simple and precise characterization of a powerful type system that includes abstract data types, parametric polymorphism, and multiple inheritance in a single consistent framework. The mechanisms for type checking for the augmented A-calculus are discussed. The augmented typed A-calculus is used as a programming language for a variety of illustrative examples. We christen this language Fun because fun instead of A is the functional abstraction keyword and because it is pleasant to deal with. Fun is mathematically simple and can serve as a b
During the last 6-7 years microcomputers have been accepted in industry. Parallel to this fact, there was and is an increasing demand in distributed systems, to cope with the necessities of the running process and the...
详细信息
During the last 6-7 years microcomputers have been accepted in industry. Parallel to this fact, there was and is an increasing demand in distributed systems, to cope with the necessities of the running process and the reliability considerations, because the distribution of computer performance over the process is not only a question of demand of performance. For systems in use mainly on the basis of a serial data transfer the distribution is doing nothing else but providing a smaller part of a process with a processing element. This paper deals with a computer system, capable of increasing the performance by using a pool of processors to give the user the possibility to implement as many as necessary. By this, he is no longer forced to provide his system with more performance than the minimum.
Proposes a garbage collection algorithm that takes account of the lifetimes of objects to improve efficiency. Performance needs of applications in artificial intelligence; Efficient operation with multiple processors ...
详细信息
Proposes a garbage collection algorithm that takes account of the lifetimes of objects to improve efficiency. Performance needs of applications in artificial intelligence; Efficient operation with multiple processors and a large address space; Cheaper storage for short-lived objects.
暂无评论