曲面的联络系数Γ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点）是有效点的等价条件。     

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

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

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

完备流形上带位势的热核估计

在完备非紧流形上获得了关于带位势热方程正解的梯度估计；接着，利用测地线的技巧获得了Harnack不等式；进一步，建立了两个积分不等式，综合Harnack不等式获得了热核的上下界；最后，利用函数的结果来控制p形式的热核。     

无界报酬向量值折扣马氏决策规划—最优平稳策略及算法

本文主要讨论了无界报酬向量模型的平稳策略问题，给出了改进平稳策略的方法，建立起向量模型的最优方程，获得平稳策略为强最优策略的充要条件．指出最优平稳策略的期望报酬函数必为极大不动点，最后提出一种寻求最优平稳策略的策略迭代算法．