检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于模糊测试的智能合约正确性检测

计算机工程与应用 2024年第5期60卷 307-320页

作者：王嘉诚蒋佳佳赵佳豪张玉书王良民南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院南京211106 东南大学网络空间安全学院南京211106

智能合约的发展处于初期阶段,底层编程语言和应用平台的不同使得智能合约的设计缺少规范,极易出现漏洞,造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题,提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能... 详细信息

智能合约的发展处于初期阶段,底层编程语言和应用平台的不同使得智能合约的设计缺少规范,极易出现漏洞,造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题,提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能合约内容及规范生成模糊输入,并根据模糊输入在以太坊虚拟机内执行智能合约,监控合约在执行过程中的行为,生成多个日志文件,提取日志文件中的关键信息,对测试用例进行触发测试,从而得到智能合约所包含漏洞的情况,实现正确性检测。在实验过程中,该方法针对416个智能合约中的七类常见漏洞进行了漏洞检测,标记出了19个存在漏洞的智能合约。经过人工审计分析发现,在这19个被标记的不正确智能合约中,有18个智能合约确实存在安全漏洞。实验结果表明所提方法能够以较高的准确率识别智能合约中包含的漏洞,从而检测智能合约的正确性。

关键词：智能合约漏洞检测模糊测试正确性检测以太坊

在线全文

学校读者我要写书评

暂无评论

区块链链下通道研究综述

密码学报（中英文） 2024年第1期11卷 45-66页

作者：刘懿中姜楠陈若楠刘建伟北京航空航天大学网络空间安全学院北京100191 密码科学技术全国重点实验室北京100878

近年来,随着比特币、以太坊等数字货币的流行,区块链也受到了各界广泛关注.然而,区块链的三元(可扩展性、安全性、去中心化)悖论限制了其进一步发展,尤其区块链的可扩展性问题致使其交易速率远低于VISA等中心化服务平台.链下通道作为对... 详细信息

近年来,随着比特币、以太坊等数字货币的流行,区块链也受到了各界广泛关注.然而,区块链的三元(可扩展性、安全性、去中心化)悖论限制了其进一步发展,尤其区块链的可扩展性问题致使其交易速率远低于VISA等中心化服务平台.链下通道作为对区块链的扩展,能够有效提高区块链的可扩展性,增大区块链的适用范围.本文首先研究了区块链可扩展性的影响因素,总结了Layer-1扩容和Layer-2扩容的基本概念,并解释了链下通道的基本流程.其次,根据通道中参与者的数量将其分为双方支付通道和多方支付通道.对于双方支付通道,依据实现原理和功能的不同,又将其分为普通支付通道、基于哈希时间锁的支付通道、虚拟通道、支付通道再平衡等类别.另外,介绍了匿名支付通道.进一步,对于每一类通道,总结了其基本流程,分析了典型案例,并指出其存在的优缺点.最后,从应用、监管、奖惩等层面指出了链下通道的未来发展方向.

关键词：区块链可扩展性链下通道哈希时间锁状态通道

出口结构对轴流式旋风分离器性能影响的数值模拟

在线全文

学校读者我要写书评

暂无评论

安全与环境学报 2024年第2期24卷 759-767页

作者：王锁芳赵浩宇柴金孟郭跃腾张胜南京航空航天大学能源与动力学院南京210016

为探究出口结构对轴流式旋风分离器性能的影响,通过大涡模拟与离散相模型耦合的数值方法,对4种不同出口结构轴流式旋风分离器进行数值模拟研究,同时,引入Omega准则识别内部空间涡结构。结果显示,在轴流式旋风分离器内部,叶片吸力面与导... 详细信息

为探究出口结构对轴流式旋风分离器性能的影响,通过大涡模拟与离散相模型耦合的数值方法,对4种不同出口结构轴流式旋风分离器进行数值模拟研究,同时,引入Omega准则识别内部空间涡结构。结果显示,在轴流式旋风分离器内部,叶片吸力面与导流锥底部形成了叶间通道涡与导流锥尾迹涡,且涡旋速度梯度大,并会将颗粒卷吸到涡核中心,使分离效率降低;楔形与弧形出口结构加剧了涡结构在出口管内破碎的现象,且较直筒型出口的压力损失更低。在弧形出口前设计直线段可减缓型面扩张,即混合型出口可进一步改善弧形出口的流阻与分离性能。总体来看,楔形出口和混合型出口的性能较好,可为轴流式旋风分离器的结构改进提供一定参考。

关键词：环境工程学旋风分离器大涡模拟出口结构分离性能涡结构

商家回复语言风格匹配度对用户评论写作风格的影响

在线全文

学校读者我要写书评

暂无评论

系统管理学报 2024年

作者：王博文王乐潘大鹏张紫琼哈尔滨工业大学经济与管理学院北京航空航天大学杭州创新研究院网络空间安全研究中心浙江工商大学数字创新与全球价值链升级研究中心

数字化平台中评论写作风格在塑造品牌形象和影响购物决策等方面发挥关键作用。然而，商家如何通过制定回复语言策略来影响用户评论写作风格是数字化平台商家互动管理亟待解决的问题。基于交际适应理论，以数字化旅游平台中的用户评论和... 详细信息

数字化平台中评论写作风格在塑造品牌形象和影响购物决策等方面发挥关键作用。然而，商家如何通过制定回复语言策略来影响用户评论写作风格是数字化平台商家互动管理亟待解决的问题。基于交际适应理论，以数字化旅游平台中的用户评论和商家回复数据为研究样本，构建双向固定效应模型来探究商家回复语言风格匹配度对用户评论写作风格的影响。研究结果表明：商家回复与用户评论的语言风格匹配度正向影响后续评论真实型写作风格，负向影响后续评论分析型写作风格；商家声誉对语言风格匹配度与后续评论写作风格的关系具有显著的正向调节作用。揭示了商家回复语言风格匹配度对用户评论写作风格的影响，拓展了数字化平台中商家回复与评论写作风格的相关研究。

关键词：商家回复用户评论写作风格数字化平台交际适应理论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于神经网络的四旋翼无人机安全性分析

控制工程 2024年第4期31卷 617-626,635页

作者：梁惠勇赵振根南京航空航天大学自动化学院江苏南京211106

为了提升无人机系统的安全性,利用前馈神经网络对四旋翼无人机进行安全性分析。首先,针对带有χ^(2)检验异常检测系统的四旋翼无人机,将无人机安全性分析问题转化为带有隐蔽约束的攻击性能优化问题。其次,基于神经网络的正向值传播和逆... 详细信息

为了提升无人机系统的安全性,利用前馈神经网络对四旋翼无人机进行安全性分析。首先,针对带有χ^(2)检验异常检测系统的四旋翼无人机,将无人机安全性分析问题转化为带有隐蔽约束的攻击性能优化问题。其次,基于神经网络的正向值传播和逆向梯度传播机制,提出无人机隐蔽传感器攻击的神经网络算法,并研究了闭环控制下无人机系统的安全性。最后,分别基于开环控制和闭环控制下的无人机系统对所提算法进行验证。实验结果表明,所提算法可以对开环控制和闭环控制下的无人机系统设计出满足要求的隐蔽攻击信号。

关键词：四旋翼无人机神经网络动量梯度下降卡尔曼滤波隐蔽攻击

在线全文

学校读者我要写书评

暂无评论

基于BP神经网络的试飞训练安全性量化模型

航空学报 2024年第5期45卷 409-422页

作者：马菲张琼赖培军岳一笛中国商飞民用飞机试飞中心上海200232 西北工业大学航空学院西安710072 南京航空航天大学民航学院南京210016

为提升试飞员在航空试验飞行过程中的飞行安全、降低试验飞行的风险等级,研究基于BP神经网络的试验飞行训练安全性分级量化分析模型。以人因工程的人、机、环为切入,分析试验飞行训练过程中影响试飞安全的因素,并选取人、试飞训练科目... 详细信息

为提升试飞员在航空试验飞行过程中的飞行安全、降低试验飞行的风险等级,研究基于BP神经网络的试验飞行训练安全性分级量化分析模型。以人因工程的人、机、环为切入,分析试验飞行训练过程中影响试飞安全的因素,并选取人、试飞训练科目及环境三部分重要因素,建立试验飞行训练过程中的安全性分级量化分析指标体系。经人因工程指标量化处理后,由于融合的数据类型相似度较低,因此采用BP神经网络构建试验飞行训练安全性分级量化分析模型,经模型训练、测试后,输出试验飞行训练的安全性分级量化等级。利用定制的接触式采集设备和非接触式面部识别系统,采集试飞员执行试飞科目训练时身体节律数据,分析训练过程中科目复杂度和难度对试飞员心理特征和生理特征的影响,从而建立量化指标和预警指标,以此优化试验飞行训练课程、提高训练品质,保障试飞安全。试验表明,该模型所得试验飞行训练过程中的安全性分级量化模型输出偏差小于2%,模型预测结果与训练过程中实际风险等级基本吻合,可有效地用于试飞训练过程中风险预警,提高试飞员训练品质,为实际试飞安全提供保障。

关键词：人因工程 BP神经网络风险预警试验飞行训练过程分级量化

在线全文

学校读者我要写书评

暂无评论

语义通信安全研究综述

南京信息工程大学学报 2024年

作者：施继婷曾维昊张骞允刘凯歌秦志金李树锋北京航空航天大学网络空间安全学院清华大学电子工程系中国传媒大学媒体融合与传播国家重点实验室

随着人工智能技术与无线通信领域的深度融合，作为一种新兴的通信模式，语义通信聚焦于语义层面的信息传输与交互，凭借其独特优势，显著提升了通信的精确性和可靠性。在低时延、高流通密度的通信应用场景中，语义通信技术突破了传统基... 详细信息

随着人工智能技术与无线通信领域的深度融合，作为一种新兴的通信模式，语义通信聚焦于语义层面的信息传输与交互，凭借其独特优势，显著提升了通信的精确性和可靠性。在低时延、高流通密度的通信应用场景中，语义通信技术突破了传统基于经典信息论的语法通信，为无线通信领域提供了新范式，拓宽了现代通信技术的应用范畴。目前，语义通信技术的发展尚处于起步阶段，其在应用过程中面临的安全问题尚未得到系统梳理和全面分析。为进一步推动语义通信技术的发展与应用，首先对语义通信系统中存在的各类安全威胁进行了分类阐述；然后，详细介绍了语义通信系统中模型安全和数据安全的研究现状；最后，总结了语义通信安全研究所面临的挑战，并对未来发展趋势进行了展望。

关键词：语义通信数据安全隐私保护无线通信安全

基于距离泛化的(α，β)-core高效分解算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机科学 2024年

作者：张毅豪华征宇袁龙张帆王凯陈紫南京航空航天大学计算机科学与技术学院南京理工大学计算机科学与工程学院广州大学网络空间安全学院上海交通大学安泰经济与管理学院

(α，β)-core分解作为图数据管理与分析研究中的热点问题，已经被广泛应用于电商欺诈检测和兴趣群组推荐等实际场景中。然而现有(α，β)-core在模型构建时仅考虑顶点距离为1邻居，难以刻画出二部图社区中的细粒度信息。针对此问题，... 详细信息

(α，β)-core分解作为图数据管理与分析研究中的热点问题，已经被广泛应用于电商欺诈检测和兴趣群组推荐等实际场景中。然而现有(α，β)-core在模型构建时仅考虑顶点距离为1邻居，难以刻画出二部图社区中的细粒度信息。针对此问题，提出了基于距离泛化的(α，β， h)-core模型，即由二部图中两个不相交的顶点集构成一个最大子图，满足一个集合里的任何一个顶点至少有α个与它的距离不大于h的邻居顶点，另一个集合里的任何一个顶点至少有β个与它的距离不大于h的邻居顶点。通过引入距离为h的邻居，解决了(α，β)-core模型细粒度刻画能力不足的问题。但是，由于新模型需要考虑的距离不大于h的邻居，(α，β， h) -core分解变得更为困难。为此，提出了基于计算共享的分解策略，据此设计了高效的(α，β， h)-core分解算法，并分析了算法性能。考虑到确定距离不大于h的邻居顶点非常耗时，还提出一种(α，β， h)-core下界以减少重复计算距离不大于h的邻居顶点，进一步提高计算效率。在8个真实图数据上的对比实验结果验证了新模型的有效性和算法的高效性。

关键词：二部图 (α，β， h)-core分解高效算法

基于自由空间光的无人机通信网络关键技术与发展趋势

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子与信息学报 2024年第6期46卷 2311-2322页

作者：冯斯梦赵一迪董超吴启晖南京航空航天大学电磁频谱空间认知动态系统工业和信息化部重点实验室南京211106

在当前电磁频谱拥堵和无线电干扰严重的情况下,基于自由空间光(FSO)的无人机(UAV)通信网络作为推进空天地一体化进程的重要一环,得到了学术界和工业界的广泛关注。与传统射频通信相比,FSO通信具有高数据传输速率、低时延和高安全性等优... 详细信息

在当前电磁频谱拥堵和无线电干扰严重的情况下,基于自由空间光(FSO)的无人机(UAV)通信网络作为推进空天地一体化进程的重要一环,得到了学术界和工业界的广泛关注。与传统射频通信相比,FSO通信具有高数据传输速率、低时延和高安全性等优势。然而,FSO链路易受大气信道条件影响,同时UAV高移动性、网络高动态性以及机载资源的有限性给FSO的稳定连接与可靠通信带来了巨大挑战。因此,该文在介绍了FSO传输特性的基础上,着重分析了提升基于FSO的UAV通信网络稳定性与通信质量的关键技术,在此基础上,归纳出高可靠、强智能、长续航的发展趋势,以期为基于FSO的UAV通信网络发展提供参考与借鉴。

关键词：空天地一体化无人机通信网络自由空间光通信