公路旧桥加固改造问题探讨

目前，旧桥维修、加固、利用是一个应该加强的技术课题，旧桥的加固利用和改造已成为桥梁工程建设中既古老、又年轻的技术课题。实践证明，旧桥的检测、评定与加固利用是一项即综合繁杂，又不断发展创新、逐步完善的技术，也是桥梁建设可持续发展的一个重要组成部分和关键技术之一。     

具有特殊道路货物运输要求的法规介绍(一)

为确保道路危险货物运输安全、规范、有序进行,交通运输部于2005年重新修订了《道路危险货物运输管理规定》,并于8月1日起施行;2009年9月,国务院总理温家宝签署国务院令公布《放射性物品运输安全管理条例》,并于2010年1月1日起施行。针对这一系列道路危险货物运输安全的规定及条例的实施,《交通世界》杂志已从多个角度进行了详细解读。从本期开始,我们将对具有特殊道路货物运输要求的法规进行介绍。本期重点介绍医疗废物管理条例、固体费弃物污染环境防治法及麻醉药品和精神药品管理条例。     

BP神经网络在船舶溢油损害评估中的应用

建立基于船舶溢油污染损害评估的BP神经网络,借助MATLAB语言对该网络进行训练和仿真,并对仿真结果进行误差分析,证明使用BP神经网络对船舶溢油污染损害评估的可行性和实用性.     

机场调度的队列模型及延误研究

论文讨论了机场航班延误的严重性.基于机场航班排序理论的研究,采用马尔可夫(Markov)链的C-K方程理论建立机场服务队列模型.用模型对飞机进场和离场的时间延误进行预测,仿真实验再现了时间延误概率分布图.由此证明,该模型能直观反映航班延误情况.进一步根据延误情况去制定航班排序策略,是一个有效的办法.     

基于可信密码模块的远程证明协议

可信密码模块是以我国研发的密码算法为基础,结合国内安全需求与产业市场,借鉴国际先进的可信计算技术框架与技术理念自主创新研发的.本文中首先对可信计算平台密码技术方案和国际可信计算组织规范在密码算法、授权协议和密钥管理等几方面进行了比较.基于可信密码模块,提出的基于隐藏属性证书的远程证明方案,用属性证书代替平台配置信息,不仅能有效防止隐私性的暴露,而且可以在系统升级和备份过程中完成可信检测,提高了实现的效率.     

一体化网络中可证明安全的三方认证协议

为了有效地保证终端、接入交换路由器和认证中心的安全,本文提出了一体化网络中可证明安全的三方认证协议．该协议实现了终端和认证中心之间及接入交换路由器和认证中心之间的相互认证,不仅可以有效防止非授权终端接入网络,还可以防止伪造的认证中心和接入交换路由器对终端的欺骗．在BR扩展模型下,可证明该协议是安全的．通过性能分析得出,协议具有很高的效率．     

编辑手记……

在这个季节里,富有激情的人们还是用自己的方式来感受炙热产生的活力。在篮球场上参与才是最重要的,这不是一种托词因为哨声响起的时候已经证明我们就是强者。还有内蒙古草原上那满目的绿草、碧蓝的天空、成群的牛羊、火辣辣的阳光,都可以照单全收。看看我们如何的享受高温时节带来的乐趣。     

CTCS-4无线通信故障恢复模型的形式化研究

对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.     

舰炮测速雷达的初速预测精度分析

测速雷达有效提高了火炮系统射击精度,而对于初速的预测模型各型火炮还不尽相同。针对火炮连续效力射下的初速随机散布,采用当前射击滑动平均初速作为预测值以及当前射击前的全部初速平均值作为预测值,求得预测值与当前实际测量值的一次差,并对结果进行统计分析,观察各种统计样本下的初速预测精度。     

我国海上货物留置权的性质——兼谈对我国《海商法》第87条的理解

针对我国海上货物留置权规定的局限性,从我国《海商法》第87条的字面表述角度和在我国传统民事留置权制度框架下分析我国海上货物留置权性质的通说观点,总结出我国海上货物留置权条款的效力问题。通过比较法研究提出未依据所担保债权的性质予以区分设置是造成该条款效力矛盾的症结所在,并建议将担保不同项目债权的留置权区分为法定留置权和合约留置权,明确承认运输合同及提单中的留置权条款的法律地位和法律效力。