分析和设计安全协议的新逻辑

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.     

指定验证方的门限验证匿名代理签名方案

将指定验证方概念引入匿名代理签名中,提出1个具有指定验证方的门限验证匿名代理签名方案。原始签名人授权给代理签名人,代理签名人的身份除对原始签名人外是保密的,代理签名人可以代表原始签名人产生指定验证方的签名,只有指定验证方才能够验证代理签名的有效性,但无法确定代理签名人的身份,出现争议时指定验证方可以通过原始签名人揭示代理签名人的真实身份,而这个过程不需要可信中心参与。该方案满足匿名性、不可伪造性、不可否认性、匿名性撤销等其他安全性需求,解决了代理签名的定向问题,防止了代理签名权利的滥用,保护了代理签名人的隐私和利益。     

基于改进遗传算法的集装箱装载优化问题研究

在考虑一些实际应用中的约束条件下,提出一种船用集装箱装载优化问题的改进遗传算法。实例仿真结果说明该算法的有效性和实用性,可以直接在实际中应用。     

航道沉船水下爆破

水下爆破是清理航道沉船的一种快速，有效而经济的手段。本文通过实例介绍了某航道沉船水下爆破解体降高的爆破设计与施工方法，并对今后的水下爆破工程提出了一些有益的建议。     

北京现代伊兰特起步易熄火

<正>故障现象一辆2011年生产的北京现代伊兰特轿车,搭载1.6L的G4ED型发动机。车主反映,该车冷车起步时容易熄火。故障诊断与排除接车后,启动发动机,发现怠速转速正常,无明显异常。为了找到故障原因,我们首先检查了节气门,发现节气门内很脏。在清洗前查看了一下怠速执行器控制的数据流,具体数据为3 4.2%,清洗后该数据变为25.76%。以往我们都是根据行驶里程对节气门进行清洗,在实际工作中经常遇到此类问题,而在跟车主沟通时发现,车主往往反映不久前刚做过类似于     

分仓施工技术在大跨度预应力混凝土桥梁大长宽比构造防裂中的应用

文章针对预应力混凝土桥梁中大长宽比的局部构造由于施工过程中的温度应力及收缩应力过大引起裂缝的现象,提出了一种新的施工工艺———分仓施工。以野三河特大桥为工程背景,基于有限元的基本原理利用单元生死技术详细分析了分仓施工工艺的合理性及必要性;且在桥墩首节实心段C50混凝土及箱梁0#块C55混凝土施工中成功的应用了分仓施工技术,有效解决大长宽比高强混凝土构件浇注后温度应力、收缩应力过大而产生过多裂缝的问题。该方法可为其他同类桥梁的施工及设计提供参考。     

橡胶颗粒沥青混合料耐久性改善效果试验研究

为了改善橡胶颗粒沥青混合料的耐久性,在橡胶颗粒沥青混合料中加入不同掺量的高黏改性剂TPS。进行水煮法、水浸法、浸水马歇尔、冻融劈裂和浸水飞散试验。通过和基质沥青、SBS改性沥青作对比分析,发现TPS改性剂加入后,沥青与矿料及橡胶颗粒的剥落率较基质沥青有了大幅度的减小,说明黏附性有了较大提高。浸水马歇尔稳定度、冻融劈裂强度的提高,飞散损失率的下降说明水稳定性能也得到了提高。最终表明橡胶颗粒沥青混合料的耐久性得到了显著的改善,并且提出橡胶颗粒沥青混合料TPS最佳掺入量为12%,沥青混合料拌合温度为185℃。     

一个无可信中心(t,n)门限签名方案的安全缺陷及其改进

针对王斌和李建华的无可信中心(t,n)门限签名方案(简称王-李方案),给出两种伪造签名攻击及相应的合谋攻击.指出由于王-李方案的联合秘密共享技术并没有起到实质性作用,且λi,j是通过广播方式分发的,因此存在安全隐患.为克服王-李方案的上述缺陷,提出一个改进方案.改进方案将群成员的固有私钥k,i与分布式生成的秘密份额λ,i共同作为其部分签名私钥,然后利用(k,i,λ,i)的完整信息,在随机因子t,i的作用下,联合生成部分签名和门限群签名,从而克服了王-李方案的签名方程参数退化问题.能够完全抵抗合谋攻击和伪造签名攻击.此外,改进方案还增加了对密钥影子的验证功能.分析表明,改进方案不仅具有更高的安全性,而且具有较高的效率.     

关于打桩船改造设计中的一些考虑

本文论述了打桩船改造设计的可能性和打桩船桩架改造的几种形式及其计算中碰到的问题。