- 孙家泽;余盼盼;王小银;张斌;
区块链技术已经进入了以智能合约为标志的区块链2.0时代,频发的智能合约安全问题给区块链生态带来了严重的损失。通过对比不同的智能合约漏洞检测方法与检测工具存在的安全漏洞问题,总结出13种常见漏洞检测项。通过讨论5种主流的智能合约漏洞检测方法与相应的漏洞检测工具,对比总结5种漏洞检测工具针对13种漏洞检测项的检测情况。对比分析3种漏洞检测工具对于200个测试合约的检测结果,得出模糊测试检测方法简单高效并且不会产生误报。最后,针对检测结果展望智能合约漏洞检测技术的未来研究方向,并给出针对现有漏洞检测方法的改进思路,从而利于提高智能合约漏洞检测效率。
2020年05期 v.25;No.146 1-9+32页 [查看摘要][在线阅读][下载 694K] [下载次数：873 ] |[网刊下载次数：0 ] |[引用频次：8 ] |[阅读次数：3 ] - 王文庆;李朕;
对于编队控制问题的研究,不但可以从理论上阐述智能体之间相互协同的内在机理,而且也可以为许多实际问题的应用提供基础。分布式编队控制是多智能体系统协同控制中的一个热点问题。从控制协议设计的角度来说,现有的结果主要关注于一般编队控制问题与刚性编队控制问题。一般编队控制问题通过理想位置或者被称为导航函数实现,而刚性编队控制通过图刚性方法实现理想形状。在这个意义下,编队控制协议的设计可以被区分为一致性式编队控制器和梯度式编队控制器。通过分析这些控制器的设计方法,总结现有多智能体系统编队控制问题的相关结果,并探讨该问题发展趋势。
2020年05期 v.25;No.146 10-15页 [查看摘要][在线阅读][下载 175K] [下载次数：292 ] |[网刊下载次数：0 ] |[引用频次：3 ] |[阅读次数：10 ] - 吴青;付彦琳;
支持向量机(support vector machine,SVM)主要解决分类和回归问题,基于支持向量机的特征选择可以有效地去除不相关的冗余特征,在新的更少的数据集上建模,提高支持向量机的效率和泛化性能。从评价标准、搜索方式和监督信息等角度探究特征选择的分类方法,论述基于支持向量机Wrapper、Embedded和Filter-Wrapper等3种特征选择方法,进一步地探讨支持向量机特征选择方法未来的发展趋势。
2020年05期 v.25;No.146 16-21页 [查看摘要][在线阅读][下载 210K] [下载次数：2453 ] |[网刊下载次数：0 ] |[引用频次：44 ] |[阅读次数：15 ]
- 张新;万杰;蒋励;王瑜;胡阳;
针对高速数据通信系统中因不同通道的时延差异造成的数据延迟不一致问题,提出一种多通道高速数据对齐的实现方案。通过时钟芯片产生标准的周期可配的基准信号,在发送侧产生同步于基准时钟的采样时钟,在接收侧产生同步于基准时钟的读时钟,利用采样时钟控制发送侧多通道同时采样,并利用读时钟控制接收侧多通道独立队列的数据读取。将所提方案运用在25 G PON系统中,实验结果表明,该方案能够完成高速通信系统中的多通道数据对齐,且系统有较高的鲁棒性和资源利用率。
2020年05期 v.25;No.146 22-27页 [查看摘要][在线阅读][下载 3162K] [下载次数：123 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：2 ] - 张雪锋;彭华;
为了避免传统公钥体制下复杂的用户数字证书管理,提出一种基于SM9算法的环签名方案。将环内签名者的身份标识信息发送到密钥生成中心,生成相应的私钥,私钥结合SM9签名生成算法对数据生成数字签名;环中验证者使用签名者的标识信息生成签名者的公钥,再利用SM9签名验证算法对公钥验证签名的正确性及可靠性。安全分析结果表明,该方案具有不可伪造性,保证了用户的匿名性及前向安全性;对比实验结果表明,该方案具有较高的运算效率。
2020年05期 v.25;No.146 28-32页 [查看摘要][在线阅读][下载 147K] [下载次数：320 ] |[网刊下载次数：0 ] |[引用频次：6 ] |[阅读次数：4 ] - 魏雅娟;刘兆;刘意先;范九伦;
针对网络态势预测方法预测精度不高的问题,提出一种动态K-means与粒子群的网络态势预测优化算法。利用动态K-means聚类算法对收集到的网络基础指标进行分类,确定径向基函数(radial basis function,RBF)的网络中心和神经元宽度,使用粒子群最优化算法调整并确定RBF的权值系数,使权值分配更为合理,从而提高计算某局域网在某个时间段内所得态势预测值的精度。仿真结果表明,所提预测算法比基于广义的RBF网络态势预测算法的预测精度提高了14倍。
2020年05期 v.25;No.146 33-38页 [查看摘要][在线阅读][下载 715K] [下载次数：137 ] |[网刊下载次数：0 ] |[引用频次：7 ] |[阅读次数：5 ] - 范九伦;张雷;刘颖;卢津;王富平;
针对颜色特征提取时空间信息缺失问题,提出一种融合杰卡德系数和巴氏系数的图像相似度度量算法。通过巴氏系数求出全局相似度,使用杰卡德系数计算图像局部相似度在融合相似度中所占比例,同时引入修正余弦系数减少噪声干扰,最终作为融合相似度进行图像检索。实验结果表明,该算法的平均检索准确率均高于其他图像检索算法,具有良好的检索性能。
2020年05期 v.25;No.146 39-44页 [查看摘要][在线阅读][下载 1308K] [下载次数：361 ] |[网刊下载次数：0 ] |[引用频次：5 ] |[阅读次数：27 ] - 刘颖;朱丽;林庆帆;
提出一种基于空间变换网络的图像超分辨率重建算法。通过设计空间变换网络,学习合适的变换参数进而对齐原始图像;利用视觉注意机制扩充网络,在训练过程中自动选择感兴趣的区域特征。最后,利用生成对抗网络进行超分辨率图像重建,从而达到高分辨率图像重建的目的。与其他算法在数据集上的重建效果对比结果表明,所提算法的超分辨率重建效果较好,且评价指数均有所提高。
2020年05期 v.25;No.146 45-49页 [查看摘要][在线阅读][下载 554K] [下载次数：147 ] |[网刊下载次数：0 ] |[引用频次：4 ] |[阅读次数：8 ] - 谢晓飞;来毅;刘颖;
针对基于卷积神经网络的图像边缘检测算法忽略中间层而丢失图像细节信息的问题,提出一种基于充分卷积的边缘检测算法。在视觉几何组16骨干网络上剪切掉所有的全连接层和池化层以构建全卷积网络;在全卷积网络每个阶段的1×1×21卷积层后边连接累加层获取每个阶段中的特征信息;通过融合层替换原来位置剪切掉的全连接层,在融合层的后边连接卷积层和损失函数层,并重新计算损失函数训练网络参数。实验结果表明,该算法的边缘检测性能优于人眼的平均性能,也比其他边缘检测算法性能更优。
2020年05期 v.25;No.146 50-54页 [查看摘要][在线阅读][下载 160K] [下载次数：91 ] |[网刊下载次数：0 ] |[引用频次：5 ] |[阅读次数：10 ]
- 法林;孔链链;李传伟;孙科;赵琳;房向荣;
在概述古斯-汉森效应(Goos-H?nchen)的声学模拟的基础上,提出反射P波在液体-固体(液-固)界面上产生的横向位移的新物理模型。以水-有机玻璃界面为例,对反射P波的一些物理特性进行数值计算和分析。结果表明,对于过入射临界角区域,反射P波在液-固界面上会产生一个横向位移;反射P波在界面上的传播速度不但与界面两侧介质的物理参数有关,还与入射P波的入射角有关。因此可以预测,在声波测井中测量到的首波信号可能是反射P波,而不是传统声波测井模型中描述的"滑行折射P波";将液-固界面上的声学横向位移的物理模型推广到固体-固体(固-固)界面上,可建立一种大角度(过入射临界角)入射的地震勘探数据的精确时-深转换算法。
2020年05期 v.25;No.146 55-62页 [查看摘要][在线阅读][下载 1563K] [下载次数：47 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：3 ] - 黄海生;叶小艳;李鑫;党成;
针对低压差线性稳压器(low-dropout regulator,LDO)环路稳定性差导致系统瞬态响应差,在负载电流改变时线性稳压器输出电压不稳定的问题,提出了一种基于瞬态增强技术的米勒补偿型无片外电容LDO电路。在LDO电路中瞬态增强缓冲模块与输出级的功率管栅端形成负反馈,在稳定功率管栅端电压的同时,减小整个环路的第二级等效阻抗,使极点分裂程度在经典米勒补偿技术的基础上有所增加,从而提高了LDO负载瞬态改变时的系统稳定性。采用台积电0.18 μm互补金属氧化物半导体工艺设计了电源电压为3.3 V输出电压为1.8 V的LDO。仿真结果表明,设计LDO的相位裕度大于72°,负载电流在100 ns内从1 mA跳变到200 mA时输出电压最大变化为0.045 mV,电源电压抑制比为-78 dB。
2020年05期 v.25;No.146 63-68页 [查看摘要][在线阅读][下载 1072K] [下载次数：522 ] |[网刊下载次数：0 ] |[引用频次：11 ] |[阅读次数：2 ] - 杜慧敏;张英杰;王一鸣;
几何流水线可以完成图元装配、图元裁剪与剔除、Tile切割与链表的建立等功能,是图形处理器GPU管线中重要的组成部分。对几何流水线涉及到的算法进行研究和改进,通过将三维图元正投影到二维平面的方式优化视见体剔除算法,使用查找表结构降低背面剔除算法的运算量,选用包围盒裁剪算法对特殊位置小三角形进行处理,加入分层概念,优化Tile切割。利用Xilinx公司的Virtex UltraScale VU440开发板进行系统测试,实验结果表明,几何流水线可以稳定而正确的工作。
2020年05期 v.25;No.146 69-75页 [查看摘要][在线阅读][下载 957K] [下载次数：91 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：3 ] - 洪玮;王海花;
针对相控阵天线工作在宽带瞬时信号的情况下,瞬时信号受到天线孔径越渡时间的限制问题,设计一种具有宽带瞬时信号的相控阵天线阵列。从相控阵天线理论出发,研究分析孔径渡越机理。通过理论推导相位补偿误差曲线,分析子阵级实时延时量与阵元相移量。划分天线阵列随机子阵,利用子阵级使用时延时线和阵元级使用移相器的设计方法,实现相控阵天线的宽带瞬时信号。最后,通过高频结构模拟器(high frequency structure simulator,HFSS)仿真软件对该天线阵列的方向图进行仿真计算,仿真结果与理论计算基本吻合,验证了该设计的正确性。
2020年05期 v.25;No.146 76-79+94页 [查看摘要][在线阅读][下载 1789K] [下载次数：159 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：3 ]
- 杨俊辉;何欣然;
构建融通仓第四方物流(fourth party logistics,4PL)动态激励模型。该模型根据委托-代理理论,考虑声誉效应的隐性激励因素,建立单一委托方与多个代理方关系的动态激励模型,并在模型求解结果的基础上进行算例分析。结果表明,第三方物流(third party logistics,3PL)的努力程度与声誉系数和4PL激励系数成正相关,与风险规避度成负相关;4PL的激励系数与声誉系数和风险规避度成负相关,引入声誉效应后3PL的努力程度提高,可以有效减少4PL激励成本。
2020年05期 v.25;No.146 95-103页 [查看摘要][在线阅读][下载 828K] [下载次数：173 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：4 ] - 王峰虎;尹朝鹏;贺毅岳;
构建一种基于隐马尔可夫模型(hidden Markov model,HMM)的预测模型的黄金期货量化择时策略。运用HMM中的前向-后向算法得到黄金期货价格变化的模式,获得期货的预测价格。利用协整理论将黄金期货主力合约的预测价格转化为次主力合约的预测价格,并与次主力合约直接通过HMM理论得到的预测价格取平均值,得到更精确的次主力预测价格,通过该预测价格判断未来涨跌趋势,进而构建择时交易策略。回测结果表明,与现有基于技术分析指标和机器学习方法的量化择时策略相比,基于HMM预测模型的黄金期货择时策略具有较好的收益获取能力,能长期保持盈利、战胜基准,在整体表现上显著超越其他策略。
2020年05期 v.25;No.146 104-110页 [查看摘要][在线阅读][下载 1226K] [下载次数：516 ] |[网刊下载次数：0 ] |[引用频次：4 ] |[阅读次数：4 ]