图G的一个正常全染色f 称为是邻点可区别的, 如果G中任何相邻点的点及其关联边的颜色集合不同。 对一个图G进行邻点可区别的正常全染色所用最少颜色数称为G的邻点可区别全色数, 记为χat(G)。 证明了χat(G)≤Δ(G)+2对任意的Δ(G)≥11且围长至少为4的平面图G成立。
令λp,q(G)为图G的L(p,q)-标号数,其中p和q是正整数且p≥q。证明了若G是围长g(G)≥6的平面图,则λp,q(G)≤(2q-1)Δ(G)+4p+6q-5;若G是围长g(G)≥6且Δ(G)≠5的平面图,则λp,q(G)≤(2q-1)Δ(G)+10p-2q-4。这一结果暗含着对于g(G)≥6且Δ(G)≠5的平面图G,Wegner的猜想成立。
针对缺失数据下线性泛函估计中存在的非参数高维问题和模型参数化后的稳健性问题,本文提出了线性泛函估计的半参数降维推断方法, 通过非参数函数估计来插补线性泛函,并用参数工作函数来降维。 所得半参数降维估计具有双稳健的特点,即只要选择概率函数正确参数化或者降维插补指标可以修复线性函数的条件期望,所得估计就是相合的,而且两者都满足时,估计达到最优。
在有限元空间上采用迎风混合元方法对线性Sobolev方程进行数值模拟。此方法对线性Sobolev方程中的对流项采用迎风格式处理,扩散项则采用扩展的混合元来逼近, 降低了对解空间光滑度的要求,能同时高精度地对未知纯量以及流量进行估计,得到最优的L2-模误差估计。最后,数值例子将进一步说明该方法的可行性和有效性。
研究了一类二阶微分方程在半无穷区间上具有积分边界条件的Sturm-Liouville边值问题, 讨论了多个正解的存在性, 利用锥上不动点定理, 得到了边值问题至少有三个正解存在的充分条件。
在Banach空间中给出了一类新算子——凸幂1集压缩算子的定义,研究了这类新算子不动点的存在性问题,利用算子逼近的方法,获得了Rothe及Altman型凸幂1集压缩算子的不动点定理,推广了1集压缩算子的不动点定理。
引入了IS-代数的特征数的概念,讨论了它的性质;给出了IS-代数的特征数与环的特征数之间的关系,并用特征数刻画了无零因子、BCK和拟结合的IS-代数。
证明了一个n-Gorenstein环上的模是Gorenstein n-内合冲模当且仅当它是n-内合冲模。在左右Noetherian环上, 介绍了有限生成模的Gorenstein对偶转置。
利用被推广的半群上的ρ-Green关系,研究LρC-正则半群,得到LρC-正则半群的等价刻画,证明了半群为LρC-正则半群当且仅当它为L-左可消幺半群的强半格。
对exchange环进行了推广,研究了单边exchange环。主要讨论了形式幂级数环,斜幂级数环和广义幂级数环的单边exchange性质。证明了在Abelian条件下,exchange环、单边exchange环、clean环是等价的。
设PCn是[n]上的降序且保序有限部分变换半群。对n≥3, 证明了半群PCn是由秩为n-1的幂等元生成的, 且它的秩和幂等元秩都是2n-1。
利用两个矩阵的奇异值分解(P-SVD)以及广义逆矩阵的性质,研究了两个矩阵乘积的{1,2,3}-逆和{1,2,4}-逆的反序律,得到了(AB){1,2,3}⊆B{1,2,3}A{1,2,3}以及(AB){1,2,4}⊆B{1,2,4}A{1,2,4}成立的充要条件,并获得了(AB){1,2,3}=B{1,2,3}A{1,2,3}以及(AB){1,2,4}=B{1,2,4}A{1,2,4}的等价条件。
研究C*-代数上的{1,3}、{1,2,3}-逆和{1,4}、{1,2,4}-逆的逆序律成立的等价条件, 进而也给出Moore-Penrose逆的逆序律成立的等价条件。
本文给出了矩阵核心逆Ac的积分表示, 并利用其表示计算Ac。
利用分块矩阵的初等变换,证明了矩阵A的s个多项式秩的和的二个恒等式,其结果推广了相关的的结论。
研究在Bα空间中一类推广的Bernstein-Kantorovich算子Ln(f,sn,x)的逼近性质,利用Ditzian-Totik光滑模ω2φ (f,t)Bα给出了算子Ln(f,sn,x)的逼近正定理及Steckin-Marchaud不等式。
研究了Banach空间X中的Xd Bessel列、Xd框架、Xd独立框架、Xd紧框架与Xd Riesz基。 证明了当Xd为BK-空间时, (BXdX,‖·‖)是数域F上的Banach空间;当Xd是BK-空间且X自反时, 通过定义算子Tf, 建立了空间BXdX 与算子空间B(X*,Xd)之间的等距同构, 为利用算子论的方法研究Xd Bessel列提供了必要的理论依据。 最后, 给出了Banach空间X中Xd Bessel列的等价刻画并证明了独立的Xd 框架与Xd Riesz基是一致的。
引入Hilbert 空间连续算子值框架的不相交性、强不相交性、强补框架的定义, 讨论它们的性质;引入保不相交算子、 强保不相交算子, 证明了酉算子可逆算子是强保不相交算子, 下有界算子余等距算子是保不相交算子。
根据一致可逆性质定义的一种新谱集σ2(·)。 通过它与变化的本质逼近点谱σ1(·)之间的关系, 给出了算子演算满足a-Browder定理和有(ω1)性质的充要条件。研究了a-Browder定理和(ω1) 性质对算子及其共轭的算子演算同时成立的条件,描述了H(P)类算子的算子演算的(ω1)性质。
介绍了模糊开(闭)球并证明了它们的一些性质。定义了模糊开(闭)集,由此诱导了广义模糊赋范空间上的一个拓扑。最后,借助广义模糊赋范空间中模糊闭球套的概念,证明了有关完备广义模糊赋范空间的两个结论。
应用P-集合认识系统数据变化的理论特征,提出内-动态数据、外-动态数据、内-外动态数据的概念、动态数据离散矩形区域概念;给出动态数据关系和动态数据系数定理、动态数据离散矩形区域内点定理、给出内-动态数据分离-发现定理、外-动态数据分离-发现定理,最后给出系统状态的动态辨识应用。