算子与微分方程

本文研究一类不连续稳积分微分方程的周期边值问题，首先将方程转化为算子方程，然后对算子方程应用广义迭代法证得算子方程解的存在性，从而证得周期边值问题的存在性。     

关于行列式的教学方法的一些探讨

高阶的行列式的计算是《线性代数》课程教学中的重要内容。本文在常规教学内容的基础上,结合几类有趣的实例,加深学生对这块内容的理解,提高学生的学习兴趣。     

约定性结构还原与广义科学统一

还原与反还原的争论,科学统一与反科学统一的争论,是当今科学技术哲学界的两大争论不休的问题。争论的每一方都有著名的哲学家支持,各执一方。我在此两大争论基础上,提出约定性结构还原,狭义科学统一,广义科学统一。同时从约定性结构还原与广义科学统一的密切关系中,用新的视角,试图寻找还原与科学统一的研究新进路。     

广义斐波那契数列的性质及推广

该文对满足f0=x,f1=y,fn=rfn-1+ sfn-2,rs≠0的广义斐波那契数列进行了讨论,运用哈密顿-凯莱定理给出了通项公式的解法,同时对广义斐波那契数列的性质进行了探讨,并分析比较了广义斐波那契数列与方阵幂的联系.     

随机变量和的二维联合分布

利用有限测度的广义加法公式,在特定的假设条件下,对一些随机变量的和与另外一些随机变量的和的二维联合分布给出了一种求法,并举例说明.     

一阶线性脉冲微分方程解的参数连续依赖性

在文献[6]的基础上,讨论了广义线性微分方程与一阶线性脉冲微分方程的关系,并给出一阶线性脉冲微分方程初值问题解对参数的连续依赖性定理.     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

锅炉蒸汽温度的广义智能控制系统设计与应用

以具有时变特性、大惯性和非线性的锅炉蒸汽温度受控对象为背景,设计广义智能控制系统,给出闭环控制系统全局渐近稳定的充分条件及其数学证明。仿真实验和在火电厂锅炉蒸汽温度控制系统所取得的实际效果,验证了设计理念的实用性和有效性,较好地解决了控制系统稳定性和快速性的矛盾。     

一类退化椭圆算子的强Hardy型不等式及应用

推广、改进欧氏空间中思想,得到广义Baouendi-Grushin算子的一类强Hardy不等式,进一步建立了一类Hardy-Sobolev型不等式。作为应用,讨论了一类p次退化椭圆Baouendi-Grushin算子的正定性与下无界性,并给出一个正解。     

关于n阶行列式的计算

探讨了ｎ阶行列式的计算问题