Abstract:The general theory of sequential weighted test，and the truncated SPOT is discussed in this paper. The upper bound of the two kinds of error for testing hypothesis of the truncated SPOT is derived. Two application examples of this method are provided：one is the reliability testing of product；the other is the accuracy detecting of the random fall point of the re-entry vehicle. By virtue of using prior information before testing，we can efficiently test statistical hypothesis under the condition of small testing number. This SPOT method is quite significant to statistica1 detection of expensive products.

Abstract:This paper presents the optimal guidance method for the re-entry stage of a manned spaceship. The longitudianl guidance uses an optimal linear system with quadratic criteria，from which the law of optimal guidance can be obtained. The lateral guidance uses the Pontryagin minimum principle，from which the switch curve of lateral control can be obtained. The control laws obtained here are better than those described in reference [2].

Abstract:A new LQG/H_∞ model reduction method for large scale systems is given in this paper. Properties in both time domain and frequency domain are considered，hence the reduction in statespace form has advantages in keeping the frequency stability and it has a less LQG error.

Abstract:In this paper，the problem of identification of ARMA model parameters using nonlinear M-sequence is studied and detailed algorithms are proposed. It has been compared with the m-sequence and the simulation results has been given.

Abstract:This paper presents a guide and control system of laser-guiding automatic guided vehicle (AGV) applied to the goods transportation system of flexible manufacturing system (FMS). This system can not only run along a straight line，but also turn a corner. When the AGV goes along a straight line，it is guided by a laser beam shot by a gas laser on the ground，and is controlled by the optimal linear regulator. When it turns a corner，its position and direction is measured by three laser beams and corner cubes，and controlled by a fuzzy controller. Experiments show that the system is feasible and it will make the goods transportation system more flexible.

Abstract:The development and applications of H_∞ optimal control theory are introduced and major results are given in this paper.

Abstract:From the viewpoint of the relationship between information and decísions，several informatíon characterístics of the decísíon systems are discussed. The aim of this research is to do some fundamental studies for the purpose of revealing that the information affects the decisions in proper way. In this paper the relationship among the information and the structures and the performances of decision systems are explored ín detail.

Abstract:This paper presents a correcting method for classical f and g series which is to be used in cases considering the primary perturbations of the zonal harmonics. It overcomes the limitation of f and g series only suitable to short arc. The results derived with CA system REDUCE are also given. Comparing the results using this corrected f and g series with those from direct numerical integration method，we can see that the former is faster and with the same accuracy. Besides，it can provide continuous states instead of discrete ones. Its clarity and effectiveness make it very useful in space engineering.

Abstract:Based on fundamental concepts，this paper discusses the method of setting Up the standard state equation of a system by signal flow graphs.

Abstract:In this paper we discuss the design of a software interface of an intelligent graphic terminal according to CGI standard. Ideas and methods of the design and implementation are summarized.

Abstract:This paper introduces the development process of the P-band 6 watt power amplifier. The microstrip-lumped hybrid circuit is applied. This amplifier has compact structure，small size，stable performance and convenient tuning. It has already been used for radar system.

Abstract:This paper introduces the techniques of eliminating the background in infrared image using low-pass filter. The position and feature of targets in infrared image are estimated in several statistical moments. A new segementation algorithm for targets is introduced. The processing of infrared image and simulation image shows that the algorithm is an effective technique oriented to practical application.

Abstract:本文概述了远距离目标即点目标自动识别的技术方法，评述了与之有关的一些问题，并就其发展趋势提出了一些看法。

Abstract:UPS 己广泛用于各种不允许供电突然中断，或对供电质量要求较高的场合中。但是我国的 UPS 市场几乎被国外产品完全占领着。为引起同行们的关注。本文扼要介绍了 UPS 的一般原理、现状和发展趋势。

Abstract:Based on the classification of fine grain parallel structure，this paper proposes the concept of structure normal form. Based on the concept，the parallel executing problem for multi-way nested loops is investigated，father-mother-son process is discussed, and FMS processor scheduling scheme is presented for multi-way nested loops.

Abstract:The classical von Neumann architecture has its limits and can not make the object-oriented programs run effectively. So it is necessary to develop a new kind of architecture to express this style's advantages. Some relations between the object-oriented programming style and the computer system are demonstrated after the idea of object-oriented programming is illustrated and defined. From the relations，some problems are discussed and primary solutions about the problems are given.

Abstract:A parallel FACR(L) algorithm for solving Poisson's problem over a rectangular region with Dirichlet Condition is presented. Computation complexity and optimal parameter L for vector computer YH-1 are given. A numerical example performed on YH-1 is given.

Abstract:How to make the knowledge base have the functions of automatical inference and maintenance has been a key problem existing in the design of the knowledge base that needs to be practical. and effective. We propose an automatical knowledge base inference and maintenance method based on default theory，and then we introduce a knowledge base inference and maintenanec system，which has been implemented on VAX-l1/780 machine in GKD-Prolog.

Abstract:This article approached comprehensively the conception，principle，prevention and cure of computer viruses，we analysed the mechanism and propagation principle of Pakistani Virus, and discribed ways to prevent and cure this virus，including the elimination way and the immunity way. In addition，this article illustrated that no thorough common way can be obtained to prevent and cure a11 the viruses，and a concrete analysis of concrete virus must be made. The most effective measure is the virus prevention.

Abstract:What on earth is the software development process? Which tasks in this process can be automated? These are two key problems to software development automation. Taking them as the heart of matter this paper sttempts to advance some ideas so as to improve the past researches. It is worth pointing out that on the basis of these ideas a support system to develop Ada programs has been implemented. Experiments have shown that under the support of the system developers can semiautomatically implement the transformation from description of problems in natural language to package specification in Ada with the least interference.

Abstract:This paper introduces a study of temporary variable allocation in prolog compiler. It gives a new allocation method without backtracking. The method is compared with the old one with backtracking and the advantages of the new method is introduced.