积分型Cauchy中值定理的逆问题

主要讨论了积分型Cauchy中值定理的逆问题.推广了文献[3]的部分结果,并在文献[3]的基础上进一步研究了在不同条件下积分型Cauchy中值定理的逆问题的成立情况.     

微分中值定理的推广

文章引入Schwartz导数的概念,给出了一些Schwartz导数的性质,运用这些性质得出有关Schwartz导数的Rolle中值定理、Lagrange中值定理和Cauchy中值定理.     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

曲面积分在三重积分中的应用

得到了把一类三重积分化为曲面积分的一个定理，并给出定理的一些应用。     

微分中值定理与Newton-Leibniz公式的关系及证明

用Newton-Leibniz公式证明了广义微分中值定理，并且证明了所有的微分中值定理与Newton-Leibniz公式在一定条件下可以相互证明。     

基于准分数阶模型的分数阶Birkhoff动力学及其Lie对称性（英文）

为了探究非保守系统的动力学行为,该文提出并研究基于准分数阶动力学模型的分数阶Birkhoff动力学的Lie对称性和守恒量。准分数阶动力学模型是指基于Riemann-Liouville分数阶积分定义的变分问题、基于按指数律扩展的分数阶积分定义的变分问题和基于按周期函数律拓展的分数阶积分定义的变分问题。首先,建立了基于准分数阶模型的分数阶Pfaff-Birkhoff原理,得到了相应的Birkhoff方程和Lie对称性确定方程。其次,对于基于准分数阶模型的分数阶Birkhoff系统,给出了守恒量的条件和形式,并证明了Lie对称性定理。准分数阶Birkhoff系统与经典Birkhoff系统的Pfaff-Birkhoff原理、Birkhoff方程和Lie对称定理均是该文的特例。最后,给出了若干算例。     

应用泰勒中值定理研究函数的方法总结

本文讨论了应用泰勒中值定理研究函数时，如何合理选择展开点的问题，概括了以下三种方法。1、选择已知条件最多的点展开。2、选择问题所要讨论的点展开。3、选择极值点处展开。     

抛物型声源在弹性半空间体中的辐射方式

利用弹性动力问题的积分描述定理,借助于在弹性半间空点源作用下的格林函数,求出了在抛物型表面声源作用于弹性半空间表面所产生的位移场的解,所得结果可用单重积分表示,这为该种声源作用下的位移和应力场提供了一种数值算法;然后,通过坐标变换并利用最速下降法导出以球坐标表示的位移场的远场近似解,并给出了几种频率情况下位移幅值随方位角变化的计算结果,将计算结果与活塞型声源作用下所得位移幅值进行了比较;此外,本文     

轴测投影基本定理的计算理论和方法

波克－许华尔兹定理是轴测投影的基本定理。本文研究了轴测投影基本定理的计算问题,给出了从投影图形计算空间四面体位置及运动参数的计算方法和公式;同时给出了从空间四面体计算投影图形位置及运动参数的计算方法和公式,据此建立了新的、含有定量关系的轴测投影基本定理。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

军用油料调运优化中的参数值修改法

编制军用油料调运计划，要涉及众多参数，关系错综复杂，绝大多数情况下难以同时实现所有期望目标，因此有必要对有关参数值进行合理修改。通过建立军用油料调拨运输的二部图，针对二部图，证明了能使发点发量发送完毕的定理，从而得到可对有关参数值进行合理修改的方法，为进一步应用线性规划法优化油料调运计划奠定了基础。该方法原理简单、操作方便，适于计算机编程。     

FC-空间内的KKM型定理及应用

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了KKM型定理。并应用此定理,在很弱的条件下证明了鞍点定理和Walras型定理,推广了近期文献中的一些相关的结果。     

岩体和混凝土长期峰值强度短期试验方法的研究

本文采用自行设计的短期试验方法，对13根钢筋混凝土梁进行了长期峰值强度破坏试验，探讨了构件的极限强度与长期峰值强度之间的机理关系。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

高线三角形有向面积的定值定理及其应用

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论 ,其中包括著名的三角形的高线定理     

β-分布的渐近抽样法及其在计算机上的实现

迄今,在一般的随机模拟文献中,关于β分布的抽样主要讨论参数为正整数情形。本文借助于Polya罐子模型黑球比例数X_的极限分布为β—分布这一原理,提出了正有理参数β—分布的渐近抽样方法,给出了模拟算法,编制了程序。选取若干正有理数参数,在计算机上进行了随机模拟,产生了渐近于β—分布的随机数,并制成了随机数表。本文对其中一些样本应用各种统计方法进行了检验,结果表明,拟合性是非常好的。     

椭圆外切2n+1边形中切顶线三角形有向面积的定值定理及其应用

本文给出椭圆外切2n 1边形中一类切顶线三角形有向面积的一个定值定理及其若干推论，其中包括射影几何中著名的Brisanchon定理在椭圆外切三角形中的情形。