![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
4,460 Result(s)
-
Chapter and Conference Paper
The Variational Inequality Method on Contact Problems and Its Application Software
In this paper the variational inequality theory and numerical method on contact problems are briefly described first, and then the structure of its application software is outlined. Finally the numerical resul...
-
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...
-
Chapter and Conference Paper
A top-down step-wise refinement methodology for protocol specification
Existing approaches to formal protocol specification and verification suffer from great difficulty in constructing correct specifications for practical problems. The objective of this paper is to advocate a to...
-
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...