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

〈111〉晶向冲击加载下单晶铜中纳米孔洞增长的早期动力学行为

利用分子动力学方法模拟计算了单晶铜中纳米孔洞在沿〈111〉晶向冲击加载下增长的早期过程.测量发现不同加载强度下等效孔洞半径随时间近似成线性变化.观测到单孔洞增长的两种位错生长机理：加载强度较低时，只在沿着冲击加载方向的孔洞顶点附近区域有位错的成核和运动；而随着加载强度超过一定阈值，在沿冲击加载和其垂直方向的孔洞顶点区域都观察到位错的成核和运动.在前一种机理作用下，孔洞只沿加载方向增长；在后一种机理作用下，孔洞同时沿加载和垂直于加载方向增长.分析孔洞表面原子的位移历史，发现沿加载及与其垂直方向的孔洞顶点沿径向的速度基本恒定，由此提出了一个孔洞生长模型，可以解释孔洞增长的线性生长规律. 关键词： 纳米孔洞 分子动力学 冲击加载 位错     

面心立方晶体外延膜沉积生长中失配位错的结构与形成过程

用分子动力学方法对5%负失配条件下面心立方晶体铝薄膜的原子沉积外延生长进行了三维模拟.铝原子间的相互作用采用嵌入原子法(EAM)多体势计算.模拟结果再现了失配位错的形成现象.分析表明，失配位错在形成之初即呈现为Shockley扩展位错，即由两个伯格斯矢量为〈211〉/6的部分位错和其间的堆垛层错组成，两个部分位错的间距、即层错宽度为1.8 nm,与理论计算结果一致；外延晶体薄膜沉积生长中，位错对会发生滑移，但其间距保持稳定.进一步观察发现，该扩展位错产生于一种类似于“局部熔融-重结晶”的表层局部无序紊乱- 关键词： 失配位错 外延生长 薄膜 分子动力学 铝     

时变线性系统特征根判稳的推广

本文研究了二维时变线性系统零解的稳定性，给出了一些允许系数矩阵主对角元变号，系数矩阵特征根变号的判定稳定性的充分条件。     

差分吸收光谱法测量大气痕量气体浓度误差分析及改善方法

差分吸收光谱技术(DOAS)中采用线性最小二乘拟合方法,用痕量气体标准差分吸收截面对测量得到的差分吸收光谱进行拟合,得出大气中痕量气体的浓度.计算结果的准确性不仅取决于光谱的测量精度,而且受标准差分吸收截面以及仪器函数和温度等诸多因素的影响.详细地分析了计算误差的产生原因,提出了用高浓度样品池得到标准吸收截面的方法,针对光谱固有结构,以及温度对标准吸收截面的影响,改进了浓度反演算法.大量的实验表明,综合运用上述方法,即便对低浓度的样气,相对测量误差也能降低到10%以下.