理论证明相关论文
随着列车速度的提高及运行密度的增大，对列车驾驶的自动化水平提出了更高的要求，列车自动驾驶控制成为轨道交通领域的重点研究内容之......
【正】 证明责任是我国刑事诉讼中的一个重要问题。在刑事诉讼法学理论上能否正确地理解和运用这一理论证明犯罪,直接关系到司法机......
倒立摆是典型的欠驱动系统.通过研究二级倒立摆的动力学特征,先用无源性理论证明其符合无源性条件.然后从能量的角度出发用Lyapuno......
本文提出了一种推广的基于加权隐写图像的对LSB信息隐藏的检测框架.不仅将对LSB信息隐藏的检测从L=0扩充到L>0的情况，而且将监测从L......
《春秋》写作，其用心虽多，但《孟子》称为续诗之作，为了让乱臣贼子惧，实为其本。重仲舒的《春秋繁露》为代表的董仲舒的神学思想，通过展......
本文针对未知参数的蔡氏电路系统设计了一种反馈同步控制器与参数识别器，研究了该系统在周期、分岔与混沌状态下的同步问题，根据Lyap......
以节理岩质边坡作为研究对象，采用离散单元法，分析了边坡在地震作用下的变形特征，根据边坡演化过程中所表现出的非线性特征，应用相空间......
针对一类金融混沌系统，提出了一种设计状态反馈控制律的新方法。通过求解线性二次最优控问题获得混沌系统的最优控制律，利用Lyapunov......
针对高电压设备的温度监测，提出了基于光纤温度传感器的温度监测方案，设计了新型的光纤温度传感器，通过双波长光源和补偿回路的设计，提......
应用特征向量法研究判断信息为偏好序的社会选择方案排序问题。首先,定义了评价信息矩阵,它是一个正矩阵。基于方案排序的四个假设......
本文通过举例以及理论证明指出了目前单时期需求为离散随机最佳订购量公式的错误，在此基础上引入排队论，根据盈利期望最大化原则，推导......
通过理论证明指出了9-宫图问题的状态空间由两个连通分支组成：逆序数为偶数的连通分支E和逆序数为奇数的连通分支O。对于9-宫图问题......
基于拉格朗日方程建立了吊车-双摆系统的非线性动态模型。文中提出了一种吊车-双摆系统的增量式滑模控制策略来实现系统的渐进稳定......
“三星一线引力放大假设”是指当黄道面上的主要天体，包括太阳、八大行星、八颖一等亮星(恒星)，或黄道面的三颗最强宇宙射电源(M1, M......
为了解决变尺度动态网格法在基于HLA分布交互仿真中的普遍适用性问题,在详细研究变尺度动态网格法的理论证明与公式推导过程的基础......
本文利用控制Lyapunov函数方法，针对一类水下航行器设计出了一种非线性自适应跟踪器.该控制器可以使航行器在阻尼参数未知的情况下，......
现有三相四桥臂逆变器的电流调节方案在对称负载情况下存在一定的局限性,提出的可变空间矢量控制策略适用于各种负载,解决了在对称......
本文对永磁同步电机在同步旋转的d,q,0坐标系下的电路-磁路模型的状态方程,通过使用MATLAB求解仿真分析,验证其为复杂的非线性系统......
本文通过古今中外的科学史实和现代教育理论证明了培养学生对化学知识的需要意识、竞争意识以及提出问题和解决问题的能力,是构成......
本文通过画图语句Plot[f[x]，{x，xmin，xmax}]作出函数的图形，利用图形研究函数的性态、加深了解函数趋向无穷大的速度、无穷小的阶和等......
利用训练符获得信道参数,实现信道估计.通过研究MIMO-OFDM信道特性和MIMO-OFDM信道估计基本原理,对文献[1]中的一种训练符设计方案......
针对均匀圆阵的模式空间中的准范德蒙阵列流形,提出了一种新的能够降低相关矩阵的相关性的算法.该算法充分利用了准范德蒙阵列流形......
本文提出了完整的基于转弯流量反推OD矩阵的算法,包括基于转弯流量的交通配流算法,基于转弯流量P矩阵的OD反推算法,并通过理论证明......
本文首先形式化地描述了语义缓存模型,通过对语义缓存中RS无关性的分析和证明,提出了基于下行更新的一致性维护机制,并给出了维护......
本文针对一类未知非线性离散时间系统,提出一种基于神经网络的自适应迭代学习控制策略,利用混合系统的Lyapunov稳定性理论证明......
基于Apriori算法及其改进算法,提出了一种从大型数据库中挖掘关联规则的快速算法.定义了自适应步长和扫描树的概念,并采用修剪......
提供房间清晰度理论,导出房间清晰度与评定房间音质的单一化变量之间的表达式,引有实验数据证明理论的正确性.苏联E.E.戈里哥夫在......
研究具有某类定解条件的三阶半线性方程的奇摄动.通过构造不同"厚度"的边界层校正函数,在一定条件下,得到了解的N阶近似展开式,并......
本文阐述了一种新型的,高效的函数优化问题的动力学演化算法(DEA),给出了它的异步并行算法,并应用有限Markov链的有关理论证明了动......
本研究从实验及理论证明了"摇椅形"弓丝可以代替MEAW,是治疗开(牙合)畸形的重要新技术,应用前景广阔,不但可以解除患者的身心痛苦,......
本文对用微分-代数方程组(DAE)表示的电力系统注入空间上的动态安全域(DSR)的性质作了分析,并应用微分拓扑学理论证明了注入功率空......
本文针对在地下管网布置复杂条件下,如何测试接地地阻,验证其接地地阻是否与设计一致,通过实践探讨了接地电阻测试理论证明了有限......
时间尺度变换就是使信号在时域上压缩或扩展而幅度不发生变化.将连续小波理论的时间尺度变换推广到了离散小波变换领域,推导了基于......
本文利用Hopf分歧理论证明了无扩散的三分支化学反应Brusselator方程在正平衡点小振幅周期解的存在性,并且正则摄动法求出在参数B=......
本文用矩阵连分式理论证明,对于一个各层结构大体相同的多高层建筑,只要层数足够多,则地基基础和上部结构的共同使用可以简化为一......
本文讨论了一类具有广泛实用性的非线性系统的迭代学习控制.首先,作者将对象从线性系统推广到具有实际意义的带有扰动的线性系统.......
研究一类密频近线性系统的１／２亚谐共振，结果表明，密频内共振对亚谐共振的形成虽起着桥梁作用，但主要起抑制作用。密频内共振愈强，则亚谐共......
该文提出了大系统优化的一种分解算法—大系统分层优化方法，并给出了理论证明及两个实用算法，通过实际使用证明这种方法较现有的大系......
该文对遗传算法有限种群进化过程中变异对于优化进程的影响进行了详细的分析和理论证明。其后的算例进一步证实其正确性。......
为了克服岩石断裂粗糙表面分形测量的困难，该文提出一种新的测量方法－－投影覆盖法（Ｐｒｏｊｅｃｔｉｖｅ Ｃｏｖｅｒｉｎｇ Ｍｅｔｈｏｄ），结合激光表面测量技术，直接测定断裂表面的分形维......
