基于数据流传播路径学习的智能合约时间戳漏洞检测

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

轻量化系数2.0级车身关键设计及制造技术

汽车的轻量化有着巨大的经济、社会及环境效益,车身轻量化是其中的重要组成部分。新能源汽车需要搭载大容量动力电池以增加续驶里程,电池的安全性也十分重要,要求车身在保证车内乘员和电池安全性的同时提供尽量大的电池包安装空间,又要兼顾轻量化,这些目标给车身设计开发带来了诸多挑战。以一款电动轿跑车为例,介绍了一些关键的轻量化设计和制造技术,实现了C-NCAP五星和C-IASI优秀的碰撞安全性,以及轻量化系数2.03的行业领先水平。

不同速度重复训练期间腰背屈伸肌群等速肌力特征的研究

目的：观察不同角速度重复训练期间腰背屈伸肌群等速向心运动时峰值力矩的变化规律。方法：利用瑞士产CON-TREX TP500型人体腰背肌力评估和训练系统,测评了8名体育教育专业健康男大学生进行三种角速度（45°/s、90°/s、135°/s）各13组重复训练期间（共39组）腰背屈伸肌群抛物线主动补偿模式下等速向心肌力指标。结果：1）在13组的重复训练期间,随着训练组数的增加,受试者的伸肌和屈肌峰值力矩均呈现先上升然后逐渐降低的趋势,于第7组（135°/s）时即出现显著性降低（P〈0.05）。2）在前6组重复测试中,三种速度下,第3组与第4组间的峰力矩值均高度相关。3）基于第3、4组的数据,45°/s时背伸肌群的峰值力矩显著性高于而屈/伸比则显著性低于90°/s及135°/s时的值（P〈0.01）。45°/s及90°/s运动时腰背屈伸肌群之间到达峰值力矩的平均角度存在有极显著性差异（P〈0.01）,而135°/s运动时二者则基本相同（P〉0.05）。结论：腰背屈伸肌群等速向心康复训练时宜采用3~6组慢速或中速方式;等速力量评价时应以第3组或/和第4组的测试数据为基础进行评价。

生态约束下的陕北工业城镇空间发展路径初探--以神木县锦界镇为例

陕北黄土高原地区生态环境极为脆弱,生态环境约束和城镇扩展需求之间的矛盾在该地区工业型城镇空间发展中表现得尤为突出。本文以陕北地区神木县锦界镇为例,深入剖析了其边界扩张的生态瓶颈和空间布局的生态矛盾,进而针对这两重发展困惑提出在城镇空间扩展方面划定合理的空间增长边界以寻求规模之解,并且在城镇空间布局方面结合生态廊道进一步优化功能分区、促进土地集约利用以寻求调适之策,最终在此基础之上探讨了生态环境约束下的陕北黄土高原地区工业型城镇空间发展路径。

紧凑理念下的米脂城市空间增长边界划定

城市空间增长边界的划定对于土地资源的集约利用和城市的可持续发展至关重要。文章以紧凑理念为引导,借助Arc GIS平台,通过边界基准模拟、边界比较择优和现实发展校验三个步骤进行空间增长边界的划定,并以米脂城市空间增长边界划定为例进行实证分析,得出划定的空间增长边界将有助于指导米脂城市的空间建设和可持续发展。

基于空间句法的米脂县城空间形态优化策略研究

空间句法为城市空间的定量化研究提供了有力的支撑条件.以米脂县城为研究对象,通过空间句法分析工具,建立米脂县城的空间轴线模型,并选取全局集成度、局部集成度和智能度三个参数,对2009年现状空间形态与2014年现状空间形态、2009版总体规划空间形态与2014版总体规划空间形态进行定量化的分析与分组比较研究.在此基础上,深入剖析米脂县城的空间形态发展趋势以及两版总体规划对该趋势的应对,并在2014版总体规划的基础上提出米脂县城空间形态的优化策略.

多脉动冷端热管散热器的散热性能

为了强化单片板式脉动热管的传热,满足高功率电子芯片散热的需要,提出一种具有多脉动冷端结构的热管散热器,并对其散热与启动性能进行实验研究。分析充液率、加热功率对多脉动冷端热管散热器传热性能及启动性能的影响,并与单片平板脉动热管进行对比。研究结果表明:多脉动冷端热管散热器的最佳充液率为25%;多脉动冷端散热器冷端启动呈先中间后两侧的顺序;启动时间受充液率影响较小,但随加热功率增加而变短且启动稳定性更好;启动温度则随充液率的增加而变大;在相同工况下,多脉动冷端散热器传热及启动性能明显比单片平板脉动热管的优。

聚光光伏系统热管散热器的实验研究

聚光太阳电池温度是影响电池转换效率、安全稳定性及使用寿命的重要因素。针对聚光光伏系统中因高热流密度带来的电池散热问题,设计一种新型平板式不锈钢材质热管散热器,并进行相关的实验研究。实验结果表明:热管散热器的最佳充液率范围为20%~30%;新型热管散热器基板的扩散热阻约为0.1 K/W,而普通铝型材为0.38 K/W,热管散热器均温性更佳;在自然对流条件下,当确保模拟电池温度不超100℃时,热管散热器可应用于最大聚光比为78.57的太阳电池散热;且研究发现工作范围内的太阳电池角度变化对热管散热器的影响不大,热管散热器能同时适应折射型和反射型聚光光伏系统。

基于模糊控制的小型永磁风力发电机的最大跟踪控制

本文首先介绍了小型风力发电系统的组成及最大功率跟踪原理,然后针对传统的定步长扰动观察法进行了改进,提出了一种基于模糊控制的变步长方法对风机系统进行最大功率跟踪。为了验证方法的可行性,在MATLAB/Simulink上搭建了风电系统的仿真模型进行仿真实验,最后仿真结果均证明了该方法能有效提高系统的搜索速度,减小系统波动。

提高国防预算时效性方法探讨

国防预算的时效性是其合法性与职能实现的重要保证。然而,我国现行的国防预算在编制和审批方面存在着种种不足,其时效性不高,造成了国防预算约束的"法律真空"问题,严重影响其发挥应有的作用。因此,我国需要在国防预算编制和审批方面做出调整,提高其时效性。本文通过对现有各种方案的比较,得出适合我国的改进方式———适当延长国防预算编制时间和编制临时国防预算,并对临时国防预算的编制作出初步设想。

有氧运动对事件相关电位的影响

目的:通过事件相关电位(P300)探讨一次有氧运动对认知能力的影响。方法:采用NDI-200(海神号)神经电检诊仪用图像刺激oddball模式对12名在校健康大学生志愿者分别在运动前、运动后即刻、运动后15分钟及运动后30分钟进行测量。结果:运动后即刻潜伏期较运动前明显缩短(P<0.05),运动后15到30分钟逐渐变长,运动后30分恢复到运动前水平。结论:适量有氧运动能够暂时提高认知能力。

如何加强军队单位有偿服务资产监督管理

随着我军廉政与作风建设的不断深入,越来越多的人认识到了军队单位有偿服务资产监督管理的重要性。本文分析了当前我军有偿服务资产监督管理工作中存在的问题,并通过博弈论分析了加强监督管理的必要性,针对现有问题提出了相应的解决方案。

基于灰色理论的数控机床故障预测的研究

针对数控机床可靠性故障间隔预测模型过程中数据采样难度大、成本高、数据量小、常规数据拟合和预测方法误差较大、数据难以处理等问题,提出一种基于传统灰色预测模型,将灰色残差优化模型和BP神经网络模型相结合的预测方法。在预测过程中该模型首先根据灰色理论建立主轴可靠性故障模型,再用BP神经网络训练并优化灰色理论的残差,最后用文献的主轴故障数据验证预测精度。通过不同的算法对数控机床主轴故障的试验数据验证,证明了灰色神经网络模型在主轴可靠性故障间隔工作时间的预测上优于单一算法及GM(1,1,P)模型,验证了灰色神经网络模型的可行性及有效性。

基于特征金字塔算法的输电线路多尺度目标检测方法

本文提出了基于FP-SSD(Feature Pyramid-Single Shot Detector)算法的多尺度目标检测方法。首先对训练样本进行处理,采用自适应裁剪算法裁剪训练样本,以适应单张图片中不同尺度的目标,同时扩充训练样本数量;然后以resnet网络替代SSD结构中原有的VGG网络,从而使网络的特征提取能力增强;最后在整体网络结构中加入特征金字塔网络(Feature Pyramid Network),实现了上下特征层的信息融合。针对实际巡检图像进行了应用研究。结果表明,本文所提出的目标检测方法,较原始SSD算法而言,在小尺度目标检测方面精度有了明显提高,同时,对大尺度目标保持着良好的检测效果。

节能环保绿色装饰材料在建筑装饰施工中的应用

文章对节能环保绿色装饰材料进行了概述,分析了节能环保绿色装饰材料在建筑装饰施工中的应用价值,说明了节能环保绿色装饰材料在建筑装饰施工中的应用问题及策略,提出了节能环保绿色装饰材料在建筑装饰施工中的具体应用。

建筑室内装饰装修工程的施工质量控制与管理

随着城镇化进程的迅速推进,人们对室内装饰装修施工质量提出了更高的要求。基于此,文章对建筑室内装饰装修工程进行了概述,阐述了建筑室内装饰装修工程施工质量控制与管理的意义,分析了建筑室内装饰装修工程施工存在的质量隐患,提出了建筑室内装饰装修工程施工质量控制与管理的策略。

我国企业会计准则国际趋同研究

随着经济全球化的进程加快,国际会计准则国际趋同趋势明显。本文对我国企业会计准则的国际趋同进行规范研究,首先介绍了会计准则国际趋同的概念、发展概况和实质,其次对我国企业会计准则国际趋同的发展阶段进行分析,然后分析了我国企业会计准则国际趋同的必要性,最后,对企业会计准则国际趋同的策略提出几点建议。

化工安全生产及管理的对策探究

化工在中国经济生产中起着重要作用。随着生产技术的不断进步,生产也面临着安全问题。在新的环境中,生产安全是每个企业都必须注意的问题。在化工企业生产阶段,安全生产和管理极为重要。如果处理不当,生产过程中会发生事故,会造成经济损失,甚至会造成人员伤亡,使企业难以正常运转。在这种情况下,我们应该更加重视化工企业的安全生产,重视日常工作的安全,重视生产加工的安全。因此,为了确保安全生产和管理,化工企业必须分析安全生产问题和相应的对策措施,以促进化工企业的成功生产和管理。本文研究了化工企业生产安全管理措施,以供参考。

一种适合低信噪比投影栅的时空二维相移算法

提出了一种适合低信噪比投影栅的时空二维相移算法。首先设计四步相移正弦光栅条纹图,由DLP投影仪投影到待测物体表面,再由CCD相机采集受物体形貌调制的变形条纹图;然后对其中一幅变形条纹图进行傅里叶变换以确定抽样间隔,再对4幅相移条纹图用相移法求得条纹背景和调制幅度后,对每幅变形条纹图做归一化处理;对每幅相移条纹图在空间域进行下采样抽样和灰度插值,构建相移莫尔条纹图,得到多帧时空域相移条纹图;对多帧时空域相移条纹图按时空二维相移法处理求得莫尔相位,再将莫尔相位与抽样点相位叠加求和得到变形条纹图对应的相位数据;最后,以面膜作为样品进行了实验测量,结果表明,经典四步相移法重构的物体形貌出现明显失真,而本文方法能较好恢复物体的三维形貌。

IGBT功率模块冷却技术的综述

随着IGBT元件的大功率化、高集成化,发热问题愈加突出,对冷却的要求也越来越高.为保证IGBT良好运行,其相应冷却技术受到人们的高度关注.近年来国内外学者开展了大量研究,本文概括介绍了可用于IGBT冷却的相关技术、研究现状与研究热点,其中重点介绍了喷射冷却、热管冷却、微冷却技术等,还以新型阵列冷端平面热管为典例例子,分析其结构及散热原理,旨在为更好地解决IGBT的冷却问题提供参考.在综合多种影响因素的基础上,指出传统热管结构优化不失为一个解决IGBT散热的发展方向.