Banach空间中渐近正则半群的不动点定理

设X是p一致凸Banach空间,具有弱一致正规结构与非严格的Opial性质.又设C是X的非空凸弱紧子集.在适当的条件下,证明了C上每个渐近正则半群T={T(t):t∈S}都有不动点进一步,在类似的条件下,也讨论了一致凸Banach空间中渐近正则半群的不动点的存在性.     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

ZnSe及ZnSe/GaAs异质结构中压力导致的直接禁带向间接禁带的转变

用经验赝势方法计算了体ZnSe以及ZnSe/GaAs单异质结系统中ZnSe外延层г、X、L等特殊对称点导带底能量随压力的变化。结果表明，同Si、Ge、GaAs等半导体材料不同，ZnSe的X点导带底具有正的压力系数，但比г点的压力系数小，这是ZnSe材料以及ZnSe基异质结构材料发生直接禁带向间接禁带的转变时所需转变压力较大的根本原因。研究了ZnSe/GaAs异质结构中晶格失配造成的应变对外延层г、X、L对称点压力系数的影响，表明这种晶格失配造成的应变可以极大地减小ZnSe外延层材料由直接禁带向间接禁带的转变压力。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

模具CAD系统中参数化图形库的建立

为了减轻模具CAD设计中繁重的建库工作，提出了针对模具设计中不同图形的特点，在AutoCAD平台上采用程序驱动和尺寸驱动相结合的办法，为开发人员提供了一种简单易行的建库方法。     

微积分严格化之后(续二)

一、复数域上的微积分Frobenius定理说 :实数域上所有有限维结合可除代数 ( Division Algebra)只有三个 ,即 :实数域 ,复数域 ,四元数 ( Quaternion)代数 ,如果去掉结合性要求 ,则实数域上还有另一个可除代数 Cay-ley-Dickson代数 ,即 Octonion代数。在实数域上的维数为 8。由于四元数代数不可交换 ,Cayley-Dickson代数既不可交换又不结合。而复数域既可交换又可结合 ,且复数早已为人们所熟悉 ,于是人们在考虑原有微积分 ,即实数域上的微积分之后 ,理所当然地考虑复数域上的微积分 ,这就形成了复分析。复分析既然是复数域上的微积分 ,那…     

化镍浸金无铅焊点之强度

一、发生黑垫之机理与改善 1．1 黑垫的探讨 化镍浸金的焊锡性（Solderability）一向不错，不管板子经过几强热仍然非常好焊。然而焊锡性的优异，并不代表焊点强度（Solder Joint Strength）或后续之可靠度也就良好，ENIG的天生宿命正是最好的活例子。     

D→PP衰变过程的末态相互作用

利用单粒子交换方法,研究了D介子衰变到两个赝标粒子中的末态相互作用.通过实验数据中抽取的强相角来分析末态相互作用的效应     

A Compact Magnetically Insulated Line Oscillator with New-Type Beam Dump

We present a compact improved model of the magnetically insulated line oscillator with new-type beam dump and other novel features. In the experiments, high-power microwave of the TM01 mode is generated from the device with a frequency range of 1.73-1.78 GHz and a peak power level of above 2 GW, when the diode voltage is taken in the range 520-540kV, and the diode current is in the range 58-62kA. This confirms the simulation results.