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

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

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

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

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仿真验证了其有效性。     

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

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

含几类滞量的微分差分方程周期解的存在性

首先给出含ｎ个滞量的微分差分方程ｘ’（ｔ）＝－ｆ（ｘ（ｔ），ｘ（ｔ－τ１））－ｆ（ｘ（ｔ），ｘ（ｔ－τ２））－…－ｆ（ｘ（ｔ），ｘ（ｔ－τｎ）存在振动周期解的充分条件，推广和改进了目前有关文献中的结论。然后给出了超前型微分差分ｘ’（ｔ）＝ｆ（ｘ（ｔ），ｘ（ｔ＋τ１））＋ｆ（ｘ（ｔ），ｘ（ｔ＋τ２））＋…＋ｆ（ｘ（ｔ），ｘ（ｔ＋τｎ）存在振动周期解的充分条件。     

高精度随动系统的智能积分PDF级联控制研究

以一种高精度随动系统作为研究对象,建立了直流伺服电机驱动的随动系统的数学模型,并提出了智能积分串级伪微分反馈控制算法,推导出了控制参数的计算公式.试验结果表明,智能积分串级伪微分反馈控制算法可以完全满足高精度随动系统对控制算法严格的要求,在其它控制领域具有广阔的应用前景.     

不同的驱动方式

AM Q＆A的各位编辑好。我有一些问题想请教： 1．以前有一期AM（封面是骏捷的那期），介绍MB CLKDTMAMG跑车时提到了一个“多碟微分技术”，但后来有一个读者问你们“什么是多碟微分技术？”，你们却说“这不像汽车上用的名词”？