析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题.本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质,并阐述了极小蕴涵和极小析取范式表示在模型检测
本文讨论了一类高阶线性常微分方程边值问题的非线性扰动问题,在扰动跨共振点时分析了解的存在性.文中使用了分解空间的手段对线性化的单个问题的解的存在唯一性作了细致的分
设f∈C<sup>0</sup>(X,X),f为由f所诱导的集值映射.本文证明了:对任意m≥2, f<sup>m</sup>是拓扑遍历(强拓扑遍历)的当且仅当f<sup>m</sup>=f<sup>m</sup>是拓扑遍历(强拓扑遍历)的
本文研究带Dirichlet条件的边界值问题{□u+△G(u)=f(t,x),(t,x)∈Ω≡(0,π)×(0,π), (*)u(t,x)=0, (t,x)∈aΩ,的解的存在性,这里口是波算子a2/at2-a2/ax2,G:Rn→R是
令G是n阶2-连通图且d(u,v)=2→max{d(u),d(v)}≥n/2.设{x,y}不是G的2-割集,记最长的(x,y)-路的长度为p(x,y).本文证明了如下结论:(1)p(x,y)≥n-2;(2)若p(x,y)=n-2且P是最长的(x,y)-路中使
令p为素数,q=p^λ,Eq为q阶有限域,取α∈Fq^×,设χ为Fq上的二次特征,令M(Fq,α,i,j)表示集合{x∈Fq:χ(x)=i,χ(x+α)=j},其中i,j∈{±1}。本文给出了构造所有M(Fq,α,i,j)的定理的一个直接
对一类广义对角占优矩阵M,本文加强了对迭代矩阵M-1N的谱半径的上界估计的一些结果,并推广到相应的块形式.另外,我们还用块范数对M-1N的谱半径进行估计,并提出了实用的估计策
本文我们利用由n-元控制算子组T=(T1…,T1)或族S={T:α∈∧}生成的有单位元的C*-代数C*(T)或C*(S)上的复*-同态表示左联合谱.
本文提出了计算广义梯度和寻求单变量全局优化最小值的区间算法,定理与数值结果表明算法是可靠的和有效的。
在此方中,我们证明了具有连续初映射的调和热方程的长时解的存在性。