检索结果-内蒙古大学图书馆

电子学报 2023年第4期51卷 1006-1020页

作者：马纪涛谢卫莹雷杰方乐缘李云松西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 湖南大学电气与信息工程学院湖南长沙410082

高光谱图像(Hyperspectral Image,HSI)由于其丰富的光谱信息和空间信息,被广泛应用于异常检测任务,在对地观测和深空探测中起到了重要作用.然而,现有的基于密度估计的高光谱异常检测(Hyperspectral Anomaly Detection,HAD)方法存在如下... 详细信息

高光谱图像(Hyperspectral Image,HSI)由于其丰富的光谱信息和空间信息,被广泛应用于异常检测任务,在对地观测和深空探测中起到了重要作用.然而,现有的基于密度估计的高光谱异常检测(Hyperspectral Anomaly Detection,HAD)方法存在如下问题:一是没有联合优化概率密度估计和特征表示这两个不同的目标函数,导致深度神经网络无法学习到更加准确的概率密度函数和包含HSI固有信息的低维表示;二是缺乏高层次空间语义信息与低维流行中光谱信息的自适应融合.此外,随着光谱成像技术的发展,卫星或无人机所获取的HSI的体积越来越大,在遥感大数据的背景下,传统框架处理HSI变得十分困难,给HAD带来了极大的挑战.本文分别从以上问题出发,提出了端到端联合优化的空谱协同自编码密度估计(End-to-End Spectral-Spatial Cooperative Autoencoding Density Esti-mation,E2E-SSCADE)模型.基于二维卷积提取HSI空间特征,融合高光谱图像光谱特征和空间特征的低维表示以及重构误差表示,联合密度估计网络进行端到端的优化,并利用分布式学习实现了大体积高光谱图像的异常检测.实验表明,所提出的E2E-SSCADE可以从光谱向量、空间维度以及重构空间三个角度更深层次地挖掘HSI固有信息的低维表示,构建更加准确的背景模型,在有效分离背景和异常目标的同时,结合分布式学习实现了快速、准确的大体积高光谱图像的异常检测,在6个经典HAD数据集上达到了99.07%的精度和3.41倍的检测速度.实验代码见https://***/majitao-xd/***.

关键词：高光谱异常检测空谱协同估计网络端到端优化分布式学习

来源：评论

学校读者我要写书评

暂无评论

可复用Garbling的注解

引用

密码学报 2023年第5期10卷 936-943页

作者：胡予濮董思越王保仓刘君西安电子科技大学综合业务网理论与关键技术国家重点实验室西安710071

Garbling是一个有着多重应用的密码原语,主要适用于权力受限的场景,比如安全多方计算(MPC)、属性加密(ABE)、函数加密(FE)、不可区分混淆(IO)等等.2013年以前的garbling方案都是一次性garbling,GKP+13和Agr17提出了可复用garbling.我们... 详细信息

Garbling是一个有着多重应用的密码原语,主要适用于权力受限的场景,比如安全多方计算(MPC)、属性加密(ABE)、函数加密(FE)、不可区分混淆(IO)等等.2013年以前的garbling方案都是一次性garbling,GKP+13和Agr17提出了可复用garbling.我们曾经指出,可复用garbling并没有获得新的应用场景,它仍然是一个一次性garbling.本文继续讨论可复用garbling的可用性和效率.本文指出以下两点:(1)即使可复用garbling被当作一次性garbling使用,也常常是不可用的,它只能用于两个基本场景中的基本场景二,不能用于基本场景一.比如,它不能用于安全多方计算(MPC).(2)即使可复用garbling被当作一次性garbling用于基本场景二,没有证据表明它比原来的一次性garbling效率更高.

关键词： garbling 函数加密(FE) 全同态加密(FHE) 属性加密(ABE)

来源：评论

学校读者我要写书评

暂无评论

基于系统成本函数优化的无人机辅助通感一体化系统数据调度、雷达预编码及飞行轨迹优化方法

引用

电子学报 2025年

作者：柴蓉王丙燕孙瑞锦景小荣重庆邮电大学通信与信息工程学院西安电子科技大学综合业务网理论及关键技术国家重点实验室

本文针对多天线无人机（Unmanned Aerial Vehicle,UAV）辅助的通信感知一体化场景，综合考虑目标感知及用户通信性能，定义系统成本函数为系统能耗与用户速率的加权和，将通信感知调度、感知预编码设计以及UAV飞行轨迹优化问题建模为一... 详细信息

本文针对多天线无人机（Unmanned Aerial Vehicle,UAV）辅助的通信感知一体化场景，综合考虑目标感知及用户通信性能，定义系统成本函数为系统能耗与用户速率的加权和，将通信感知调度、感知预编码设计以及UAV飞行轨迹优化问题建模为一个满足约束条件的系统成本函数优化问题.由于所建模优化问题为一个变量高度耦合且非凸的混合整型优化问题，难以直接求解，本文将原优化问题拆分为三个子问题，即UAV飞行轨迹优化子问题、通信感知调度子问题和雷达感知预编码子问题，并提出一种迭代嵌套方法来求解这些子问题.针对UAV飞行轨迹优化子问题，将其建模为马尔可夫决策过程（Markov Decision Process,MDP），并提出一种基于双重深度Q网络的UAV轨迹优化算法.对于给定的MDP系统状态，采用拉格朗日对偶变换方法和二次变换方法求解通信感知调度子问题，并通过引入辅助变量及约束条件等价转换方法求解雷达感知预编码子问题.基于所得到的通信感知调度策略和雷达感知预编码，更新MDP奖励函数，确定UAV飞行轨迹，以迭代实现通信感知调度策略、感知预编码设计及UAV飞行轨迹的联合优化.最后，通过仿真验证了本文所提算法的有效性.

关键词：无人机(UAV) 通信感知一体化数据调度轨迹优化预编码

来源：评论

学校读者我要写书评

暂无评论

两类多重置换阵列码的构造方法

引用

西安电子科技大学学报 2024年第6期51卷 84-90页

作者：王丹孙蓉韩辉西安电子科技大学计算机科学与技术学院陕西西安710071 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

具有高存储密度与良好可靠性的闪存是一种重要的非易失性存储技术。读/写干扰、单元间干扰与电荷泄漏等噪声可能导致闪存数据不能被正确读出而出现删除错误。等级调制方案下置换码/多重置换码等纠错编码技术可以克服闪存中的删除/插入... 详细信息

具有高存储密度与良好可靠性的闪存是一种重要的非易失性存储技术。读/写干扰、单元间干扰与电荷泄漏等噪声可能导致闪存数据不能被正确读出而出现删除错误。等级调制方案下置换码/多重置换码等纠错编码技术可以克服闪存中的删除/插入错误。与置换码相比较,多重置换码可以达到更高的信息存储率。近年来,学者们仅仅研究了纠单个或多个交叉插入/删除错误的几类二元码的构造及译码方法。然而,目前没有纠正交叉插入/删除错误的多重置换阵列码的相关研究工作。针对这一问题,利用置换的交织技术与重复码的思想,提出了纠单个交叉删除错误的平衡多重置换阵列码的两个构造方法,而且在其证明中给出了相应的译码方法。第一个构造方法基于置换的奇偶交织技术来确定码字阵列中被删除列的位置,而第二个构造方法基于LEVENSHTEIN置换码来确定码字阵列中被删除列的位置。而且,与第一个构造方法相比较,第二个构造方法得到的平衡多重置换阵列码可以达到更高的码率。通过实例验证了所提出的平衡多重置换阵列码的两个构造及其相应译码方法的正确性。

关键词：平衡多重置换阵列码交叉删除错误交织技术闪存

来源：评论

学校读者我要写书评

暂无评论

基于少样本学习的区块链地址身份推断方法研究

引用

计算机工程与应用 2024年

作者：陈彦宇黎凯付章杰南京信息工程大学数字取证教育部工程研究中心综合业务网理论及关键技术国家重点实验室

由于区块链的匿名性，钓鱼诈骗、黑客攻击等安全威胁层出不穷，造成了巨大经济损失。区块链身份推断可有效分析匿名地址的交易行为特征，推断地址的身份类型，以加强区块链监管治理。现有的身份推断模型大多依赖大量标记样本进行训练，... 详细信息

由于区块链的匿名性，钓鱼诈骗、黑客攻击等安全威胁层出不穷，造成了巨大经济损失。区块链身份推断可有效分析匿名地址的交易行为特征，推断地址的身份类型，以加强区块链监管治理。现有的身份推断模型大多依赖大量标记样本进行训练，但是现实中往往难以获取足量的标签地址，对于少量标签的身份类型的检测能力不足。因此，本文首次提出在少样本环境下的进行区块链地址身份推断，提出了基于少样本学习的区块链地址身份推断方案。首先，为了实现对交易图的深入特征提取，设计了改进的三元组损失函数，该函数在嵌入空间中有效聚集同类样本，同时分离异类样本，显著提升了特征嵌入表示在不同身份类型间的区分度。其次，本文创新性的提出了一种基于距离加权的原型网络，能够根据样本与均值中心的距离动态调整注意力权重，有效减少异常值和噪声值的干扰，增强类原型计算的准确性。最后，使用度量学习模块将每个样本与各类原型进行距离度量来得到最终的预测结果。这些改进不仅提升了模型在少样本条件下的性能，还增强了模型对未知身份类型推断的泛化能力。实验结果表明，该模型在真实以太坊的交易数据集上测试取得了优异性能，证明了方法的有效性。

关键词：区块链以太坊少样本学习身份推断

来源：评论

学校读者我要写书评

暂无评论

水下光学图像重建方法研究进展

引用

中国图象图形学报 2022年第5期27卷 1337-1358页

作者：王柯俨黄诗芮李云松西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071

水下光学图像可以提供直观丰富的海洋信息,近年来在海洋资源开发、环境保护和海洋工程等诸多领域发挥越来越重要的作用。但是受恶劣复杂的水下成像环境影响,水下光学图像普遍存在对比度低、图像模糊以及颜色失真等质量退化问题,严重制... 详细信息

水下光学图像可以提供直观丰富的海洋信息,近年来在海洋资源开发、环境保护和海洋工程等诸多领域发挥越来越重要的作用。但是受恶劣复杂的水下成像环境影响,水下光学图像普遍存在对比度低、图像模糊以及颜色失真等质量退化问题,严重制约水下智能处理系统的性能和应用。如何清晰地重建水下光学图像是国内外广泛关注的、具有挑战性的难点问题。随着深度学习技术的蓬勃发展,利用深度学习来提升水下图像质量成为当前的研究热点。鉴于目前国内在水下光学图像重建方面的研究综述较少,本文全面综述其研究进展。分析了水下图像退化机理,总结了现有水下成像模型以及水下图像重建的挑战;梳理了水下光学图像重建方法的发展历程,根据是否采用深度学习以及是否基于成像模型,将现有方法分为4大类,并按照研究发展顺序,依次介绍4类方法的基本思想,分析其优缺点;归纳了目前公开的水下图像数据集以及常用的水下图像质量评价方法,并对8种典型的水下图像重建方法进行了性能评测和对比分析;总结了该领域目前仍存在的问题,展望了后续研究方向,以便于相关研究人员了解该领域的研究现状,促进该领域的技术发展。

关键词：水下图像退化深度学习图像增强图像复原水下数据集水下图像质量评价

来源：评论

学校读者我要写书评

暂无评论

对一种白盒SM4方案的差分计算分析

引用

软件学报 2023年第8期34卷 3891-3904页

作者：原梓清陈杰综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 陕西西安710071 广西密码学与信息安全重点实验室(桂林电子科技大学) 广西桂林541004

传统密码算法的安全性建立在黑盒攻击模型下.在这种攻击模型下,攻击者只能获取密码算法的输入输出,而无法得知密码算法运行时的内部细节.近年来白盒攻击模型的概念被提出.在白盒攻击模型下,攻击者既可以获取密码算法的输入输出,也可以... 详细信息

传统密码算法的安全性建立在黑盒攻击模型下.在这种攻击模型下,攻击者只能获取密码算法的输入输出,而无法得知密码算法运行时的内部细节.近年来白盒攻击模型的概念被提出.在白盒攻击模型下,攻击者既可以获取密码算法的输入输出,也可以直接观测或更改密码算法运行时的内部数据.为保证已有密码算法在白盒攻击环境下的安全性,在不改变其功能的基础上通过白盒密码技术对其进行重新设计被称为已有密码算法的白盒实现.研究白盒实现方案的设计与分析对于解决数字版权管理问题具有重要意义.近年来,出现了一类针对白盒实现方案的旁信道分析方法.这类分析手段只需要知道很少白盒实现方案的内部细节,却可以提取到密钥,因此是一类对现有白盒实现方案具有实际威胁的分析手段.对现有白盒实现方案进行此类分析对于确保方案安全性具有重要现实意义.此类分析方法中的典型代表是基于差分功耗分析原理的差分计算分析.基于差分计算分析,对白-武白盒SM4方案进行了安全性分析.基于对GF(2)上n阶均匀随机可逆矩阵统计特征的研究结果,提出了一种改进型差分计算分析(IDCA),可以在分析成功率几乎不变的前提下显著提升分析效率.结果表明,白-武白盒SM4方案在面对差分计算分析时不能保证安全性,必须对其进行进一步改进使之满足实际应用场景下的安全性需求.

关键词：白盒密码白盒实现 SM4算法旁信道分析差分计算分析

来源：评论

学校读者我要写书评

暂无评论

Streett自动机确定化工具

引用

软件学报 2023年第8期34卷 3659-3673页

作者：王文胜田聪段振华西安电子科技大学计算理论与技术研究所陕西西安710071 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 陕西西安710071

自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS,CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究... 详细信息

自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS,CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Streett自动机的确定化.非确定性Streett自动机可以转换为等价的确定性Rabin或Parity自动机,在前期工作中已经分别得到了状态复杂度最优以及渐进最优算法,为了验证提出的算法的实际效果,也为了形象地展示确定化过程,开发一款支持Streett自动机确定化的工具是必要的.首先介绍4种不同的Streett确定化结构:μ-Safra tree和H-Safra tree(最优)将Streett确定化为Rabin自动机,compact Streett Safra tree和LIR-H-Safra tree(渐进最优)将Streett确定化为Parity自动机;然后,根据Streett确定化算法,基于开源工具GOAL(graphical tool for omega-automata and logics),实现了Streett确定化工具NS2DR&PT,以支持上述4种结构;最后,通过随机生成100个Streett自动机,构造相应的测试集,进行对比实验,结果表明各结构状态复杂度的实际效果与理论论证一致,此外,对运行效率也进行了比较分析.

关键词： Streett自动机确定化 Rabin自动机 Parity自动机工具

来源：评论

学校读者我要写书评

暂无评论

基于约束依赖图的并发程序模型检测工具

引用

软件学报 2023年第7期34卷 3064-3079页

作者：苏杰杨祖超田聪段振华西安电子科技大学计算机理论与技术研究所陕西西安710071 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 陕西西安710071

模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技... 详细信息

模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技术缩小并发程序探索空间.针对粗糙的独立性分析会显著增加需探索的等价类路径问题,开发了一款可细化线程迁移依赖性分析的并发程序模型检测工具CDG4CPV.首先,构造了待验证可达性性质对应的规约自动机;随后,根据线程迁移边的类型和共享变量访问信息构建约束依赖图;最后,利用约束依赖图剪裁控制流图在展开过程中的独立可执行分支.在SV-COMP 2022竞赛的并发程序数据集上进行了对比实验,并对工具的效率进行比较分析.实验结果表明,该工具可以有效地提升并发程序模型检测的效率.特别是,与基于BDD的程序分析算法相比,该工具可使探索状态数目平均减少91.38%,使时间和空间开销分别平均降低86.25%和69.80%.

关键词：约束依赖图偏序约简并发程序模型检测工具

来源：评论

学校读者我要写书评

暂无评论

考虑APD的部分相干光OFDM-UWOC系统性能

引用

西安电子科技大学学报 2023年第1期50卷 58-65页

作者：宋亚童李爽李刚刚顾士忠王平郭立新西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 西安电子科技大学物理学院陕西西安710071

对于实际的水下无线光通信系统,系统误码性能主要受到海洋湍流和接收机噪声的制约。考虑散粒噪声和热噪声的影响,对弱海洋湍流环境下基于雪崩光电二极管的部分相干光辅助OFDM-UWOC系统的误码性能进行了分析。研究中利用波束扩展函数建... 详细信息

对于实际的水下无线光通信系统,系统误码性能主要受到海洋湍流和接收机噪声的制约。考虑散粒噪声和热噪声的影响,对弱海洋湍流环境下基于雪崩光电二极管的部分相干光辅助OFDM-UWOC系统的误码性能进行了分析。研究中利用波束扩展函数建立了吸收、散射、未对准和海洋湍流共同影响下的聚合信道衰落模型,进而分别导出不同噪声限制下的系统平均误码率理论表达式。受散粒噪声限制时,研究了接收机噪声温度、平均接收光强及雪崩光电二极管雪崩增益值的大小对系统可靠性的影响;受热噪声限制时,给出了部分相干光特征参数和海洋湍流特性参数对该系统可靠性的影响。结果表明,对于雪崩光电二极管而言,接收机温度和平均接收光强大小都会在一定程度上影响系统误码性能。因此,通过选择合适的雪崩光电二极管雪崩增益值,能够在一定程度上提升该OFDM-UWOC系统的误码性能。此外,部分相干光和海洋湍流的变化会对系统的误码性能产生影响。

关键词：水下无线光通信部分相干光雪崩光电二极管波束扩展函数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：