检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种利用非确定规划的LTL合成方法

软件学报 2022年第8期33卷 2769-2781页

作者：陆旭于斌田聪段振华西安电子科技大学计算机科学与技术学院陕西西安710071 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 陕西西安710071

LTL合成(linear temporal logic synthesis)是程序合成(program synthesis)的一类重要子问题,旨在自动构建一个控制器(controller),且要求该控制器和环境(environment)的行为交互满足给定的LTL公式.一般来说,可以将LTL合成定义为二人博... 详细信息

LTL合成(linear temporal logic synthesis)是程序合成(program synthesis)的一类重要子问题,旨在自动构建一个控制器(controller),且要求该控制器和环境(environment)的行为交互满足给定的LTL公式.一般来说,可以将LTL合成定义为二人博弈(two-player game)问题,博弈的双方是环境和控制器,该问题的解称为合成策略.近年来,有研究从理论角度讨论了LTL合成与非确定规划(non-deterministicplanning)的相关性.基于此,提出了一种新的利用非确定规划求解LTL合成问题的方法,并证明了方法的正确性和完备性.具体而言,首先获得LTL公式对应的Büchi自动机,结合二人博弈定义,将LTL合成问题转换为完全可观测的非确定规划模型;然后交由高效规划器求解.通过实验结果说明:与其他LTL合成方法相比,提出的基于规划的合成方法在解质量方面具有较大的优势,能够获得规模较小的合成策略.

关键词：二人博弈 Büchi自动机 LTL合成非确定规划

在线全文

学校读者我要写书评

暂无评论

一种采用复合中继激励的协作下行传输机制

电子与信息学报 2017年第6期39卷 1291-1297页

作者：李钊蔡沈锦西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071

为了解决现有中继激励机制中长期回报存在不确定性,以及即时回报导致资源利用效率降低的问题,该文针对协作下行通信系统提出一种复合中继激励机制(CCRI)。首先利用链路不平衡产生的瓶颈,将第1跳链路超过第2跳的数据速率部分作为即时回报... 详细信息

为了解决现有中继激励机制中长期回报存在不确定性,以及即时回报导致资源利用效率降低的问题,该文针对协作下行通信系统提出一种复合中继激励机制(CCRI)。首先利用链路不平衡产生的瓶颈,将第1跳链路超过第2跳的数据速率部分作为即时回报,用于中继节点自身数据的传输;同时针对即时回报量不足,过量或瓶颈存在于第1跳导致即时回报失效的情况,采用基于比例公平的长期回报作为补充,进一步调整中继节点的调度权重。仿真结果表明,所提机制能够给予中继节点合理的回报,并实现系统频谱效率和生存时间,以及中继能量效率的改善。

关键词：协作通信中继激励用户调度能量效率

基于单向注入垂直腔面发射激光器系统的密钥分发

在线全文

学校读者我要写书评

暂无评论

物理学报 2018年第20期67卷 350-358页

作者：张浩郭星星项水英西安电子科技大学通信工程学院综合业务网国家重点实验室西安710071

随机源对于信息理论安全的密钥分发至关重要,本文提出了一种基于单向注入垂直腔面发射激光器系统的密钥分发方案.首先基于单向注入的方式产生无时延特征的激光混沌信号,并通过单向注入驱动两个从激光器产生带宽增强的混沌同步信号.然后... 详细信息

随机源对于信息理论安全的密钥分发至关重要,本文提出了一种基于单向注入垂直腔面发射激光器系统的密钥分发方案.首先基于单向注入的方式产生无时延特征的激光混沌信号,并通过单向注入驱动两个从激光器产生带宽增强的混沌同步信号.然后经过采样、量化以及异或等后处理,生成密钥流.数值仿真结果表明,在单阈值情况下,合法用户之间的误比特率低至1%左右,合法用户与窃听者之间的误比特率都高于10%;在双阈值情况下,误比特率可以低至10^(-6).最后,对生成的密钥流进行了NIST随机性测试.该方案有效地增强了密钥分发的安全性.

关键词：垂直腔面发射激光器密钥分发保密通信混沌同步

在线全文

学校读者我要写书评

暂无评论

一种多尺度三维卷积的视频超分辨率方法

西安电子科技大学学报 2021年第5期48卷 8-14页

作者：詹克羽孙岳李颖西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

视频超分辨率技术可由低分辨率视频获得高分辨率视频,有效提升视频的显示效果。与单幅图像超分辨率不同,如何利用相邻视频帧之间的信息在视频超分辨率中则显得十分重要。为改善视频超分辨率重建的性能,充分利用视频帧的时间-空间相关性... 详细信息

视频超分辨率技术可由低分辨率视频获得高分辨率视频,有效提升视频的显示效果。与单幅图像超分辨率不同,如何利用相邻视频帧之间的信息在视频超分辨率中则显得十分重要。为改善视频超分辨率重建的性能,充分利用视频帧的时间-空间相关性,提出一种基于多尺度三维卷积的视频超分辨率模型。该模型输入连续的多帧视频图像,输出中间帧的超分辨率重建结果,包括多尺度特征提取、特征融合以及高分辨率重建3个模块。首先,使用多尺度的三维卷积进行初步特征提取;然后,使用三维卷积残差结构进行特征融合,并将特征图进行通道分离,在融合不同尺度的特征时,有效地减少了网络的参数量;最后,使用多个残差密集连接块和亚像素卷积进行高分辨率重建,并结合全局残差连接得到重建的高分辨率视频图像。Vid4数据集上3倍和4倍超分辨率放大的实验结果表明,与其他已有方法相比,该方法可有效提升峰值信噪比和结构相似性性能,取得较好的视觉效果。

关键词：视频超分辨率三维卷积残差网络时间-空间相关性

无TTP带权重的多所有者RFID标签认证协议

在线全文

学校读者我要写书评

暂无评论

西安电子科技大学学报 2021年第1期48卷 133-140,159页

作者：范美月董庆宽王蕾杨灿西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

针对多所有者对标签的认证问题,提出了一种无可信第三方带权重的多所有者射频识别标签认证协议。协议采用Shamir秘密共享门限方案来管理密钥,采用基于哈希函数产生的密钥流对消息进行加密,既实现了所有阅读器对标签的认证,也实现了标签... 详细信息

针对多所有者对标签的认证问题,提出了一种无可信第三方带权重的多所有者射频识别标签认证协议。协议采用Shamir秘密共享门限方案来管理密钥,采用基于哈希函数产生的密钥流对消息进行加密,既实现了所有阅读器对标签的认证,也实现了标签对所有阅读器的认证。本协议中无须可信第三方参与,且能实现密钥更新和抵抗去同步攻击,相比于同类协议更为简洁高效。通过BAN逻辑的形式化分析证明了该协议满足双向认证。安全性分析表明,该协议满足抗重放攻击、抗去同步攻击、前向安全性、不可追踪性、机密性以及抗拒绝服务攻击等安全特性。

关键词：射频识别多所有者射频识别认证秘密共享 BAN逻辑

在线全文

学校读者我要写书评

暂无评论

一种生成对抗网络的遥感图像去云方法

西安电子科技大学学报 2021年第5期48卷 23-29页

作者：王军军孙岳李颖西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

遥感图像在获取过程中会受到气候等因素的影响,导致得到的图像包含云层信息,在很大程度上影响了遥感图像的后续使用。基于深度学习的图像去云方法可以较好地移除云层,但已有方法存在训练时间长,去云效果不充分和颜色失真等问题。针对这... 详细信息

遥感图像在获取过程中会受到气候等因素的影响,导致得到的图像包含云层信息,在很大程度上影响了遥感图像的后续使用。基于深度学习的图像去云方法可以较好地移除云层,但已有方法存在训练时间长,去云效果不充分和颜色失真等问题。针对这些问题,提出了一种端到端生成,对抗网络模型对遥感图像去云,可以从含有云层的遥感图像中恢复出清晰的原始图像。首先,使用U-Net网络作为生成器的主要结构,并在编码模块和解码模块中间加入连续记忆残差模块来挖掘输入信息的深度特征;然后,使用卷积神经网络作为判别器来判别输入数据的真伪;最后,联合对抗性损失函数和L1损失函数,通过计算网络模型的输出与真实数据之间的差距,来衡量网络模型预测的优劣。实验结果表明,该方法在定量指标(峰值信噪比和结构相似性)和运行时间上均优于现有的去云方法,并且在参数量一致的条件下,计算量GFLOPs最低,具有更低的算法复杂度。此外,该方法得到的遥感图像细节信息更丰富,颜色几乎没有失真,具有更好的主观视觉效果。

关键词：遥感图像图像去云生成对抗网络连续记忆残差

非正交多址接入下行链路用户匹配与功率优化算法

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2017年第8期39卷 1804-1811页

作者：李钊戴晓琴陈柯宇肖丽媛西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071

该文针对应用非正交多址接入(NOMA)技术的多输入多输出(MIMO)下行通信系统,在考虑误差传播进行理论分析的基础上,提出一种基于距离和空间相关度的用户匹配准则,并对基站的发射功率分配进行优化。仿真结果表明,所提方法能够在提高系统可... 详细信息

该文针对应用非正交多址接入(NOMA)技术的多输入多输出(MIMO)下行通信系统,在考虑误差传播进行理论分析的基础上,提出一种基于距离和空间相关度的用户匹配准则,并对基站的发射功率分配进行优化。仿真结果表明,所提方法能够在提高系统可容纳用户数的同时保证好的系统的和速率性能。

关键词：非正交多址接入相关度用户匹配功率优化

在线全文

学校读者我要写书评

暂无评论

基于云的轻量级RFID群组标签认证协议

计算机科学 2019年第1期46卷 182-189页

作者：李璐璐董庆宽陈萌萌西安电子科技大学综合业务网国家重点实验室西安710071

射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的... 详细信息

射频识别技术(Radio Frequency Identification,RFID)作为物联网中标识物品的关键技术,其因低成本、易携带等优势而得到了广泛的应用。基于云存储的RFID技术相较于传统RFID技术更具有应用市场,但其安全隐私问题也更为严重。另外,现有的很多群组标签认证协议不仅不符合轻量级要求,还具有密钥失同步的问题。文中提出一种基于云的轻量级RFID群组标签认证协议。该协议基于Hash函数而设计,它不仅解决了上述安全隐患,还能在群组认证过程中筛除无效标签和假冒标签。最后,利用BAN逻辑对该协议进行了分析。安全目标分析表明,该协议可以抗多重DOS攻击以及其他基本攻击,并满足前向安全性。

关键词：云数据库 RFID 轻量级认证协议群组认证 BAN逻辑

在线全文

学校读者我要写书评

暂无评论

自适应分箱特征选择的快速网络入侵检测系统

西安电子科技大学学报 2021年第1期48卷 176-182页

作者：刘景美高源伯西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

针对传统入侵检测系统检测率较低、基于深度学习的入侵检测系统训练和检测时间较长的问题,提出基于信息增益的自适应分箱特征选择算法,并将此算法与LightGBM相结合,设计了一种快速网络入侵检测系统。首先对原始数据集进行预处理,将数据... 详细信息

针对传统入侵检测系统检测率较低、基于深度学习的入侵检测系统训练和检测时间较长的问题,提出基于信息增益的自适应分箱特征选择算法,并将此算法与LightGBM相结合,设计了一种快速网络入侵检测系统。首先对原始数据集进行预处理,将数据标准化;然后通过自适应分箱特征选择算法,去除原始数据中的冗余特征和噪声,将原始高维数据降为低维数据,从而提高系统的检测准确率并降低训练和检测时间;最后在经过特征选择的训练集上利用LightGBM进行模型训练,训练出能够检测攻击流量的入侵检测系统。通过在NSL-KDD数据集上验证,提出的特征选择算法在特征选择上仅耗时27.35 s,相比传统算法降低了约96.68%;设计的入侵检测系统在测试集上准确率高达93.32%,且训练时间较短。与现有网络入侵检测系统相比,准确率更高,模型训练速度更快。

关键词：入侵检测特征选择 LightGBM算法信息增益集成学习