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.
The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking ...
详细信息
The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.< >
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.
Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, ...
详细信息
Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, i.e. modifiable to the specific needs of the user. The authors elucidate the tentative result of their research in this field around the iconic programming environment. An initially developed prototype framework is described, followed by a discussion on the current more open-ended system.< >
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 ...
详细信息
I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particul...
详细信息
Multilevel arrays have been used in the VDL and VDM projects for representing abstract syntax trees. In the same way as the function type can be seen as a generalization of the array type, it is possible to generalize...
详细信息
If one desires that an automatic theory formation program detect inconsistency in a set of hypotheses, the Horn clause logic of Prolog is unsuitable as no contradiction is derivable. Full first order logic provides a ...
详细信息
Lambda lifting is a technique for transforming a functional program with local function definitions, possibly with free variables in the function definitions, into a program consisting only of global function (combina...
详细信息
暂无评论