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

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

上穿双线隧道开挖对既有隧道变形规律研究

在上穿隧道修建过程中因不同的施工顺序既有隧道围岩将受到三次、四次扰动.为研究新建上穿隧道施工造成的既有隧道围岩变形规律,以重庆市9号线某区间隧道为研究背景,对上穿隧道开挖过程进行模拟计算和分析,运用数值模拟手段对比研究了3组不同开挖顺序工况下既有隧道的围岩变形.结果表明:上穿双线隧道施工会造成既有隧道拱顶产生隆起变形,...     

高墩多跨连续刚构桥最优合龙顺序选择

高墩多跨连续刚构桥成桥后,混凝土的收缩、徐变以及温度的变化都会对主体结构的变形和内力产生较大的影响.结合工程实例,进行了合龙顺序的优化分析.分析结果表明：合理的合龙顺序既能保证高墩多跨连续刚构桥的成桥线形满足设计要求;也能保证桥梁在长期运行时,其承载能力满足实际要求.     

兰郑长成品油管道减少混油的方法

针对兰郑长成品油管道在顺序输送过程产生大量混油的问题,文中从初始混油、沿程混油、黏度、停输界面、不满流等方面分析混油形成原因,并结合兰郑长成品油管道实际运行情况,从4个方面进行具体分析,最后提出减少停输时间、增大输量、合理安排顺序输送次序、切外输前避免切罐操作等解决措施。     

长沙市黄柏浏阳河大桥异型拱的施工控制

结合长沙市黄柏浏阳河大桥异型拱施工,介绍了其施工顺序、拱肋混凝土浇筑顺序、索力调整及拱架卸落程序等施工控制,提出了控制程序。     

大跨度连续刚构桥施工控制分析

大跨度连续刚构桥凭借其自身多跨、跨度较大、墩身较高等优势,在一些山区地区应用广泛。但是其施工过程中经常存在很多棘手的问题和情况,所以施工单位不得不因地制宜、量体裁衣地变更施工方案。为了与施工进度和条件相统一,合拢方案会经常调整和变化。依据实际施工案例,介绍大跨度连续刚构桥的方法,结合施工控制结果:成桥后收缩徐变、梁体应力状态等,进行分析。     

空压机控制系统改造

某厂三台空压机原为独立控制,各个空压机之间没有控制上的联系。通过控制改造升级,加装ENERGON2顺序控制器后,实现了空压机自动定期切换,降低了仪用气系统母管的控制压力宽带,减少了空压机频繁启停。达到安全节能的目的。     

燃油顺序喷射电控系统在微型汽车汽油发动机上的应用

本文研制和开发一种能实现多点燃油顺序喷射的电控系统，系统以８０Ｃ５５２为控制单元ＥＣＵ的主芯片。根据进气绝对压力和转速，采用速度密度法间接测量进气量，试验表明，配用该系统后，与原机相比，动力性，经济性和排放性能有明显改善，本文较为详尽地论述了控制系统的组成，原理及顺序喷射的实现方法，并给出试验结果。     

面对一部抛锚的汽车你怎么办？

目前，在汽车工业中已广泛采用先进的设计和制造技术，但汽车在公路上抛锚现象仍履见不鲜。作为一名汽车机工或一名优秀的汽车驾驶员，在面对一部抛锚的汽车时，应该懂得一套诊断汽车故障的方法。在此，我们仅就“起动马达能够带动发动机曲轴转动，但是发动机不能着火”这一故障，向大家提供一些诊断和排除故障的方法。     

用压力波法监测顺序输送管道泄漏的特点

对于油品顺序输送管道，其管内可能同时存在物性不同的油品及其混合物，各种油品及混油段的长度和益又随时间油段的长度和位置又随时间而改变。这些不稳定因素将改变管道发生泄漏时产生的扰动信号。本文根据顺序输送管道的水力特性，分析混油段在不同位置时，其压力波在管道内的传播过程，说明管道于不同运行工况下发生泄漏的压力变化，提出顺序输送管道用太力波进行泄漏监测的方法。