检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

智能合约漏洞检测技术综述

软件学报 2024年第1期35卷 38-62页

作者：董伟良刘哲刘逵黎立葛春鹏黄志球南京航空航天大学计算机科学与技术学院江苏南京211106 Monash University Clayton VIC 3800Australia

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分... 详细信息

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.

关键词：智能合约合约安全合约可靠性合约质量保障漏洞检测合约程序分析

在线全文

学校读者我要写书评

暂无评论

基于指针神经网络的细粒度缺陷定位

软件学报 2024年第4期35卷 1841-1860页

作者：王尚文刘逵林博黎立 Jacques KLEIN TegawendéFrançois BISSYANDÉ 毛晓光国防科技大学计算机学院湖南长沙410073 南京航空航天大学计算机科学与技术学院江苏南京210016 Monash University Clayton VIC 3800Australia University of Luxembourg Luxembourg L-1359Luxembourg

软件缺陷定位是指找出与软件失效相关的程序元素.当前的缺陷定位技术仅能产生函数级或语句级的定位结果.这种粗粒度的定位结果会影响人工调试程序和软件缺陷自动修复的效率和效果.专注于细粒度地识别导致软件缺陷的具体代码令牌,为代码... 详细信息

软件缺陷定位是指找出与软件失效相关的程序元素.当前的缺陷定位技术仅能产生函数级或语句级的定位结果.这种粗粒度的定位结果会影响人工调试程序和软件缺陷自动修复的效率和效果.专注于细粒度地识别导致软件缺陷的具体代码令牌,为代码令牌建立抽象语法树路径,提出基于指针神经网络的细粒度缺陷定位模型来预测出具体的缺陷代码令牌和修复该令牌的具体操作行为.开源项目中的大量缺陷补丁数据集包含大量可供训练的数据,且基于抽象语法树构建的路径可以有效捕获程序结构信息.实验结果表明所训练出的模型能够准确预测缺陷代码令牌并显著优于基于统计的与基于机器学习的基线方法.另外,为了验证细粒度的缺陷定位结果可以贡献于缺陷自动修复,基于细粒度的缺陷定位结果设计两种程序修复流程,即代码补全工具去预测正确令牌的方法和启发式规则寻找合适代码修复元素的方法,结果表明两种方法都能有效解决软件缺陷自动修复中的过拟合问题.

关键词：缺陷定位缺陷自动修复神经网络

两种回波扩散加权成像方法在鞍区病变磁共振成像扫描中的应用价值比较

在线全文

学校读者我要写书评

暂无评论

实用医技杂志 2024年第6期31卷 419-422页

作者：刘逵徐帆河南信合医院放射科信阳465200

目的探讨分段读出平面回波扩散加权成像(RESOLVEDWI)与刀锋技术快速梯度自旋回波扩散加权成像(TGSEBLADEDWI)用于鞍区病变扫描图像质量差异。方法本研究为回顾性研究,纳入我院2020年1月至2022年6月收治鞍区病变患者83例,均在常规核磁基... 详细信息

目的探讨分段读出平面回波扩散加权成像(RESOLVEDWI)与刀锋技术快速梯度自旋回波扩散加权成像(TGSEBLADEDWI)用于鞍区病变扫描图像质量差异。方法本研究为回顾性研究,纳入我院2020年1月至2022年6月收治鞍区病变患者83例,均在常规核磁基础上行RESOLVEDWI与TGSEBLADEDWI扫描,比较2种回波扩散加权成像用于鞍区病变扫描图像质量主客观评价指标,并分析主观指标评价一致性。结果2名放射学专业人员对于RESOLVEDWI与TGSEBLADEDWI扫描图像质量主观评分具有高度一致性,Kappa值分别为0.73~1.00,0.72~0.98。TGSEBLADEDWI扫描鞍区正常结构、磁敏感伪影、失真变形、清晰度及整体图像质量主观评分均高于RESOLVEDWI(Z=-3.035、-5.035、-6.117、-5.361、-4.587、-3.358、-4.035、-5.125,P均<0.001)。TGSEBLADEDWI扫描鞍区病变最大纵径和最大横径均显著少于RESOLVEDWI(t=3.608、4.702,P均<0.001)。结论相较于RESOLVEDWI,TGSEBLADEDWI可有效改善鞍区病变扫描图像质量,在减少失真变形、提高图像清晰度、准确显示病变及周围正常结构方面具有明显优势。

关键词：磁共振成像蝶鞍弥散加权成像

FVCOM与POM在黄渤海潮波数值模拟的对比研究

在线全文

学校读者我要写书评

暂无评论

信息系统工程 2024年第7期 137-140页

作者：张志康殷晓雪刘逵中国人民武装警察部队海警学院航海系衡阳师范学院地理与旅游学院

FVCOM与POM是在中国海域应用较为普遍的两种海洋模型,两种模型的网格划分方式不同,FVCOM采用非结构化网格,POM采用结构化网格。利用黄渤海沿岸共37个验潮站的资料对模拟结果进行验证对比,并结合前人的研究,发现FVCOM与POM均能较好地模... 详细信息

FVCOM与POM是在中国海域应用较为普遍的两种海洋模型,两种模型的网格划分方式不同,FVCOM采用非结构化网格,POM采用结构化网格。利用黄渤海沿岸共37个验潮站的资料对模拟结果进行验证对比,并结合前人的研究,发现FVCOM与POM均能较好地模拟黄渤海海域的潮波系统,两者的数值模拟结果相似,但也有不同。将FVCOM与POM两种海洋模型计算结果与37个验潮站实测数据调和分析出的M2分潮振幅和迟角进行拟合对比分析,表明FVCOM模式在黄渤海海域潮汐模拟的效果要优于POM模式。

关键词： FVCOM模型 POM模型网格模型对比潮汐模拟

维普期刊数据库博看期刊

基于视觉密码学的屏幕信息防窃拍保护方法研究

在线全文

学校读者我要写书评

暂无评论

基于视觉密码学的屏幕信息防窃拍保护方法研究

作者：刘逵西安电子科技大学

学位级别：硕士

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于侧向激光雷达的斜程能见度反演

基于侧向激光雷达的斜程能见度反演

作者：刘逵中国民航大学

学位级别：硕士

能见度是民航领域极其重要的关键气象因素,同时是飞机的起飞、降落的必要条件。能见度被分为两种,水平能见度和斜程能见度。现如今的机场使用大气透射仪测量的水平能见度作为是否放行、允许起降的重要条件。而实际飞行中需要的是斜程能... 详细信息

能见度是民航领域极其重要的关键气象因素,同时是飞机的起飞、降落的必要条件。能见度被分为两种,水平能见度和斜程能见度。现如今的机场使用大气透射仪测量的水平能见度作为是否放行、允许起降的重要条件。而实际飞行中需要的是斜程能见度,不同气象条件下,水平和斜程能见度会存在较大差异,若仍按水平能见度作为判断条件进行起降,将很大程度上影响飞行安全。目前,斜程能见度探测的主要方式为使用后向激光雷达,它具有占地面积小、使用灵活、探测距离远等优点,但这种雷达由于其固有的探测方式,在低空存在一定高度范围的探测过渡区和盲区,导致数据缺失,从而使探测的斜程能见度在低空存在较大误差。侧向激光雷达在低空不存在盲区且分辨率高,但探测距离较近。故提出基于侧向激光雷达,配合使用后向激光雷达进行斜程能见度探测。首先,根据侧向激光雷达工作原理和蒙特卡洛法,建立了侧向激光雷达气溶胶散射场模型,依据模型进行了气溶胶散射场仿真并对结果进行了分析及验证。然后对基于侧向激光雷达的联合探测系统的发射、接收、信号处理部分进行了设计。接着进行系统定标,得到像素与距离的关系,测定系统最小散射角。最后对联合探测系统探测的信号进行数据处理,一维数据采用CEEMD结合改进的小波阈值进行降噪,二维数据根据实际情况采用背景相减法,噪声平均化法去噪,分别提取数据后进行数据融合,反演得到斜程能见度。结果表明:基于侧向激光雷达的联合探测系统,几乎没有盲区,精确度较高。通过联合探测系统反演得到的斜程消光系数及能见度,数据更完整,能更好地体现斜程方向的气溶胶特征。

关键词：侧向激光雷达斜程能见度 CEEMD 改进小波阈值

CEEMD结合改进小波阈值的激光雷达信号去噪算法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

系统工程与电子技术 2023年第1期45卷 93-100页

作者：马愈昭刘逵张岩峰冯帅熊兴隆中国民航大学天津市智能信号与图像处理重点实验室天津300300 中国民航大学工程技术训练中心天津300300

激光雷达远距离回波信号受噪声影响,严重失真。为了有效去除信号的噪声,提高回波信号信噪比,提出一种互补集合经验模态分解(complementary ensemble empirical mode decomposition,CEEMD)结合改进小波阈值的去噪算法。CEEMD可以自适应... 详细信息

激光雷达远距离回波信号受噪声影响,严重失真。为了有效去除信号的噪声,提高回波信号信噪比,提出一种互补集合经验模态分解(complementary ensemble empirical mode decomposition,CEEMD)结合改进小波阈值的去噪算法。CEEMD可以自适应地分解非线性和非平稳信号,改进小波阈值函数具有高阶可导特性,能够克服硬阈值、软阈值函数各自存在的问题。两种方法结合,可以更有效地去除噪声。首先,对回波信号进行CEEMD分解,得到若干固有模态函数(intrinsic mode function,IMF)。其次,通过相关系数法计算IMF分量与信号的相关系数,确定相关分量和不相关分量。最后,对不相关分量使用小波改进阈值法进行去噪,对相关分量使用粗糙惩罚法进行平滑,再重构信号。基于实测数据的实验结果表明,所提算法比CEEMD去噪法和CEEMD结合原改进阈值去噪法,信噪比分别提升了2.65 dB和0.58 dB。

关键词：激光雷达信号处理互补集合经验模态分解小波阈值去噪

在线全文

学校读者我要写书评

暂无评论

多次散射影响的激光雷达斜程能见度反演方法

激光与光电子学进展 2022年第4期59卷 435-442页

作者：熊兴隆王婕刘逵马愈昭中国民航大学天津市智能信号与图像处理重点实验室天津300300

针对低能见度天气条件下的多次散射影响,提出一种根据多次散射激光雷达方程反演斜程能见度的改进方法。首先,根据后向散射峰值拟合散射相函数,采用半解析蒙特卡罗法计算多次散射修正系数m;其次,根据Collis法求解能见度级数值,并将相应m... 详细信息

针对低能见度天气条件下的多次散射影响,提出一种根据多次散射激光雷达方程反演斜程能见度的改进方法。首先,根据后向散射峰值拟合散射相函数,采用半解析蒙特卡罗法计算多次散射修正系数m;其次,根据Collis法求解能见度级数值,并将相应m值代入多次散射激光雷达方程;然后,采用Fernald法反演消光系数,求解斜程能见度;使用激光雷达探测不同能见度等级的雾霾和大雨天气回波信号进行实验验证,对所提拟合方法和常用Henyey-Greenstein(HG)函数方法得到的斜程能见度结果进行比较。结果表明,在雾霾天气条件下斜程能见度的结果相差10.9%,大雨天气条件下,斜程能见度相差5.6%。所提改进方法提高了后向散射激光雷达反演斜程能见度的准确性。

关键词：散射多次散射影响散射相函数半解析蒙特卡罗法后向散射斜程能见度

在线全文

学校读者我要写书评

暂无评论

关于以德治校的思考与实践探究

中华活页文选（教师） 2022年第11期 123-125页

作者：刘逵生环县木钵镇初级中学甘肃省庆阳市

自“以德治国”这一理念提出后,学校肩负着培养建设社会主义人才的使命,怎样才能够切实落实“以德治国”,是学校目前面临的主要问题。所以,理论界近几年对“以德治国”作了大量的学术研究,并在校园治理中引入了“以德治国”这一理念,从... 详细信息

自“以德治国”这一理念提出后,学校肩负着培养建设社会主义人才的使命,怎样才能够切实落实“以德治国”,是学校目前面临的主要问题。所以,理论界近几年对“以德治国”作了大量的学术研究,并在校园治理中引入了“以德治国”这一理念,从具体思路和时间方面入手,对“以德治校”进行了研究,目的是为了加强学校的办学质量。

关键词：以德治校干部建设师德建设校风建设