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

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

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

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

耙吸挖泥船疏浚施工三维动画仿真

为促进三维动画技术在疏浚行业中的广泛应用,具体介绍了三维建模、材质贴图、灯光、特效、摄影机、动画、渲染等三维动画关键技术,并以应用广泛的耙吸挖泥船的疏浚施工三维动画制作为例,详细说明了运用这些技术进行三维动画制作的具体方法和过程。     

用镜头描绘爱车

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

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

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

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

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

道路三维场景的实时动态显示技术

实时动态显示技术是实现道路三维可视化设计的关键，应用Delaunay三角化算法构建数字地面模型，基于分割—归并思想完成道路三维实体造型，在此基础上，提出并实现了有效的道路三维模型的视相关简化算法，并结合真实感图形绘制技术开发了道路三维场景的实时动态浏览平台，将该平台与路线CAD系统集成，实现了道路设计过程和设计成果的可视化。     

基于粒子滤波的场景事件实时识别

为解决智能监控场景中场景事件的检测与分析问题,提出了一种基于粒子滤波的场景事件实时识别方法.将场景事件分解为一系列的子事件,构成多层动态贝叶斯网络模型,模型中每一状态对应一种事件.采用Particle F ilter粒子滤波方法对模型中各节点状态的后验概率进行实时估计,以对场景事件进行实时识别.采样不同的粒子数目进行了对比仿真试验,仿真结果表明该方法能够得到较高的识别精度.     

六自由度驾驶模拟器视景仿真系统研究

随着计算机图形学技术的不断提高，基于虚拟现实的各种运动模拟器视景仿真系统的开发已成为研究热点．文中开发的六自由度驾驶模拟器，可对模拟驾驶设备进行各种运动模拟．采用视景仿真软件MultiGen Creator和OpenGVS SDK，结合面向对象技术开发了六自由度驾驶模拟器视景系统，对视景仿真系统中动力学建模、场景建模、碰撞检测等关键问题进行了阐述．经过试验测试，所开发的视景系统具有良好的视觉沉浸感．     

城市轨道交通全自动运营场景及功能需求分析

对城市轨道交通全自动运行系统进行介绍,对全自动运营场景进行梳理。以自动洗车和大客流2个典型运营场景为例进行分析,指出不同运营场景对通信、信号、车辆、综合监控、站台门、洗车机等关键装备的功能需求以及各设备专业之间的接口关系,为相关工程设计人员提供设计参考,提升城市轨道交通运行的可靠性、安全性、可用性和可维护性。