一类n维自映射有异状点的充要条件

设f是可降的n维自映射,给出了这类自映射有异状点的一个充要条件.     

一类二次系统有界的充分且必要条件

在已有研究结果的基础上，给出了一类二次系统有界的充分且必要条件。     

区间值三角模左连续的充要条件

基于定向偏序集理论给出了区间值三角模左连续的充要条件,证明了区间值三角模左连续当且仅当该三角模保定向并。     

关于F2‖Cmax问题最优解的充要条件

F2‖Cmax问题即二台处理机同顺序加工n个作业问题,是一种常见和重要的车间作业排序问题.求解这个问题用SPT-LPT算法[1]一般不会得到全部最优解,以ai,bi分别表示作业i(1≤i≤n)在二台处理机上的加工时间,其算法中的条件即所有前后相邻接的两个作业都必须满足不等式m in(ai,bj)≤     

线性系统Luenberger能观规范型的充要条件及特征

提出了一种完全能观线性MIMO(multi-input multi-output)系统的能观矩阵的线性无关行向量的搜索方案,并基于此搜索方案提出了一种将完全能观线性MIMO系统化为Luenberger能观规范型的变换矩阵的构造方法。通过对几个定理的证明,阐述了此非奇异变换矩阵与Luenberger能观规范型的关系,提出了将Luenberger能观规范型按照结构的差异划分为广义和狭义2种规范型的观点,并给出了完全能观线性MIMO系统的广义和狭义Luenberger能观规范型实现的充要条件,用3个实例验证了上述观点和方法的正确性和可行性。同时给出了一种方法使得一类不满足Luenberger能观规范型实现条件的线性MIMO系统能够在不改变系统物理结构的前提下变换为Luenberger能观规范型,并通过2个实例的分析和比较对此方法进行了阐述。     

非线性规划问题的全局最优解的充要条件及其算法模型

给出了非线性规划问题(NP)的全局最优解的充分必要条件,建立了求该问题全局最优解的一个算法模型.     

一类非光滑规划K-T点都是极小点及弱对偶成立的充要条件

对于目标函数和约束函数分别是某些非光滑函数的单目标规划,讨论了它的每个K-T点都是全局极小点的充要条件以及原规划和它的混合型对偶之间的弱对偶成立的充要条件.     

一类n维环型Lotka—Voltrra系统正平衡点全局渐近稳定的充要条件

讨论了一类n维环型Lotka-Volterra系统=X(b+Ax)存在正平衡点的充分条件及正平衡点全局渐近稳定的充分必要条件,得到结论i)若-A∈P,系统有唯一的正平衡点;ii)系统的正平衡点全局渐近稳定的充要条件是-A∈P.     

一类n维环型Lotka-Volterra系统正平衡点全局渐近稳定的充要条件

讨论了一类n维环型Lotka-Volterra系统 x=X(b Ax)存在正平衡点的充分条件及正平衡点全局渐近稳定的充分必要条件,得到结论:i)若-A∈P,系统有唯一的正平衡点;ii)系统的正平衡点全局渐近稳定的充要条件是-A∈P.     

非共振奇异边值问题正解存在的充要条件

利用上下解方法,研究了非共振奇异边值问题,得到了C1[0,1]正解存在的充要条件.     

Hilbert空间中非扩张映象不动点存在的一个充要条件

在Hilbert空间中,利用CQ方法证明了非扩张映象的Ishikawa迭代序列是良定的,并证明了该迭代序列有界是非扩张映象不动点存在的一个充要条件.这些结果推广了Matsushita与Takahashi的某些结果.     

一类(P,P+1)-图是平衡的充要条件

用新的分析方法,研究了一类(p,p 1)-图B[n,n;d]的平衡性问题,首先得到了B[n,n;d]的平衡指标集,进而给出了B[n,n;d]是平衡图的充要条件,得到了一些新的结果.     

多级提取奇异点的算法及基于奇异点的粗匹配

提出了一种分别基于Poincare指数和梯度场零点检测的分级算法来提取奇异点(核心点,三角点).该算法分为两级:首先是粗定位,根据指纹块方向场的Pioncare指数确定奇异点所在的分块和该奇异点所属的类型,同时得到核心点的方向;然后精定位,用梯度场零点检测的方法在该块中精确确定奇异点的位置(精确到像素级);最后利用奇异点的位置和方向信息对指纹做粗匹配,尽可能地排除明显不可能的候选待匹配指纹.实验证明,提取奇异点的算法快速、准确并且有很强的鲁棒性,而且与全图平方方向场滤波算法相比节省27%的计算时间.后阶段粗匹配的算法则能够拒绝30%的候选指纹系统的处理时间.     

线段自映射有素周期点的一个充要条件

在已有文献研究的基础上,我们给出了线段自映射有素周期点的一个新的充要条件。     

3-正则图的上控制数和上无赘数相等的禁止子图条件

在文献[1]中，Cockayne和Mynhardt反证了Henning和Slater的一个猜想：任一个3－正则图G有IR（G）＝Γ（G）。在这篇文章中，我们给出了一正则图的Γ（G）＝IR（G）的禁止子图条件。     

C(X)空间中列紧集的一个充要条件

研究C(X)空间列紧集的基本特征，并给出了C(X)空间中列紧集的一个充要条件。     

解析函数的一个充要条件及高阶导数公式

本文将解析函数的自变量表为指数形式，证明了解析函数的一个充要条件，并给出了该形式下的高阶导数公式。     

不可约路的充要条件

图G的唯一性与补图各分支的不可约性密切相关,用Pn表示n阶的路,证明了n≥4时,Pn是不可约图当且仅当n 1是素数,从而得出若干新的色惟一图。     

关于非游荡点性质的一点注记

对连续流及其时间1映射的非游荡点的关系进行了研究.在指出有关定理证明的不当之处后,给出了连续流及其时间1映射的非游荡集相等的一个充分条件;同时对紧致二维流形证明了其上的连续流与其时间1映射的非游荡集是相等的.     

关于积分与极限交换的充要条件

由几乎处处收敛的几乎处处连续的本性函数序列的无界点集的闭包S∞是零集,结合几乎处处连续的本性函数的积分定义与可积的充要条件,证明几乎处处收敛的几乎处处连续的本性函数序列的积分与极限交换的充要条件是该函数列在S∞上积分等度收敛.