Hypernormal form theory: foundations and algorithms

Hypernormal forms (unique normal forms, simplest normal forms) are investigated both from the standpoint of foundational theory and algorithms suitable for use with computer algebra. The Baider theory of the Campbell-Hausdorff group is refined, by a study of its subgroups, to determine the smallest substages into which the hypernormalization process can be divided. This leads to a linear algebra algorithm to compute the generators needed for each substage with the least amount of work. A concrete interpretation of Jan Sanders’ spectral sequence for hypernormal forms is presented. Examples are given, and a proof is given for a little-known theorem of Belitskii expressing the hypernormal form space (in the inner product style) as the kernel of a higher-order differential operator.     

Cochran's statistical theorem for outer inverses of matrices and matrix quadratic forms

We extend the matrix version of Cochran's statistical theorem to outer inverses of a matrix. As applications, we investigate the Wishartness and independence of matrix quadratic forms for Kronecker product covariance structures.     

An inner product lemma

Given the operator product BA in which both A and B are symmetric positive‐definite operators, for which symmetric positive‐definite operators C is BA symmetric positive‐definite in the C inner product 〈x, y〉C? This question arises naturally in preconditioned iterative solution methods, and will be answered completely here. Copyright © 2004 John Wiley & Sons, Ltd.     

基于实数编码的免疫遗传算法研究

针对标准遗传算法(SGA)搜索效率低、收敛速度慢等缺陷，在免疫遗传算法的基础上提出了基于实数编码的免疫遗传算法(RIGA)。研究表明，RIGA对SGA的改进是有效可行的，显示出稳健的全局优化、计算量少而解的精度高等特点，具有较高的应用价值。     

Geometry of an Accelerated Rotating Disk

We analyze the geometry of a rotating disk with a tangential acceleration in the framework of the theory of Special Relativity, using the kinematic linear differential system that verifies the relative position vector of time-like curves in a Fermi reference. A numerical integration of these equations for a generic initial value problem is made up and the results are compared with those obtained in other works.     

Density-Functional Theory Calculations of Normal Modes and Raman Intensities for Tetraazaporphin

The structure, harmonic frequencies, and nonresonance Raman intensities for porphin, tetraazaporphin (TAP), and three of its isotopomers are calculated by the density-functional theory of B3LYP/6-31G(d). Scaling of force constants for porphin in nonredundant natural coordinates is performed. The scaling factors obtained were used to predict the force field and normal modes of TAP and three of its isotopomers. Two alternative methods are used to carry out reliable assignment of the TAP frequencies: wavenumber-linear scaling method and frequency-shift method. There is good agreement between the frequencies predicted within the framework of the three methods used. The conservativeness of the out-of-plane B _2g - and B _3g -modes for porphin and TAP is examined. The Raman spectrum for TAP is simulated. A refinement of the assignment of the experimental frequencies for TAP of even symmetry types on the basis of the calculations performed is made.     

Numerical Modeling of Interior Ballistics Processes in Light Gas Guns

An improved procedure for modeling the operation of a light-gas gun is proposed. The motion of working bodies in both the firing chamber and the light-gas chamber is studied within the framework of the mechanics of heterogeneous media. The problem of barrel heating taking into account its melting and removal of thermal ablation products into the medium inside the bore is solved in a coupled formulation. Heat and mass transfer and friction on the barrel surface are calculated using empirical dependences. The deformable piston is considered compressible and elastoviscoplastic. Allowance is made for the presence of a clearance between the lateral surface of the piston and the barrel bore walls and the associated gas flow between the firing and the light-gas chamber. Calculation results are given.     

On topological properties of the Hartman-Mycielski functor

We investigate some topological properties of a normal functorH introduced earlier by Radul which is some functorial compactification of the Hartman-Mycielski construction HM. We prove that the pair (H X, HMY) is homeomorphic to the pair (Q, σ) for each nondegenerated metrizable compactumX and each denseσ-compact subsetY.     

介质靶表面的充电效应对等离子体浸没离子注入过程中鞘层特性的影响

针对等离子体浸没离子注入技术在绝缘体表面制备硅薄膜工艺，采用一维脉冲鞘层模型描述介质靶表面的充电效应对鞘层厚度、注入剂量及靶表面电位等物理量的影响.数值模拟结果表明：随着等离子体密度的增高，表面的充电效应将导致鞘层厚度变薄、表面电位下降以及注入剂量增加，而介质的厚度对鞘层特性的影响则相对较小. 关键词： 等离子体浸没离子注入 脉冲鞘层 绝缘介质 充电效应