一类非线性微分方程周期解存在的条件

本文用非线性泛函分析的理论和方法研究了一类非线性徽分方程周期解的存在性, 并给出了周期解存在的条件。      

巧用克鲁金定理

巧妙地运用克鲁金定理，仅用代数方法就解决了一些积分问题。笔者还从克鲁金定理出发，导出了库斯科夫公式，并举出其应用实例。     

矩阵特征值内插定理的拓广

推广了一般图邻接矩阵的插值定理,在更广泛的意义下给出矩阵特征根的内插定理,并得出了一些新的结果.     

弱多元隐函数定理及其推广

多元隐函数定理条件经弱化以后其解析性质(隐函数的存在性、连续性)经论证仍然成立;其条件加强后可以推广到n+m个变元的情况.     

积分第二中值定理中“中间点”的渐近性质

本文研究了在三种不同情况下积分第二中值定理中“中间点”的渐近性质。     

广义门阈分解理论

基于传统中值滤波的分析和实现方法，进一步导出了广义门域分解ＧＴＤ理论，研究了有关性质和实现问题，其效果不仅大大地简化了理论分析和硬件实现，而且也进一步完善了非线性滤波的有关理论。     

关于正互反矩阵代数结构的几个定理

对正互反矩阵集合的代数结构进行了讨论，指出正互反矩阵集合是一个交换群，一致性正互反矩阵集合是正互反矩阵集合的一个不变子群，正互反矩阵集合是一致性正互反矩阵集合与标准型正互反矩阵集合的直积。     

基于无限长梁模型的车路振动耦合系统半解析解

针对无限长道路与车辆耦合系统响应计算复杂难题,考虑地基的弹性特性与道路不平度,建立基于无限长欧拉-伯努利梁模型的车路振动耦合系统。进而以车辆为参考点建立移动坐标系,提出通过积分变换推导耦合系统振动响应解析解的方法,并应用留数定理对其进行数值计算,获得车辆垂向位移、加速度、路面振动响应等系统响应的半解析解。与传统应用模态叠加法的有限长道路与车辆耦合响应相比,具有更高的计算效率与精度,系统参数化研究也证明了该半解析解的有效性。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率. 为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例（FOF组）为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%.