三元等价关系的定义和等价性质

给出三元等价关系的定义,并讨论了它的一些基本性质以及三元等价关系的一些等价条件。     

关于Euler生成子图极大边数的一个注记

若图G存在欧拉生成子图,则称G是超欧拉图(supereulerian).常用SL表示全体超欧拉图组成的集合 设G是有n个点的简单图,G∈SL,如果δ(G)≥ 4且δ≥n5-1,则G存在欧拉生成子图H,使得 |E(H) | / |E(G) |≥ 3/5     

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

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

基于混合遗传算法的多约束组播路由问题的求解

研究了延时、延时抖动约束的最小费用组播路由问题,并且提出了一种混合遗传算法.遗传算法是一种模拟生物进化过程的并行最优算法,适合在大型、复杂的空间中寻找最优解.遗传算法并不需要求解问题具有连续性,因而适宜于约束组播路由问题的求解.此外,遗传算法的并行分布式处理实现简单,因而用遗传算法解决约束组播路由问题十分有效.并通过计算分析,表明本算法能够快速有效的构造出所要求的满足延时、延时抖动约束的最优组播树.     

毕竟正则半群中的变量

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

B值随机元的连续逼近

本文首先证明了B值随机元序列几乎处处收敛与几乎一致收敛的等价性,然后用它来证明一个关于连续函数逼近B值随机元的Lusin型定理.     

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

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

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

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

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

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

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

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