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.     

A gold-based nanobeacon probe for fluorescence sensing of organophosphorus pesticides

A nanomaterials-based novel molecular beacon has attracted growing attentions in fluorescent assays as many nanomaterials possess excellent quenching efficiency. In this work, a gold-based nanobeacon probe was established to detect organophosphorus pesticides for the first time. The constructed gold-based nanobeacon acted as a signal indicator and could display the decreasing of the intensity in the presence of targets, which competitively bound to single strand DNA. To achieve a high sensitive probe, some parameters including solution pH, temperature and reaction time were investigated and optimized. The gold-based nanobeacon probe assay was proved to be rapid and sensitive to achieve a detection limit of 0.035 μM for isocarbophos, 0.134 μM for profenofos, 0.384 μM for phorate and 2.35 μM for omethoate, respectively. The prepared nanobeacon effectively reduced the background and improved the detection sensitivity and selectivity. The probe is stable, easy to operate and does not need sophisticated instruments. These features makes the probe feasible for screening trace organophosphorus pesticides in real samples.     

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

激光等离子体2660紫外探针及干涉系统

成功地在六路高功率Nd玻璃激光装置上建立了2660紫外激光探针和适合紫外波段的Normaski干涉仪,首次将可见波长的连续激光应用于紫外干涉仪中靶成像调整和光路准直。利用该紫外光干涉仪,在铜柱状靶(φ500μm)上测量了厚等离子体中高达0.6n。的电子密度。     

解线性最小二乘问题的一个新并行算法

讨论了求解无约束线性最小二乘问题的一种并行单纯形法以及对它的改进算法并行共轭梯度—单纯形法 .算法本身具有很强的并行机制 ,能够充分地发挥并行机快速省时的特点 .本文也对算法做了理论分析 ,对算法的收敛性给予了证明 (在二维情形下 ) .最后做了数值实验 (由于软硬件条件的限制 ,并行算法未能在并行计算机上实现 ,鉴于这种情况 ,我们所做的数值实验均是在串行机上完成的 )     

An Application of Branch and Cut to Open Pit Mine Scheduling

The economic viability of the modern day mine is highly dependent upon careful planning and management. Declining trends in average ore grades, increasing mining costs and environmental considerations will ensure that this situation will remain in the foreseeable future. The operation and management of a large open pit mine having a life of several years is an enormous and complex task. Though a number of optimization techniques have been successfully applied to resolve some important problems, the problem of determining an optimal production schedule over the life of the deposit is still very much unresolved. In this paper we will critically examine the techniques that are being used in the mining industry for production scheduling indicating their limitations. In addition, we present a mixed integer linear programming model for the scheduling problems along with a Branch and Cut solution strategy. Computational results for practical sized problems are discussed.     

On the orthogonality of natural modes of vibration

The natural modes of a discrete linear system are orthogonal with respect to the mass and stiffness matrices in a generalized sense. However, these modes are usually not orthogonal to each other in the ordinary sense. The purpose of this paper is to document a number of conditions under which the modes are also orthogonal in an ordinary fashion.