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

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

具有公共对称面的两个二次回转面的相贯线

本文论述了常见的两个二次回转面轴线相交和平等时,其相贯线在公共对称面（投影面）的投影分别为双曲线和抛物线,只有在特殊情况下是直线,椭圆和圆,并举例说明在计算机上绘图的方法。     

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

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

当量齿轮

介绍了当量齿轮的概念和当量齿轮的应用．     

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

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

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

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

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

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

平面药包的最佳间距

在矿山剥离、场地平整以及建(构)筑物基坑开挖等露天爆破中,为了充分利用炸药能量将岩石松动或抛掷到一定区域,并确保底板满足一定平整度要求,按照爆破技术设计和工程质量要求,需要设计平面布药结构.本文通过在施工现场进行的大量小型模拟实验,对平面药包间、排距与爆破漏斗的开口面积、可见深度、爆岩的抛掷距离和堆积形态等关系进行了系统分析与研究.实验结果表明,当平面药包间、排距满足一定范围时,爆破漏斗的可见深度较小,而开口面积和抛掷距离最大,爆堆形态较好.平面布药结构存在一个有利于抛掷堆积的最佳间、排距.     

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

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

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。