Abstract:Exploiting AND-parallelism is important in the research of parallel execution of logic programs. In this paper，a compiling approach for exploiting AND-parallelism in logic programming is presented. The approach consists of three phases: analysis of entry modes; derivation of exit modes; and determination of execution graph expressions. Compared with other approaches. this approach，with the compile一time program-level data dependence analysis of logic programs，can efficiently exploit AND-parallelism in logic programs. Two precompilers，based on our approach and DeGroot's respectively have been implemented in SES-PIM system. Through compiling and running some typical benchmarks in SES-PIM，we conclude that our approach can exploit the maximum AND--parallelism under “producer-consumer”scheme，exactly the same degree as the dynamic approach once employed in SES-PIM，and needs significantly less dynamic overhead than DeGroot's while exploiting more AND-parellelism than DeGroot's.

Abstract:In this paper presented is a new multi-Cache scheme about the memory organization of a sequentia1 PROLOG machine. Based on the memory access modes，each memory area for different usage and with different access mode is supported with a separate cache using an associated control policy，in order to overcome the access bottleneck problem incurred in the execution of PROLOG programs. As a typica1 component，the cache for Choice Point stack is investigated in details with respect to the control and schedule policies.

Abstract:First a block diagram of the bus-control1er in the VME-based multiprocessor system which is to be used for force compliance control of robot is drawn in the paper. Then，the design of the Round-Robin-Select (RRS) priority policy arbiter is given in detail. The problems met in the design process are analysed and solved. Implementation of the controller using only MSI and SSI is described.

Abstract:The trend of supercomuters is multiprocessors. Macrotask is a major way to speed up the execution of programs on multiprocessors. In this paper a introduction to macrotask is presented the implementation of macrotask is described，and the supports of compiler and operating system are discussed. Finally to macrotask programs is presented.

Abstract:In this paper，a series of new generation methods and techniques of building expert systems are preposed. They are mainly implemented in logic language and include the strategies of problem solving based on the blackboard model，the knowledge representation which combines frame and production rules，an interpretation mechanism in the prefabricated version and fuzzy grammar and so on，Much benefit has been got by applying these methods and techniques in military practice.

Abstract:The first problem of debugging a parallel program is the nondeterminancy of the program. The environment reappearing technique presented in this paper can solve the problem quite well. The paper discribes the idea of the technique，the data structure needed for it and gives a pidgin CCNPASCAL languge description of it. An example of the technique is briefly given in it.

Abstract:Graphical Kernel System (GKS) is a unique international standard for two-dimensional graphic software，and it has been ratified by the Chinese Standards Institute as a Chinese National Standard. YH-GKS is a graphics software system designed for the YH computer，and is based on the GKS, the design features and implementation methods of YH-GKS are presented in this paper.

Abstract:Currently artificial intelligence and software tools play important roles in the development of management information systems. Three software tools are implemented for RDMS，rule-based computing tool，common data management sub-system, and common report tool of Chinese character. In this paper are discussed implementation methods of those tools.

Abstract:This paper introduces the YH Vectorized Linear Algebra program package，which is desigined and developed meticulously on the basis of the scalar one，by practising parallel algorithm research，taking parallel computation and adopting program optimization technique as well. With parallel computation of various direct methods solving various linear algebra problems，it has rapid operation speed and it's an efficient，high precision package.

Abstract:A monopole is mounted on a perfectly conducting (PEC) planar screen of infinite extent in which an annular s1ot of finite depth is cut. A pair of coupled integral equations are derived for this configuration. The electric current on the monopole and the electric field (or equivalent magnetic current) at the interface between the slot and the half space are determined as the solution of these integral equations. The input impedance of the monopole and the far field pattern are computed from these electric current and equivalent magnetic current.

Abstract:Robust detection of known signal in non-Gaussian Markov noise is considered under the assumptions that only marginal distribution class and dependent coefficient of noise samples are given，and the noise sequences can be expressed as a first-order AR process: n_i=ρn_i-1+Y_i (i=1，2，… N)，where {Y_i} is i.i.d. sequence. If ρ is smaller, the memory and memory less robust detectors are respectively derived by minimax of the first-order and the second-order approximation of detection efficacy to ρ.

Abstract:The structure problems of non-uniformly spaced array used in adaptive super-angle-resolution(SUAR) are discussed in this paper. It is shown that the performances of the angle spectrum of eigenvector algorithms，under some conditions，are determined completely by array factor. Analyses and simulations have illustrated that the linear minimum redundancy (LMR) array is a kind of SUAR array with good performances. It is also shown that some kinds of non-uniformly spaced array，which is the same as uniformly spaced array，have the problem of grating lobes. In this paper，a fomula of the unit length of the array to avoid grating lobes is presented.

Abstract:Based on the fundamental principles of velocity measuring in the frequeucy domain，a trajectory FFT spectrum analyzer is studied. First of a11，the construction of the system is given. Then，some basic algorithms，which can improve the frequency precision，resolution and dynamic range under the circumstance of strong clutter interference are studied. The paper a1so put emphasis on the design of a programmable A/D data acquisition system and a high speed FFT co-operation system which is based on TMS32010.An IBM/PC microcomputer，the weighted ZFFT analyzing software and the above two systems form the whole frequency spectrum analyzing system.

Abstract:It is usually very difficult to settle directly impulse response of linear time-varied circuit in the linear circuit analysis. But，the way of settling the problem of impulse response can be changed into that of setting zero input response under the equivalent initial condition. The key to the settlement lies in obtaining the equivalent initial condition. A method of settling equivalent initial condition is introduced in this paper.

Abstract:Time delay performance of C³I systems is analysed and calculated using petri nets. The algorithm is programmed on the computer，and the experimental results of the typical system are presented in the paper.

Abstract:The recursive fi1ter CAD methods of multiple objects simultaneous optimal approximation are presented. The performances of design methods are analysed and compared with each other. Further improvement work is given. The program is implemented on the IBM-PC/XT micro-computer. The example of lowpass IIR digital filter design using linear programming approaching is il1ustrated.

Abstract:With the app1ication of heat-transfer theory an equivalent thermal network (electrothermal analog circuit)is. set up by electrothermal analogy which is for FECL100K under the circumstance of forced air cooling. The mathematic model of heat-transfer for the network is also given. It provides a foundation for computer aided thermal design. By applying the equivalent thermal network and its model the reasonableness of placement form of this package in electronic equipment is expounded.