摘要：保障虚拟编组平稳追踪运行的关键问题是实现对列车运行状态的精准预测。针对列车运行过程多变的特点,提出基于融合注意力机制的卷积双向长短期记忆神经网络(ATT-CNN-BiLSTM)的时空轨迹预测方法。针对列车历史运行数据中非正常运行场景稀少产生的数据非均衡问题,利用卷积神经网络和双向长短期记忆网络提取列车运行数据维度之间的特征关联,并增加注意力机制提升泛化能力。同时引入运行时验证方法在线监控预测结果,降低由预测错误造成的行车风险。以成都地铁8号线真实数据为例进行实验,设计5种评价指标,通过基线模型与消融实验对所提ATT-CNN-BiLSTM进行评价,该模型对于异常场景的预测误差至少减小9.626%。

摘要：进路的调度与执行是影响铁路车站作业效率的关键因素之一,现阶段车站作业的调度安排与信号控制尚未形成一体化融合。引入运筹学车间调度思想,对作业计划进行分解,综合考虑线路拓扑关系和区段资源的占用时间,紧密结合信号联锁分段解锁控制原理,利用资源调度方法构建进路分配时空约束,提出一种基于站场区段资源精细化分配的车站进路分配优化模型。针对模型难于求解的特点,提出一种基于短路径和时间交换邻域搜索的混合遗传算法。实验验证结果表明:本文方法与进路冲突疏解的方法相比,在延迟时间和走行时间方面分别提升4.76%和10.72%;当提升作业连续性的影响比重时,可避免部分进路冲突延迟,提高进路分配的优化质量。

摘要：虚拟编组可有效提升运输能力,是轨道交通领域的研究前沿,其行车方式的变革给列车运行控制带来新的问题。为满足虚拟编组行车紧密追踪及协同作业的安全防护需求,探讨一种基于可达集的虚拟编组列车运行安全防护方法。首先,构造列车运行控制混成自动机模型,更加精确地描述编组列车控制行为;然后,提出一种通过对混成模型过近似可达集求解来确保列车运行安全的防护方法,深入剖析虚拟编组列车运动行为,给出一种面向多面体精化的自适应步长可达集求解算法,能够实时预测前行列车动态轨迹,进而达到最大限度缩短列车追踪间隔的效果;最后,利用实际线路数据进行仿真实验。实验结果表明,该防护方法与传统防护方法相比,可进一步缩短列车追踪间隔,更能满足虚拟编组行车安全防护需求。

摘要：该研究主要以古典音乐为例,通过城乡地区对古典音乐的接受与了解,找到城乡大学生对古典音乐的共同点进行沟通,通过学习达到相同的音乐素养与审美能力,促进城乡的文化交流。并且提倡城乡大学生加强对古典音乐的学习与了解。研究方法主要运用了问卷法和访谈法并进行数据分析。

摘要：动态编组逐渐成为列车运行控制领域的研究热点之一,低牵引能耗、高编组精确性、强抗干扰能力的多目标控制是实现动态编组的难题。针对这一问题,提出一种基于动态规划(DP)-序列二次规划(SQP)的优化控制方法。首先,对动态编组过程建立数学模型;然后,建立以低能量消耗和精确编组为目标的动态编组优化问题,在离线状态下使用动态规划算法计算速度曲线;最后,以离线速度结果为基础,使用序列二次规划算法求解最优控制策略在线控制列车。仿真实验表明,使用本文方法控制编组过程时,牵引能耗降低5.6%,编组误差下降至3 m,SQP算法求解的迭代次数下降到12次;在有外界干扰状态下,该方法可在线控制列车校正速度偏离,消除干扰带来的影响。

摘要：自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。

摘要：本项目运用问卷调查的方法,以高雅音乐的感受能力为指标探索城乡大学生群体整体音乐素养的差异。通过建立完备的研究规划,探讨如何对城乡大学生群体音乐素养进行研究。进一步探求如何缩小城乡大学生群体音乐素养差异,以寻求城乡文化素质上的共通点。以研究对音乐主观感受是否相同,调查并分析如何缩小城乡差距。

摘要：公共服务设施服务体系的构建和完善是提升城市品质重要举措,同时改善居民生活水平,为居民提供了在日常生活和发展中所必不可少的资源和服务。而对于社区公共服务设施的空间覆盖范围分析和补充配置研究,需要落到中微观层面的分析中,且随着社区公共服务设施现状研究的不断深入,需要综合考虑的影响因素也不断增多,街区的开放性、路网结构的通达性、人的行为特征等因素均对社区公共服务设施配置产生影响。本文依托ArcGIS空间分析,讨论数据在不同精度下对空间分析的结果所产生的影响,并基于ArcGIS构建空间数据分析模型,以北京某片区的社区医疗卫生服务设施为例,探讨片区内社区医疗卫生设施补充配置的方法研究。

摘要：提出基于形式化验证的FAO系统在线危险预测技术。利用形式化方法可信检验FAO系统的运行时行为,预测可能出现的列车运行危险,以实现FAO系统的实验室安全性验证。基于混成自动机建立列车运行控制模型,结合线路数据以及车载运行状态,计算列车运行可达集,实现对危险的预测。以北京燕房线FAO为例,设计运行时验证系统,通过仿真试验验证在线危险预测技术具有可行性。

摘要：笔者通过大学期间主持2012年本科生基金"关于城乡大学生整体音乐素养差异的分析",深刻理解了科学研究课程的的意义,分析了大学生进行科学研究的重要性,并深入的挖掘了主动学习对于大学生活不可缺的作用。从细节上指出了科学研究的过程中容易走入的误区,记录了科学研究课程中的挑战与体会。