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

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

桥梁建设钢板桩围堰技术应用

桥梁常常需要跨越江河湖海等水体,而这些水域在施工过程中容易出现水流冲刷、水深变化等问题,会影响施工进度和质量。钢板桩围堰技术通过在水中设置临时性的桩墙,可为水下施工创造相对稳定的施工环境,大大降低施工风险,为水下施工提供可行且高效的解决方案。基于此,对钢板桩围堰施工内容、技术控制方法等进行分析,以期为桥梁的安全、高效建设提供参考。     

广梧高速公路双凤至平台段桥梁总体设计

文中介绍了广梧高速公路双凤至平台段桥梁的总体设计原则及方案的选择的一些具体做法。     

高速公路挖方边坡稳定性分析及评价

由于受连雨天、暴雨等极端天气影响,施工过程中挖方边坡易出现下错滑动地质灾害险情。以某国道高速路YK31+260～YK31+310右侧挖方边坡为例,当边坡出现滑动时,通过地质勘察,分析滑动的成因机制,并辅以计算,对边坡的稳定性做出定性和定量分析评价,为后续的施工提供可靠的依据,并给出处治措施及建议。     

波形钢腹板PC组合梁桥前吊后托模架设计及应用研究

文章根据广西飞龙大桥的桥梁工程经验,在模架关键点上进行技术改进和工艺优化,模架后托部分采用了预应力锚固牛腿支架作为支撑,结合贝雷梁完成对1^#节段施工平台搭设,并结合挂篮前吊施工,形成前吊后托体系。整个施工工艺流程方便简单,能有效缩短施工时间,提高材料周转率,具有良好的社会效益和经济效益。研究成果可为同类型的波形钢腹板桥梁施工提供参考和依据。     

山区公路隧道下隐伏富水溶洞处治方法

傲江隧道左洞入口处发现一个溶洞,溶洞位于明洞与暗挖法连接处,洞内有水且下部与地下暗河直接相连。为解决该难题,文章提出架设一座长为18.5 m的跨板跨越暗河,该方法不仅可直接跨越溶洞,提高施工效率,桩基施工还提高了整体结构稳定性,保证了隧道的安全。同时,利用有限差分法软件和现场监测对该方法可行性进行探究,通过提取隧道拱顶沉降、隧道边墙收敛以及实心板变形进行分析,发现各项变形均在安全范围内,因此该处治方法可有效地解决溶洞跨越难题,保证隧道的稳定。     

开关电源控制方法综述

从占空比的实现方式和控制电路的检测信号2个角度对开关电源的控制方法进行分类研究,详细介绍基于后一种分类方式下的电压型、电流型、V^2型等几种控制方式的工作原理,特点和适用场合。在此基础上简要介绍模糊控制和滑模变结构控制等现代控制方法的原理和特点。最后根据对偶原理,对恒流源控制方法进行分类,并简述单环控制恒流源的工作原理。     

船舶螺旋桨轴圆跳动的检验

简述了船舶螺旋桨轴圆跳动现象的危害,提出了实船检验的几种情况,详细介绍了实船检验的具体方法。     

国外典型大城市轨道交通配线方法和经验

在搜集分析莫斯科、纽约和东京三个国际典型大城市轨道交通配线相关资料的基础上,剖析了三大城市轨道交通线路形态、运营模式、建设时序、配线方法等方面的特点.研究了配线总体方案与运营之间的相互配合关系.通过研究,结合国外经验,得出对配线总体方案的确定有益的几点启示.