CMOS电路的最大动态功耗计算和测试生成

本文首先提出,CMOS电路的最大动态功耗计算,可以通过计算在特定输入序列作用下电路中的不变门数的最小值来实现。本文提出的极性推导、赋值法可以快速求解不变门数的最小值,并生成相应的输入序列。该算法与电路的输入变量数无关。

VLSI的动态功耗测试生成

本文指出，ＶＬＳＩ的最大动态功耗测试，可以通过在特定输入序列作用下使电路中的不变门数为最小值来实现。本文提出的极性推导、赋值法可以快速生成相应的输入序列。该算法与电路的输入变量数无关。

零条件下的二维拟线性波动方程(英文)

证明了在零条件下，二维拟线性波动方程解的生命区间可以改进．

大型数字电路的动态电流测试模式

组合逻辑电路的最大动态电流测试应在电路的原始输入端施加一个特定的测试序列才能实现.文中提出一种算法模式可以快速生成所需的测试序列.算法与电路的原始输入端数无关.

PIECEWISE SMOOTH SOLUTION OF THE FIRST ORDER SEMILINEAR HYPERBOLIC SYSTEMS IN HIGHER SPACE DIMENSION

It is important to study the propagation and interaction of progressing waves of nonlinear equations in the class of piecewise smooth function. However, there has not been many works on that in multidimensional case. In 1985, J, Rauch & M. Reed have provad the existence and uniqueness of piecewise smooth solution for

二维无旋可压缩Euler方程解的几何爆破

对二维无旋可压缩Euler方程,当其初值是一个常态的小扰动时,我们证明 了ρ,ν的一阶导数在爆破时刻同时破裂,从而对无旋情形证明了Alinhac S.的猜测.