摘要：介绍了连续抽样中概率发生变化时保留样本的方法。对于有放回的PPS抽样 ,在假设的超总体模型之下提出了总体变量总值的模型———设计无偏预报量 ,并计算了总体不变时保留样本的最优匹配比。对于无放回的RHC抽样 。

摘要：本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，约束的引入与消去是不同层次上的操作．最后，本文绘出了类型检查算法Wτ，并证明了此算法中约束的可满足性是可判定的．

摘要：给出了矩阵方程X +A X-2 A =I有对称正定解的两个充分必要条件 ,它们在算法设计和理论分析上可能有一定的用途。根据这两个定理 ,当矩阵方程有对称正定解时 ,给出了系数矩阵A必须满足的条件 ,这些条件大部分都是很容易验证的。

摘要：利用矢量压缩的方法进行立体绘制 ,一个不足是根据码本生成的 Pixmap图无法应用于立体投影中的每一点 ,为了克服这些缺点 ,提出了具有 Shear Warp的矢量化算法 .它充分发挥了矢量量化的压缩比 ,以及不需要解压即可直接进行体绘制的优点 ,有效地利用了具有 Shear Warp的体绘制方法的快速和适合立体投影的优点 ,克服了基于矢量量化的绘制方法的不足 ,几乎能够达到实时的交互绘制 。

摘要：本文回顾了著者三十多年来从事"数据结构"教学与研究的主要经历,重点介绍了对该课程的教材建设方面的主要工作,指出与时俱进、精益求精地编写教材是提高教学水平的基础和关键。

摘要：复制数据是处理抽样调查中数据项目缺失的一种常用方法.在两种常见模型及复杂抽样设计下,本文对处理数据项目缺失的类均值复制和类加权均值复制方法进行了对比.

摘要：本文介绍稳态对流扩散问题的稳定化有限元方法.该方法的主要难点在于,当对流占优时可能出现边界层,导致传统有限元方法在边界层内失去稳定性,从而产生剧烈振荡.在拟均匀网格下,稳定化有限元方法可分为两类:迎风型方法和指数拟合方法.前者利用对流速度的信息在变分形式中增加稳定化项,而后者利用边界层解的特征将指数函数引入到格式设计中.这两类方法对于设计电磁场等新型对流扩散问题的数值方法起到重要指导作用.

摘要：提出了一种用于认证的易损数字水印技术 .将数字水印嵌入在小波变换域的不同尺度、不同方向分量上 ,来检测局部空域和频域的变化 ,在效果上相当于多重水印 .在水印检测时 。

摘要：配对友好椭圆曲线在基于配对的密码系统中起关键作用。这类曲线的构造不仅极大影响实现效率,更关系到系统安全。虽然目前已提出很多构造方法,但几乎都依赖穷尽搜索。该文提出一种构造该类曲线的系统方法,将寻找配对友好曲线问题转化到解方程,从而避免了穷尽搜索,并设计出具体算法。最后,将该算法应用到寻找嵌入次数为5,8,10和12的配对友好曲线中,发现所有类型的椭圆曲线族都可由该方法统一得到,包括完全族、可变判别式的完全族和稀疏族。特别地,还找到了新的椭圆曲线族。

摘要：新产品的研制工作要经历若干个阶段,每个阶段都是在前一阶段的基础上针对产品在设计、材料或工艺等方面的缺点采取改进措施,以便产品的可靠度得到提高。本文在一般公认的假定—次序约束下,综合利用各阶段的数据给出了最后阶段产品可靠度的点估计和置信下限,它比只利用最后阶数据得到的点估计和置信下限更为合理。此处,还对可靠性增长试验的设计提出了有价值的建议。