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

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

普立大桥结构健康监测系统实践分析

为及时掌握大型悬索桥的结构安全状况,为桥梁养护决策提供数据支撑,对普立大桥建成了集传感器数据采集、传输、处理、控制及结构健康评价为一体的桥梁结构健康监测系统,监测内容涵盖环境、作用、结构响应与结构变化共12项监测参数,共设置了319个监测点,系统现场采用双环光纤网络组网,数据存储采用TDengine时序数据库。通过普立大桥健康监测系统的建设及时序数据库的应用,一方面可以解决传统关系型数据库对于海量数据存储检索的瓶颈问题,另一方面可以实时掌握结构状态,对大型悬索桥的结构健康监测系统建设具有指导意义。     

花岗岩机制砂在高速公路中的应用研究

为推广花岗岩机制砂在高速公路中的应用,文章对比研究了花岗岩和石灰岩原材特性及混凝土各项性能.试验结果表明:花岗岩母材强度高,压碎值也相对较大,快速法检测MB值不合格,应用中需严格控制其石粉含量;在现有条件下,花岗岩与石灰岩混合砂是解决花岗岩机制砂在中等标号混凝土应用问题的一个有效途径.     

铁路货车车辆段段修轮对智能存储选配系统研究

通过对传统平面存轮库智能化问题的研究,阐述了铁路车辆轮对智能存储、选配作业系统,系统在原有钢轨摆放、人工天车挑选的基础上,将轮对检修设备自动化、选配智能化、存储管理信息化融为一体,大幅提高轮对存储、车体落成轮对选配工艺水平,提高存储、选配的质量和效益,保障生产安全。     

盘扣式脚手架在现浇桥梁施工中的计算及应用

文章以河池市巴马互通A匝道跨线桥为工程实例,验算了现浇桥梁施工中盘扣式脚手架立杆在其自重和施工人员及设备荷载作用下的稳定性,证明盘扣式脚手架具有足够的强度、刚度和稳定性,满足施工应用要求。     

贺州至巴马高速公路“服务区+旅游”策划研究

目前,高速公路"服务区+旅游"开发项目逐步在全国各地兴起。文章以贺州至巴马高速公路服务区为研究对象,通过对该路路域旅游资源的实地调查,初步构思高速公路旅游服务景区建设与开发模式,旨在为高速公路运管部门旅游开发提供参考。     

某隧道高地应力近水平岩层白云岩三轴试验研究

依托某高地应力近水平岩层硬脆围岩隧道,通过现场钻孔取芯进行岩芯三轴压缩试验。研究表明：白云岩在低围压下发生张拉劈裂和剪切破坏,在高围压下主要发生剪切破坏。通过三轴试验,得到高（30、35 MPa）低（10、15 MPa）不同围压下白云岩的应力-应变关系,通过绘制应力莫尔圆获得白云岩的强度参数：弹模E=31.91 GPa,黏聚力c=22 MPa,内摩擦角φ=47°,并得到白云岩的强度表达式,可为原岩应力的获取提供依据。     

城市快速路匝道最小间距模型

匝道间距是路线设计中的重要内容,对交通流有决定性的影响。根据城市快速匝道的特点,应用驾驶员行为理论,模拟了驾驶员城市快速匝道上的驾驶行为。认为匝道间距是影响城市快速路主线运行状况的关键因素。为了合理确定匝道最小间距,必须确定匝道组合模式和计算匝道加减速车道长度,并计算出车流从匝道汇入主线后,由于车流变道而形成交织车流长度。由此建立了不同匝道组合模式下的匝道最小间距模型。应用实例表明。当匝道间距不能满足最小间距时,车速降低,服务水平下降。     

旧砼路面板上沥青加铺层直道试验研究

对不同结构方案下的旧水泥混凝土路面板上沥青混凝土加铺层结构进行直道试验,分析研究了不同轴重及荷载次数作用下的接缝弯沉差、车辙变形以及路面的疲劳特性,并对比了沥青加铺材料及结构优劣性.结果表明,在不同轴载的反复作用下,所研究的新型沥青混凝土材料在接缝路表弯沉、车辙变形量和路面结构的抗剪切疲劳特性等方面都优于普通的AC-20沥青混凝土.     

码头基槽深水深层无填料振冲施工技术研究

振冲法常被应用于码头后方堆场的地基加固,但将其用于处理重力式码头水下基槽却较为鲜见。以科特迪瓦阿比让港口扩建项目为依托,深入研究了重力式码头地基深水深层砂振冲施工中的主要技术问题。本文研究旨在对深水深层振冲工法的理论研究进行完善,为类似项目施工提供经验,为重力式码头地基处理设计提供新的思路。