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.     

外腔反馈对半导体激光器振荡特性的影响

通过有效反射系数的引入，根据激光谐振腔的自再现条件和对腔内光子密度、载流子密度方程的求解，分析了外腔反馈对半导体激光器的阈值增益、振荡频率和输出功率等振荡特性的影响，并通过实验进行了验证.外腔反馈后，半导体激光器的阈值电流从420mA降为370mA，输出功率的斜率效率获得了提高，理论计算的输出功率曲线与实验结果符合的很好. 关键词： 半导体激光器 外腔反馈 振荡特性     

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

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

基于Terminal滑模的有限时间混沌同步实现

提出了混沌同步有限时间实现问题，将Terminal滑模控制技术与混沌同步问题相结合，把同步问题视为响应系统的跟踪问题，给出了由线性滑模函数引入非线性项构造Terminal滑模面的充分条件，以及相应Terminal滑模控制器.以主从Duffing系统为例研究验证同步策略的可行性和有效性. 关键词： Terminal滑模 混沌同步 Duffing系统     

利用振幅调制器进行光电负反馈抑制激光强度噪声

采用振幅调制器作为抑制激光强度噪声的元件，首先对光电负反馈回路进行了简要的理论分析，然后利用该光电负反馈进行抑制激光二极管抽运全固化单频环形Nd:YVO4红外激光器强度噪声的实验。结果表明，在0－1MHz的低频段，强度噪声大幅度降低，最大降低约15dB。     

运用量子约束动力学对具有耗散的量子位的追踪控制

在有限温度环境内，量子约束动力学及其追踪控制可使退相干系统的相干性稳定一段时间.约束方程产生的控制场能够按量子比特的动力学状态进行控制(量子动力学轨道的反馈控制)；依靠量子比特的这种反馈效应，可使量子位稳定在设定的时间内.同时，在量子位的稳定方面，温度扮演一种消极的角色. 关键词： 量子约束动力学 耗散量子位的控制 追踪控制 量子比特的反馈效应