【摘 要】
：
短程无线通信技术快速发展,为基于通信的列车控制系统中的列车到列车(Train to train,T2T)通信链路提供了可行性.引入T2T链路将缩短追踪间隔、提高运营效率.形式化方法是一种系统设计技术,使用有严格数学定义的模型来确保所有行为按预期发生,而这正是所需的功能安全性验证.为了进行T2T通信链路的功能安全性验证,首先,建立了非赋时有色Petri网(Colored Petri net,CPN)模型.其次,执行验证过程,并从状态空间报告和计算树逻辑语句中得出结论.最后,模型参数化,并获得数据日志文件以进
【机 构】
：
兰州交通大学 自动化与电气工程学院,甘肃 兰州 730070;兰州交通大学 电子信息工程学院,甘肃 兰州 730070
论文部分内容阅读
短程无线通信技术快速发展,为基于通信的列车控制系统中的列车到列车(Train to train,T2T)通信链路提供了可行性.引入T2T链路将缩短追踪间隔、提高运营效率.形式化方法是一种系统设计技术,使用有严格数学定义的模型来确保所有行为按预期发生,而这正是所需的功能安全性验证.为了进行T2T通信链路的功能安全性验证,首先,建立了非赋时有色Petri网(Colored Petri net,CPN)模型.其次,执行验证过程,并从状态空间报告和计算树逻辑语句中得出结论.最后,模型参数化,并获得数据日志文件以进行性能测试.结果表明,满足所提出的准则,T2T链路的基本设计要求没有缺陷.传输时延计算中考虑了重连、传输错误、中断情况.端到端时延小于150 ms的概率为98.106％,符合规范及现场测试结果.“,”The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train (T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements. The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106％,which meets the specification and the previous field test.
其他文献
多均值聚类算法假设每个类拥有多个子类,通过求解优化问题的方式来求解每个样本子类的划分和最终类簇的划分.该算法弥补了K-均值算法在非球数据集上的劣势,取得了较好的聚类效果,但是该算法无法被运用到多视图数据集上.本文提出了一种多视图K-多均值聚类算法,保留了K-多均值设置多个子类的设计,引入了视图权重参数,将目标聚类数作为限制条件,通过求解最优问题获得最终的类簇.将本文提出的算法与流行的多视图聚类算法进行对比实验,证明了本文算法的优越性.“,”The K-multiple-means (KMM)retains
利用FRTA爆炸极限仪测定了M15甲醇-汽油混合物的爆炸特性.通过试验研究了温度对M15甲醇-汽油混合物爆炸范围的影响.研究结果表明,在初始温度为80℃时,M15甲醇-汽油混合物的爆炸下限为1.716％,爆炸上限为11.451％.当温度变化范围为25℃-100℃时,M15甲醇-汽油混合物的爆炸下限范围为1.711％-1.760％,爆炸上限的范围为11.253％-11.451％.基于合理的试验误差可知,温度对M15甲醇-汽油混合物的爆炸范围影响较小.“,”The explosion characterist
在自动驾驶技术研究中,理解道路场景是提高驾驶安全性的保障.语义分割技术可以在像素级别上,将图片分割成与语义类别相关联的不同图像区域,可以辅助车辆感知、理解周围的道路环境信息,从而提高驾驶安全性.当下流行的语义分割模型Deeplabv3+在分割任务中,存在细小目标被漏分割以及外形相似物体容易被误判等现象,导致分割边界粗糙,精准度降低.针对此问题,在Deeplabv3+网络结构的基础上,结合注意力机制加重分割区域的权重,提出一种改进的Deeplabv3+融合注意力机制的道路场景语义分割方法.首先,在Deepl
深水海域水下设施的安装过程中,姿态调节是一个关键环节.为解决这一问题,研发一种应用于深水的万向水平仪.对水平仪的密封原理及深水耐压原理进行了分析;对螺纹联接强度进行了校核;通过力学仿真验证了水平仪可以耐受2000 m水深的压力,在20 MPa高压舱内进行了30 min水压测试.实验完成后,水平仪外观完好、无泄漏情况.实验表明,深水万向水平仪可以被应用于2000 m内的深海.“,”Attitude adjustment is a key link in the installation process of
针对传统的单幅图像去雾算法容易受到雾图先验知识制约导致颜色失真等问题,本文提出了一种基于HSI颜色空间的深度学习多尺度卷积神经网络单幅图像去雾方法,即通过设计深度学习网络结构来直接学习雾天图像与其无雾清晰图像色调、饱和度和亮度之间的映射关系,从而实现图像去雾.该方法首先将有雾图像从RGB颜色空间转换到HSI颜色空间,然后设计了一个端到端的多尺度全卷积神经网络模型,通过色调H、饱和度I、强度S三个不同的去雾子网分别进行多尺度提取,深度学习得到有雾图像与清晰图像之间的映射关系,从而恢复出无雾图像.实验结果表明
针对电动汽车中永磁同步电机传统控制策略对电机控制性能差的问题,提出了一种新型的自适应非奇异快速终端滑模模型预测转矩控制策略.设计了新型自适应指数趋近率,用性质更佳的双曲正切函数tanh()替换传统的切换函数sgn(),并构造了带ESO扰动观测的新型ANFTSMC作为系统转速控制器,消弱了抖振,提高了系统鲁棒性.为实现调速系统的无传感器控制,构造了基于tanh(Fal)的ESO转速观测器.与传统基于Fal函数的ESO相比,观测误差较小,观测精度较高.同时,针对预测转矩控制策略,提出了新型的目标函数构造方法,
针对传统带有滑模观测器的永磁同步电机控制系统中转矩脉动大、抖振明显、反电动势估计精度差等问题,提出基于模糊滑模控制和两级滤波滑模观测器的PMSM改进控制策略.首先,在速度环提出基于双曲正弦函数的新型趋近率,结合模糊控制思想对趋近率参数实现自整定,设计了一种基于新型趋近率的模糊积分滑模速度环控制器,并且对新型趋近率的抖振抑制效果给出严格分析.其次,提出基于变截止频率低通滤波器和修正反电动势观测器的两级滤波结构,抑制反电动势中的高频分量和测量噪声,并对转子位置进行合理补偿,继而设计了两级滤波滑模观测器;通过L
非平稳及多奇异点的调频料位测量雷达回波中包含虚假回波及噪声,影响料位回波信号检测,导致料位测量精度不高.本文提出了一种基于广义S变换和奇异值分解的料位回波检测与校正方法.首先,将料位变化视作低速运动目标,将料位回波信号与雷达发射信号进行混频解调,并根据回波信号的频率分布特点对广义S变换窗口的变化趋势进行调节.之后对其变换所得到的二维时频系数矩阵利用奇异值分解方法重构系数矩阵,并对其进行广义S逆变换,得到校正后的回波信号.实验结果表明:该方法能够准确检测料位回波信号,在抑制噪声的同时能最大限度保留信号的细节
核电厂升压站直击雷防护范围确定方法主要有折线法和基于电气几何模型(EGM)的滚球法(以下简称EGM滚球法).本研究在EGM滚球法基础上,利用电磁暂态仿真程序提出了一种改进滚球法.该方法给出的滚球半径考虑了被保护设备附近避雷器配置、避雷器残压与设备绝缘水平的配合系数,更符合实际工况,与EGM滚球法计算结算结果相比:滚球半径更大,防护范围更大.比传统的折线法更合理地考虑了系统的绝缘水平和雷电侧击的情况,为变电站直击雷防护提供了新的设计思路.
移动边缘计算(MEC)在提高移动设备的计算体验质量方面具有一定的应用前景.它可以为支持传统通信和MEC服务的切片式无线接入网提供紧密邻近的计算功能.然而,这种密集计算问题是一种高维的NP难问题,一些机器学习方法在解决该问题的时候不能取得良好的效果.针对这些问题,本文将最佳计算卸载问题建模为马尔可夫决策过程,目标是最大化长期效用性能,从而根据队列状态、能量队列状态以及移动用户与BS之间的信道质量做出卸载决策.为了降低状态空间中高维性的问题,提出了应用深度确定性策略梯度的基于候选网络优化边缘计算优化卸载ECO