排序方式: 共有24条查询结果,搜索用时 15 毫秒
1.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
2.
为改善带有储能系统的混合电力船舶推进系统能效,提出一种适用于混合电力推进船舶的控制策略,以锂电池组的荷电状态为状态参数,根据不同电力负荷下的负载变化趋势和柴油发电机组的最佳燃油消耗率曲线,实现多台组网工况下的最佳增减机控制及单台在网工况下的最佳负荷调整。仿真验证表明,通过控制在网发电机组台数及单台发电机组功率负荷,可以降低船舶混合电力推进系统的燃油消耗,改善柴油机工作效率。 相似文献
3.
为提升集装箱码头机械设备运行效率,降低码头运营成本,以某集装箱码头的装卸作业流程为研究对象,借助Flexsim仿真平台构建系统模型,对码头作业现状进行分析。结合Flexsim软件中的实验管理器对数据进行置信度为90%的概率分析,提出较优的港口资源配置方案。方案覆盖从船舶进入航道开始到集装箱疏运出港为止的整个过程,并且将不同类型的集装箱在堆场进行分区堆存,使得仿真模型更加完整合理,可为港口管理者提供相应的决策支撑。 相似文献
4.
根据售后诊断软件系统分层结构,结合业务数据链路采集,分析了车辆ECU实时显示数据在诊断系统用户显示层功能开发中出现的数据遗漏问题。结合C#编程中的"观察者模式",解决了实时显示功能设计中的一对多耦合关系问题,并通过数据采集试验验证了设计的可行性。 相似文献
5.
6.
随着大数据、物联网和人工智能技术的发展,近几年自主航行船舶(无人船)研究成为行业研究的热点.MUNIN项目是最早研究无人商船的项目[1-3],该项目研究并验证了自主航行商船的概念和可行性.MUNIN项目引起了多方对自主航行船舶的广泛关注.挪威建立了世界上第一个自主航行船舶测试区,成立了自主航行船舶论坛NFAS[4].Rolls-Royce公司公布了由其引领的"高级无人驾驶船舶应用开发计划"(AAWA)项目[5-6]研究无人船舶,主要研究感知系统(Intelligence System),近期在挪威开展了自主航行船舶的测试[7].Kongsberg公司已经完成了自主航行船舶的水池测试,并且与氮肥料厂商合作开发一条自主航行船Yara Birkeland[8],并与挪威航运巨头威尔森集团成立了自主航行船公司Massterly[9]. 相似文献
7.
事故热点成因分析是解决交通安全问题的关键和难点,不同成因的事故热点直接决定驾驶人或自动驾驶的通过策略。针对DTH3N算法聚类得到的事故热点展开研究,提出一种基于主成分贡献度的道路事故热点成因分析方法。通过对5类事故热点成因因素:道路、行人、车辆、环境和管制因素贡献度的分析,提取事故热点道路物理成因和社会成因的影响权值。基于英国STATs19数据库选取5个测试区域进行实验分析,结果表明,由事故热点成因分析方法获取的输出参数能够合理解释事故热点成因,可有效指导驾驶行为决策和优化交通管制。 相似文献
8.
9.
汽车是人们的主要代步工具,随着城市车辆的增多,空气污染逐渐成为非常严峻的问题。为了能够更好地实现绿色经济发展,新能源汽车的使用逐渐成为了人们的首要选择。新能源汽车指的是通过代用燃料来为汽车的驱动提供动力的汽车,从而可以有效降低汽车尾气对空气的污染,达到节能减排的目的。本文首先针对新能源汽车的概念、分类以及优点进行阐述,然后分析了新能源汽车经常出现的故障类型,并提出相应的维修技术进行故障的处理,从而保证新能源汽车的正常使用。 相似文献
10.
针对原有皮带机张紧轮组系统存在的强度不足、抗污染性差、难以应付重载启动等问题,给出了一种全新的双槽高密封性张紧轮组设计方案,并通过钢丝绳连接方式的改变、张紧车轮及轨道的改进,实现了新系统的零故障率可靠运行。 相似文献