高速铁路CTC分界口临时限速系统建模与验证

临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限速信息交互频繁,对实时性的要求也更苛刻。为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证。验证结果确认了交互过程中系统的安全性和受限活性。

嘌呤嘧啶类化合物的反相离子对色谱分离及饮料中咖啡因的测定

本文报道了以含７．５％甲醇（Ｖ／Ｖ），１０ｍｍｏｌ／Ｌ（Ｃ４Ｈ９）４ＮＢｒ，１０ｍｍｏｌ／ＬＫＨ２ＰＯ４～Ｎａ２ＨＰＯ４缓冲溶液（ｐＨ５．０）作流动相，在ＹＷＧＣ１８柱上，反相离子对色谱法同时分离胞嘧啶、黄嘌呤、腺嘌呤、可可碱、尿嘧啶丙酸、茶碱、咖啡因７种碱基及其衍生物的方法，并用于软性饮料中咖啡因的测定，标准加入回收率在９５．３％～１０４．５％之间。

三元交互决定论视角下大学生返乡意愿影响因素调研与分析

以促进大学生返乡为目标,围绕陕西省高校大学生返乡意愿影响因素展开研究,从而提出系统的返乡引导机制。基于三元交互决定论,从自我效能、结果期望、外界环境3个方面构建大学生返乡意愿影响因素理论框架,运用结构方程模型(Structural Equation Model,SEM)进行定量分析。结果表明:外界环境是影响大学生返乡意愿的决定性因素,自我效能和结果期望是关键因素,自我效能、结果期望和外界环境间产生交互作用。基于研究结果,提出优化家乡环境、增强返乡吸引力,突出大学生主体地位、打造返乡核心竞争力,以家长为突破点、全覆盖宣传发动等对策建议。

运动曲率自适应V-SLAM算法研究

传统室内视觉同时定位与建图(V-SLAM)存在特征点误匹配剔除耗时长、较大转弯时定位精度低等问题。为了提升匹配速度,提出一种基于特征点的余弦相似度直方图剔除误匹配方法。为了避免大幅度转弯时关键帧丢失,提出一种基于运动曲率的关键帧自适应提取V-SLAM算法(MSAV-SLAM)。该算法通过高效多点透视(EPnP)计算帧间位姿,以融合了运动曲率、帧间位移和旋转矩阵的复合运动量为参考变量,自适应选择关键帧。室内数据集实验表明,所提出的算法与基于固定时间、空间和原ORB-SLAM2算法相比,平均每帧追踪时间减少为原算法的57.62%,且绝对轨迹误差为改进前的81.45%。

论桩基竖向承载力估算法

通过对桩基竖向承载力估算的计算和研究,从桩基竖向承载力的含义、估算法、估算中的合理性和局限性进行论述,具体介绍了Excel表格的应用,从而对于桩基竖向承载力估算法有了全面认识及应用。

结合扩展卡尔曼滤波与基于点线的最近点迭代扫描匹配算法的机器人位姿自适应估计

针对机器人利用单一位姿估计方法累积误差大、精度低的问题,本文提出了一种基于扩展卡尔曼滤波算法(EKF)和基于点线的最近点迭代扫描匹配算法(PL-ICP)的机器人位姿自适应估计方法。为了减少轮式里程计造成的累积误差,利用Mahony算法对陀螺仪和加速度计进行姿态解算,进而基于扩展卡尔曼滤波融合轮式里程计初步估计机器人位姿;为了减少轮子变形、打滑等对机器人位姿的影响,利用PL-ICP点云匹配算法构建单线激光里程计,对机器人位姿再次进行估计;为了提高位姿估计的准确度,提出了一种基于两种位姿总均方差和前后时刻位姿误差构建累积误差的自适应修正算法,通过分析两种位姿总均方差及前后时刻位姿误差,得到全局最优权重因子和局部动态权重因子,实现累积误差修正因子的自适应调整,得到机器人更精确的位姿估计。试验结果表明,该方法可对机器人的位姿累积误差进行修正,显著提高机器人的位姿估计精度。

铁路重载列车运营仿真培训系统的设计

分析货运铁路重载列车运营对行车组织人员的培训与教学需求,设计集教学与培训为一体的铁路重载列车运营仿真培训系统。介绍该系统的功能及关键仿真流程,通过软件编程完成系统的开发,实现了对学员进行教学、技能培训和考核的目的,同时,对行车组织人员调度指挥与管理水平的提高也有一定的促进作用。

从不同角度理解词语

在阅读教学中,那种只要求把词语读出、写出,或死记硬背教参上的解释,而忽视对词语的分析和理解的学习方法,无助于发展学生的语言、思维和智能。因此,教师在教学过程中,应善于挖掘教材中的智能因素,引导学生深入探究重点词语、关键词语的内在含义,教给学生阅读方法,从不同角度理解词语。以下从七个方面谈一下理解词语的一般方法。

预制桩在沿海回填砂软基中的应用

某炼油项目部分场地为海域吹填砂,根据场地表层和上部地基稳定性较差、中下段地基整体稳定性较好的特点,采用预制方桩基础。介绍该工程沉桩、接桩、送桩工艺和对桩头破碎、挤土效应导致邻桩破坏等现象的处理方法。

基于神经网络的桩基竖向承载力预测研究

通过对基于神经网络的桩基竖向承载力预测研究,从研究背景、研究方法和研究内容等各个方面进行论述,从简化模型、数字的分析等多种方法进行探讨,从而对基于神经网络的桩基竖向承载力预测研究有了全面的认识及一定的了解。

基于STEP的产品数据表示和交换的研究

本文介绍了ＳＴＥＰ标准的概念和原理，基于ＳＴＥＰ标准对各种计算机辅助系统进行集成的策略，以及ＳＴＥＰ模型描述语言ＥＸＰＲＥＳＳ的编译器的实现和ＧＨＭｏｄｅｌｉｎｇ４．０的ＳＴＥＰ中性文件前后处理器的实现，语言轩讨论了ＳＴＥＰ标准的实现原理、ＥＸＰＲＥＳＳ编译器的作用、ＳＤＡＩ数据字典结构、ＳＴＥＰ中性文件的前后处理过程和应用协议在产品数据交换中的应用。

碎石桩与砂桩在处理地震液化地层中的应用

针对地基土砂土震动液化问题,采用复合地基处理方式,并将碎石桩与砂桩两种地基对同一地层进行处理,通过两种处理效果的对比,得到了一些有益的结论,为处理同类工程的地震液化地层提供了借鉴。