The object oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems. In the research on the rapid construction of Structured Development Envi- ronment (SDE)that supports detailed design and coding in software development, a generator that can gener- ate the SDE has been applied as a metatool. The kernel of SDE is a syntax-directed editor based on the ob- ject-oriented concepts. The key issue in the design of SDE is how to represent the el…

This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed program control-flow complexity metrics are evaluated. It is observed that most of these metrics are inherently limited in distinguishing capability. However, the concept of composite metrics is potentially useful for the development of a practical metrics. This paper presents a methodology for t…

Automatic medical image analysis shows that image segmentation is a crucial task for any practical AI system in this field. On the basis of evaluation of the existing segmentation methods, a new image segmentation method is presented. To seek the perfect solution to knowledge representation in low level machine vision, a new knowledge representation approach—— "Notebook" approach is proposed and the processing of visual knowledge is discussed at all levels. To integrate the computer vision theory with Gesta…

New users of an application system, especially computer novices, can become confused and frus- trated after experiencing the first, perhaps not recoverable error situations during the early stages of explora- tion and learning. System facilities, which let users UNDO and REDO executed commands, are suggested to be an aid for active learning and can be used as a method for systematic exploration through recovering from unknown and newly explored (perhaps wrong) system states by cancelling executed commands w…

In this paper we present some results from our research on representation methods and architectural model of UIMS, suitable for accommodating various interactive styles. By roughly describing an experi- mental system of BD-UIMS, we lay emphasis on how to support direct manipulation and semantic feedback. Particular attention is given to a simple conceptual model of user interface as well. Based on this model, the designing process of user interface is rather easy. Although current work is under DOS environm…

In this paper, we introduce a notion of the family of closed world assumptions and compare several well-known closed world approaches in the family to the extent to which an incomplete database is com- pleted.

This paper presents several effective global data communication algorithms on the hypertorus, or k- ary n-cube interconnection network, which is a generalization of the conventional hypercube structure. The timing analysis of these algorithms is also given.

The problem of adapting backward error recovery to parallel real time systems is discussed in this paper. Because of error propagation among different cooperating processes, an error occurring in one process may influence some important outputs in other processes. Therefore, a local output has to be delayed until its validity is confirmed globally. Since backward error recovery adopts redundancy of computing time instead of processing equipment, the variation of the actual execution time of a cooperating pr…

This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG) References | Related Articles | Metrics

This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix E_k! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate.

ICAS is an incremental concept acquisition system using attribute-based description. It includes an algorithm for learning concept, which induces a rule set from an example set based on the probability theory, and an algorithm for refining the rule set. This paper also introduces the learning cycles, a very useful idea of ICAS. In fact, concept acquisition by ICAS is an incremental process consisting of many such learning cycles. Also the design and implementation of ICAS are given.