Provably Secure Short Proxy Signature Scheme from Bilinear Maps

An enhanced formal model of security for proxy signature schemes is presented and a provably secure short proxy signature scheme is proposed from bilinear maps. The proposed proxy signature scheme is based on two short secure signature schemes. One is used for delegating the signing rights and computing the standard signature; the other is used for computing proxy signature. Finally, a security proof of the proposed proxy signature scheme is showed by reducing tightly the security of the proposed proxy signature scheme to the security of the two basic signature schemes. The proposed proxy signature scheme has the shortest ordinary signatures and proxy signatures. Moreover, the proxy signature generation needs no pairing operation and verification needs just two pairing operation.     

化粪池污水处理能力研究及其评价

通过对西北地区典型城市兰州市某居民区化粪池的调查,分析了生活污水通过化粪池后水质的变化及其对各污染指标的去除率．结果表明,生活污水经化粪池处理后,CODCr、BODs、总氮、总磷、动植物油浓度均有降低,年平均去除率分别达到83．6％,51．1％,64．3％,68．2％,75．6％．污水的可生化性有明显提高．研究结果对于全面评价化粪池的功能特征,进而为化粪池的取舍提供技术参考．     

改进的Skowron可辨识矩阵及其属性核求解方法

针对可辨识矩阵求核方法无法兼顾正确性与高效性的问题,首先从理论上证明了可辨识矩阵中单个元素与核的关系,在此基础上,设计了一种Skowron可辨识矩阵的改进方法以及基于这种改进的Skowron可辨识矩阵的属性核求解方法,该方法不仅适用于任何决策表信息系统,而且有效降低了计算代价．     

壁可法结合粘钢法在小董大桥维修加固中的应用

通过介绍壁可注入法、粘钢加固法在小董大桥的维修加固施工,阐述了2种加固工艺方法在桥梁加固工程中处理裂缝、提高桥梁承载力的应用。     

北京公交车检测新场建成 为提升车质车容奠定基础

占地33800余平米,承担6000余部公交车辆检测任务的北京公交集团第二检测场日前建成投入使用。新落成的检测场分为保修作业、保修停车、综合服务、行政办公区四个功能区,建有两条达到国内先进水平的大型车辆检测线,每条检测线10分     

500kV输电铁塔组合挂线角钢可装性探讨

近年来,随着电网建设的发展,高电压、大电流输电铁塔越来越多,特别是500kV转角塔导线挂线处的结构也越来越复杂,由原来单一的挂线板、挂线角钢,逐渐转变为角钢与扳组合焊接的结构形式。该节点处理得当与否,直接影响到铁塔的可装性。本文主要通过查找影响组合挂线角钢可装性的主要原因,并制定措施实施解决。     

上海AI技术推动无人带教机动车驾驶员培训的现状和思考

上海作为经济发达的特大型城市,机动车驾驶员培训需求也因机动车保有量的不断提高而提升.为了缓解高昂的用工成本,推广AI技术和5G产业协同发展,让更多企业享受科技发展带来的红利,促进机动车驾驶员培训产业向现代服务业升级改造转型发展,尝试通过对"无人带教驾驶员培训"的应用情况和技术路径的研究,提出规范行业管理的思考,使其可控...     

基于可拓评价法的地铁安全风险评价研究

以地铁安全风险评估为研究背景,首先根据地铁运营的特点,分析风险因素,利用德尔菲法,确定以人为因素、设备因素、环境因素、管理因素、线下设施因素为基础的评价指标体系,其次,应用可拓集法,确定各个指标的经典域、节域、待评物元,建立关联函数以计算关联度,从而进行可拓评价,以定量的数值说明其安全水平。最后,通过实例,确定评估对象安全风险等级,验证方法的可行性及正确性。     

高速列车传动系统特征参数经典域优化

为监测高速列车传动系统的运行状态,根据可拓学理论,建立了传动系统各部件的运行状态物元,提出了一种部件正常运行状态下的特征参数经典域优化方法.利用部件样本集与其正常运行状态之间的最大综合关联度构建了适应度函数,并利用并行粒子群优化算法进行解算,确定了特征参数的经典域范围.与用数理统计方法得到的经典域结果进行了对比分析,结果表明,用本文经典域优化结果得到的最大综合关联度的最大值和平均值分别提高了3.63%和2.51%,经典域优化结果更符合部件的实际运行状况.      

天津地铁盾构施工对地表沉降影响的风险评估及精细化控制研究

目前我国城市地铁建设中对地表变形的要求愈加严格,仅依靠工程经验已很难实现。结合天津地铁天津站-建国道站盾构区间试验段的现场监测结果,对掘进过程中盾壳摩擦力、刀盘扭矩、掌子面压力和注浆压力等盾构掘进参数对地表沉降影响进行参数化模拟分析,并针对盾构掘进参数的波动造成的地表沉降计算结果进行风险损失等级的可拓法风险评估,基于风险损失评估结果以及盾构掘进参数实测结果进行统计分析得到风险失效概率,从而计算出各致险因子的风险值并提出相应的精细化控制措施。结果表明： 1）该隧道试验段致险因子按风险值从大到小依次为盾壳摩擦力、注浆压力、掌子面压力、刀盘扭矩; 2）在该区间后续下穿高速铁路的盾构掘进过程中,针对风险值较大的盾壳摩擦力、注浆压力波动制定精细化的风险控制措施,最终使地表沉降稳定在5.1 mm,满足了铁路运营的要求。