基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

考虑环保要求的道路工程设计方法与要点研究

本文通过从道路工程建设对土地环境、水资源、生态环境和社会环境的影响入手,结合道路工程设计中的环保理念,针对道路工程的具体设计如道路线形设计、排水设计和边坡设计等,提出了相应设计方法和要点。     

考虑浆液黏滞特性的大直径盾构隧道管片上浮机理分析

通过对大直径盾构隧道管片进行受力分析,研究了盾构隧道管片的上浮机理,认为浆液产生的浮力是管片上浮的主要原因。考虑到浆液的凝固特性,浆液浮力将随注入的时间而减小,管片上浮运动状态将产生变化。基于此,认为管片脱离盾尾后的上浮量主要包括3部分:①管片在浆液中上浮运动产生的上浮量;②管片上覆土压缩引起的上浮量;③管片自身的受力变形。之后,考虑了浆液的黏滞特性,通过运动学及弹性力学的方法推导了管片上浮量的计算公式,并对上海某新建大直径公路隧道施工阶段管片的上浮量进行了计算对比。最后,结合管片上浮参数分析提出了管片上浮的控制措施。     

基于车载控制器BootLoader的数据备份刷写软件方案实现

本文针对车载控制器介绍一种基于以太网BootLoader的数据备份刷写的软件方案及实现,包含数据备份区的方案设计、BootLoader数据刷写模式转换及测试结果。     

驾驭主义——何润东像虎克船长一样驾驭

人 驾驭主义的人好胜，有自信。有能力，精力充沛。在工作中不仅努力，且对自己，对职责，甚至是对公司的把握都很准确，是社会上的成功人士。在生活中，驾驭主义的人娱乐生活丰富，且挑战性高，是魅力四射的一群人。 家 在家中，驾驭主义的人并不一定是完美的，却是幸福的，不仅可以把握工作，同时可以把握爱情，使家中永远弥浸着温馨。 车 驾驭主义的车，操控好，动力好只是最基本的，空间要大，因为驾驭主义车主丰富多彩的体育项目会在车上携带很多运动装备，故障率要很低，因为在人迹罕至的戈壁中，车扮演着坚强伙伴的角色。 驾驭主义就像鸡尾酒，变化无穷的酒色背后有着时而激烈时而温和的味道。[编者按]     

基于颗粒阻尼技术的海洋平台桁架结构振动特性研究

针对海洋平台桁架结构长期处于强紫外线的工作环境,传统的粘弹性阻尼减振方法存在易老化等问题,提出将颗粒阻尼技术应用于海洋平台桁架结构的减振.使用NASTRAN建立桁架结构的有限元模型,基于离散元法建立颗粒阻尼器模型,分析颗粒填充率、颗粒直径和密度等参数对减振效果的影响规律,研究结果表明:带颗粒阻尼器的海洋平台桁架结构振动特性曲线与试验数据误吻合良好,能满足工程计算精度要求;颗粒阻尼能在较大频带内有效降低海洋平台桁架结构振动.仿真模型可用于指导带颗粒阻尼器桁架结构的关键参数设计与性能预测,为海洋平台桁架结构的减振提供了一种新的思路.     

一种新型尾滑道式船载小艇收放系统可行性研究

作为一种新型的尾滑道式船载小艇收放系统,在回收小艇时,小艇需要以一定的航速冲上尾滑道。回收能否成功除了受制于驾驶员操作水平等主观因素,还与滑道的涉水深度、小艇与母船尾滑道的运动响应等客观条件有关。本文利用切片理论计算了小艇与母船尾滑道的运动响应,并对3级及4级海况下回收小艇的可行性进行了分析。     

三维圆柱体绕流数值模拟流场选择及网格划分

文章通过数值模拟结果确定适合的三维圆柱体绕流流场的尺寸,采用不同的计算流体力学(CFD)软件对有限元模型进行网格划分,对比网格划分质量的优劣,选择适合数值模拟的软件CFX。确定采用的网格形式为六面体网格(Hex8)以及流场不同部分网格的尺寸。圆柱绕流展向各截面平均压力系数沿周向无明显变化,脉动压力系数变化显著,绕流后的旋涡发放形式具有明显的三维特性的数值模拟结果验证了本文的流场选择和网格化分尺度的合理性。     

苦练内功，应对挑战——大连港2期码头积极应对经济危机

由美国次贷危机引发的全球性金融危机已经向实体经济蔓延,我国对外贸易受到较大影响,2008年我国对外贸易进出口总值增长率比上年回落5．7个百分点。作为贸易主要载体的航运业,更是受到严重冲击。但从另一个角度来看,危机中也蕴藏机遇。这段低迷期给予相关行业自我审视的机会,这些行业可以总结管理经验,消除快速发展时期留下的隐患,探索可持续发展道路,积极等待经济危机过后的经济复苏和行业复兴。     

序言

在"<水运工程>2003-2007优秀论文特辑"出版之际,我们代表杂志第十三届编辑委员会、第三届理事会,向全国水运工程行业的朋友和杂志的广大读者致以亲切的慰问和崇高的敬意!