蕴涵意义新解

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件，将它作为蕴涵成立的充分条件来使用是不合适的。为有效避免蕴涵怪论问题的出现，提出了一种新的意义蕴涵概念。这一概念简明、直观和容易理解。     

Hilbert空间中函数和的次微分规则及应用

 给出了Hilbert空间中非光滑函数和次微分的“局部”和规则,讨论了这个和规则的应用.利用“局部和规则”,讨论并得到了一类较广的复合优化问题的最优必要条件.     

区间系统鲁棒稳定性和鲁棒镇定性的检验条件

讨论了区间系统的鲁棒稳定性和鲁棒镇定性的有限检验问题,给出了线段多项式鲁棒稳定性的充分必要条件,利用该条件对多项式多面体鲁棒稳定性和区间系统鲁棒镇定性进行了有限检验,并给出了相应的检验结果。该检验条件直观简明,利用它可非常方便地对这些区间系统进行鲁棒稳定性分析。     

具有齐次核的Hilbert型积分不等式的构造特征及应用

利用实分析技巧,研究具有齐次核的Hilbert型积分不等式的构造特征及取最佳常数因子的充要条件,得到了最佳常数因子的解析表达式.     

分数阶导数的Du Bois-Reymond引理及其在分数变分问题中的应用（英文）

考虑Riemann-Liouville分数导数意义下的分数变分问题.首先,对于这类分数变分计算,证明了与古典Du Bois-Reymond引理相对应的结果.然后,应用该结果建立了分数变分泛函的Euler必要条件.最后,讨论了全局极值问题,得到了一些全局极值存在的充分必要条件.     

大天文学

有意思的是,当提及"大科学"的时候,人们往往会想到巨大的粒子对撞机。大而深的地下实验室和高昂的国际合作,已经成为了现代粒子物理学研究的必要条件,而它们所研究的对象却是现实世界的最小单元。然而并不仅仅是物理学喜欢昂贵的设备。2011年4月2日英国的焦德雷班克天文台被选为耗资21亿美元的一平方千米天线阵(SKA)的总部。SKA由19个国家参与,旨在建造迄今最大的射电望远镜。"虚拟"观测陈列焦德雷班克天文台已经建成,但它不会是SKA的所在地(SKA将落户者澳大利亚或南非)。在射电     

Volterra型时滞积分系统minimax控制的必要条件

对带有终端状态约束的一类受控时滞Volterra型积分系统,导出其minimax控制的一组必要条件.     

齐次线性方程组有非零解充要条件的应用

线性代数中齐次线性方程组是否有非零解有下面的重要结论：定理 含有n个未知量的n个方程的齐次线性方程组有非零解的充分必要条件是：方程组的系数行列式为零。     

存在I型循环拟差集的一些必要条件

本研究（v,k，λ）_I型循环拟差集存在的必要条件。特别是对v≡2(mod4)的情形，所得到的必要条件可以用Diophantine方程来表示，利用所得到的必要条件，对满足v≡2(mod4),v<100的整数v，考察了（v,k，λ）_I型循环拟差集的存在性问题。     

除环上一类特殊无限方阵的逆方阵

研究了除环R上一类特殊的行列有限的无限方程A具有各种逆方阵的充分必要条件，指出：方阵A在除环R上具有唯一的行列有限的无限的上三角的双侧逆方程当且仅当A的诸列向量在R上无限线性关系。