Scott连续映射的分析式与分层次式刻划及应用

首先建立了拓扑空间到连续格的Ｓｃｏｔｔ连续映射的分析式与层次式刻划。共次利用这些刻划得到了连续格的分析式与层次式刻划，改进了有关作者的完全分配格的分析式刻划。     

论拓扑一般Boole格的同态的可逆性

本文评述了“拓扑空间概论”一书中的一点疏忽.讨论了拓扑序集同态可逆性定义及与其相关的一些基本定理.     

曲面的联络系数Γ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的计算.     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

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

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

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

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

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

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