Telyakovskiǐ型定理

本文在二阶连续模情形下,证明了满足Timan型估计的线性算子A,经过适当的修正后得到的线性算子A~+满足Telyakovskiǐ型估计。     

不可分的正定Hermite型的构作

不可分的正定Ｈｅｒｍｉｔｅ型的构作朱福祖（华东师范大学数学系上海２０００６２）设（ｍ＞０无平方因子）为虚二次域，Ｄｍ为它的代数整数环，域Ｆ有唯一的非平凡的对合即复共轭，它的不动点域是Ｑ，所谓整Ｈｅｒｍｉｌｅ型是指与它相伴的Ｈｅｒｍｉｌｅ方阵的元素属于...     

OrCAD9.2(EDA)软件用于电路分析的方法

OrCAD9.2是国际通用电子设计自动化(EDA)软件包，文中介绍了用该软件对电路进行噪声计算的方法，并给出用模拟分析计算的典型电路噪声，证明这种方法在分析复杂电路的噪声时方便、简单、准确。     

拥挤型网络的路流组合及模型求解的搜索法

证明了一个路流组合定理并由此而给出了一个求解网络选址两级模型的算法，讨论了网络的Ｂｒａｅｓｓ性及其在网络规划中的应用前景。     

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

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

石油微观渗流数值模拟实验

应用基于骨架隐曲面造型技术，构造了一种抽象的孔隙空间模型，在此基础上运用系统模拟技术开发了一个石油微观运移数值模拟实验平台，用于模拟和展示石油在饱含水孔隙介质中的运移过程，并验证了以浮力为主要运移动力的动力学模型的适用性。