Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

时标上一类最优控制问题的存在性

本文引进了时标上线性回归型微分方程的弱解并证明其弱解的存在唯一性，建立了时标上的Fatou引理，在此基础上，我们证明了受控系统为线性回归型微分方程的Lagrange最优控制问题解的存在性。     

贵阳市紫林庵路口通行能力分析及改进措施

作者以目前贵阳市紫林庵信号环形交叉口为例,通过对此路口高峰时段交通量调查及相关数据采集,对该交叉口的通行能力进行分析和计算.再假设在其它相关数据不变的基础上,分析和计算将现在的信号环形交叉口改为信号平面直交口的通行能力.将两者进行比较和评价,得出信号平面直交口的设计通行能力比信号环形交叉口的设计通行能力更大,更能缓解该地区高峰时段交通拥堵状况.由此得到将现有的环形交叉口改为平面直交口的方案是合理可行的.     

一种改进的北斗导航卫星伪距码偏差建模方法

基于多路径组合观测值分析了中国北斗卫星导航系统存在的伪距码偏差特性。针对现有的伪距码偏差修正模型,提出了一种改进的建模方法。利用历元间单差MP组合观测值对倾斜地球同步轨道卫星(IGSO)和中轨卫星(MEO)中每颗卫星的伪距码偏差分别进行建模。最后通过HMW组合观测值对各修正模型进行评估,比较和分析了不同修正模型的表现。结果表明:对于北斗IGSO和MEO卫星,改进后的修正模型相比于已有的模型在修正码偏差上平均提升约20%;在部分卫星和高度角上提升程度平均可以达到30%。     

一类城市轨道交通系统的鲁棒稳定性分析

对既具有范数有界不确定扰动又含有脉冲扰动的一类城市轨道交通系统的稳定问题进行了分析。在给出该系统鲁棒稳定定义的基础上,应用李亚普诺夫函数法导出这类不确定城市轨道交通系统鲁棒渐近稳定的充分条件。最后,通过数值示例验证所得充分条件的正确性。     

反周期微分包含受控系统的最优控制

本文首先证明了Hilbert空间中一类微分包含的反周期解的存在唯一性,进而得到了相应的Langrange最优控制存在的充分条件。最后将得到的理论结果应用于证明一类非线性偏微分方程反周期问题及相应的最优控制问题的存在性。     

关于矩阵Khatri-Rao积的一些迹不等式

分别给出了半正定矩阵Khatri-Rao积和Hermitian矩阵Khatri-Rao积的迹不等式.     

时间最优控制的Meyer逼近

用变换的思想，构造一个Meyer问题序列去逼近时间最优控制，从而证明时间最优控制的存在性。这不仅给出时间最优控制存在性的新证明，同时为时间最优控制的计算提供了一个新途径，并揭示了时间最优控制问题和Meyer问题的深刻关系。     

低杂波改善约束与径向电场相关性的研究

为了探求HT-7托卡马克装置中加低杂波后等离子体约束改善这一现象的原因,文章从电子的径向力平衡方程入手,通过数值模拟程序计算出欧姆阶段和低杂波阶段下的径向电场分布.结果发现,加低杂波后,在低杂波功率沉积的地方,径向电场在负方向变强,径向电场分布梯度变陡,加波前后径向电场的差值(△Er)分布形成了凹槽结构,意味着加波后的...     

一类考虑到敏感因素的最优控制模型及数值仿真

在实际应用中,对于带参数的最优控制问题,有时当参数发生微小的扰动时,目标泛函相差甚远.针对这类敏感性问题,采用在性能指标中引入罚函数的方法,建立一类考虑参数敏感因素的最优控制问题模型,同时提出了一种新的数值算法,以避免新模型求解中涉及目标泛函二次变分计算的难题.数值仿真结果证明了模型和算法的正确性和有效性.