The software package have some functions as follows: calculating the shrapnel's diagnostic parameters such as the mass and the pole moment of inertia, the inner and outer ballistic characteristic, the aerodynamic force and power, and so on.

The key is that FORTRAN95 were added many new characteristics, such as object-oriented feature and enhanced function to deal with word operation, which make FORTRAN be applied to develop information system and OA system, and result in more power in the field of numerical computation.

If is a ?2-grading of a simple Lie algebra, we explicitly describe a-module Spin0 () such that the exterior algebra of is the tensor square of this module times some power of 2.

The operation adj on matrices arises from the (n - 1)st exterior power functor on modules; the analogous factorization question for matrix constructions arising from other functors is raised, as are several other questions.

Let q be a power of p and let G(q) be the finite group of Fq-rational points of G.

We prove a Tauberian theorem of the form $\phi * g (x)\sim p(x)w(x)$ as $x \to \infty,$ where p(x) is a bounded periodic function and w(x) is a weighted function of power growth.

A new C*-algebra of strong limit power functions is proposed.

Spacial discrimination is a method to discriminate the required target from the complex background by the use of the characteristic difference of dimension between the point target and the background of large area. In this article, we try to apply synthetically several methods of spacial discrimination to improve detecting trackera, which are now in use. By means of them, we may raise the power of filting the background, increase the faculty of detecting tracks and improve the quality of images。Thus, it...

Spacial discrimination is a method to discriminate the required target from the complex background by the use of the characteristic difference of dimension between the point target and the background of large area. In this article, we try to apply synthetically several methods of spacial discrimination to improve detecting trackera, which are now in use. By means of them, we may raise the power of filting the background, increase the faculty of detecting tracks and improve the quality of images。Thus, it has found many important applications。

JF-111 system is designed as a machine translation system for natural languages,. which is capable of multilingual translation when it is provided with linguistic data in a general and well known form. Some tests have been carried out on the translations from English to Chinese, German to Chinese and French to Chinese.The system exhibits a series of important characteristics in the strategy of designing, software implementation and application:1. The system has adopted some concepts and approaches from mathematical...

JF-111 system is designed as a machine translation system for natural languages,. which is capable of multilingual translation when it is provided with linguistic data in a general and well known form. Some tests have been carried out on the translations from English to Chinese, German to Chinese and French to Chinese.The system exhibits a series of important characteristics in the strategy of designing, software implementation and application:1. The system has adopted some concepts and approaches from mathematical linguistics and compiler construction technique.2. The software system is applicable for many natural-language translations. Its program does not have to be revised with the change of the input languages.3. Operation and quality improving are highly automated so that man power is saved and efficiency raised.

The term Pipelined Array Processor (PAP) used here covers a new class of array processor suitable for VLSI. In PAP, several data items flowing along different pipes may meet and interact. "We refer to this pipelining as array pipelining. The algorithms suitable for PAP, called array pipelining algorithms, are quite different from those of conventional computers. They can be directly implemented with hardware. Moreover, in PAP the data flows are highly regular, therefore, it is possible to design array pipelining...

The term Pipelined Array Processor (PAP) used here covers a new class of array processor suitable for VLSI. In PAP, several data items flowing along different pipes may meet and interact. "We refer to this pipelining as array pipelining. The algorithms suitable for PAP, called array pipelining algorithms, are quite different from those of conventional computers. They can be directly implemented with hardware. Moreover, in PAP the data flows are highly regular, therefore, it is possible to design array pipelining algorithms in a unified fashion.In this paper a class of recurrence process expressed as z(k) (i, j) = f[z(k-1) (i, j), x(i,k), Y(k, j)] is investigated and would be able to implement in PAP. In order to characterize the dynamic procedure of array pipelining, we define 12 array pipelining parameters, in which three are for the speeds of data flows, six for data distributions and three for time factors. By analyzing the iterative procedure of array pipelining, a theorem of array pipelining representing the relationship among the above parameters is proposed and is expressed by six linear equations. An array pipelining scheme can be completely determined by its array pipelining parameters, therefore, with some parameters reasonablely given, the unknown parameters can be derived by solving the linear system of equations, thus an array pipelining algorithm can be obtained. We refer to this method as the parameter method for designing array pipelining algorithms. Usually, for a given problem several array pipelining algorithms can be yielded by using this parameter method. We can compare them and make an optimal choice. Various array pipelining algorithms proposed by others, such as systolic array suggested by H. T. Kung et al. can be derived conveniently by means of this parameter method.In order to show the power of this parameter method, some new array pipelining algorithms, such as for matrix multiplication, FIE filtering, DFT, triangular matrix inversion, etc., are also worked out in this paper. These algorithms are more reasonable than existing ones.