矩阵反问题与变尺度公式

本文通过讨论矩阵反问题与变尺度公式之间的关系,指出构造变尺度公式的一条途径。作为应用,得到一类具有n个参数的变尺度公式,以及一个比J.E.Dennis和R.B.Schnabel〔6〕更强的结果。     

命题逻辑公式的相似度与距离之研究

将Lukasiewicz模糊命题逻辑系统中公式A和B积分相似度ξ(A,B)与自然的距离ρ(A,B)的概念推广到模糊命题逻辑系统L*、G(o)d和∏中,并讨论了它们之间的关系.讨论的结果表明:在Lukasiewicz模糊命题逻辑系统中,它们之间的关系为:ξ(A,B)=1-ρ(A,B),而在G(o)d∏和L*中此关系不成立.最后还研究了这四个逻辑系统中公式的积分相似度和自然的距离的性质.     

酸铜添加剂CPP108开发和应用

开发了一种通盲孔匹配的电镀铜添加剂CPP108,此添加剂既可以用于板面电镀又能够用于图形电镀.研究了该体系的盲孔性能和通孔性能,并对其可靠性进行了测试.该体系具有高的通孔及盲孔贯孔能力,添加剂稳定可靠,易于控制.经过长期试验线的批量测试,于2010年5月成功用于上海美维电子有限公司电镀生产线.     

单试样测定铝合金J_(Ic)的新方法

本文提出了一个根据载荷-载荷点位移曲线上的柔度变化测定铝合金J_(IC)的单试样法和计算J积分公式: 实验结果表明:使用这种方法测得的J_(IC)值与用多试样法测得结果符合。使用上述公式计算的J_(IC)值和用J=(1+α)/(1+α~2)-2A/B(w-α)计算的结果相一致。     

一个改进的超记忆梯度法的收敛性及其敛速估计

本文主要解决了以下两个方面的问题: 1.对于无约束最优化问题,1968年A.Miele、J.W.Cantrell提出了记忆梯度法,接着E.E.Cragg、A.V.Levy又进一步推广提出了超记忆梯度法。1976年M.A.Wolfe和C.Viazminsky又将超记忆梯度法推广,提出了超记忆下降法。对于这些算法的收敛性,特别是收敛速度的估计,至今未见有人从理论上加以讨论,仅是通过一些计算实例,说     

盲孔法识别拉(压)弯钢管内力的分析与试验

为了解在役拉(压)弯钢管的内力情况,在盲孔法测量钢结构应力的基础上,提出了拉(压)弯钢管的内力识别方法.采用盲孔法对不同外径、不同荷载下的3组9根钢管试件进行了2种不同方式下的钻孔试验,研究了不同钻孔方式、不同外径、不同表面应力分布情况下的钻孔释放规律.试验结果表明:钻孔加工应变对测量精度影响较大,计算应力时应消除钻孔加工应变的影响;在应力超过f_y/2时需对释放系数进行塑性修正;钢管表面应力的测量精度随钢管直径的增大而提高.盲孔法用于拉(压)弯钢管的表面应力检测和杆件内力识别,无论理论上还是实际操作都是可行的,识别精度满足工程应用要求.     

非线性微分方程两点边值问题的奇摄动

本文是讨论非线性边值问题εu″+f(x,u,u′,ε)u′=0,00,(2) u′(1)+bu(1)=B,b>0,(3)解的存在性及其渐近性态,其中ε为正的小参数。这类问题,首先被研究,他讨论了A=B=0的情形。继后,S.V.Parter,D.S.Cohen,J.J.Shepherd等人继续对它进行了研究,他们考虑了A≥0,B>0的情形。本文是在Cohen所研究过的方法的基础上,来讨论更一般的情形。     

负关联规则的研究

传统的关联规则是A(=)┐B的形式,将这种形式加以扩展,讨论了A(=)┐B, ┐A(=)B,┐A(=)┐B三种形式,给出了一种负关联规则中支持度与置信度简单有效的计算方法.讨论了同时研究正、负关联规则后出现的矛盾规则问题,提出了用相关性解决这些问题的方法和一种挖掘频繁项集中正、负关联规则的算法,进行了算法的验证实验.实验结果表明,该算法能检测并删除相互矛盾的规则.     

關於Kthe問题

Kthe,G.(1930)曾提出问题:右理想适合极大条件之诣零环是否为冪零环?Levitzki,J.(1945)解决了这个问题,但其方法还不夠直接.本文是对此问题给出一个较简的解法.引理1.设B是任意环A的两边理想.若B中含有A的诣零右理想R≠0,则B中必含有A的非0的诣零左理想。证,在R中任取r≠0,由R之诣零性知Ar是A的含于B中的诣零左理想.     

逻辑系统H_t中的约束算法

定义了多值逻辑系统Ht中的约束度,在Ht中讨论了满足(A(x)→B(y))→(A*(x)→B*(y))≤α的B*(y)(A*(x))存在的条件,得到了Ht中的的全蕴涵α-FMP和α-FMT问题的上确界与下确界公式:B*(y)=inf[A*(x)∧(A(x)→B(y))]∧,αy∈Y;A*(x)=sup[B*(y)∨(t-(A(x)→B(y)))]∨(t-)α,x∈X.证明了全蕴涵α-FMP和α-FMT问题的最大解和最小解的存在性定理.     

保不定斜乘积交叉范数映射的刻画

设H是复Hilbert空间,di mH≥3,J∈B(H)是可逆自伴算子,记A+=JA*J.算子A,B的不定斜乘积与不定斜Jordan三乘积分别记为A+B(AB+)与AB+A,给出了包含秩一算子的集合上保不定斜乘积或不定斜Jordan三乘积交叉范数映射的刻画。     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(B→C))→((A→B)→(A→C))。而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((﹁B→B)→B)以及皮尔士律、吸收律、段定律等。就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程。     

关于n×n复矩阵与其诱导矩阵之间的关系

讨论三个问题:a.设A是n×n复矩阵,且K(A)分别是正规的、厄米特的、半正定的和反厄米特的,用简洁的方法证明A的某些性质;b.设A是复可逆矩阵,巨C_m(A)分别是正规的、厄米特的、正定的和反厄米特的,讨论A具有的性质的条件;c.设A,B均为n×n复矩阵,讨论C_m(A)=C_m(B)的必要充分条件.     

域F上的在F的扩域内相似的矩阵

本文证明了:如果A与B在F的扩域上F上相似,则当F是无限个元素的域时,A与B在F上也相似.当F是有限个元素的域时,讨论了二阶矩阵的情形并得到同样结果.     

Weierstrass公式及其应用

本文解决了以下三个问题:1.给出了定理1—5,解决了极小曲面上是否存在对称直线或对称平面的问题,并且对若干重要的极小曲面进行了讨论。2.证明了定理6,从而把广义的Weierstrass公式与经典的Weierstrass公式统一起来。3.用广义的Weierstrass公式给R~3中所有的旋转常中曲率曲面以统一的表达式。     

对称算子空间上Jordan-triple初等映射的可加性

目的 主要刻画对称算子空间上的2个映射M:J(H)→K(H)和M*:K(H)→J(H)是可加的,其中J(H)和K(H)分别表示H上的J-对称算子全体和K-对称算子全体.方法 利用M和M*的性质以及对称算子分块的性质进行证明.结果 与结论证明了若映射M:J(H)→K(H)和M*:K(H)→ J(H)满足{M(AM*(B)C+CM*(B)A)=M(A)BM(C)+M(C)BM(A),M*(BM(A)D+DM(A)B)=M*(B)AM*(D)+M*(D)AM*(B)且M和M*是满射,则M和M*是可加的.     

用新公式精确研究碱金属分子电子态的离解能

使用W.G.Sun等(J.Mol.Spectrosc.,2002,215:93-105.)提出的基于微扰理论的代数方法(AM),研究了碱金属异核双原子分子NaLi的A1Σ+,NaK的X1Σ+、c3Σ+,KRb的21Π等4个电子态的离解能;然后使用最近提出的新公式计算了这些电子态的离解能,并分别与实验值进行了比较.理论计算结果表明:使用新公式得到的分子离解能与实验值非常吻合.对那些还没有离解能实验数据的电子态,该公式提供了一种推测其离解能的新方法.     

非负整数对称阵可实现性问题的一个注记

J. B. Kelly于1968年讨论了非负整数对称阵的可实现性问题,即:已知n阶非负整数对称阵B,问是否存在一个n×m的0-1矩阵A使得B=AAT,并称满足条件的最小m为可实现矩阵B的容度.J. B. Kelly给出了n=1,2,3,4时矩阵B可实现的条件,并在B可实现时给出了它的容度.通过构造实现矩阵,很容易获得了n=1,2,3时相应的结论,并给出了3阶可实现矩阵B较为简便的容度算法.特别地,在B可实现时给出了其实现矩阵.     

关于测量硅单晶锭中少于寿命的计算公式

本文论述了用现有的光电导衰减法测硅单晶锭中少于寿命计算公式存在的问题。针对此问题,提出了与它相应的改进公式。用此改进公式算出的值与实验测得的数据基本一致。 一、引言 用光电导衰减法测锗、硅单晶锭中少数载流子寿命的计算公式早在1955年就被D.J.Steveson等人提出,其后,JP.Mckelvey又对圆柱形单晶锭进行过专门的计算,现在许多文献都在引用他们的结果,国内一些工厂和实验室测单晶锭中少子寿命时,也都采用这类公式。文献(2)中所提出的公式和文献(1)中是一致的,所以这里我们仅讨论文献(1)中的公式。     

一种求任意埃尔米特广义特征值的方法

本文利用五种复变换矩阵(其中四种为作者新提出),给出一种求解埃尔米特广义特征值问题Ax=λBx的方法,这里A,B为n阶任意埃尔米特阵.可说是[1]和[2]中方法的改进与推广,[1]中讨论了A、B实对称B非奇异的情形,[2]中的MDR法只能用于A,B实对称B半正定的情形.它们都不能解决B为奇异且不定的情形,也不能解决A,B为埃尔米特的情形.本文还对[1]中的中断情况作了改进,对MDR方法的改进在别处讨论,新方法称CHR法.