逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.     

可加稳定过程的自相交局部时

本文研究了可加稳定过程的自相交局部时的问题.利用Borel–Canteil引理等方法,得到可加稳定过程的自相交局部时的Hlder上界,推广了文献[5]中的结果.     

三轴转台轴系相交度误差测量方法的研究

—本文提出了一种新的轴系相交度误差测试方法。该方法不存在测量基准安装偏心问题，更适合于大型转台轴系相交度误差的测量     

ASYMPTOTIC NON-STABILITY AND BLOW-UP AT BOUNDARY FOR SOLUTIONS OF A FILTRATION EQUATION

For a class of nonlinear filtration equation with nonlinear second-third boundary value condition, it is shown that a priori boundary of the solution can be estimated and controlled by initial data and integral on the boundary of the region. The priori estimate of the solutions was established by iterative method. By using this estimate the solutions may blow-up on the boundary of the region and thus it may have asymptotic non-stability.     

黏性边界层网格自动生成

高雷诺数黏性流动在壁面附近存在边界层,在计算模拟中自动生成可靠且有效的计算网格仍然是计算流体力学存在的瓶颈.三棱柱/四面体混合网格技术在一定程度上缓解了这个困难.然而,对于复杂外形的情况,在边界层内自动高效生成高质量的三棱柱单元仍然十分困难.常用的层推进法在凹凸区域及角点处生成的边界层网格单元质量较差,边界层网格最外层尺寸不均匀.针对这些问题,发展了一种黏性边界层网格自动生成方法,通过顶点周围边的二面角识别物面网格特征确定多生长方向,预估并调整生长高度处理相交情况.同时提出一种三维前沿尺寸调节方式,提高了边界层网格单元的正交性,保证了边界层网格与远场网格尺寸的光滑过渡.通过ONERA M6翼型以及带发动机短舱的DLR-F6翼身组合体等外形的网格生成实例及绕流数值模拟,将计算值与标准实验值进行对比,结果表明:该方法能够自动高效地生成满足数值计算需求的混合网格.     

三谈相交两圆的性质及应用

本文再给出相交两圆的几条性质及应用的例子.性质1两圆⊙O_1与⊙O_2相交于P,Q两点,△PO_1O_2的外接圆分别交⊙O_1于R,交⊙O_2于S,则点Q为△PRS的内心或旁心.证明如图1(1),由∠PRQ=1/2∠PO_1Q=∠PO_1O_2及∠PO_1O_2=∠PRO_2,有∠PRQ=∠PRO_2,即知R,Q,O_2三点共线.     

Hilbert W*-模上的广义框架

本文给出了Hilbert W*-模上的标准广义框架的不相交,强不相交,弱不相交的定义,还给出了Hilbert W*-模上的广义框架的不相交,强不相交,弱不相交成立的条件,并且用算子理论的方法研究了它们的性质.     

Carleson measures on planar sets

In this paper, we investigate what are Carleson measures on open subsets in the complex plane. A circular domain is a connected open subset whose boundary consists of finitely many disjoint circles. We call a domain G multi-nicely connected if there exists a circular domain W and a conformal map ψ from W onto G such that ψ is almost univalent with respect the arclength on δW. We characterize all Carleson measures for those open subsets so that each of their components is multinicely connected and harmonic measures of the components are mutually singular. Our results suggest the extension of Carleson measures probably is up to this class of open subsets     

各向同性材料接头和界面相交裂纹应力奇异性特征分析

提出了用插值矩阵法分析各向同性材料接头以及与界面相交的平面裂纹应力奇异性。基于接头和裂纹端部附近区域位移场渐近展开,将位移场的渐近展开式的典型项代入线弹性力学基本方程,得到关于平面内各向同性材料接头以及与两相材料界面相交裂纹应力奇异性指数的一组非线性常微分方程的特征值问题,运用插值矩阵法求解,获得了两相材料平面接头端部应力奇异性指数以及与界面以任意角相交的裂纹尖端的应力奇异性指数随裂纹角的变化规律,数值计算结果与已有结果比较表明,本文方法具有很高的精度和效率。