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

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

新形势下公路工程试验检测的质量控制

对公路进行试验和检测,主要是为了检测出公路的质量是否符合施工的标准,在公路工程施工的过程中,相关部门可以根据检测的数据对公路工程进行控制和管理.这样可以让公路工程的施工更好的进行,还能有效提高公路工程的施工质量.新形势的背景下,公路工程的监测更为重要,主要对公路工程检测中遇到的问题进行分析,并提出了解决的策略,希望为新...     

激光扫描盾构隧道断面变形快速检测

针对人工检测效率低、变形检测车定位不准、噪点剔除困难、数据处理滞后等技术难题,基于盾构隧道管片环缝灰度图像数学形态特征,通过图像滑窗方式,利用直方图均衡化、缩放、阈值判定等方法快速自动识别环缝,并依据环缝已知位置反向修正隧道里程;基于距离最小二乘法椭圆曲线拟合,建立了盾构隧道激光扫描噪点三次迭代自动剔除方法;通过对管片...     

路面平整度检测技术现状与发展

对现有路面平整度检测方法的技术要点作了分析,总结出这些方法存在的问题.详细论述了激光路面平整度检测技术的工作原理、应用现状和发展趋势.     

超声波检测在钢管砼桥梁施工质量控制中的作用

在钢管砼桥梁中,钢管内砼的压注质量是保证桥梁总体质量的关键.通过超声波检测的原理和方法的介绍,以合阳嘉陵江大桥利用超声波检测确定出主弦管内砼的质量问题,有针对性地进行整改的工程实例,阐述了超声波检测在钢管砼桥梁质量控制中的重要地位和作用.     

保障轨道交通安全运行的轨道检测技术及设备

随着上海轨道交通运营里程的增加,工务部门检测的任务也日益繁重.目前的人工检测手段不仅效率低,而且容易出现错判、漏判,从而给安全运行埋下隐患.通过介绍国内外一些先进检测技术,强调工务部门应着手采用诸如轨检车和探伤车等大型无损检测设备,以便对线路的平顺性、限界及钢材和轨道下部混凝土结构的伤损进行快速检查.实现工务管理由人工静态型向仪器动态型转变,保证轨道交通运行的安全、准点、平稳运行.     

高速铁路基础设施检测监测体系技术路线研究

铁路基础设施是铁路运输的基础,加强检测监测工作,以全面掌握基础设施运用状态和变化规律,可为高铁预防性状态修和精准维修提供技术支撑.结合工电供融合、修程修制改革和铁路高质量发展等新要求,研究提出从国内外调研、需求分析、工电供专业系统优化、大数据平台设计、工电供专业融合、检测监测体系结构等6个环节开展高速铁路基础设施检测监...     

高速公路桥梁工程检测技术及实施要点

桥梁工程在高速公路路网中发挥着重要作用,如果高速公路桥梁结构存在病害问题,不仅会影响行车舒适性,还会影响安全性,容易诱发交通事故。因此,需要加强高速公路桥梁工程质量检测,及时发现各种质量病害问题,进而采取有效措施。基于此,从高速公路桥梁工程检测的重要性出发,列举相关检测技术应用,分析高速公路桥梁工程检测要点,以期更准确地对公路桥梁进行检测,及时掌握工程结构状态,采取有效措施对病害问题进行预防和控制,消除安全隐患。     

高速公路工程中高性能混凝土试验检测相关问题思考

为了提高高性能混凝土试验检测质量,将高性能混凝土材料在高速公路工程施工过程中的应用优势充分发挥出来,对高速公路工程中高性能混凝土试验检测相关问题展开研究,明确只有准确把握和易性试验、力学性能试验、耐久性试验检测等检测方法的操作要点,合理选择胶凝材料、骨料材料和减水剂等材料,持续改进混凝土的配合比设计和搅拌工艺,才能够将高性能混凝土的应用优势充分发挥出来,为后续的浇筑施工提供便利。     

公路检测技术应用与检测质量控制的策略分析

为了保障公路工程质量,分析公路工程检测工作的必要性,提出公路检测技术应用与检测质量控制的策略,并针对提出的策略展开详细的分析,以期进一步促进我国公路检测水平的提升。