基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。     

黄土路基补强冲击的竖向位移分析计算

以准池重载铁路ZCZQ-4标段高填方黄土路基为试验段,在分析冲击压路机冲击压实原理的基础上,将冲击波简化为三角形荷载,利用改进的Scott公式,将每一次轮瓣与地面的接触看作是一次强夯,进行竖向位移的计算并在现场埋设沉降观测仪,将理论计算与实际观测值对比。研究结果表明:将冲击压路机的冲击荷载简化为三角形荷载,通过加卸荷模型计算竖向位移,该方法得到的竖向位移与实测值相符,这种方法可以运用于实际。     

永磁电磁型中低速磁浮列车阻尼信息提取与融合技术

主要研究中低速永磁电磁型磁浮列车悬浮控制系统的阻尼信息提取及融合技术.建立考虑轨道一阶振动模态的单点永磁电磁悬浮系统非线性模型,提出一种线性全状态反馈控制律.基于一类双积分串联系统的最优快速综合函数,设计了一种可有效提取悬浮间隙微分信号的快速数字微分器;采用一种二阶形式的高通滤波器,有效滤除加速度计中的重力分量,提取得到较高频段的加速度隔直积分信息.采用扫频法分别绘制了两种滤波器的幅相曲线.利用线性组合的方式将两种阻尼信息进行融合,从而获得控制系统全频段的有效阻尼.仿真和试验表明,当轨道以较低频率振动时,数字间隙微分器在该频段可提取足够阻尼,弥补加速度隔直积分在该频段的小增益,很好地抑制了轨道的振动.     

DOM和真DOM

常规DOM的获取,是在数字微分纠正时基于数字高程模型DEM;而真DOM的获取,是在数字微分纠正时基于数字表面模型DSM。获得数据点后,数字高程模型DEM可通过曲面内插得到,DSM则无法用数学曲面拟合,DSM的获取比DEM的获取更困难和复杂,目前可采用数字摄影测量方法获取DSM。     

DOM和真DOM

常规DOM的获取,是在数字微分纠正时基于数字高程模型DEM;而真DOM的获取,是在数字微分纠正时基于数字表面模型DSM。获得数据点后,数字高程模型DEM可通过曲面内插得到,DSM则无法用数学曲面拟合,DSM的获取比DEM的获取更困难和复杂,目前可采用数字摄影测量方法获取DSM。     

储能式无轨电车DC/DC非线性控制策略的研究

在超级电容储能式无轨电车的充电控制系统中,外部的扰动会使得控制系统的输出控制性能降低,从而导致系统的噪声放大。为了增强控制系统的鲁棒性和自适应能力,基于跟踪微分器提出了一种新型的非线性控制方法,提高了超级电容储能式无轨电车的充电控制性能,优化了系统的输出电流电压的控制曲线。针对控制参数变化和调节的问题,加入Ziegler-Nichols的频域响应法(简称ZN法)来整定控制参数。通过仿真及试验分析,验证了所提控制算法的有效性,对于系统的输出控制性能有明显的提升,解决了系统快速性和超调之间的矛盾,从而实现了超级电容储能式无轨电车高效快速地充电。     

基于加速度微分粘着控制方法的仿真研究

为有效提高机车牵引性能,减少机车空转/滑行现象,提高旅客乘坐舒适度,首先分析了机车轮轨间粘着特性,通过对机车运动方程和电机运动方程的推导,提出了一种新的基于加速度微分的粘着控制方法,运用MATLAB/Simulink仿真验证了其有效性。     

三角形原理在电视教材中的应用

从当前电视教材的画面存在的问题出发，提出了应将电影理论中的三角形原理应用于电视教材的制作，探讨了如何在单机拍摄时运用三角形原理。     

一类几何不等式的两个结果与若干猜想

建立了两个新的有关三角形内部任意一点的三元二次型几何不等式，提出了这类不等式的若干猜想。     

三阶奇摄动非线性边值问题解的唯一性

利用微分不等式理论，研究了三阶奇摄动非线性边值问题，以上下解为基础，建立了解的唯一性定理，在适当条件下，构造具体的上下解，得到了解的唯一性．结果表明这种技巧为奇摄动边值问题的唯一性研究提出了新的思路．