含Riemann-Liouville导数分数阶微分方程比较定理的推广

利用分数阶微分方程与相应的Volterra积分方程的等价性,将含Riemann-Liouville导数的分数阶微分方程比较定理中的阶数α的取值范围由(0,1)推广到(n-1,n),n∈Z+,得到任意分数阶的微分方程比较定理,从而扩大了含Riemann-Liouville导数的分数阶微分方程比较定理的使用范围.     

Euler函数性质在Mizar系统下的实现

在计算机上利用有限序列的理论性质给出了Euler函数在Mizar系统下的定义．给出了与Euler函数有关的一些定理和性质的证明。并实现了算术基本定理在Mizar系统下的实现．     

用机械能守恒定理分析三线摆的扭摆运动

利用机械能守恒定理得出三线摆的运动微分方程和积分方程,用MATLAB编程,分析了平动动能对振动周期的影响,并得出了三线摆中两个圆盘的半径与它们之间距离的制约关系。     

一类非齐次薛定谔-泊松系统解的存在唯一性

利用Poisson方程具有显式解,将所研究的一类有界区域上的非齐次薛定谔-泊松系统转化为单个Schrodinger方程问题,并采用变分法将单个Schrodinger方程问题转化为求解泛函极值问题,最后用变分方法中的极小定理证明该系统在ΩcR^3上的解是存在并且唯一的．     

具有脉冲药物治疗的乙肝病毒感染模型周期解的存在性与稳定性

讨论了一个具有脉冲药物治疗的乙肝病毒感染模型周期解的存在性与稳定性的问题,利用脉冲微分方程理论获得了一个无病周期解,并通过Floquet乘子定理证明了系统无病周期解全局渐近稳定的条件。     

功的概念中位移"dr"的涵义分析

功的概念是物理学中的重要概念.利用动能定理以及功和能量转化的关系,对功的表达式dA=F·dr中dr的准确涵义进行分析,这对正确理解功的内涵以及计算功的大小有一定帮助.     

建设市场主体信用度检验模型研究

信用度是衡量市场主体信用等级的重要指标,它是政府监管和建设市场主体从业的重要依据。由于我国现行的建设市场信用度评价体系还不够成熟,评价标准、评价方法以及数据采集等的科学性与合理性等方面存在不足,如何检验政府部门公布的建设市场主体信用度和建设市场主体信用度评价体系是目前亟待解决的问题。本文根据中心极限定理,提供对A地区政府公布的房建类企业、市政类企业、园林类企业以及装饰类企业等四类市场主体的信用度进行检验,进而判断政府公布的四类企业的信用度的科学性与合理性,同时也对评价标准、评价方法、数据采集等的科学性和合理性等进行检验,并据此提出相关建议。本文的研究成果对于政府公布建设市场主体的信用等级具有重要意义。     

关于微分中值定理的一个逆命题的论证

出了微分中值定理的一个逆命题,并利用函数y=sinx进行了验证。关键词:中值定理;逆命题;连续函数给出了微分中值定理的一个逆命题,并利用函数y=sinx进行了验证。     

多元函数积分中值定理的反问题

证明了在一定的条件下多元函数积分中值定理的逆命题是成立的．     

导函数的一个重要性质的证明

本文根据微分中值定理及间断点的定义证明导函数若有间断点,则该间断点只可能是第二类间断点。