高速公路平纵曲线组合路段交通风险评估方法

高速公路平纵曲线组合路段常出现单一平曲线和竖曲线要素满足规范，但二者相结合后存在安全隐患的情况。为评估这类组合路段的交通风险、提升组合路段安全性，综合运用可拓云理论与理想点法，提出了基于可拓云模型的交通风险评估方法。基于已有事故数据和文献，从驾驶员、道路、交通环境以及其他因素的角度出发，构建了包含15个指标的交通风险评估指标体系，并将每个指标划分为5个风险等级；利用层次分析法和熵权法确定各评估指标主、客观权重后，再通过理想点法确定各评估指标组合权重；参照公路路线设计规范及相关文献，考虑定性指标的边界模糊性划分各评估指标的风险等级，并按照等比原则实现定性指标的定量化描述；构造可拓云模型云隶属度矩阵，计算综合评判向量，最后根据最大隶属度原则确定路段风险等级。以云南省3段高速公路路段作为分析案例，利用基于可拓云模型的交通风险评估方法计算了各路段风险等级，并识别了各路段的危险性指标。结果表明:该方法与传统基于模糊综合评价法相比，评估结果相同，但信息更丰富，其综合评判模糊等级特征值的期望E_xr反映了路段的安全程度；Y路段的E_xr高于C路段，表明Y路段比C路段更安全；3段路段的评估结果的置信度因子θ均小于0.05，表明结果可信度较高，验证了该方法在交通风险评估过程中的适用性。      

2021年奔驰VITO 主动制动辅助系统 功能不可用且组合仪表报警

车型:2021年奔驰VITO(448813),配置274.920发动机及725.019变速器.VIN:LB1WG3E1XM8××××××.行驶里程:7880km.故障现象:主动制动辅助系统功能不可用且组合仪表报警.故障诊断:此车是一个严重受损的事故车,维修后发现组合仪表提示主动制动辅助故障,如图1所示.     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

印度太阳能公司发起可再生能源项目招标

2020年2月,印度太阳能公司(SECl)发起招标,以建设5GW全天候供电(RTC)可再生能源项目。如必要,还将建设燃煤火电项目,以确保年供电量至少达到80%。项目通过电子招标和反向拍卖方式进行招标。据悉,可再生能源项目可包括太阳能,风电,小型水电或其组合。可再生能源组合类型以及储能系统(ESS)的选择权应由开发商决定。     

进藏攻略浅析

西藏地处雪域高原，山高路险，气候多变，已尽人皆知，其独有之“高原反应”，闻者无不谈虎色变。进藏成功与否，关系到路况、车型、人员、装备、信息等种种要素，缺一不可也!其中，人的因素第一。进藏人数不可过多，九人以内，奇数为佳。三车分乘三人，长途旅行，后座始终留一空间为一人小寐，乐也融融乎。     

组合钢制大模板在连续箱梁中的应用

介绍了桥涵连续箱梁施工采用大模板的可行性及优缺点。利用大模板施工所取得的最佳成效 ,目的是为今后大模板在桥涵施工中的使用得到广泛的普及、应用及推广