替换定理的三种证明

高等代数的教材里，“替换定理”常常采用数学归纳法证明，本给出另外三种证明，以不同的方法揭示定理中向量组之间的内在联系。     

投影理论体系探讨

本文试图用数学方法把和投影有关的诸理论统一起来。数学表达式使各种投影之间的关系一目了然。对于投影的各种情况,本文一一给出了成立的充分必要条件。特别是其中的中心投影的仿射形的充要条件,与原来在这个位置上的别斯金定理大不相同,去掉了其射影几何的内容,对其适用于投影的結论作了引申,在附表中仍称之为别斯金定理,但这实际上已经是投影自己的别斯金定理了。又如库鲁巴定理,尽管已经分别有三、二、一天点参数公式组,但统一的中心投影充要条件公式始终没有。本文用矩阵方法很简单地推出了这一与库鲁巴定理等价的公式组。     

代换定理的证明及其应用

本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。     

一类多值广义向量似变分不等式解的存在性

在Banach空间中研究了一类多值广义向量似变分不等式问题(GMLVVIP),此类变分不等式以经典的变分不等式为基础,将单值映射推广到了多值映射.在多值映射与仿射的条件下,利用T的θ-h半连续与伪单调性,通过运用KKM定理和K-F-G不动点定理,证明了这类GMLVVIP解的存在性并给出了证明.     

一类无穷域上高分数阶微分方程正解的存在性

为了研究无穷域上高分数阶微分方程多点边值问题正解的存在性,采用Schauder不动点定理及抉择定理,给出一类无穷域上高分数阶微分方程正解的存在条件以及迭代解,对分数阶微分方程解的存在性问题进行向高阶的推广.     

开路--短路法求戴维南等效电路输出阻抗存在局限性

分析证明了二类含受控源的有源两端网络,不能用开路－短路法求其截维南等效电路输出阻抗。否则,会得出错误结果。     

基于KAUTZ模型的预测函数控制及其稳定条件

对模型未知的系统采用Kautz函数逼近得到系统的近似模型.基于所得到的Kautz模型设计了一种预测函数控制器.对该算法进行了稳定性分析,依据Lyapunov稳定性定理得到了保证闭环控制系统稳定的充分条件.仿真实验证明,该算法能够准确逼近真实系统模型,实现自适应控制,得到满意的控制效果.     

关于电磁波场问题的研究

讨论了电磁场矢量E和B的Helmholtz定理的合理形式,提出了将旋量场方程化为一个标量场方程求解的问题,然后给出了求解电磁波场并矢格林函数的新方法。     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

叠层深梁的精确解

从弹性力学的基本方程出发,抛弃任何有关应力和位移模式的假定,导出梁的状态方程,采用Cayley-Hamilton定理,有效处理重特征值问题,得出任意高跨比叠层深梁的精确解,并给出数值结果.