数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

具有长条型内边界外问题的耦合法

本文以具有长条型内边界的二维调和外问题为例，研究一种带有椭圆人工边界的自然边界元与有限元耦合法，给出耦合变分问题的适定性及近似解的误差估计．理论分析及数值结果表明，用该方法求解带长条型内边界的外问题是十分有效的．     

脑神经元移行异常的MRI诊断

为了提高对脑神经元移行异常的MRI诊断，笔者收集了5例脑神经元移行异常的病例，详细分析了本病的MRI表现，并讨论了脑神经元移行异常的发生、病理、分型以及临床表现．     

二阶抛物问题的扩展混合元方法

对二阶抛物问题提出了一种新的混合元方法一扩展混合元方法．该方法能同时逼近未知函数、未知函数的梯度和流体的流量，较好地模拟了带有混合型边界条件的二阶抛物问题．通过数值分析进一步证明了未知函数、未知函数的梯度和流体的流量的最优L^2-误差估计。     

n次积分C半群的扰动理论

在当C具有非稠值域时，n次积分半群与一次积分C半群的扰动理论基础上，推导出n次积分C半群的扰动理论，并在不同条件限制下证明仍然有n次积分C半群的Phillips扰动理论成立．     

关于Ls优化映象的极大元存在定理

给出了Ls类映象和Ls优化映象的概念，在G-凸空间中建立了关于Ls类映象和Ls优化映象的极大元存在定理，作为应用，给出了G-凸空间中的极大极小不等式。     

三相比率对三元料浆流变性及燃烧性的影响

选用适当的分散剂和乳化剂制备出了油、水、煤组成的三元混合料浆——水基油水煤浆及油基油水煤浆。并研究了三相比率对两种三元料浆流变性和粘度的影响，探讨了三元料浆的燃烧特性。结果表明：油基和水基三元混合料浆均为屈服假塑性流体，油基煤浆的粘度随外相油含量的减少及内相煤水比率的增加而增大；水基煤浆的粘度随水油比率的降低及煤油比率的增加而增大。燃烧性实验表明．三元料浆的燃烧性能良好．燃烧效率高．是一种工业应用前景广阔的浆体。     

高动态和角速率输入下捷联算法比较研究

在常规弹箭上应用固态微惯系统具有重要意义.该文研究各种航姿算法对常规弹箭高动态运动特征的适应性.以高动态规则进动作为运动输入,仿真四元数航姿算法和旋转矢量多子样算法的漂移.误差分析和数值仿真结果表明:高动态环境下,引入了角速率项的旋转矢量修正二子样算法能较好地适应由新型固态陀螺构建的捷联系统.     

杜诗中"自"字与诗中的"二元主体"世界

杜甫在诗中喜用“自”字。在其诗中，“自”字可以当代词，也可以当介词。当它作为代词，指代物的时候，诗中的“物”成为和人一样的独立的主体，拥有了独立的情感和意志，诗中世界成为了“二元主体”的世界。诗中空灵澄明的意境得以深化，诗歌的艺术空间得以拓展。这种物的独立和海德格尔诗学中所推崇的人与物的“敞开”，有殊途同归之妙。略有不同的是，杜甫对国家和百姓的不能忘怀，使得他的个人意志虽然在某些时候弱化，但始终没有丧失，这使他和海德格尔诗学中那完全“自在生存的人”是不同的。但这也正是他的伟大之处。