Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

稳定分层湍流中逆梯度输运的关联分析研究

本文采用关联分析方法研究了稳定温度分层湍流中的结构特性、输运特性，以及热量、动量逆梯度输运现象的尺度效应及其参数演化．首先采用大涡模拟方法对稳定分层湍流中的结构特性和输运特性进行了分析，将逆梯度输运发生的时间尺度作为已知条件，结合关联量分析方法在波数空间中的解析解，对逆梯度输运现象的尺度效应进行了分析研究．结果发现，稳定分层强度较大的流动中发生垂向热量及动量逆梯度输运现象，发生的结构尺度与关联分析所发现垂向热量、动量逆梯度输运的波数形成了呼应．随着分层强度增加，热量、动量的输运强度均受抑制，与逆梯度输运关联的流场结构尺度减小，同样的效应也发生在流场结构向下游演化的过程中．     

不等式约束条件下回归模型的参数估计及检验

本文研究了具有不等式约束条件的回归模型的参数估计，给出了检验的统计量和一个实例．     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。     

355nm Nd∶YAG激光在H_2中的高效一级斯托克斯转换

对脉冲Nd∶YAG激光(355 nm)在H2和H2∶He-Ar混合气体中的受激拉曼散射(SRS)进行了研究。在0.5 MPa的氢气中,同时测量到从二级反斯托克斯到三级斯托克斯的多波长输出,其总转化效率达88%;而高压下只剩下一级和二级斯托克斯输出,其中二级斯托克斯最大能量转化效率达44%(对应量子效率为63%)。由于高级斯托克斯的竞争,纯氢气中一级斯托克斯的最大能量转换效率不超过43%。通过向3 MPa氢气中掺入2 MPaAr气后,很好地抑制了二级斯托克斯的产生,从而获得了能量转换效率高达71%(对应量子效率为83%)的一级斯托克斯输出。对四波混频和级联受激拉曼散射在氢气多级斯托克斯产生中的作用以及惰性气体对它们的影响进行了讨论。     

The Millimeter Wave Tomography Application for the Subsurface Imaging

In the present paper new results of modeling and experimental investigation on millimeter wave subsurface tomography are submitted. Tomographic algorithm is employed for imaging of subsurface objects in the case when conductivity of probed medium is not equal to zero. The possibilities and restrictions of this algorithm for image processing are shown both as a result of modeling and as a result of experiments. A new tomography setup allowing obtaining images of different inhomogeneities in dielectric media is considered.     

2-fold and 3-fold mixing: why 3-dot-type counterexamples are impossible in one dimension

V.A. Rohlin asked in 1949 whether 2-fold mixing implies 3-fold mixing for a stationary process (ξ_i )_i2ℤ, and the question remains open today. In 1978, F. Ledrappier exhibited a counterexample to the 2-fold mixing implies 3-fold mixing problem, the socalled 3-dot system, but in the context of stationary random fields indexed by ℤ². In this work, we first present an attempt to adapt Ledrappier's construction to the onedimensional case, which finally leads to a stationary process which is 2-fold but not 3-fold mixing conditionally to the σ-algebra generated by some factor process. Then, using arguments coming from the theory of joinings, we will give some strong obstacles proving that Ledrappier's counterexample can not be fully adapted to one-dimensional stationary processes.