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.< >
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 makes two contributions. Firstly, we give a semantics for sets of clauses of the form L0 ⇐ L1&.. &Ln where each Li is a literal. We call such clauses generally-Horn clauses. Any such endeavour has t...
详细信息
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 ...
详细信息
In this paper, we investigate whether or not most novice programming bugs arise because students have misconceptions about the semantics of particular language constructs. Three high frequency bugs are examined in det...
详细信息
A significant portion of tutorial interactions revolve around the bugs a student makes. When a tutor performs an intervention to help a student fix a programming bug, the problem of deciding which intervention to perf...
详细信息
Prolog has established itself as a highly successful example of the logic programming paradigm. Today there are a number of vigorous research streams exploring methods of extending the capabilities and capacities achi...
详细信息
暂无评论