曲面的联络系数Γkij及ωji的计算

首先给出了正交曲线网作为曲面S的参数曲线网时曲面的联络系数,即Г1 11=2-1(EG-F2)-1(GE1-2FF1+FE2),Γ2 11=2-1(EG-F2)-1(2EF1-EE2-FE1),Г1 12=2-1(EG-F2)-1(GE2-FG1),Г2 12=2-1(EG-F2)-1(EG1-FE2),Г1 22=2-1(EG-F2)-1(2GE2-GG1-FG2),Г2 22=2-1(EG-F2)-1(EG2-2FF2+FG1).然后给出了用曲面的第一基本形式的系数E,F,G及其偏导数表示的联络系数Γk ij及ωj i的计算.     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

椭圆周上的一类新的双正交级数

研究了椭圆周上一类新的双正交级数，给出了它的部分和与其诱导函数的Ｆｏｕｒｉｅｒ三角级数的部分和之间偏差的精确的渐近表达式．     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。     

不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。     

广义De Bruijn图分解问题的一些结果

广义DeBruijn图是最近提出的一种具有良好性质的网络拓扑结构，文中对这类图的分解问题作了初步的分析，构造了一类基本模块，并得出了一些关于模块效率的数值结果。     

再辉效应对T9A钢显微组织和机械性能的影响

研究了T9A钢铅浴淬火时,再辉效应对其显微组织和机械性能的影响.在珠光体转变温度范围内等温时,随着等温温度的降低,引起塑性下降的原因是再辉效应促发颗粒状或短片状珠光体形成;在上贝氏体转变温度区,由于出现再辉效应产生的温度爬升现象,使试样温度升至屈氏体转变温度区从而形成上贝氏体和屈氏体的混合组织,使得强度增高曲线出现平台或稍有下降,且塑性发生下降,同时,还对等温淬火的定义提出了新的看法,绘出了反映实际情况的共析钢C-曲线上的组织形成图。