摘要：针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。

摘要：基于遥感图像的地物要素分类与提取是实现数字化战场建设、智能化战场感知的关键支撑技术之一。实际应用平台运算资源有限、样本匮乏导致训练不充分等制约深度神经网络的遥感图像地物分类效果。基于张量链式分解和权重共享,设计空谱卷积长短时记忆单元的两种张量扩展结构,提出轻量级张量空谱卷积长短时记忆网络用于遥感图像分类。在两个公开高光谱遥感图像数据集进行实验,该算法仅需0.34MB存储空间,较同类方法实现更优分类性能。

摘要：以传统朴素贝叶斯算法为基础,研究并提出一种高效、准确的量子模糊贝叶斯分类算法。首先将“模糊集合理论+朴素贝叶斯理论”交叉融合,定义模糊先验概率、模糊条件概率,将朴素贝叶斯推广至模糊朴素贝叶斯,构建模糊贝叶斯模型;其次,将“模糊贝叶斯模型+量子计算”交叉融合,将模糊数据集量子化(编码到量子态上)并设计量子线路,提出一种量子模糊朴素贝叶斯分类算法;最后,将该算法应用到鸢尾花数据集。仿真实验表明,与传统朴素贝叶斯分类算法相比,该算法具有较高的分类效率和准确率。

摘要：为了在400 Gb/s以太网物理编码子层(PCS)中实现高速纠错编码,设计了一种递推里德-所罗门(RS)编码电路。该电路通过组合递推因子、输入数据和寄存器数据,可以得到递推RS编码电路的结果。采用VCS+Verdi软件对传统RS编码电路、递推RS编码电路进行仿真,并使用Nangate 45 nm开源工艺进行综合测试。仿真与测试结果表明:相较于并行RS(544,514)编码电路,使用递推RS编码电路可以大幅度减少时间开销;32路递推RS(544,514)编码电路的面积降低了68%,功耗降低了60%。

摘要：作为一种经典的有源干扰,速度欺骗干扰极易导致雷达在多普勒维上同时检测到单个或多个虚假目标,造成雷达虚警,给雷达探测带来了巨大挑战。为了抵抗速度欺骗干扰,结合脉内、脉间编码和接收滤波器设计等多个自由度,提出一种发射与接收多维联合设计的方法。首先,以非匹配滤波器峰值损失为惩罚项,并联合接收信号的多普勒谱上目标旁瓣能量与干扰能量构建优化目标函数,同时考虑发射波形峰均功率比约束。然后,基于坐标下降思想和优化最小化理论,提出一种块坐标下降的优化最小化方法求解该问题。最后,仿真实验表明相比传统脉间初相设计,在频谱阻带内,所提方法峰值旁瓣比提升约6 dB,抗速度欺骗干扰性能大幅提升。

摘要：针对磁悬浮轴承系统的高度非线性、不稳定性以及多输入多输出特点,将强化学习Q-Learning算法同模型预测控制(MPC)结合,设计了一种根据当前系统状态自适应整定参数的模型预测整体控制器(Q-MPC)。以径向四自由度磁悬浮轴承转子位移为控制对象,首先建立径向四自由度磁悬浮轴承数学模型,在此基础上引入希尔德雷斯二次规划方法约束并优化MPC控制器输入,利用Q-Learning算法整定MPC控制时域和预测时域,得到适用于径向四自由度磁悬浮轴承系统的Q-MPC控制器。仿真结果表明:正弦参考信号下,Q-MPC控制器作用的系统各自由度平均跟踪误差相比MPC控制器降低了36%;恒定参考信号下,相比于MPC控制器,Q-MPC控制器作用的系统各自由度的平均超调量降低了51.4%,系统稳定所需平均调整时间降低了14.4%,施加扰动后,4个自由度的平均波动幅度降低了76.1%,系统稳定所需平均调整时间降低了26.2%,验证了所设计的Q-MPC控制器的有效性。

摘要：[目的]为解决目前传统列车定位技术不适用于高温超导磁浮列车,以及高温超导磁浮列车现有定位技术具有局限性的问题,提出一种基于RFID(射频识别)技术的列车定位监测方法。[方法]介绍了RFID定位技术,提出该定位技术在系统应用中的理论误差模型,设计并搭建完成定位软件及硬件系统。为提高系统的定位精度,分析了列车运行速度、读写器响应时间、读写器信标距离等参数对定位误差的影响。在此基础上,结合高温超导磁浮列车具体运行环境搭建试验平台,验证所提RFID定位方法的可行性。[结果及结论]所设计的基于RFID的高温超导磁浮列车定位方法,能够对环形试验线中运行的磁浮列车进行较高精度的定位,所提RFID系统具有可靠性高、成本低、易于维护等优点。

摘要：为分析在接触网检修接地时,由单根轨条和回流线短接产生的不平衡条件对25 Hz相敏轨道电路的影响,在六端网络的基础上建立轨道电路不平衡传输模型,通过仿真计算和对比,得到在不平衡传输条件下,信号接收端轨面电压的衰减和扼流变压器上不平衡牵引电流,随道床泄漏导纳、单轨条接地位置、吸上与横向连接设置变化的关系,并利用实验数据和现象验证计算结果。结合实际案例中检修接地的不平衡传输条件导致轨道电路“红光带”问题,给出其产生原因,并验证上述理论。给出减少不平衡传输条件对轨道电路造成影响的方法,尽可能避免该类型“红光带”问题的出现。

摘要：车载设备作为列控系统的关键设备之一,其测试需求在不断迭代。测试案例重构通过更新原有组合测试集覆盖变更的测试需求,实现对测试案例的高效重用,对生成演化后的测试集具有重要意义。根据车载设备输入模型的变化情况,提出一种基于模型演化的测试集重构方法。首先,通过比较演化前后组合模型的差异性,辨识出失效和新增的测试需求,并结合测试参数、参数取值、约束可能出现的演化情况分析两类测试需求的具体构成;其次,基于演化后的组合模型,依次采取修改、扩充、新增3个步骤重构原有测试集,修改不满足变更测试需求的原有案例,扩充新增参数取值,新增案例覆盖剩余测试需求;之后,根据约束间的相容性,将互不干扰的多条约束置于1条测试案例集中处理以精简测试集;最终,得到完备覆盖所有演化后测试需求的组合测试集。以车载设备模式转换等3种场景为例,对本方法进行了验证,研究结果表明:相较于现有方法,本方法能更充分地重用原有案例,测试集总体重合度提高了7.82%,后续人工修改测试案例文档的工作量相应减少,时间成本可降低18.26%。

摘要：与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。