运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

高速铁路桥梁声屏障插入损失五声源预测模式研究

研究一种高速铁路桥梁声屏障插入损失的五声源预测模式,可应用于时速300 km以上高速铁路声屏障声学设计。对高速铁路噪声源进行现场辨识测试,分析其声源特性,将高速铁路噪声源简化为轮轨区、车体下部、车体上部、集电系统、桥梁结构5个等效噪声源。根据单声源模式的声屏障插入损失预测公式,结合不同车速下声源等效频率和噪声贡献量,同时考虑桥梁翼板对声传播的影响,形成五声源模式的声屏障插入损失预测公式。采用该方法计算2.15 m声屏障插入损失并与现场测试数据对比,结果显示距离线路25~50 m处受声点插入损失预测结果与实测结果吻合度最高。     

钢箱梁初步设计近似公式研究

箱型钢梁是薄壁结构,理论上应使用板壳元素为分析元素较能反映实际的受力及变形。为有效进行设计与分析,已有多种商业软件,但是在确定分析元素与分析的前置作业也相当繁杂费时,而造成初步设计的困难。因此如何利用平板力学相关理论推导箱型钢梁受力变形近似公式将可帮助箱型钢梁设计者减少非必要的工作负担。本文的探讨方法是将箱型钢梁上翼板变形分为上翼板与腹板交界处变形及上翼板变形这两种变形的迭加,进而推导出近似公式。直线型式等截面简支箱型钢梁分别用有限元软件SAP2000和近似公式计算进行准确度的比较,误差百分比尚在初步设计的容许误差范围内。     

泰勒公式在函数凹凸性及拐点判断中的应用

利用泰勒公式讨论了函数的凹凸性,并获得一个判别拐点的较为简单的方法.     

压实石灰黄土力学特性试验

通过对公路上广泛使用的灰土比为10％(重量比)、压实度为95％的压实石灰黄土进行三轴试验，测得了不同围压下压实石灰黄土的应力-应变曲线、体积变形曲线及侧向变形曲线，获得了压实石灰黄土的初始切线模量、初始切线体积模量、初始泊松比、峰值强度、峰值应变、残余强度和抗剪强度参数等力学指标。结果分析证明邓肯-张模型不适用于压实石灰黄土。可以使用改进的Saenz公式来表示其应力-应变关系。     

粉煤灰预拌混凝土配合比设计用强度公式研究

研究了粉煤灰（FA）掺量对不同胶水比的混凝土28d强度的影响规律．研究表明,粉煤灰预拌混凝土28d强度与胶水比具有很好的线性相关性,Bolomy公式对粉煤灰预拌混凝土是适用的,但公式中的回归系数需要修正;粉煤灰掺量对不同胶水比的混凝土28d强度的影响规律基本相同,提出了粉煤灰强度影响系数的概念和经验公式,并利用影响系数对Bolomy公式进行了修正．     

碳纤维布加固混凝土矩形墩柱温度自应力探讨

基于平截面假定和自平衡力系条件,对碳纤维布(CFS)加固的任意形状横截面混凝土构件,建立日照辐射或骤然降温引起的温度自约束变形求解方程。推导CFS加固混凝土矩形墩柱在均匀变化、线性变化和指数变化温度梯度下的温度自应力解析式。与未加固混凝土矩形墩柱温度自应力解析式进行对比分析,结果表明,即使在均匀和线性变化温度梯度下,CFS加固矩形墩柱也会产生温度自应力;在指数变化温度梯度下,CFS中产生可观的温度自应力。所推导的自约束变形求解方程和温度自应力解析式具有一般性,适用于CFS加固混凝土构件和未加固混凝土构件。     

救援通道施工爆破对已建高铁隧道的振动安全分析

为确保已建金山顶高铁隧道衬砌结构的安全,有必要在救援通道爆破施工过程中对其开展爆破振动监测。采用TC-4850N无线网络爆破测振仪进行监测,监测结果表明:既有隧道迎爆侧的衬砌结构断面振动最大;基于最小二乘法对监测数据进行回归分析并得到了爆破振动萨道夫斯基经验衰减公式参数;根据公式参数对后续爆破提出了爆破振动控制措施,做到当振动速度超过安全阀值时及时调整爆破参数,取得了较好的效果。     

蒸汽管道孔口泄放流量工程计算方法探究

常用的蒸汽管道孔口泄放流量计算方法是借助喷管流量计算公式,公式中的进口蒸汽比体积需借助蒸汽热力性质表换算,且低过热度时绝热指数采用经验值,得到的计算值与实际有偏差,此外,传统计算式的形式较为繁琐,这些因素在一定程度上影响了其在工程中的使用。为满足工程需求,完善蒸汽管道孔口泄放流量的工程计算方法,推导出一个适用于蒸汽状态、压力参数多变,便于工程设计分析的更为简便、准确的孔口泄放流量工程计算式,式中涉及的蒸汽状态参数易于测试,采用的温度修正因子则提高了公式在低过热度下使用的准确性。同时,结合工程实例,分析此计算式的使用情况,并认为,完善后的蒸汽管道孔口泄放流量计算式将在蒸汽管道孔口泄放问题中有更为广泛的应用。     

基于C#的船舶焊接物量定额系统研究

造船企业目前焊接物量统计和计划主要凭借经验来估计,导致焊材管理混乱,浪费严重,造船成本增加,针对这种情况研究出焊接物量定额系统,系统运用C#为开发工具,My SQL为后台数据库管理工具,实现了焊接物量定额的动态公式设定的功能,该动态公式针对不同船厂的焊接实际消耗情况来修正理论焊接物量,提高了系统的灵活性及实用性,为今后船厂的焊接管理和计划安排奠定基础,节约造船成本,从而达到精益造船的目标。