用焓法有限元解相变问题的离散化方法

为了消除应用焓法进行含有相变的有限元传热计算结果呈台阶形的现象,本文作者提出“焓计算单元”和“固相分数”的概念,并将几种一维有限元实施方案的计算结果与精确解对比,说明采用所提出的概念,可以使有限元计算得出更为合理的结果。     

迟后型时滞控制系统的稳定判断及稳定条件(下)

本文旨在把判断低阶时滞系统稳定性的“截点法”推广到高阶迟后型时滞系统的稳定性判断。文中具体分析了三阶时滞系统的稳定条件,并用计算机模拟证实了有关结论的正确性。此外,本文还提出了判断时滞系统不存在渐近稳定性质的基本理论及无渐近稳定的充分条件。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

J2EE架构下的数据库访问技术分析与研究

本文讨论了基于J2EE的数据库访问方法，并对各方法的实现进行了比较，给出了在实际开发中数据库访问方法选择的建议。