赋权图中最重的最长v-路与赋权周长

对 2 -连通非Hamilton赋权图G ,本文证明 :若P(u ,v)是G中最重的最长路 ,则G的赋权周长cw(G)≥dw(u) +dw(v) ;假设G满足文中描述的额外条件C1 、C2 ,则max{dw(x) ,dw(y) |d(x ,y) =2 }≥m/ 2时 ,对每个顶点v ,G含最重最长υ -路P(u ,v)使dw(u)≥m/ 2 ,而dw(x) +dw( y) +dw(z)≥m(当d(x ,y ,z) =2 )时 ,cw(G)≥ 2m/ 3.改进了非赋权图的周长及赋权图的赋权周长的若干已有结果 .

一类中立型微分方程单步法的稳定性分析

讨论下列形式的中立型微分方程 (组 ) :(A) x′(t) =F(t,x(t) ,x(g(t,x(t) ) ) ,x′(g(t,x(t) ) ) ) ,t∈ [a ,b],(B) x(a) =x0 ,x′(a) =z0 ,其中z0 是隐式方程z=F(a,x0 ,x0 ,z)的一个实根 .首先给出几个引理 ,然后给出了该方程 (组 )的一种单步方法—改进欧拉法的稳定性证明 .

积分因子的条件

给出了一个可微函数 μ(x,y)是一阶常微分方程积分因子的充分必要条件 .

浅析Linux的防火墙技术

讨论了Linux防火墙的安全机制和原理 ,阐述了如何利用Linux建立和管理防火墙的方法 ;分析了包过滤方法、透时代理、IP伪装以及ipfwadm命令的使用 ,指出了Linux防火墙的不足及其发展方向 .

关于平均半群的自由积

证明了任意半群的极大平均半群同态象存在且同构唯一 ,同时证明了平均半群的自由积的极大平均半群同态象同构于这些平均半群在平均半群范畴中的自由积 .

正规带的张量积与极小正规带同余

证明在半群范畴中,两个半群的张量积的极大正规带同态象恰好是这两个半群极大正规带同态象在正规带范畴中的张量积。