单片机在数控机床上的应用研究

本文研究将ＭＣＳ－５１型单片机用于普通数控机床，通过监控程序设计，进一步完善机床性能，使该系统具有显示功能，快速点动、自动四零、自动升降频率、自动换刀、自动齿隙补偿、刀具磨损补偿，暂停等多种功能．     

SYNTHESIS AND CHARACTERIZATION OF MONOVALENT AND MIXED-VALENCE COMPLEXES OF COPPER WITH 2-THIOURACIL

Five polynuclear monovalent and mixed-valence complexes of copper with 2-thiouracil were synthesized. They were characterized by the molar conductivity, electromc spectra, infrared spectroscopy, thermogravimetric and magnetic susceptibility measurements. Their coordination properties and tentative structures were discussed.     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

鄂尔多斯盆地腹部下古生界天然气赋存系统研究

运用深盆气圈闭的基本原理，综合分析了鄂尔多斯盆地下古生界天然气赋存的基本地质因素，论证并提出了盆地腹部下古生界深盆气圈闭的新认识，并依据盆地地质构造特征将其进一步划分为：西部前渊拗陷型和中东部复式向斜型两大深盆气赋存系统．     

多级制造系统的最优化模型及其应用

多级制造系统是现代制造业的主要加工方式，系统的每一级的加工速度和加工周期是系统设计的主要决策变量，正确确定这两个变量是系统得到优化的主要目标。本文导出了系统优化的基本模型，它包括系统各级的生产时间、等待时间、生产速度、生产成本以及系统的循环时间、总成本、产品利润和利润率等，并给出了一个应用实例。     

POSITIVE SOLUTIONS FOR NONHOMOGENEOUS ELLIPTIC EQUATIONSWITH CRITICAL GROWTH ON R~(2)

1IntroductionIntillspaper,weare(follccrlledwitlltileexistellccofPositly(tsollltiollsoftilefollowillgnonhonlogelleousellipticProblclll:whereg(x)EL'(R'),g(:v)Z0alldg(x)t0,f(x,t)=h(x,t).hi=withb>0,h(x,t)EC(R=xR,R)alldtilefollowing(CI)-(C3)11old:(CI)sliphillM0.linljfl- x,h(T,t)(t--if-=011llif'orllllyforxeR2.hill}t:l-:,t)(axle(~ltJ')= lx,11lliforllllyl'Ora:6RZ.ltl~la(C3)ThereexistM>0,aE(0,1]sucllthatFOllowing[1,5],wesaythatf(x,t)=h(x,f…     

Vibrational spectrum of uridine obtained by means of nonresonant-background-free CARS spectroscopy

Received: 18 June 1996/Revised version: 3 January 1997     

A Modified SQP Method and Its Global Convergence

The sequential quadratic programming method developed by Wilson, Han andPowell may fail if the quadratic programming subproblems become infeasibleor if the associated sequence of search directions is unbounded. In [1], Hanand Burke give a modification to this method wherein the QP subproblem isaltered in a way which guarantees that the associated constraint region isnonempty and for which a robust convergence theory is established. In thispaper, we give a modification to the QP subproblem and provide a modifiedSQP method. Under some conditions, we prove that the algorithm eitherterminates at a Kuhn–Tucker point within finite steps or generates aninfinite sequence whose every cluster is a Kuhn–Tucker point.Finally, we give some numerical examples.     

Kähler-Einstein metrics with positive scalar curvature

In this paper, we prove that the existence of K?hler-Einstein metrics implies the stability of the underlying K?hler manifold in a suitable sense. In particular, this disproves a long-standing conjecture that a compact K?hler manifold admits K?hler-Einstein metrics if it has positive first Chern class and no nontrivial holomorphic vector fields. We will also establish an analytic criterion for the existence of K?hler-Einstein metrics. Our arguments also yield that the analytic criterion is satisfied on stable K?hler manifolds, provided that the partial C ⁰-estimate posed in [T6] is true. Oblatum 12-IV-1996 & 8-XI-1996     

透射和反射组合系统的基点基面

本文研究了由透射和反射系统构成的组合系统的基点基面,推导出了其位置公式,结果表明这样的组合系统等效于一个反射镜,等效反射镜就是反射系统经透射系统所成的象,最后对其性质进行了讨论.