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

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

基于三维模型重构技术的公路预制构件尺寸检验评价方法

为使公路工程异形混凝土预制构件的制造尺寸检验评价适应工业化建造要求,应用三维模型重构技术检验评价了异形混凝土预制构件尺寸,提出了高精度、自动化异形混凝土预制构件尺寸检验评价方法,包括三维模型重构、点云数据处理和检验评价体系3个环节;总结了基于三维摄影的点云模型重构技术的原理和关键环节,研究了基于坐标转换和包围盒的无关点...     

发动机系统可靠性分析与评估

针对发动机试验昂贵以及试验条件无法真实再现发动机使用环境的情况,提出利用“三包”信息作为评估发动机使用可靠性的数据源。以发动机完整数据服从的NHPP模型为基础,结合“三包”信息普遍存在的删失现象,提出新模型;该模型既适用于完整数据,也适用于删失数据。实例证明,利用该模型计算的参数与实际统计结果的误差小于2%,最后评估得到发动机的可靠性水平。     

基于卷积和递归神经网络融合的交通状态指数预测

为提高交通状态指数预测精度,方便市民出行规划和提高相关机构管理预见性,创新研究了基于卷积和递归神经网络融合的交通状态指数预测模型.模型将卷积网络和递归网络进行了融合,由卷积神经网络层和递归神经网络层组成.该模型中的卷积网络能自动提取重要影响因子,同时递归网络能捕捉到前后时序特征,结果显示,得到的融合模型在交通状态指数预...     

基于改进D-S的高速公路改扩建交通安全风险评估模型

为提高高速公路改扩建工程交通安全风险评估结果的确定性和准确性,建立了基于改进D-S证据理论的相关风险评估模型。首先建立包含24个影响因素的三层级评估指标体系;然后利用云模型（Cloud Model, CM）求出定性指标的基本信度赋值（Basic Probability Assignment, BPA）,利用高斯隶属度函数求出定量指标BPA;接着,通过层次分析法确定各评估指标的权重,进而对各指标BPA进行加权;利用D-S证据理论融合加权后的BPA,归一化处理后得到改扩建工程交通安全风险状态评估结果。最后,为验证模型的准确性,选取沪陕高速公路平潮至广陵段高速公路改扩建工程作为实例进行交通安全风险评估。评估结果显示,实例工程的低风险水平隶属度最大,为0.6615,表明该实例总体处于低风险水平,与现有资料和现实情况吻合。同时发现,基于CM、AHP及D-S证据理论的评估模型对各评估指标进行量化、加权、融合后所得到的风险等级隶属度和不确定性有所区别,能更均衡地表示风险的隶属度,量化后的安全风险状态评估结果具有更好的准确性,解决了指标体系中模糊定性指标难以量化表征及指标差异化权重赋值的难题。     

盾构隧道开挖面稳定研究进展

在复杂地质条件下,盾构隧道开挖面失稳可导致地表沉降过大,从而破坏地表建(构)筑物及地下管线.通过微观破坏分析模型、塑性极限分析模型及楔形体极限平衡模型对盾构隧道开挖面稳定的理论研究现状进行了详述,并指出了今后应深入研究的几个重点:应考虑水土耦合作用;应考虑开挖面地层的变异性;应考虑掘进参数对开挖面稳定性的影响;应加强研究进出洞的切口压力控制.分析结果为完善盾构隧道开挖面稳定理论及指导现场实践提供了有益的方向.     

城市轨道交通网络运营组织协调性研究

分析了城市轨道交通由单线管理向网络化运营转变过程中的实际问题,提出了分析网络运营组织协调关系的必要性.从路网运输能力均衡配置角度,阐述了网络运营协调的主旨,对影响运营组织的多个关键要素做定性分析.采用解释结构模型法,根据推移律特性,建立网络运营协调要素的多级递阶结构,对层次划分结果进行要素间的关联性分析.该结构模型可作为协调准则应用于运营组织过程,为网络列车运行计划的制定提供理论依据.     

SP调查的非集计模型在水上巴士交通中的应用

非集计模型近年来在交通模型的研究领域受到较多关注.主要讨论了未建交通系统中意愿调查方法的使用,以及如何在意愿调查数据的基础上建立非集计模型并进行客流需求分析.着重对基于SP调查的非集计模型在黄浦江水上巴士交通客运交通系统中的应用进行了研究和探讨,介绍了黄浦江水上巴士交通的SP调查以及其他相关调查,建立了非集计模型用于水上巴士交通服务模式选择和需求预测,对上海市水上巴士未来客流增长空间进行了判断.指出非集计模型适用于具体的小规模的有针对性的规划设计项目,SP调查的设计以及调查数据的采集是非集计模型建立的关键,基于SP调查的非集计模型可用于未建交通系统的服务模式确定、客流需求预测等方面.     

用桩加固浅基础的力学模型研究

对用桩加固既有铁路桥梁中浅基础常用计算方法进行比较,认为此类结构应考虑承台结构的变形,并提出了合乎实际情况的力学模型。实例计算与比较分析结果表明,由于用桩加固浅基础时其承台结构的特殊性,竖向荷载对桩身弯矩有较大影响。此外,给出了考虑承台变形和竖向荷载的影响时,浅基础用桩加固的力学模型计算公式。