【摘 要】
:
本文利用一个新的鲁棒性指标,给出了一个全局收敛的用状态反馈配置鲁棒极点的算法,并证明了收敛点至少是局部最优解。
【出 处】
:
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
本文利用一个新的鲁棒性指标,给出了一个全局收敛的用状态反馈配置鲁棒极点的算法,并证明了收敛点至少是局部最优解。
其他文献
本文通过提出一个源于共形的SL(2,R)WZNW模型的非共形规范对称体系,研究了它的破坏共形对称性的约束理论。得到了一组完全可积的非线性方程(称为广义Sinh-Gordon方程组),并完成了体系的路径积分量子化。值得注意的是,描写上述体系之经典完全可积性的反对称r(λ,μ)矩阵只依赖于两个谱参数,它不能化为r(λ—μ)或r(λ/μ)的形式,也不能作为量子手征Potts模型的R(λ,μ)矩阵在q→1
本文推导了辐射压加速宽线区云团径向外流模型的谱线轮廓表达式,并考虑到光致电离计算表明的云团本身对Hβ和HeⅠλ 5876诺线的辐射差异,用数值方法计算了它们的谱线轮廓,发现该模型不能解释HeⅠλ 5876线宽大于Hβ线宽的观测事实。作为比较,本文还计算了引力作用模型的两种简单情形——自由下落和转动盘模型的谱线轮廓,认为前者可以对观测事实给予合理解释,因此得出结论,自由下落很可能是发射线云团真实运动
本文给出了最近在上海光学精密机械研究所LF12高功率激光装置上用KCl和CaF_2真板状靶进行的类锂K和Ca离子X射线激光增益实验的结果。将要给出的还有复合X射线激光发射的时间过程和实验所用X光底片的相对标定结果。
本文讨论反馈小时滞对镇定的影响。证明了在反馈小时滞下,抛物系统的(边界)镇定是稳健的,但无限维保守系统的对称镇定是不稳健的。例加,波方程常用的边界镇定在反馈小时滞下是不稳健的。这回答了“控制论的未来方向:数学展望”(美国SIAM专家组报告,philadelphia,1988)中提到的一个问题。
本文用流动显示方法细致地观察了等速上仰翼型的非定常流动现象,通过多种布置产生氢气泡鉑丝的方法,清楚地显示出了等速上仰翼型的流动结构。研究了前缘涡、剪切涡和尾部流动结构随着时间的演变及它们之间的相互作用。还研究了转速对流动结构的影响:在不同的转速变化范围内,会出现不同的流动结构。并结合旋涡动力学理论,探讨了翼型上仰过程中高升力产生的原因和动态失速机理。
本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密
本文基于1989年3月超级大活动区AR 53 95中几个与活动区电流密切相关的观测事实,认为导致耀斑发生的直接关键因素在于活动区电流的增强。在这种模式下,分析了耀斑现象的贮能过程,井建立了活动区电流暗条的运动方程和能量方程。根据该活动区的观测数据,从理论上计算和讨论了由活动区电流增强导致耀斑出现的可能性。所得结果与观测基本相符。
本文研究弹性波反演的数值解法,文中通过不断构造虚拟震源,变换优化解法的目标函数,使得对任何初始背景计算都能收敛于真实解;该方法不仅解次了优化法的收敛问题,还通过改变目标函数曲面的性态,提高了收敛速度。
本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L_5中,若多重集α是L_5~-可证的,则存在α的L_5-证明τ具有Curry性质,从而简化了L_5可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L_5证明搜索的LR的自动定理证明的剪枝效率。
本文提出了用Monte Carlo模拟计算晶体中析出相X射线发射强度的理论和方法。作为实例,对不同加速电压下Au,Cu基体中Cr—Fe—Ni合金析出相的X射线发射强度作了计算,并得出一些规律。