细粒土分类及压实特性研究

在公路路基施工过程中,细粒土是主要的路基填筑材料,这就对细粒土的物理特性和压实特性提出了严格的要求,在国内外细粒土分离的基础上研究了其分离标准,并通过室内试验研究了土的压实特性。     

基于SOM的我国民用机场分类研究

科学准确地对民用机场分类可以将机场自身定位,为机场发展及评估提供可靠依据,具有重要的现实意义。本文选用了15个影响我国机场分类的关键因素,运用神经网络技术中的自组织映射(Self-Organizing Map,文中简称SOM)将我国民用机场进行了细分,并分析了各类机场的特点。结果表明,SOM能很好地应用于我国民用机场分类,是一种科学、有效的分类方法。     

备件消耗预测方法研究现状及发展

备件消耗预测是制定备件消耗标准的基础工作之一,通过对国内外有关备件消耗预测的文献进行研究,在分析当前备件分类的基础上,总结消耗连续型备件和消耗间断型备件的消耗预测方法研究现状,指出不同类型消耗预测模型的优点及存在的不足,揭示了备件消耗预测的研究重点及发展趋势。     

管道主要风险的失效频率数据分析

对其他国家地区管道运输发展中管道所发生的事故进行研究,尝试对一些事故报告数据进行分析,研究它们的特性.借鉴其他管道系统的事故原因,列出了管道类型初步分类应考虑的条件和面临的主要风险.认为对管道类别应该有区别地划分.     

浅谈汽车开关在重卡车上的应用

本文介绍重卡开关的定义、分类、特点,对开关的特点进行描述,最后对重卡开关发展趋势进行论述。     

基于深度学习CaffeNet模型的综合交通设施场景分类与识别研究

综合交通设施场景的自动分类与识别对交通网络布局、城市规划、智慧城市建设等方面有重要的研究与实践价值.鉴于目前研究主要集中在单一的交通设施目标识别与检测方面,采用速度快、分类精度高、适宜于海量数据运算的CaffeNet深度学习模型,基于迁移学习思想,通过5层卷积、3层池化、1层全连接等过程提取机场、桥梁、停车场、港口、火...     

《港口工程地基规范》（JIJ250—98）介绍（上）

对《港口工程地基规范》（JTJ250－98）的修订内容及试验研究进行介绍。     

多分类转导支持向量机

为了完成分类学习,传统的支持向量机基于带标记信息的经验数据归纳出一个通用的决策函数。而转导支持向量机则不同,它考虑包含测试集在内的所有数据信息并致力于最小化测试样本的分类错误数。在已有的2类分类方法的基础上构造了直接求解多类分类问题的的转导支持向量机。     

TBM施工隧洞围岩分类方法的探讨

针对TBM施工隧洞中的围岩分类问题,指出TBM施工条件下的隧洞围岩分类应针对围岩的可钻掘性,充分考虑影响TBM掘进效率的主要工程地质因素,提出了在《工程岩体分级标准》围岩稳定性基本分级的基础上,依据岩石的单轴抗压强度、岩石的耐磨性和岩体的完整性,将TBM施工条件下的隧洞围岩分为A(好)、B(一般)、C(差)3个级别,对于当今隧洞围岩分级方法的进一步发展,以及提高我国TBM施工隧洞的设计和施工水平具有一定的实用价值。     

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

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