非保守广义Chaplygin系统的Herglotz型Noether定理

Herglotz原理是非保守系统的变分原理,它是经典Hamilton原理的一个推广.在非保守情形,现有推广形式的Hamilton原理尽管也可导出运动方程,但实际上不再是变分原理.Noether定理是分析力学的一个基本原理,它阐明了对称性和守恒律的相关性,利用Noether定理可找到比牛顿力学和分析力学更多的守恒律.Chaplygin系统是一类特殊而又应用广泛的非完整系统,其方程可独立于约束方程进行研究.非保守广义Chaplygin系统则是Chaplygin系统对非保守力学的推广,因此研究建立该系统的Herglotz型Noether定理具有重要意义.文章针对非完整约束系统,提出基于Herglotz原理建立非保守广义Chaplygin系统的动力学方程,利用变分关系以及虚位移的Chetaev条件,从关于Hamilton-Herglotz作用量的微分方程出发推导建立其全变分方程并求解,由此导出非保守广义Chaplygin系统的作用量的全变分.给出Herglotz型Noether对称变换及准对称变换的定义,在此基础上利用全变分公式导出其判据(Noether等式),建立并证明非保守广义Chaplygin系统Herglotz形式的Noether定理,得到新型守恒量.最后,针对两个具体的非保守非完整系统,建立了它们的Herglotz型广义Chaplygin方程、判据方程和Chetaev条件,解出生成元,由文中所得定理找到了系统的守恒量,验证了结果的有效性.

广义Birkhoff系统分数阶最优控制问题的Noether定理

探讨了广义Birkhoff系统分数阶最优控制问题的Noether定理。首先,基于Caputo分数阶导数提出广义Birkhoff系统的分数阶最优控制问题,并运用分数阶变分方法得到了广义Birkhoff系统的分数阶最优控制问题的极值条件。然后,运用分数阶微积分和分数阶变分方法讨论了泛函在无穷小变换群作用下的不变性,分别给出了其时间不变和时间变化情况下的分数阶最优控制问题的Noether定理。最后,应用实例显示方法的有效性。

函数列广义积分的极限定理及其应用

考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列一致有界和内闭一致收敛条件下,给出黎曼可积函数列积分的极限定理结果;在函数列广义积分一致收敛条件下,给出广义积分下函数列积分的极限定理结果,以及广义积分下的函数列积分的控制收敛定理.

考虑峰后力学特性的岩石节理渗流广义立方定理

通过建立考虑峰后剪胀及剪切软化效应的岩石节理法向变形模型,基于渗流扩散能等效原理,提出了一个岩石节理渗流广义立方定理,较为合理地描述了节理在较大法向闭合变形条件下的渐进渗流特性以及节理出现剪胀及剪切软化条件下的峰后渗流特性。采用已有压剪渗流耦合试验对广义立方定理进行了验证,表明采用常系数修正的立方定理能较好表征节理的峰后渗透特性。

岩石节理的渗流广义立方定理

首先讨论了岩石节理的渗流立方定理及其适用条件，然后从渗流与变形耦合的角度，论述了节理的开度性质，并提出了适用于一般节理的渗流广义立方定理，最后用有限元数值模拟方法验证了广义立方定理。

正实数阶广义M集的嵌套拓扑分布定理

阐述了由复映射z←zα+c(α >0 )所构造的广义Mandelbrot集 (简称广义M集 )的定义 ;通过改变参数α ,作出了一系列正实数阶广义M分形图 ,这些分形图类似若干个花瓣组成的花朵 ;给出了正实数阶广义M集的嵌套拓扑分布定理 ,并对α取正小数时选取相角θ∈ [0 ,2π)的广义M集的雏瓣的出现原因、位置及大小进行了分析·

广义稳健的中国剩余定理及其在欠采样率下频率估计中的应用

该文针对传统中国剩余定理在余数有误差时重构整数不稳健性的缺陷,提出了采用一组非互质的模数和相应的有误差的余数估计任意正整数的广义稳健中国剩余定理,给出了详细的定理证明,得出了算法重构整数公式和误差上限表达式。将该定理用于欠采样下信号频率估计,仿真实例验证了所提算法的稳健性和实际工程应用前景。

基于广义归结的定理机器证明系统

本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ，ＲＭ，证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中全部定理（３５０个）．讨论ＧＲＭ和ＲＭ的时、空复杂性，并在实现设计中提出新的全局调度策略及归结式的化简、排序策略，以单子句恒真、恒假的判断代替了广义归结中的自归结，实现了带ＯＣＣＵＲ检查的模式匹配．

基于Popov定理的输入非线性广义预测控制系统的稳定性分析(英文)

对存在输入饱和约束和输入可逆静态非线性的系统 ,采用两步法广义预测控制策略。首先用线性广义预测控制策略得到中间变量 ,代表期望的控制作用 ,然后用解方程方法补偿可逆静态非线性并用解饱和方法满足饱和约束 ,得到实际的控制作用。两步法计算简单 ,特别适用于快速控制的场合。将该控制系统闭环结构转化为静态非线性增益反馈结构 ,利用Popov定理分析了该系统的闭环稳定性 ,得到了稳定的充分条件 ,并具体给出了有效的控制器参数确定算法使得稳定性结论具备实用的价值。给出了算例验证了稳定条件。

一类滞后时变广义系统稳定性的拉什密辛型定理

本文首先给出滞后广义系统解的稳定性概念 ,然后建立关于滞后时变广义系统稳定性的拉什密辛(Razumikhin)型定理 ,最后 ,作为例子 ,讨论了一类二阶滞后时变广义系统解的稳定性 .

分数阶Fourier域的二维广义Hilbert变换及Bedrosian定理

多维解析信号分析和Hilbert变换在现代信号处理理论和工程应用中有着重要的意义.该文根据解析信号在广义频域内的能量分布,提出了二维信号的方向广义Hilbert变换、全向广义Hilbert变换以及单象广义Hilbert变换等定义,并证明了时域和分数阶Fourier域内它们之间的对应关系以及推导出类似于传统Hilbert变换中的性质.同时,给出了解析信号中具有重要意义的二维广义Bedrosian定理和相应的理论证明.

广义Tellegen定理

证明了适合于任意型如Ａ（Ｘ）Ｘ＝Ｂ（Ｘ）的物理系统的广义Ｔｅｌｌｅｇｅｎ定理。讨论了此类系统的互易性，并给出了应用示例。研究工作表明．广义Ｔｅｌｌｅｇｅｎ定理是很有价值且具有广泛应用范围的定理。

广义中值定理中间点函数的性质

利用比较函数和新的分析方法,研究广义中值定理当两个函数最高阶导数不相等时中间点函数的可微性与渐近性,在一定条件下得到广义中值定理中间点函数的一阶可微性与渐近性,推广和改进了相关结果.

基于广义Tellegen定理的改进连续潮流算法

在连续潮流法的基础上,提出了基于广义Tellegen定理的改进连续潮流算法。利用广义Tellegen定理在电力网络计算中快速、简捷性的特点,与连续潮流法预测环节相结合,自动选取合适的步长,在确保计算结果正确的同时,提高计算效率。对IEEE 11、IEEE 30和IEEE 107节点系统仿真算例,结果表明所提出的算法能够提高连续潮流算法的计算速度。

广义稳健中国剩余定理及其在空间欠采样信号DOA估计中的应用

传统的中国剩余定理给出了从几组模数和余数重构正整数的方法,但当余数有误差时重构整数可能存在很大的误差。文中提出了广义的稳健中国剩余定理,采用一组非互质的模数(正整数)和相应的余数为实数且存在误差时重构任意实数的方法,并给出了详细的定理证明,得出算法重构实数的误差仅与余数的误差有关,解决了传统中国剩余定理重构整数时,余数的极小误差可能引起被估计整数相当大误差的问题。首次将该定理用于估计空间欠采样下相邻阵元间距大于半波长,且相位差估计存在误差时信号方位,仿真实验验证了所提算法的正确性和稳健性。

L-凸空间内的广义L-R-KKM型定理及应用

作为古典的KKM映像的推广,在L 凸空间内引入了广义L R KKM型映像,在非紧设置下证明了某些广义L R KKM型定理,给出了对极大极小不等式和鞍点存在性问题的应用,这些定理及应用推广了原有的一些结论.

关于齐次树指标马氏链的广义熵遍历定理

本文主要研究有限状态齐次树指标Markov链的强大数定律和广义熵遍历定理.熵遍历定理研究的是信息论中信源的渐近均分割性,树指标Markov链是近年来概率论的研究方向之一.首先,参照非齐次Markov链广义熵密度概念,本文给出了树指标Markov链的广义熵密度的定义.然后,通过构造一组期望值为1的随机变量,利用Markov不等式和Borel-Cantelli引理,证明得到了定义在树指标Markov链上一类随机变量的延迟平均的强极限定理.最后,利用上述定理的推论,我们证明得到了Cayley树上有限状态Markov链状态出现次数的延迟平均的强大数定律和广义熵遍历定理.本文的结果是对一些已有结果的推广.

任意随机序列关于广义几何分布的一类强偏差定理

本文引进对数似然比作为任意随机变量序列相对于服从广义几何分布的随机变量序列的偏差的一种度量,给出样本空间的一个子集。在该子集上通过构造非负上鞅和纯分析运算得到了任意随机变量序列关于广义几何分布的一类用不等式表示的强极限定理,即强偏差定理。作为推论得到了已有的随机变量序列关于几何分布的强偏差定理以及服从广义几何分布的任意随机变量序列的一类强大数定律。

广义Baskakov算子及导数的正逆定理

给出了广义Baskakov算子的点态正逆定理,并研究了广义Baskakov算子导数与所逼近函数光滑性之间的关系.

广义Taylor中值定理“中间点函数”的性质

在一定条件下,研究了广义Taylor中值定理"中间点函数"的可微性.设I是R上一区间,a∈I是区间I的左端点,函数f,g∶I→R满足条件:(i)在区间I上有n阶连续导数且g^(n)(x)≠0,(ii)存在实数α>0,使limx→a^+(f^(n)(x)-f^(n)(a)/(x-a)~α=A,limx→a^+(g^(n)(x)-g^(n)(a))/(x-a)~α=B,(iii)f^(n)(a)B≠Ag^(n)(a),其中A,B是常数,则广义Taylor中值定理"中间点函数"c(x)在点a可微且c^(1)=(n!Γ(α + 1)/Γ(n+α + 1))^(1/α).该结果丰富了数学分析中值定理理论.