解常微分方程初值问题的一类混合单步法

本文给出一类解常微初值问题的混合单步法。与现有的线性单步多导法相比，利用相同阶的导数信息本文的方法却能获得更高的阶，并且其中相当一部分具有Ｌ－稳定性Ａ－稳定性。本文首先给出方法的一般构造方法，然后给一些实用的特例，最近对方法的实际使用也略作了讨论。     

曲面的联络系数Γ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)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

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

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

一类递减信息族的性质及其证明

构造了一类基于Brown运动的单参数递减信息族{Ht}t≥0，并证明了其某些性质。     

曲面交互设计的偏微分方程反演方法

提出了一种基于偏微分方程反演自动决定偏微分方程系数和边界条件的PDE曲面造型的新方法，使所得的曲面形状尽量接近用户的选择，若干数值例子说明了此方法是有效的．     

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

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