Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

凝固瞬间——拍摄运动画面的技巧

<正>生命在于运动,我们用相机自然也会想要记录那些动感的画面。今天向大家分享几个运动画面的拍摄技巧,帮助大家拍出漂亮的作品。1快门法此法适用于抓拍高速运动物体,要求对物体的呈现有较高清晰度。将相机设为快门优先,保证光线充足。快门优先对光线要求较高,需提前设定好位置,对时机把握精确,然后按下快门。(小贴士:拍摄物体速度越快,快门速度越高。拍摄距离越远,快门速度越     

曲线斜交钢筋混凝土连续刚构受力分析

研究目的:曲线桥梁由于具有独特的弯扭耦合力学特性,使得结构受力相当复杂.本文以北京南站凉水河刚构连续梁中桥为工程背景,探讨曲线斜交钢筋混凝土连续刚构桥的受力特点.研究结论:弯扭耦合和刚壁墩斜交使得曲线斜交刚构连续梁桥的变形、纵向弯矩值比同样跨径的直线梁桥要大,且外边缘的挠度大于内边缘的挠度,曲线梁桥的支反力与同等跨度直线梁桥相比,有曲线外侧变大、内侧变小的倾向.     

公路路线边缘线计算方法

本文介绍公路路线边缘线的计算方法。     

用镜头描绘爱车

如果你曾经尝试过拍摄汽车,就会知道并不像开始想得那样简单。虽然拍一张清晰而简单的汽车照片非常容易,但是要在画面中捕捉到汽车的设计、细节和精髓却是相当具有挑战性的。这里和你分享一下我们在汽车拍摄中的一些心得。     

智能船舶航行系统测试的方法与体系

如何对智能船舶航行系统进行测试，是世界各国及相关国际组织在智能船舶发展过程中面临的一个重大挑战。在机器学习(Machine Learning, ML)、人工智能(Artificial intelligence, AI)等技术大量应用的背景下，传统的导航系统测试方法已难以有效覆盖智能航行技术的新特征。本文在概述与分析了智能船舶航行系统的功能特征和测试需求基础上，总结了现有智能系统测试方法的优缺点，提出了智能船舶航行系统测试思路和方法，并构建了一种以场景为中心，多种测试方法协同的智能船舶航行系统测试体系，旨在提高系统研发测试效率，促进智能船舶产业发展。     

城市跨江桥梁交通景观改善方法及评价

根据城市跨江桥梁事故形态,充分利用现有桥梁交通附属设施,设计多频率、多色彩的视觉信息流改善方法.利用3ds Max仿真软件对城市桥梁进行模拟实验,利用E-prime软件进行了基于反应时法的车速感知心理物理实验,结果显示:用反应时法测量被试的感知速度,可以很好的进行高斯拟合;改善前被试白天速度低估8.72%±1.57%,夜晚速度低估11.89%±2.04%,改善后被试白天速度高估5.64%±3.27%,夜晚速度高估11.05%±1.21%.     

基于边缘计算的智慧铁路工地生产管理系统

分析基于云计算架构的铁路工程管理平台的应用现状及面临的问题，基于边缘计算策略，提出智慧铁路工地生产管理系统的架构设计，并结合混凝土拌和站生产管理、铁路工地视频监控、隧道工程围岩变形监测3类场景开展应用探索，为智慧铁路工地的生产自动化、现场实时监控、数据优化、智能分析等应用提供更佳解决方案。     

轨道交通行业数智化转型应用浅析

新基建时代背景下的传统行业变革将以数智化转型、智慧化应用为大趋势.结合数智化技术的发展过程与应用情况,在轨道交通领域,行业的数智化技术转型将推动项目在设计、施工、制造、优化与维护等方面的创新发展.本文提出在轨道交通领域进行数智化转型的依托技术,创造性地构建"2+3+N"轨道交通数智化生态系统架构,并分析了3个典型的数智化应用场景.