借助覆盖向量刻画了代数免疫布尔函数的特征,给出布尔函数代数免疫不大于某确定值的充要条件。
同时,给出了任意简单多边形走向…要条件。
研究主理想环上模的矩量问题,包括矩量问题的存在性和唯一性。
给出了这类双层规划具有恰当罚函数的充要条件,以及这类问题的解的一些性质。
在此基础上,给出了一个GD-约束集成为最小覆盖的充要条件。
文章主要工作是给出了判别此类矩阵的一个充要条件。
基于被比较分布是指数的情况,还建立了判定NBU(2)序的一个充要条件。
积性凸函数且是积性凹函数的充分必要条件
二个半群的半直积为完全单半群的充要条件
一类非连续算子不动点存在的充分必要条件
函数列一致收敛的一个充分条件和正项级数收敛的一个充要条件
模辐角乘方开方开集闭集邻域充分必要条件
一类线性切换系统能控性和能达性的充要条件
一类伊藤型不确定随机系统均方稳定的充要条件
一类组合系统能控性和能观测性的充分必要条件
不可微条件下不带约束资格多目标规划解的充要条件的进一步推广
连续双向联想记忆网络局部指数稳定的充要条件
微分代数方程系统标准奇异点的一个充分必要条件
一类矩阵广义特征值反问题解存在的充要条件
积分因子存在定理的一般充要条件
德摩根一致代数可度量化的一个充要条件
协方差阵二次型估计可容许的充要条件
广义系统静态输出反馈镇定的一个充要条件
连续变量非线性时滞差分方程振动的充要条件
一类不确定随机系统均方稳定的充要条件
无穷小量部分代换求极限成立的充要条件
集族存在唯一的相异代表系的一个充要条件
几何约束求解中分离图完备的充要条件
概率算子测度弱收敛的一个充要条件