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

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

Riks弧长法在压杆非线性屈曲分析中的应用

为了得到单轴压缩杆件考虑几何非线性时的后屈曲特性,介绍Riks弧长法的基本原理,并以工字钢为例,说明Riks弧长法在压杆非线性屈曲分析中的应用.结果表明,考虑初始缺陷后,压杆的屈曲强度大大减小,且屈曲强度对缺陷因子极为敏感.该研究可为单轴压缩杆件的非线性屈曲分析提供参考.     

建筑垃圾改良膨胀土特性试验研究

通过不同掺比、不同级配组合建筑垃圾掺入到膨胀土后进行室内试验,分析试样的无侧限抗压强度、CBR力学特性和膨胀特性规律。结合建筑垃圾改良膨胀土作用机理,对工程特性进行分析。研究结果表明:一定比例掺量的建筑垃圾可以显著改善膨胀土的物理力学、膨胀性能;建筑垃圾改良膨胀土的力学特性、胀缩性取决于建筑垃圾的掺比和土的初始含水量大小,此外级配对其也有一定影响。当建筑垃圾掺比为40.0 %左右,混合土含水率为12.4 %左右、采用19.5～31.5 mm粒级再生料时,建筑垃圾改良膨胀土具有更好的工程特性,满足路基填料的要求。     

基于数理统计原理的交通事故多发点识别

在公路交通事故多发点发生的交通事故数占有较大的比例,而且具有较大的社会危害性。研究交通事故多发点的特点及其形成原因,具有重要的现实意义。本文分析了3种识别方法的基本特点,并以事故数法为例说明识别公路交通事故多发点的基本方法。     

公路路基土石方的计量

路基土石方的计量是公路工程计量的重要组成部分。由于路基土石方工程在公路工程总造价中所占投资比例比较大、施工周期长,使得路基土石方工程款项分期计量支付．进而造成路基土石方的计量工作量大且周期长,所以在路基土石方计量的工作中容易造成重复计量、少计量或错误计量等问题产生,这直接关系到业主和承包人的经济利益,容易产生合同纠纷。因此路基土石方的计量工作对工程的质量、进度、造价控制就显得尤为重要。     

原油管线在线等质量取样系统设计及实现

为了有效解决原油长输管线反复出现的原油途耗异常问题,通过对原油油种、工艺条件和原油输送方式等的分析,设计了等质量流量比例采样系统,由该系统实现原油管线在线自动取样。系统投用后,实现了实时对量,及时发现损耗异常情况,有效控制了原油途耗不稳定的问题。采用等质量流量比例采样模式,较好地解决了多油种、边收边付、多种输送方式以及流量范围宽等不利因素影响计量的问题,具有较好的参考和推广价值。     

用EXCEL与VBA编程解决兰溪水文站水位比例法推流的计算问题

水文测验中流量数据推流整编的方法有很多,兰溪水文站使用水位比例法推算低水流量,浙江省使用的南方片水文资料整编软件中,却没有提供这种方法,为了适应通用软件,兰溪水文站编写了辅助计算程序,利用EXCEL工具和VBA语言编写的水位比例法辅助计算程序正是这样的背景产生的,本文介绍了水位比例法及其辅助计算程序的发展情况、各时期辅助计算程序的弊端,提出了用EXCEL与VBAI具编程解决问题的思路和办法。     

确定沥青混合料矿料级配的初始比例的方法

以某高速公路沥青路面上面层AC-13型级配筛分结果及目标级配范围为例,介绍如何利用Excel电子工作表的LINEST函数,方便、准确、快速地计算出沥青混合料矿料级配的初始比例。     

一种新型电磁式主动吸振器的设计和试验研究

以电磁铁为作动器,设计了一种电磁式主动吸振器.为改善该类型主动吸振器电磁力的复杂非线性特性,采用有限元方法,设计了一种比例式电磁铁结构,在一定电流及动铁心行程下,使作动器的电磁力近似恒定,并通过试验进行了验证.最后,以简支钢板主系统搭建主动振动控制试验台进行验证,结果表明,当电磁式主动吸振器施加主动控制后,对钢板主系统...     

日船企布局LNG船批量订造

为了抓住美国页岩气出口带来的造船市场机遇,日本造船巨头展开了积极行动。其中,三菱重工决定自2013年4月1日起与今冶造船合资,成立了名为"MILNG COMPANY"的LNG船设计、销售公司。据了解,该公司注册资本5000万日元,其中,出资比例三菱为51%、今冶为49%。新建立的合资公司