超文本应用软件测试充分性准则初探

在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。     

关于汽轮发电机轴系扭应力设计准则

讨论了短路，切除近区故障，重合闸，误并列及次同步谐振等对轴系疲劳损耗的根据ＣＩＧＲＥ工作组的意见及有关制造厂的经验制订新的轴系设计标准。     

高寒地区供热管线直埋方式的选择

本文就几种供热管道敷设方式进行介绍、简要讨论、比较,推荐在高寒地区且地下水位较高的区域,采用一种安全、经济、可靠的有补偿无固定点直埋方式.     

恰希玛核电厂设计的安全思想和管理准则

本文阐述了恰希玛核电厂设计的基本安全思想和具体设计原则，从总体实践经验的角度，介绍了如何在“安全文化”“质量文化”所建立的框架内实施管理，对以秦山－恰希玛为代表的我国三十万千瓦级压水堆核电机组的安全前景和经济前景作了评价和展望。     

Bernoulli—Gaussian序列的检测方法研究

ＢｅｒｎｏｕｌｉＧａｕｓｓｉａｎ序列的检测问题存在于具有跳变输入的Ｋａｌｍａｎ滤波及最优平滑等实际应用中。基于系统频域特性和极大似然原理，得到了一种最优似然比检测指标，并给出了基于该指标的一种次优检测方法。实例仿真验证了方法的有效性。     

常微分方程组部分变元最大部分变元最小解

提出Banach空间常微分方程组初值问题部分变元最大，部分变元最小的解的新概念，并在一般条件下证明了这种解的存在性。     

辅助球面法求两曲面体相贯线中关于最小极限半径的讨论

讨论了辅助球面法中关于Ｒｍｉｎ的几个问题，指出了不能用内切球求解相贯线上极限位置点投影的条件。     

模具CAD系统中设计准则的程序化和公式化

模具的设计准则大多是以离散数据给出的，本文给出在模具ＣＡＤ系统中，使这些离散数据程序化和公式化的几种方法－用数组和数据文件处理法，函数插值法，最小二乘法的多项式拟合法和正交多项式拟合法，并给出了具体的实现过程，这些方法同样适用于其它ＣＡＤ系统。     

双τ^2屈服准则及其统一表达式

分析了三个主剪应力对材料屈服的影响，提出了双τ２屈服准则，并建立了一个统一表达式．分析结果表明，所建立的屈服准则，包含了Ｍｉｓｅｓ准则和双剪应力屈服准则，以及介于二者之间的一族屈服准则．这些准则不仅满足Ｄｒｕｃｋｅｒ公设的屈服面外凸性条件，而且与材料性质有关，即不同的材料对应着不同的屈服准则，Ｍｉｓｅｓ准则和双剪应力准则均为该统一表达式的特殊形式．     

加速基因方法在最大流量频率曲线参数估计中的应用

基因方法是基于自然选择和自然基因机制的并行随机自适应工程模型参数全局优化估计的通用数值方法。它不限制模型结构、优化准则、被估参数的数目、约束条件等，已开始广泛用于各种工程模型的优化设计之中。文中对它的原理、步骤、特点进行初步探讨，并针对基因方法的弱点，作者提出予以改进的加速基因方法，后者在最大流量频率曲线参数估计中得到成功应用