命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

一种基于孙子定理的等级系统密钥管理方法

等级系统是管理系统的常见形式,等级系统的密钥管理是实现等级管理及其访问控制的重要方法。本文首先总结分析了等级系统的密钥管理方法,然后基于对称加密技术和孙子定理提出了一个新的等级系统的密钥管理方法。该方法能适应系统的调整与变化,用户改变密钥也很简单。     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

一个平凡解的稳定性定理的改进

利用K类函数改进了马尔金定理的一个结论（即在非注定系统中，若相关的定正函数V和定负函数V1满足limt→∞(dV/dT-V1)=0，则系统有稳定的平凡解），得到一个非驻定系统平凡解的稳定性定理，并通过实例说明本文给出的定理可以判别其平凡解的稳定性，而用马尔金定理的结论失效。     

关于i=(4n+7±√6n^2+6n-11)/10的正整数解快速求角原理

本文给出了有效信号为二次多项式时，线性二乘一步外推点与采样点关系方程正整数解的快速求解的几个定理。     

基于纯方位信息的目标跟踪线性修正模型?

在基于几何关系的纯方位航迹不变量信息处理过程中，对非线性模型进行细致分析，提出了线性修正模型，在处理问题时更加清晰、可靠，减小了大量的计算和计算误差，使纯方位信息的非线性处理实用化。     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限，则该点必连续，若无极限则该点两侧或单侧必振荡；（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导，我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时，则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0），或至少有一个单侧极限为无穷时，函数在该点不可导，（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时，函数在该点可能可导。     

关于(i=4n+7±√6n2+6n-11/10)的正整数解快速求解原理

本文给出了有效信号为二次多项式时,线性二乘一步外推点与采样点关系方程正整数解的快速求解的几个定理.