795 Result(s)
within
Article
**hu Li
Information Systems Applications (incl. Internet)
Software Engineering
-
Article
A structural operational semantics for an Edison-like language (1)
A structural operational semantics for Edison. 1—an Edison-like language—is given. The static and dynamic (operational) semantics for various declarations and statements contained in this type of languages hav...
-
Article
The complexity of the 0/1 multi-knapsack problem
In this paper complexity of the 0/1 multi-knapsack problem is discussed. First we prove that the corresponding decision problem is NP-complete in the strong sense. For any fixed numberk of knapsacks, the problem ...
-
Article
A structural operational semantics for an Edison like language (2)
-
Article
Almost Optimal Dynamic 2–3 trees
This paper presents a principle to create Almost Optimal Dynamical 2–3 trees based on the theory of Milleret al.,[4] and gives a searching algorithm, an insertion algorithm and a deletion algorithm for these 2–3 ...
-
Article
A computer system for Chinese character speech input
In this paper, we introduce a speaker-dependent isolated word recognizer which is dedicated for Chinese character input. The method presented here offers an effective solution to the large-vocabulary recogniti...
-
Article
Generalized parallel signature analyzers with external exclusive-OR gates
A new géneralized parallel signature analyzer with external Exclusive-OR gates (GPSA-EE) is presented. It allows the signature analyzer to have twice the number of inputs compared with an original parallel sig...
-
Article
The design and implementation of the syntax-directed editor generator (SEG)
SEG is a syntax-directed editor generator consisting of three parts: Meta, a meta language which describes BNF-like syntax; a parser, which parses the syntax descriptions written in Meta and generates their dr...
-
Article
A routing algorithm for distributed optimal double loop computer networks
A routing algorithm for distributed optimal double loop computer networks is proposed and analyzed. In this paper, the routing algorithm and the procedures realizing the algorithm are given. The proposed algor...
-
Article
CAD system of microprogrammed digital systems
This paper describes the Computer Aided Design System of Microprogrammed Digital Systems (CADSMDS). CADSMDS consists of three subsystems: Register Transfer Level Description Language (RTLDL), General Micro Cod...
-
Article
A Tree-structured Database Machine for large relational database systems
This paper proposes a Tree-structured Database Machine (TDM), which is designed for supporting large relational database systems. The TDM aims at totally improving three level performance bottlenecks in relati...
-
Article
Soundness and completeness of Kung’s reasoning procedure
Kung’s reasoning procedure is characterized by high parallelism in the sense that an unlimited number of CPUs can be used to carry out the computation in parallel. This paper presents a proof of the soundness ...
-
Article
The design and implementation of an OA system ZGL1
ZGL1, an office automation system for municipal administration, is presented. It is a distributed microcomputer system based on OMNINET. Each node of it is an IBM PC/XT microcomputer with Chinese character fac...
-
Article
A new kind of combinations between the Ritz-Galerkin and finite element methods for singularity problems
The coupling techniques of simplified hybrid plus penalty functions are first presented for matching the Ritz-Galerkin method and thek(k>-1)-order Lagrange finite element methods to solve complicated problems of ...
-
Article
A natural deduction system of temporal logic
This paper will present a natural deduction system of temporal logic, which includes two collections of inference rules called “horizontal inference rules” and “vertical inference rules” respectively. It is al...
-
Article
CQAES, a Chinese question answer experimental system
In this paper a Chinese sentence is regarded as a statement for an event and expressed with a table which has the nested structure. Seven kinds of sense coherent relationships among the events are introduced t...
-
Article
A problem of tree graph
Because of the widespread applications of tree and tree graph in computer science, we are interested in studying the tree graph. M. Farber, B. Richter and H. Shank in [1] showed that the graph τ2 (G) is connected...
-
Article
A new formal method for communication protocol specification
A new formal method for communication protocol specification is presented. FSM, CSP and ADT are mixed and the best features of these approaches can be offered in the fomal method. First, we briefly describe th...
-
Article
Transformations between rectangular and triangular patches in Bezier form
This paper proves that anyN degree Bezier triangular patch can be turned into a part ofN×N degree Bezier rectangular one; anyN×M degree Bezier rectangular patch can be converted into twoN+M degree Bezier triangul...
-
Article
Numerical aspects of the generalized CG-method applied to least squares problems
The Generalized Conjugate Gradient (GCG) method of Concus and Golub [1] and Widlund [2] and its adjusted form (AGCG) are considered for the numerical solution of the least squares problems. Some numerical comp...
-
Article
A fuzzy proof theory
Based on the first order predicate logic, in this paper, we present a new approach to generalizing the syntax of ordinary Horn clause rules to establish a fuzzy proof theory. First of all, each Horn clause rul...
