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

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

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

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

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

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

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

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

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

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

公路工程路基防护技术分析

为了减少路基坍塌问题,提升路基工程施工进度及质量,以路基防护技术为例,分析路基防护技术施工要求,提出防滑桩、格栅加筋边坡与锚杆挂网喷射混凝土防护等基础措施,同时依托路基工程项目实例,探讨路基防护技术工艺流程,分析表明,采取针对性防护技术措施,可有效保证路基工程的稳定性。     

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

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

高速公路路基高边坡锚固防护施工技术应用分析

在路基高边坡维护工程开展中,需要使用锚固措施,降低出现边坡坍塌的概率。结合工程案例,分析高速公路路基高边坡稳定的重要性,对路基高边坡锚固防护技术与高速公路路基施工质量的关系进行探讨,并且对不同的施工阶段进行研究,提出高速公路路基高边坡锚固防护施工技术控制措施,保证高速公路路基高边坡防护质量,为高速公路稳定运行提供良好环境。     

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

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