Abstract:This paper describes some optimization techniques applicable to the design of compiler-based PROLOG systems，including execution driven compilation strategies，classification of procedure code，and operating modes for database operation builtins.

Abstract:This paper fully introduces the features and the approaches of the implementation for the dataflow prototype SDS-1.This prototype is the computer which combines the synchronous mechanism with the asynchronous one and the dataflow with control-flow. The parallel of composite function level's can be developed in SDS-l. The prototype SDS-l has been implemented on the tightlycoupled multicomputer system consisting of a microcomputer Intel86/310 and eight single-board computers Inte186/12. The prototype system has reached the advanced technical world level the beginning of 1980's.

Abstract:A knowledge base system KBS-l is first studied based on a database. Then a relational knowledge base prototype machine is built and another knowledge base system KBS-2 is studied. At last a performance evaluation is given.

Abstract:In this paper outlined are the studies on YH-SIM-an architecture for sequential PROLOG machines，including an extended sequential execution model of PROLOG programs，the instruction set，the implementation of compiler-based PROLOG database operations，the experimentation system YH-S1M-ES，and the study of the machine hardware organizations.

Abstract:Iterative division schemes using hardware-software are studied in this paper. The accuracy control method is suggested for the x/x≡1. The division schemes are used for the supercomputer.

Abstract:In this paper，a new reconstructed method for nonlinear state observers is discussed，the nonlinear observers are determined by using a linearization about the current reconstructed state. The results grow out of the observer theory for linear systems.

Abstract:By using feedforward dynamics compensation and real-time dynamics compensation，two hybrid position/force controllers are proposed for robot manipulators. The effectiveness of these dynamics compensations is shown by simulation results. The performances of the hybrid position/force control system are obviously improved due to these dynamics compensations.

Abstract:The general forms of the Ladder-Lattice filtering for vector AR model are derived from some basic matrix algebra operators. Then，the realizations of the algorithms for different data windows (prewindow，covariance window and sliding window) are obtained easily.

Abstract:In this paper the model of the propellant droplet evaporation with liquid phase dissociation reaction at high ambient pressure is developed，and the effect of polar gase compositions in combustion gases on the propellant droplet evaporation is taken into account. The characteristics of propellant droplet evaporation of the liquid phase dissociation reaction are analyzed by an example of the N₂O₄ liquid droplet evaporation. The calculation results show that this kind of propellant at high pressure evaporation does not obey the law of non-liquid phase dissociation reaction propellant. This model provides the new theoretical data and the calculation method for the analysis of the combustion process of the liquid rocket engine combustor.

Abstract:This paper applies required velocity to the missi1e's last booster to improve its precision at the reentry point，and to provide the better initial conditions for the reentry maneuver and the terminal guidance. The engineering realizability of attitude control to adjust thrust direction is a1so taken into account in it.

Abstract:The fire-power allocation problem toward the plane-point targets system consisting of some groups of dagmage-dependent targets is discussed in this paper.“The principle of Marginal Damage Decreasing” and the conclusions such as“the properly sequential optimization plan，that is，global optimization plan” has been reached with the same weapons used. On the basis of above-mentioned points，the algorithm to solve problem is presented.“Properly Sequential Optimization Enumeration” has been developed with the different weapons used and conclusions concerned have been reached.

Abstract:In this paper，the characters of the state transition probabilities matrix of a group of damage-dependent targets are deeply analyzed，and a number of important conclusions have been reached. On the basis of the anabove alysis，the general fire-power allocation model to the system consisting of some groups of targets related to damage is discussed.

Abstract:In this paper，the method of computing DFT with Z-transform is discussed. The amount of additions and multiplications operating N=2^t point DFT is remarkably decreased compared with the Cooley-Tukey's radix-2 FFT algorithm. The implementation of this algorithm on IBM-PC is discussed. The comparison of this two algorithms running time is given.

Abstract:A parallel computing formula for the conditional number of symmetric matrix A is presented.the facts for The change of the conditional number of symmetric matrix A affecting the solution of Ax=b are observed. The results of the computation show that the velocity for vector computation is 17 times faster than that of scalar computation with n≥300.