基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

桩-土-承台相互作用的有限元简化模型

针对低桩承台结构计算中往往只考虑桩土作用,忽视承台与土相互作用的问题,通过工程实例,建立考虑桩-土-承台相互作用的低桩承台有限元简化模型,分析桩间土的承载作用对承台和桩内力的影响。结果表明:在简化模型中考虑桩间土的承载作用后,承台弯矩和桩基轴力可减少35%～40%;桩身弯矩和剪力主要受水平力和土体m值影响;桩基轴力随地基土基床系数的增大而逐渐减小,但减幅逐渐趋缓。     

不同因素对潜堤波浪传播的影响

针对波浪穿过梯形潜堤时的波浪形态沿程变化问题,以梯形潜堤为研究对象,通过二维水槽试验,研究梯形潜堤上规则波的传播特征。以比波高为参数分析不同波浪要素(波高、周期和水深等)对波浪传播变形的影响。试验结果表明,其他条件不变时,入射波高越大、波浪周期越小、堤顶淹没水深越小时,波高在潜堤上方衰减越明显。在有足够水深,且波高较小时,波浪对潜堤均有良好的穿透性;波高较大时,波浪在潜堤上部发生破碎,波浪穿过潜堤后波高衰减,此时潜堤的消波作用明显;在波浪不发生破碎情况下,较长周期波浪在潜堤顶部比波高增大,且出现双峰值。     

基于新型磁链观测器的无速度传感器感应电机控制技术研究

提出一种由补偿式的二阶带通滤波器电压磁链观测模型,基于该补偿电压模型,构成新的磁链估计器.为了解决磁链观测器多平衡状态的问题,提出以提高磁链估计精度的方法、对不同类型感应电动机磁通观测器的控制技术进行研究.对传统的模型参考自适应速度估计方法进行改进,基于补偿式二阶带通滤波器电压磁链观测模式作为参考模型,速度估计的精度提高.同时对基于新型磁链观测器的无速度传感器感应电机控制技术进行研究,然后通过仿真验证.     

考虑移步需求的无桩型共享单车动态调度研究

共享单车系统自发的不均衡性导致单车数量分布与用户需求分布之间产生偏移，降低了系统服务能力，需要调度实现再平衡. 现有动态调度算法缺乏考虑起点车辆供给不足，用户在出行过程中“再次”取车的移步需求，难以准确识别用户真实的出行需求分布，降低了调度效果. 本文提出以用户出行选择行为为下层，以调度车辆路径规划为上层的双层规划模型框架，设计结合仿真系统的启发式求解算法. 算例场景基于上海市虹口、杨浦区共享单车历史出行数据搭建，并进行网格化处理. 算例结果表明，模型能有效识别移步需求，提高共享单车的供需匹配能力. 针对各类调度资源配置情况，共享单车的供需匹配率提升18.07%~ 19.89%，提高了共享单车系统的管理效率.     

驾驶人安全意识体验式训练装置研究

通过对目前常用驾驶人安全意识培训方法的对比,认为体验式培训为最适合的培训方法;进一步对我国2007-2010年间大型道路交通事故特征进行分析,得出驾乘人员不系安全带是引起人员伤亡一大原因。通过设计研发碰撞、翻转两个体验式训练装置,使驾乘人员在保证安全的前提下真切感受道路交通事故发生瞬间安全带对人体的保护作用,有效提高驾驶人的安全意识,减少道路交通事故的发生及人员的伤亡。     

“三图四表”管理制度在轨交基坑施工中的应用

结合宁波轨交1号线一期工程TJ-Ⅷ标东环南路站工程,参建单位对基坑结构风险进行了静态分析与评估,并对基坑设计方案进行了优化。在基坑开挖过程中,通过"三图四表"管理制度对基坑开挖过程进行动态实时的控制,采取了一系列针对基坑变形的控制措施,顺利完成了该站主体基坑的开挖作业。可供欠固结土地区深基坑的设计和施工参考。     

不同驾驶操作行为对车辆燃油消耗量的影响分析

针对车辆驾驶员普遍存在盲目换挡、急加速等不良驾驶行为的现象,研究采用发动机台架试验和道路试验相结合的方法,对汽车起步、换挡时机的选择、加速、减速、车速控制等典型的驾驶操作行为展开研究,通过对不同驾驶操作行为燃油消耗的分析,规范了汽车驾驶操作行为。     

长江南京以下12.5m深水航道二期工程安全应急方案研究

安全应急预案对于提高安全事故中的救援能力、减少安全事故带来的损失具有重要的意义。以南京以下12.5m深水航道二期工程为背景,对拟定的安全应急预案进行分析研究,总结出安全应急预案体系包括综合安全应急预案、专项应急预案和现场处置方案,提炼各层次预案对应的事件类型和具体内容,并编制首接责任制下的应急组织机构和应急流程。