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.     

一种改进的形态学边缘检测方法

对经典形态学进行了3点改进,提出一种多尺度多级级联自适应加权图像边缘检测算法.经实验结果表明,与其他方法相比,该算法抗噪性能更优,得到的边缘图像具有良好的边缘细节特性,算法比较简单,具有一定的实用性和可行性.     

引入优先因子的模糊Petri网及其在故障诊断中的应用

针对复杂系统故障机理的错综复杂,利用模糊产生式规则建立了模糊Petri网的故障诊断模型.一方面利用Petri网的图形描述能力,用分步运算加判断的方法在图形结构上进行正向或反向搜索;另一方面考虑实际故障搜索过程中,当同一层次上几个变迁的可信度值十分接近甚至相等时,仅依据可信度最大的原则来进行取舍的不合理性,引入表示故障严重程度的优先因子,使模型更符合实际情形.最后以某复杂系统故障诊断实例说明了模型的有效性.     

青绥特大桥溶洞桩基施工技术

介绍国家重点工程江肇高速公路青绥特大桥桩基施工工艺,并以跨越绥江及河堤的65^#前D桩基为实例,说明该桥的溶洞处理方法。     

带腹拱圈的拱桥受力分析及加固方法

该文通过对某拱桥的加固计算,分析了施工过程对既有桥和新桥受力计算的不同点,比较计算了两种方法下的结构内力。由分析可知,在对既有桥的计算时必须考虑成桥历史和加固施工过程。     

白云国际会议中心西侧道路总体设计

该文以广州白云国际会议中心西侧道路为例,探讨了该工程的设计要点与难点。重点介绍了该工程的路线总体设计、既有高架桥墩柱托换设计、隧道支护设计、隧道景观设计,可为类似的市政工程提供借鉴参考。     

新建桥梁对既有桥梁的影响计算

在既有桥梁下新建桥梁时,新建桥梁及其基础必然对既有桥梁产生影响。围绕既有桥梁基础,该文先设计支护桩,然后分析支护桩、土、既有桥梁及其基础相互作用,得到既有桥梁的位移,再考虑由于新建桥梁而修正的既有桥梁,验算其截面承载能力,从量的角度给出新建桥梁对既有桥梁的影响程度。该文的思路及计算过程可供同类工程参考。     

基于无线传输技术的长江水上安全预警系统研究

提出了基于无线传输技术的长江水上安全预警系统建设方案.利用GPRS/CDMA传输技术构建了信息采集单元与信息管理平台之间的远程连接.实现了预警信息的自动采集和分发.并依托三峡库区的水上安全预警实践,通过整合气象因素采集系统、地质灾害监测技术、移动测深仪和船舶流量自动统计等技术.解决了现有预警系统中信息采集主要依靠人工,信息传递延迟及预警信息管理部门与服务对象之间信息不对称的难题等问题.进一步提升了安全预警的实时性和准确性.     

厦深铁路大南山隧道F2-1断层突泥涌水处理技术

厦深铁路大南山隧道在开挖至F2-1断层破碎带DK262+411时出现了突泥涌水,涌水量约为60m3/h,段内围岩主要为花岗岩、石英岩、辉绿岩等组成的断层角砾岩,遇水泥化,围岩稳定性差,根据现场情况设计了止浆墙,并采用上半断面布孔的全断面注浆技术对该段进行了注浆堵水和加固处理,顺利安全地通过了该断层。     

基于PolyMAX方法的某轿车白车身实验模态分析

对实验模态分析的有关理论与方法,尤其是最小二乘复频域法的理论进行了详细介绍.分别采用最小二乘复频域法和最小二乘复指数法对某轿车白车身进行了实验模态分析并对其结果进行比较和分析.最后将实验结果和有限元模态分析结果进行对比,并结合刚度测试结果,对向车身提出改进意见.