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

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

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

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

弹石路面典型病害成因与养护措施研究

文章通过对云南省4条弹石公路的典型路段进行路面常见病害实地调查,从气候条件、边缘约束条件、交通条件等3方面对弹石路面常见病害的发生机理进行分析得出结论：水是弹石路面病害产生的一个最主要成因。针对不同病害,提出了具体的养护措施。     

新毕加索轿车刮水电路的原理和典型故障分析

介绍新毕加索轿车刮水电路的组成、工作原理和典型故障。     

“前车之鉴”要牢记

为教育和警示机动车辆驾驶人员,特收集整理了辖区典型交通事故案件并加以分析事故成因,以"前车之鉴"警醒广大驾驶员摒弃交通陋习,文明、谨慎驾驶。【典型案例1】醉酒驾驶机动车1月26日3时许,王某东醉酒后无证驾驶一闽E5XXX1号小型普通客车     

大跨径钢桥面铺装典型结构路用性能评价与研究

大跨径钢桥面沥青混凝土铺装材料的性能对行车舒适性及面层材料的耐久性有重要的影响。在了解各类铺装材料特性和适用性的基础上,提出了3种典型铺装结构方案。并以舟山西堠门大桥为项目依托,对钢桥面铺装3种复合铺装结构的高温稳定性、低温弯曲性能、疲劳性能以及防水性能进行了综合研究,对比了3种复合铺装结构的性能差异。在进行疲劳性能分析时,根据有限元分析结果,创新性地建立了室内组合结构疲劳分析试验模型。通过试验验证了3种复合铺装结构作为钢桥面铺装的综合技术性能,为今后的桥面铺装工程提供了一定的理论基础。     

用镜头描绘爱车

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

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

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

6SE70系列变频器应用于卸船机驱动控制的典型故障分析

介绍了西门子6SE70系列交流变频器应用于桥式抓斗卸船机驱动控制的结构形式和功能,分析了驱动系统运行中出现的典型故障及原因,并探讨了改进措施。     

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

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