We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover...
详细信息
ISBN:
(纸本)0897913280
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover, it is compositional, because it is denned by recursion on the structure of e. In other words, the number of steps needed to compute e is described in terms of the number of steps the parts of e need. (This is in contrast with the obvious operational method to define an interpreter and count the number of steps that it needs.) The equations that define the analysing program can also be used when reasoning about time complexity of lazy functional programs. Two simple examples are given at the end of the paper.
An LR-based parser generator for arbitrary context-free grammars is described, which generates parsers by need and processes grammar modifications by updating already existing parsers. We motivate the need for these t...
ISBN:
(纸本)9780897913065
An LR-based parser generator for arbitrary context-free grammars is described, which generates parsers by need and processes grammar modifications by updating already existing parsers. We motivate the need for these techniques in the context of interactive language definition environments, present all required algorithms, and give measurements comparing their performance with that of conventional techniques.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i...
详细信息
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use integrator of existing expert knowledge and pre-existing data bases and large scale analytical models. Due to these interfaces; to the need for portability of the software; and to artificial intelligence related design requirements (such as the need for spatial reasoning, expert data base management, model base management, track-based reasoning, and analogical (similar ship) reasoning) it was realized that traditional expert system shells would be inappropriate, although relatively off-the-shelf AI technology could be incorporated. In the same vein, the rapid prototyping approach to expert system design and knowledge engineering was not pursued in favor of a rigorous systems engineering methodology. The critical design decisions affecting CLEER's development are summarized in this paper along with lessons learned to date all in terms of “how,” “why,” and “when” specific features are being developed.
A paradigm and system are presented that will support a programmer when designing, programming, and testing a distributed application. The main point is that the structure introduced by the paradigm must be keep and u...
详细信息
A paradigm and system are presented that will support a programmer when designing, programming, and testing a distributed application. The main point is that the structure introduced by the paradigm must be keep and used during design, programming, and testing. A structural model that is based on common structures in distributed systems has been developed. This structural model is used to describe the logical relationships between components in a system, and is also integrated into a programming environment.< >
The author presents a paradigm and system that will support a programmer who is designing, programming, and testing a distributed application. The main point is that the structure introduced by the paradigm must be ke...
详细信息
ISBN:
(纸本)0897912586
The author presents a paradigm and system that will support a programmer who is designing, programming, and testing a distributed application. The main point is that the structure introduced by the paradigm must be kept and used during design, programming, and testing. One is not helped by a programming method which introduces a structure just to break it down again. A structural model has been developed which is based on common structures in distributed systems. This model is used to describe the logical relationships between components in a system. It is also integrated into the programming environment.< >
An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Sq...
详细信息
An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Squares method is used and a minimum variance control strategy is realized. The original idea is that the converter steel making process| is considered as a continuous process which is sampled and one heat time is considered as one sample time. So, the process model parameters are adjusted after each heat and the algorithm adapts very fast to the technological conditions chanson. A distributed PS/XT computer two-leves control system is realized. Successful industrial results are obtained.
This paper reports the results of an empirical analysis of the knowledge engineering behavior of six persons with extensive experience in artificial intelligence (AI). The six persons were given the task of designing ...
Contexts have been proposed as a means of performing strictness analysis on non-flat domains. Roughly speaking, a context describes how much a sub-expression will be evaluated by the surrounding program. This paper sh...
详细信息
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which ...
详细信息
暂无评论