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

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

基于模糊PID控制的船用胎架高度联控方法研究

胎架作为船舶分段建造变形控制的重要工装,但不具有联合调控与自适应控制能力,无法快速响应分段建造质量问题,为此本文提出基于模糊PID控制的船用胎架高度联控方法.首先,基于船舶分段拟合曲面建立胎架高度补偿模型,为胎架的自适应调控提供依据;其次,基于分段变形范围和受压载荷构建胎架间关联机制,达到胎架系统的动态联调;然后,利用...     

深圳市智能交通系统建设综述

伴随着计算机、通信、信息等技术的迅速发展,智能交通系统(ITS)已经成为世界上公认的解决当前日益复杂的交通问题的一种手段.我国许多大城市在解决城市交通问题时,重视并着手进行了ITS建设.从ITS的概念出发,简要介绍了国内外ITS建设的历程及发展趋势.以深圳市为背景,提出ITS建设指导思想与建设目标,以及在此目标下ITS建设需求与用户分析.重点阐述了深圳市ITS建设的体系框架和功能分解,提出适合深圳市ITS建设的"4 1"体系框架、八大任务包以及34个建设子系统.最后总结了ITS相应的实施计划、推进策略与保障措施.     

装备技术标准与工程建设标准起草规则差异分析

通过对比《标准化工作导则第1部分：标准化文件的结构和起草规则》（GB/T1.1-2020）和原建设部《工程建设标准编写规定》（建标[2008]182号）,从标准的编制阶段、结构、名称和正文起草等方面对装备技术标准和工程建设标准的起草规则进行差异性分析和梳理,希望能够为从事标准起草工作的人员提供更清晰的针对不同类型标准的起草办法说明,提高标准起草的规范性和准确性。     

沪武高速公路太仓至常州段扩建智慧化建设探究

在总结国内智慧高速公路发展与现状的基础上,基于“新基建”时代智慧高速公路的建设目标与建设需求,明确了上海—武汉高速公路(下文简称“沪武高速”)太仓至常州段扩建智慧化建设的总体方向,提出了“五层三体系”总体构架,并就六大重点领域进行论述,为高速公路扩建与智慧赋能提供了方案和思路。     

基于安全和情感化的汽车辅助驾驶系统多模态交互设计研究综述

汽车作为目前人类最常使用的交通工具之一,其智能驾驶技术大部分处在L2～L3“人机共驾”技术的发展阶段,在L5级自动驾驶技术出现之前,“人机共驾”仍然是目前主流的驾驶方式,其各种车载系统和交互方式正在不断完善。多模态交互作为未来设计的发展趋势,必然将与汽车融合产生新的“火花”。对车载系统中多模态交互设计研究包括疲劳状态预警、碰撞预警、车道偏离预警、智能接管提醒、智能泊车等方向进行梳理总结,对车载AI多模态交互设计包括多屏交互、触控交互、手势交互、语音交互、表情交互、眼动交互等自然交互方式进行分析。采用文献研究及案例分析的方式探究如何在基于安全和情感化的背景下使驾驶员的体验更加舒适,展望了汽车多模态交互设计在车载系统中的应用及未来趋势。恰当而良好的交互方式融合将会提高各种车载系统及应用的安全性和驾驶的舒适度。多模态交互的引入必将是汽车发展的趋势。     

IFC标准下隧道智能管理系统建立与应用

建筑信息模型(BIM)是一种有效的复杂工程信息综合管理方法,为了实现隧道类岩土工程信息在BIM模型中进行清晰、规范表达的目的,将IFC标准文件针对隧道领域进行相应拓展,实现了不同平台之间信息无损交互传递.通过参数化族建模方式创建隧道构件族库,采用坐标定位的形式拼装隧道工程模型,并将所建立的模型参照IFC拓展标准进行实体...     

碾压参数调控下智能压实指标影响规律研究

在路基连续压实过程中,通过可靠的连续压实指标实现对路基压实程度的实时监测是实现智能压实的基础环节。本文通过分析压实计值（Compaction Meter Value,简称CMV）随碾压参数的变化,建立CMV与压实度线性拟合关系,以代替压实度作为路基压实评价指标,并基于BP神经网络建立CMV与碾压参数之间的回归关系。试验表明CMV作为评判压实质量的间接指标具有一定的可靠性,在CMV与碾压参数关系中,CMV随振动频率变化。建立的CMV-碾压参数回归模型表明振动频率、速度对CMV的相关性较高,通过调整碾压参数实现对CMV的控制是可行的。     

超速行为干预措施研究现状及发展趋势

为了提出能够有效遏制超速行为的干预措施,明确已有超速行为干预措施的实际效果、适用条件、优缺点及结合措施效果,对该领域内相关文献进行了系统性综述。根据系统性综述和元分析首选报告准则（PRISMA）,将超速行为及其干预措施作为关键词,分别从11个电子数据库中搜索与超速抓拍系统、反超速宣传、超速警告标志和智能超速干预系统相关文献,通过构建文献质量评价指标体系对这些文献进行评估,筛选出101篇相关文献,并对其研究结果进行了叙述性地综合分析。研究结果表明：超速抓拍系统、反超速宣传、超速警告标志及智能超速干预系统具有不同程度的超速干预效果,且受一些道路交通环境条件及人为因素的影响。具体地,对于超速抓拍系统,区间式超速抓拍系统的干预效果最好,而移动式超速抓拍系统最差;对于反超速宣传,户外广告的超速干预效果最好,但印刷类广告作用不大;对于超速警告标志,超速张贴标志具有较显著的干预效果;警告型动态速度显示标志的超速干预效果优于标准型动态速度显示标志;对于智能超速干预系统,强制型智能超速干预系统的超速干预效果最佳,自愿型智能超速干预系统效果最差;对于结合措施,多数结合措施较单个措施的超速干预效果更好。总体而言,超速抓拍系统和智能超速干预系统的超速干预效果最好,超速警告标志次之,反超速宣传效果较差,结合措施可增强干预效果。上述结果可为超速行为干预措施的选择或提出奠定理论基础。针对已有超速干预措施的局限性及影响因素尚不明朗的问题,后续研究需优化试验或调查方案,进一步探究超速干预措施的效果及影响因素,并基于大数据（如车辆轨迹、视频数据）提出新的干预措施。     

中国公路隧道近10年的发展趋势与思考

中国公路隧道在规模、数量、建设速度等持续快速发展的形势下,近10年来又取得了众多隧道建设技术的突破,已由隧道大国步入向隧道强国转变的轨道。首先宏观研究分析近10年来中国公路隧道建设状况,对比论述了山岭、水下、城市地下道路等类型隧道的发展特点、趋势及相关建议;从隧道建设需求导向、地质超前预报、节能环保、应急救援等方面提出了公路隧道建设理念的变化,对比总结了钻爆法、盾构法、沉管法及TBM法等4类修建公路隧道常用施工方法的应用情况及未来发展趋势,并在此基础上,对中国公路隧道未来建设中将遇到的一些问题进行了研究与思考。结果表明:应改变以支护参数设计为重点的隧道设计理念,建立以介质场为主体的隧道结构设计方法,在隧道场解重构理论与技术体系方面进一步创新;对于采用双洞布局模式的长大公路隧道,为减少长深斜竖井设置,提升建设速度,应优先采用“钻爆法+小TBM导洞扩挖法”相结合的混合方法来修建;针对越来越多的公路隧道进入后运营期,提出了隧道智能监测评估与快速修复的技术途径,以将隧道修复作业所带来的影响降到最低;中国公路隧道建设应融合大数据、智能装备、5G等先进技术,并尽快完成配套标准的制定。