排序方式: 共有88条查询结果,搜索用时 65 毫秒
31.
32.
移动授权的形式化建模与验证 总被引:1,自引:1,他引:1
基于通信的列车运行控制系统(Communications-Based Train Control System,CBTC)相较于传统的基于轨道的列车运行控制系统,无论是从功能方面还是性能方面都有了很大的改进。在系统的研发过程中,对其进行建模和验证,能够发现系统设计的缺陷,进而保证系统的安全性和功能性。移动授权(Movement Authority,MA)是CBTC系统的核心功能,用来保证列车的安全运行间隔。通过对移动授权生成原理的研究,采用时间自动机和其自动验证工具UPPAAL对其进行建模以及验证,验证结果表明,搭建的移动授权模型能够达到规定的安全要求和功能要求。因此UPPAAL能够对复杂的实时系统进行仿真验证。 相似文献
33.
采用以双硫腙为显色剂的分光光度法测定土壤中铅的含量。将土壤消解,使其中的金属铅与双硫腙形成显色络合物,在最大波长517 nm处测定吸光度,并探讨了显色时间、p H显色剂用量对测定结果的影响。铅浓度在0~1 g/m L范围内符合郎伯-比尔定律,制得线性回归方程为y=0.092 8x+0.159 2,线性回归系数R2=0.999 1,相关性较好。结果表明绿化带土壤铅含量为42.17 mg/kg,道路一侧土壤铅含量为77.73 mg/kg,基本没有污染。此法适用于土壤中铅的测定。 相似文献
34.
35.
为了进行直线式公交站选型优化,根据南京市某公交站台的调查数据,考虑交通负荷、公交车占用站台时间及停靠频率因素,比较虚拟港湾式公交站与普通直线式公交站对交通流的影响,建立了沿机非分隔带虚拟港湾公交站的车流速度模型.该模型可计算车延误,并结合通行能力进行公交站选型.研究表明,单车道路段设置虚拟港湾式公交站有利;两车道路段根据交通负荷等参数确定公交站选型;公交车平均停靠时间不超过1 min时,3车道路段设置普通直线式公交站有利. 相似文献
36.
化学灌浆工艺影响裂缝修复质量,若修复材料没有包覆钢筋时则存在腐蚀环境下的高锈蚀风险.依据现行操作规程进行混凝土裂缝化学灌浆时常出现复漏现象,表明腐蚀环境下混凝土结构的耐久性难以保障.通过试验分析了工程中常用的钻孔灌浆工艺的灌浆修复效果,并从耐久性保障角度出发,分别从钻孔间距和钻孔深度进行灌浆工艺优化试验.试验结果表明,... 相似文献
37.
电动汽车的能耗问题一直是限制其普及的主要瓶颈之一。悬架系统是电动汽车能量转换和传递的关键部分,其动力学特性对车辆的能耗具有重要影响。因此,基于电动汽车悬架动力学,研究了悬架动力学与车辆能耗之间的关系,并提出了一种基于悬架优化设计的电动汽车能耗降低方案。通过悬架系统参数的优化设计,包括减小振动质量、增加阻尼系统等手段,能够有效地降低车辆的能耗,并提高车辆的行驶舒适性和稳定性。通过模拟验证,展示了优化后电动汽车悬架系统能耗的明显降低和优秀的性能。研究结论对于提高电动汽车的能耗水平、提高其竞争力具有一定的理论和实践意义。 相似文献
38.
针对山区高速公路建设问题,提出了山区高速公路人员伤亡严重程度影响因素及其体系结构框架,基于解释结构模型(ISM),建立具有一定逻辑关系的影响因子递阶有向图,将山区高速公路人员伤亡严重程度的影响因素分为三个层次:浅层、中层、最深层次,浅层影响因素是指几何线性因素和天气因素,中层影响因素是沿线环境因素、道路安全设施因素和车况因素,最深层影响因素指驾驶员因素和路况因素,直接影响山区高速公路人员伤亡严重程度。 相似文献
39.
以现场总线为基础,应用ARM微处理器、CPLD技术,MBI5039等控制技术研制出应用于高速公路、城市道路等交通工程的图文可变信息情报板。本系统实现了显示屏的图文信息显示功能以及相关检测功能。LED采用恒流驱动,应用PWM技术,自动调节显示亮度,达到节能,满足高速公路、城市道路、隧道等领域可变信息情报板产品要求。 相似文献
40.
翟竹李石鑫鹏董昌信段浚婷朱航天张婷梁源浩郝征吴晓鸽刘均超常程李慧封建霞崔克臣宫鸣倪菲菲徐燕张艺滕冯艳黄鹏程 《人民公交》2019,(10):30-33
北京9月11日,北京公交客六分公司第三车队(983线路)一行人来到丰台区王佐乡乐邻里敬老院,了解老人们的生活起居和身体健康状况,同时送上亲手制作的“爱心月饼”,祝愿老人们幸福快乐。深圳9月12-13日,深圳东部公交B850线、369线等与乘客一起“话中秋、猜谜语、抢答题”共度佳节。公交车内,趣味横生的谜题吸引了乘客的注意,大家纷纷参与到猜谜活动中来,车厢里充盈着和谐愉悦的节日气氛。 相似文献