Abstract:This paper presents a model of representing fuzzy knowledge. Based on this model, the authors give a description of explanation based learning(EBL), and next give explaining and learning mechanism of EBL. Thus it is possible to learn fuzzy concept in EBL. In this paper, the pattern in description is the same with operator fuzzy logic but semantics.

Abstract:Remote database access (RDA) is a special application services element (SASE) of the application layer of the open system interconnection (OSI) architecuture.It is the basic standards of database and the base of distributed database open system. This paper presents client/server architecture model method and system protype to implement RDA system according to the international standards of RDA model, services and protocols.

Abstract:This paper offers an effective approach to parallel approximate string searching. By using searching state vector and char-pattern matching vector, this approach changes text-pattern matching from comparison to simple integer for operation and by searching string from the two ends to the middle. It implements effectively the parallel approximate Char/Chinese character string searching on multiprocessors. The parallel implementation algorithm and the analysis of the algorithm are also provided.

Abstract:A shared virtual memory(SVM) system can provide a virtual address space shared by all processors in a loosely-coupled distributed memory multicomputer. It combines the salability of network based architectures with the convenience of shared memory programming. This paper, firstly discusses some issues for maintaining data consistency in SVM system, then proposes a new fixed distributed manager algorithm. Finally, this paper gives a analysis of NFDMA and compares to Li s scheme.

Abstract:Region operation is key part of algorithm suite for outline resolution. An algorithm the authors proposed for region operation on 2D complicated PCB circuit and irregular pattern is presented. Its mathematic model, algorithm description and implementation are described as well as correctness proof and complexity analysis of the algorithm. The gain shows sufficient in comparison with the typical algorithm in the case of PCB circuit.

Abstract:In this paper, underlying the architecture of distributed memory.multiprocessors, a new forward substitution algorithm for the direct solution of large sparse linear system is presented. In the presented parallel algorithm, the Modified tree (M-tree) isproposed and adopted. Furthermore, a detailed comparison with the Elimination-tree based algorithm is carried out specially. The results show that more effective parallelism is exploited, and significant performance improvement can be obtained.

Abstract:Intelligent computer-assisted instruction(ICAl)system is a complex knowledge base system concerning many areas' knowledge.Ideal ICAl system should have strong adaptability in order to accomplish the goal of specialized education. Computational reflection is a kind of computing activity which causally refers to itself. Based on the concepts of computational reflection, this paper discusses a computational reflective model of knowledge base system, and applies this model into the design of ICAl system. Further more, a preliminary ICAl model containing teacher and student entities is presented. Each knowledge entity in the ICAl model consists of objective and reflective levels. In different levels, there are different tasks which depend on.different knowledge sources.

Abstract:This paper puts forward a parallel abstract machine-parallel LE machine for transputer networks, which is based on the parallel LE semantic model. To increase the granularity of parallel process during the running time, the thread lazy process creation method is adapted in the LE machine, which decreases the time of process creation and explored the parallelism of the parallel process system at the same time. With the aid of bidirection linked stack frame structure, the prototype system of this method shows a good performance.

Abstract:IMDBS is an integrated multi-databases system which can integrate information and data in existing local heterogeneous database systems and supply global users with shared Integrated Information.And all local database applications can still execute on the Integrated database,thus localautonomymlght be preserved.IMDBSbasedonthe source tag Integration mechanism adopted the non first normal form(NF²)data model as its polygendata mode.PSQL/NF,a SQL like polygendata language,Is defined for users to use it to manipulate database conveniently. The system can Integrate traditionaldatabases such as relational,hlerarchlcal and network databases bottomup and managedistributed data top-down,so it fundamentally resolves the conflict between global dl.tribution transparency and local autonomy in heterogeneous distributed database systems.This paper mainly describesthe polygen data model,the polygen data language and theimplementatlontechnlques ofqueryprocessingofthe IMDBSsystem.

Abstract:The loop unfolding is one of difficult problems in the procedural language partial evaluation. A partial evaluation technique based on information analysis that solves the problem is presented in this paper.It has implemented a partial evaluator using this technique.