枪口火焰光电测量方法探讨

该文简述了常用枪口火焰测量的几种方法,对各方法存在的问题下作了系统分析,类比于枪口噪声的测量科学地提出了评价枪口火焰大小及强弱的评价指标,在此基础上提出了一种行之有效的光电测试方法,文中阐明了该方法的原理及系统组成,通过枪口火焰的实弹实验,证明了该方法的可行性。     

一种压电复合材料层合板机电耦合有限单元

基于压电复合材料层合板经典理论,建立了一种四边形机电耦合有限单元．所建单元具有ｍ个电自由度,可直接模拟单元中的电压作用和检测电压输出;单元每一节点具有５个位移自由度,可计及复合材料层合板的拉弯耦合变形．给出了各类刚度矩阵的形式,简述了利用Ｈａｍｉｌｔｏｎ原理推导出机电耦合基本运动方程的过程,并根据所推导的有限元素和基本方程编制了程序并进行了计算,所得结果与文献中的计算和试验结果相吻合．     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

Solutions of Two-point BVP in Banach Spaces

IntroductionGuoetal.[1]discussedthetwo-pointboundaryvalueproblem(BVP)forordinarydifferentialequationsinBanachspaces,-u″=f(t,u),　t∈I=[0,1]u(0)=u(1)=0andgavesomeconclusions.Usingthemonotoneiterationtechnique,SongFumindiscussedthesameBVP[1]andshoweditsmaximalandminimalsolutions[2].Inmoregeneralboundaryvaluecondi-tions,GuoandSun[3]discussedBVPinreflexiveBanachspacesandmadeseveralconclusions.InthisworkthefollowingBVPinrealBanachspace,E,isconsidered.Lu(-p(t)u′)′ q(t)u=f(t,u),B0uau(0)-…     

电力系统潮流计算的模拟进化方法

将模拟进化方法引入电力系统潮流计算。与传统方法比较结果表明,模拟进化方法中的进化策略法可以有效地解决电力系统病态潮流问题。文中还对几种模拟进化方法进行了比较,结果表明：进化策略法用地潮流计算比较成功;基因算法和进化规划法由于方法本身的缺陷,不太适合于潮流计算。     

受迫二维广义KdV方程的反周期行波解的变分方法

用变分法研究了受迫二维广义ＫｄＶ方程的反周期行波解的存在性。     

nSi／pSi1—xGex／nSi晶体管直流特性数值分析

采用一维有限差分方法,对生长在Ｓｉ（００１）衬底上的Ｓｉ１－ｘＧｅｘ应变基区异质结双极晶体管（ＨＢＴ）的直流特性进行了数值分析,给出了高斯掺杂情形下,基区中不同Ｇｅ分布的Ｓｉ１－ｘＧｅｘＨＢＴ的共射极电流放大系数图、Ｇｕｍ－ｍｅｌ图和平衡能带图;与Ｓｉ双极同质结晶体管（ＢＪＴ）的直流特性作了对比,结果表明基区中Ｇｅ的引入有效地改善了晶体管的直流性能;其次对基区中Ｇｅ分布与ｐ型杂质在基区－集电区交界处的不一致进行了模拟,证实了基区杂质向集电区扩散产生的寄生势垒使集电极电流密度下降这一实验结果．     

《重筛法》及其应用(Ⅰ)

《重筛法》是一种研究方法,是把复合数与质数区分开来,并进行分类和标码,使质数分布问题的研究转换成对“码”运算的研究.本文介绍了《重筛法》部分内容,及其在若干质数分布问题研究中的应用.本文着重介绍利用等差级数特性,实现复合数和质数的区分、分类和标码;并推导出实用的质数公式.     

一类非线性方程的迭代解及应用

利用锥理论和单调迭代方法研究了一类非线性方程解的存在唯一性及其迭代过程，对所述的映射没有作连续性、紧性或具有上、下解的假定．作为应用，把所获得的结果用到Banach空间一阶微分方程．     

非线性算子方程的迭代求解方法

在较弱的条件下,利用锥理论和单调迭代方法,建立了Banach空间中一类非线性算子方程的最大最小藕合解的存在性定理和不动点定理,并给出了相应的迭代逼近式及误差估计式,改进了一些相应结果.