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

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

斜拉桥成桥合理索力确定方法的研究

通过对几种确定斜拉桥成桥合理索力方法的分析比较,发现每一种方法都有优缺点.单独使用某一种方法难以得到合理的索力值.以彭溪河大桥为背景,介绍了一种确定成桥合理索力的综合方法,实例证明此法是有效的.     

顾及地球曲率的面积计算问题

讨论了高斯投影变形引起的面积测算误差,计算分析了变形的量级、性质,并对消除或削弱变形的方法作了研究,给出了明确的结论.     

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

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

高温下高强高性能混凝土性能劣化的表征方法

介绍了有关高温作用下混凝土性能劣化测试方法,包括混凝土建筑构件耐火性能的测试标准,国内外学者对混凝土高温爆裂的测试方法以及高温后混凝土损伤的红外热像法与色彩图像分析法。提出从机理方面寻找科学与全面的方法定量评价爆裂程度;红外热像法和色彩图像分析高温下混凝土损伤是无损检测技术的新发展方向。此外,设计简便可靠的混凝土高温性能测试方法,以现有成熟的物理力学与无损检测技术作为评价指标是必要的。     

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

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

箱梁横隔梁的简化计算方法及在工程中的应用

莞深高速公路附城至石碣共线段工程桥梁众多,设计中采用了11种多幅桥共用门架墩横隔梁、8种独柱墩横隔梁,横隔梁的计算难度和工作量均较大,为此,尝试采用横隔梁的简化计算方法。介绍了箱梁横隔梁的简化计算方法及需注意的几个问题,并举例加以论证说明。     

芳纶增强热塑料管产品设计方法

芳纶增强热塑料管是一种新型油气输送管道,通过对芳纶增强热塑料管的失效分析,以长期静强度回归试验分析为基础,利用产品族的概念,推导并建立了芳纶增强热塑料管的基本设计方法,为今后该产品的设计提供了理论依据。     

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

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