广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

微分中值定理的n阶导数形式及其应用

本文阐述行列式函数及其求导法则,并借此给出拉格朗口是定理的一种证明方法,进而指出并推导了微分中值定理的ｎ阶导数形式。     

欧拉猜想计算机证明的一个新算法

文献（１）通过直接构造正交拉丁方对解答树并搜索树的所有结点这一算法,用计算机证明了不存在６阶正交拉丁方对。本文对上述算法做了改进,首先寻找所有６阶标准拉丁方,然后运用遍历解答树每个结点的方法逐一证明没有与之正交的拉丁方,从而实现欧拉猜想的机器证明,新算法使得机器运行时间大为缩短。     

Tychonoff定理的又一个证法

本文给出了Tychoncff 定理的又一个证法。在证明中,我们基于Zorn 引理,利用紧空间的等价命题之一——任一网都有丛点——来证明的。首先,我们引进了万有同的概念,并给出了一个例子。其次,我们证明了万有网的几个性质(即引理1,2,3,4)。最后,我们证明了一般拓扑学中著名的定理——Tychonoff 定理。     

中值定理证明不等式的函数构造及等式中的一题多证

利用拉格朗日中值定理证明不等式是一种常用的方法,而此法的关键和难点在于构造一个函数及区间.本文给出利用中值定理证明不等式时函数构造的思路和方法,即一个普遍的结论.同时又给出用中值定理证明等式的一题多证一例.     

一个新的组合恒等式及其证明

本文以定理的形式提出一个新的组合恒等式。它是在恒虚警算法研究和性能分析中经常遇到的恒等式。对此,文中给出详细的证明。在证明过程中,我们还提出了有关该定理在实际中可以直接应用的3个引理和2个推论。     

关于B—样条曲线中两种基本性质的证明

本文直接从定义出发对B——样条曲线中的两个基本性质作了简单明了的证明。其一是利用Cox-de Boor公式证明了当阶数μ等于顶点数n+1时,定义于扩展整数节点组的B——样条曲线退化为Bezier曲线;其二是对重复节点使B——样条基的连续性阶次降低的性质作了证明。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

Banach空间中强伪压缩算子带误差的Ishikawa迭代过程

在一般的Banach空间中,使用一个不等式及某些分析技巧证明了非线性强伪压缩算子、强半压缩算子不动点带误差的Ishikawa迭代过程的收敛定理,并给出了它们的误差估计,推广和改进了近期的一系列相应结果。     

可度量的局部凸空间的弱集性

本文用非标准方法证明并推广了Ｅｂｅｒｌｅｉｎ－Ｓｍｕｌｉａｎ定理,证明了可度量的局部凸空间中Ｗ－紧,Ｗ－序列紧及Ｗ－可数紧等价。     

分数阶终端滑模控制器在DTC系统中的应用

针对SVPWM调制的永磁同步电机直接转矩控制系统磁链和转矩波动较大的问题,结合非奇异终端滑模和分数阶微积分理论的特点,设计了一种分数阶非奇异终端滑模控制器。结合直接转矩原理和分数阶微积分理论,对误差进行分数阶微分后与误差之和作为滑模面;根据非奇异终端滑模控制原理,在所设计分数阶滑模面的基础上确定了相应的控制律;利用李亚普诺夫定理证明了滑模面的稳定性和可达性。仿真结果表明,该策略能提高系统的动静态性能,可以进一步抑制磁链和转矩波动。     

一类二维ARMA模型的判阶及参数辨识的一种算法

本文首先推导出了二维ARMA模型的冲激响应序列h(i,j)与模型参数集{a_(ij)}及{b_(ij)}的关系式,并给出了证明。利用导出的关系式,给出了一种用冲激响应序列确定二维ARMA模型的阶的算法,进而给出了基于冲激响应序列及己确定的阶,求模型参数集{a_(ij)}及{b_(ij)}的算法。由这些算法得到了一种不同于FFT方法的由冲激响应序列求二维频率响应的方法,它与传统的FFT方法比较,具有运算量小,分辩率高及能给出连续频响的优点。最后给出了微机仿真的例子。该算法加以修正后可用于Radar目标辩识和图象重建应用中。     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

基于Richardson外推的定步长Adams-Cowell改进积分方法

针对卫星轨道微分方程组的数值解法,提出了一种基于Richardson外推思想的定步长Adams-Cowell积分方法,分别对Adams方法和Cowell方法的PECE格式进行外推改进。结合外推改进的详细理论推导,总结出了不同阶积分公式的系数的数学规律,并以表格的形式给出,方便了工程实践。最后,利用卫星轨道二体运动方程对8阶改进的方法进行了仿真分析,由仿真结果可知,和未改进的算法相比,改进后的算法计算精度有了明显改进,在某些特定积分步长下的计算精度能提高一个数量级,证明了改进算法的有效性,此8阶改进的方法可用于工程实践。     

微分中值定理的几何直观表现

学过高等数学的人都能说出罗尔定理、拉格朗日定理、柯西定理的条件和结论,但对于这些定理证明过理中所引进的辅助函数是如何构造出来的?如何将中值定理推广到更一般的形式等问题?都不一定清楚.本文就从几何的角度讨论这两个问题.     

具有循环卷积特性(CCP)的矩形变换

本文提出了一个计算卷积的新方法,它是Cook-Toom法的改进,但比后者简便,且可利用已知短卷积的结果,所需乘法次数与Cook-Toom一样为2N-1;然后一般地讨论了矩形变换y=C{(Ah)(?)(Bx)}具有CCP的条件,并且用此条件证明DFT及NTT具有CCP;再给矩形变换更多的限制,证明了变换A具有CCP的充要条件,并证明了这时必有逆,同时给出了逆的形式;最后将上面讨论的结果推广到整数环Z_p中去,得出了Z_p中具有CCP的可逆变换的一般形式。     

命题逻辑的理想形式系统

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

粗糙集中不确定性测量的修正粗糙熵方法

分析了引起粗糙集中不确定性的因素,对已有的测量不确定性的粗糙度与粗糙熵方法进行了比较,提出了一种修正的粗糙熵方法,证明了此粗糙熵的性质,并将基于等价关系的修正粗糙熵拓展到基于一般二元关系下的广义修正粗糙熵,同时给出了广义修正粗糙熵的定义及性质.通过分析和实例可以看出,所提出的修正粗糙熵方法可以用来更合理、更精确地测量粗糙集中的不确定性.     

火炮射表数据处理中的优化问题

本文详细讨论了火炮射表数据处理中的优化问题,提出了以集合论为工具建立在抽象代数理论基础上的快速选项法,文中对选项中的各种内容进行了充分的数学描述和讨论,给出了几个重要的定理和推论,并提出两种降阶广义正规方程组的求解方法。理论分析和实际计算表明,利用本文提出的快速选项法对给定任意精度可求出最佳的逼近结果。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.