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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于分布式爬虫的高性能Tor网络内容监控系统

引用

信息安全学报 2023年第1期8卷 144-153页

作者：郑献春王瑞闫皓楠赵兴文李晖李凤华西安电子科技大学网络与信息安全学院西安710126 综合业务网理论及关键技术国家重点实验室西安电子科技大学西安710071 信息安全国家重点实验室中国科学院信息工程研究所北京100093 中国科学院大学网络空间安全学院北京100049

随着网络的发展和普及,人们对于安全性、匿名性、反审查等信息安全的需求快速增强,越来越多的人开始关注和研究Tor匿名通信网络。目前针对Tor网络内容监控的研究工作大部分存在功能少、性能弱等劣势,如缺乏为暗网设计的专用爬虫,网络连... 详细信息

随着网络的发展和普及,人们对于安全性、匿名性、反审查等信息安全的需求快速增强,越来越多的人开始关注和研究Tor匿名通信网络。目前针对Tor网络内容监控的研究工作大部分存在功能少、性能弱等劣势,如缺乏为暗网设计的专用爬虫,网络连接速度较慢,本文设计开发了一套综合性的Tor网络内容动态感知及情报采集系统,包含数据采集爬虫以及网页内容分类两个部分。其中爬虫部分使用了分布式架构,包括了任务管理模块、爬虫调度模块、网页下载模块、页面解析模块、数据存储模块,同时创新性地优化了Tor连接链路以提高爬取速度和稳定性;网页内容分类部分使用了自然语言处理技术,建立训练模型并对抓取到的信息进行精准高效分类,解决分类的准确度和复杂性问题,最后根据结果分析暗网的内容结构和敏感信息。我们也相应地为保障系统运行设计了容错模块和预警模块,从而对系统各个组件的当前状态进行实时监控,并将系统的状态数据进行整合、收集和展示。最后我们将该系统放到了实际Tor网络环境中进行了测试,从系统网页爬取效果、内容分类效果及系统性能等三方面进行了评估和分析,并与国内外7中现有的框架的功能进行了对比,证明本文提出的方案在暗网域名、网页、数据爬取的量级和速度性能方面均为最佳。

关键词：洋葱路由暗网爬虫自然语言处理

来源：评论

学校读者我要写书评

暂无评论

可验证的属性基定时签名方案及其应用

引用

软件学报 2023年第5期34卷 2465-2481页

作者：侯慧莹宁建廷黄欣沂赵运磊复旦大学计算机科学技术学院上海200433 福建省网络安全与密码技术重点实验室(福建师范大学) 福建福州350007 福建师范大学计算机与网络空间安全学院福建福州350007 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 综合业务网络国家重点实验室(西安电子科技大学) 陕西西安710071

可验证定时签名(VTS)方案允许在给定的时间内对已知消息上的签名进行锁定,在执行时间为T的顺序计算后,任何人都可从时间锁(time-lock)中提取出该签名.可验证性保证了在无需解开时间锁的情况下,任何人都可以公开地验证时间锁中是否包含... 详细信息

可验证定时签名(VTS)方案允许在给定的时间内对已知消息上的签名进行锁定,在执行时间为T的顺序计算后,任何人都可从时间锁(time-lock)中提取出该签名.可验证性保证了在无需解开时间锁的情况下,任何人都可以公开地验证时间锁中是否包含已知消息上的合理签名,且可以在执行时间T的顺序计算后获得该签名.提出了可验证的属性基定时签名(verifiable attribute-based timed signatures,VABTS)概念,并给出了一个可撤销和可追溯的VABTS方案(RT-VABTS)的具体构造.RT-VABTS方案可同时支持签名者身份隐私保护、动态的用户撤销、可追溯性和定时性,并能解决属性基密码中的密钥托管问题.VABTS具有非常广阔的应用前景,特别列举了VABTS的两种应用场景:构建准入区块链中隐私保护的支付通道网络和实现公平的隐私多方计算.最后,通过形式化的安全性分析和性能评估证明实例化的RT-VABTS方案是安全且高效的.

关键词：定时签名属性基签名隐私保护可追溯性支付通道网络

来源：评论

学校读者我要写书评

暂无评论

基于随机时变图的时间确定性网络路由算法

引用

通信学报 2021年第9期42卷 21-30页

作者：王鹏张修社索龙史可懿西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 中国电子科技集团公司第二十研究所陕西西安710071

针对天地一体化网络环境中网络时变性和业务时延确定性保障之间的矛盾,构建了随机时变图模型,并基于该模型提出了时间确定性网络路由算法。首先,将空间信息网络最大概率时延保障路由计算问题建模为非线性规划问题。为解决该问题,提出了... 详细信息

针对天地一体化网络环境中网络时变性和业务时延确定性保障之间的矛盾,构建了随机时变图模型,并基于该模型提出了时间确定性网络路由算法。首先,将空间信息网络最大概率时延保障路由计算问题建模为非线性规划问题。为解决该问题,提出了随机时变图模型,联合表征了由业务随机性导致的链路、存储与时间资源的随机特征,并且表征了存储与链路资源的关联关系,为链路资源利用率的提升与业务的时间确定性保障提供了模型基础;在此基础上,提出了时间复杂度为O(n2)的最大概率时延保障的路由算法,并证明了该算法的最优性。

关键词：随机时变图时间确定性路由最大概率时延保障时间确定性网络天地一体化网络

来源：评论

学校读者我要写书评

暂无评论

空地协同场景下通信干扰智能识别方法

引用

电子与信息学报 2022年第3期44卷 825-834页

作者：刘明骞高晓腾李明朱守中西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071 中国电子科技集团有限公司第五十四研究所石家庄050050 中国电子信息产业集团有限公司国营第七二二厂桂林541001 长沙无源定位工程技术研究院长沙410008

针对现有通信干扰智能识别方法在小样本条件下识别精度低、网络模型欠拟合的问题,并形成通信干扰识别的空中与地面布设能力,该文提出一种空地协同场景下基于孪生网络的通信干扰智能识别方法。首先在空中无人机与地面设备之间构建空地协... 详细信息

针对现有通信干扰智能识别方法在小样本条件下识别精度低、网络模型欠拟合的问题,并形成通信干扰识别的空中与地面布设能力,该文提出一种空地协同场景下基于孪生网络的通信干扰智能识别方法。首先在空中无人机与地面设备之间构建空地协同的通信干扰认知架构,并通过提取所接收的通信干扰信号的时频图、分数阶傅里叶变换和星座图,对通信干扰信号进行智能表征,以作为网络的输入。然后搭建基于密集连接网络的网络结构,并设计双输入权值共享的孪生网络。最后,利用随机样本对孪生网络进行训练,并通过孪生单边网络构建基准通信干扰类型特征库进而实现通信干扰的智能识别。该方法通过度量两个样本之间的特征距离来判断样本的相似性,并通过相似度度量扩大了训练样本数量并训练了孪生网络模型。仿真结果表明,所提方法不但在较小数据集的条件下可有效地实现通信干扰的智能识别,而且相比现有的智能识别方法,所提方法的识别性能显著提升。

关键词：通信干扰空地协同孪生网络智能识别小样本学习

来源：评论

学校读者我要写书评

暂无评论

基于正交时频空技术的低轨卫星通信的安全分析

引用

通信学报 2021年第8期42卷 25-32页

作者：李赞胡俊凡李兵石嘉司江勃西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安 710071 陕西省电子技术研究所陕西西安 710032

为了提高低轨卫星下行通信系统的安全性能,引入协作无人机干扰机向窃听者发送干扰信号.为了弥补现有频偏补偿方法的不足,下行传输基于正交时频空技术,将时变频选信道转换为时延多普勒域中近似非衰落的信道,以应对低轨卫星高移动性带来... 详细信息

为了提高低轨卫星下行通信系统的安全性能,引入协作无人机干扰机向窃听者发送干扰信号.为了弥补现有频偏补偿方法的不足,下行传输基于正交时频空技术,将时变频选信道转换为时延多普勒域中近似非衰落的信道,以应对低轨卫星高移动性带来的严重多普勒效应.采用阶矩匹配的方法,求得阴影莱斯分布星地信道叠加和的概率分布函数,进而推导出合法接收端安全中断概率的闭式解.仿真结果验证了相对于正交频分复用方案,采用无人机干扰机可以有效增强保密传输能力,以及应用正交时频空方案对提高下行低轨卫星通信的安全性能的优势.

关键词：正交时频空技术低轨卫星通信物理层安全无人机协作

来源：评论

学校读者我要写书评

暂无评论

基于多残差网络的结构保持超分辨重建

引用

模式识别与人工智能 2021年第3期34卷 232-240页

作者：张铭津彭晓琪郭杰李云松王楠楠高新波西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071 中国科学院西安光学精密机械研究所中国科学院光谱成像技术重点实验室西安710119 重庆邮电大学图像认知重庆市重点实验室重庆400065

针对图像超分辨率重建中几何结构扭曲和细节缺失等问题,文中提出基于多残差网络的结构保持超分辨重建算法.在小波变换域和梯度域上进行深度学习.文中算法包含3种残差网络.残差梯度网络用于结构及边缘信息的重建.残差小波变换网络从整体... 详细信息

针对图像超分辨率重建中几何结构扭曲和细节缺失等问题,文中提出基于多残差网络的结构保持超分辨重建算法.在小波变换域和梯度域上进行深度学习.文中算法包含3种残差网络.残差梯度网络用于结构及边缘信息的重建.残差小波变换网络从整体上进行图像高频信息的重建.残差通道注意力网络通过调整网络注意力,着重学习重要的通道特征,从局部恢复图像高频信息,提高重建效率.实验表明,文中算法在定量结果和视觉效果方面均取得较优表现.

关键词：超分辨率重建深度学习多残差网络结构保持

来源：评论

学校读者我要写书评

暂无评论

基于信道模糊关联识别的NLOS测距误差补偿算法

引用

北京邮电大学学报 2020年第1期43卷 21-27页

作者：李晓辉杜洋帆石潇竹杨胥中国电子科技集团公司第二十八研究所空中交通管理系统与技术国家重点实验室南京210007 西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071

针对NLOS测距存在误差的问题,提出一种基于信道模糊关联识别的NLOS测距误差补偿算法.根据先验信道特征参数分布信息构造信道特征参数模糊隶属矩阵,并利用灰色关联分析方法计算归一化权值矩阵,进而获得模糊综合评价矩阵来对信道环境进行... 详细信息

针对NLOS测距存在误差的问题,提出一种基于信道模糊关联识别的NLOS测距误差补偿算法.根据先验信道特征参数分布信息构造信道特征参数模糊隶属矩阵,并利用灰色关联分析方法计算归一化权值矩阵,进而获得模糊综合评价矩阵来对信道环境进行识别.在此基础上,根据信道识别结果构建Huber代价函数,通过Huber线性回归方法对原始测距结果进行迭代重构,将重构结果作为Kalman滤波的测量值进行滤波.仿真结果表明,所提算法可以有效提高NLOS环境下的测距精度,在信噪比大于-2 dB时可以达到厘米级测距精度.

关键词：非视距信道识别模糊综合评判 Huber线性回归

来源：评论

学校读者我要写书评

暂无评论

天地一体化网络分散式算力路由控制策略

引用

指挥与控制学报 2022年第4期8卷 451-459页

作者：李洪钧任保全巩向武国晓博任智源军事科学院系统工程研究院系统总体研究所北京100101 军事科学院系统工程研究院网络信息研究所北京100141 中国电子科技集团公司第五十四研究所河北石家庄050081 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

针对天地一体化网络具有无中心、分布式、高动态等特点,提出一种考虑计算映射与动态分布的分散式算力路由控制策略,通过将用户业务建模为一个有向无环图模型,设计一种改进的定向扩散算法进行求解,实现任务在天地一体化网络中的边传输、... 详细信息

针对天地一体化网络具有无中心、分布式、高动态等特点,提出一种考虑计算映射与动态分布的分散式算力路由控制策略,通过将用户业务建模为一个有向无环图模型,设计一种改进的定向扩散算法进行求解,实现任务在天地一体化网络中的边传输、边计算、边制定映射策略,并将计算映射到一条端到端的传输路径中.仿真结果表明,该算法不仅能够高效地完成传输和计算,还具有较好的抗毁性.

关键词：天地一体化网络分散式算力路由控制策略改进的定向扩散算法有向无环图

来源：评论

学校读者我要写书评

暂无评论

低轨卫星网络中业务图驱动的星间协作计算方案

引用

天地一体化信息网络 2021年第2期2卷 35-44页

作者：国晓博任智源程文驰纪哲中国电子科技集团第五十四研究所河北石家庄050081 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 北京邮电大学信息与通信工程学院北京100876

低轨卫星网络具备覆盖范围广、星地链路短等优点,成为当前的热点研究领域。针对将业务卸载到云计算中心产生过高传输时延的问题,提出在低轨卫星网络中实现业务图驱动的星间协作计算方法。该方法首先依托加权时间扩展图模型,屏蔽低轨卫... 详细信息

低轨卫星网络具备覆盖范围广、星地链路短等优点,成为当前的热点研究领域。针对将业务卸载到云计算中心产生过高传输时延的问题,提出在低轨卫星网络中实现业务图驱动的星间协作计算方法。该方法首先依托加权时间扩展图模型,屏蔽低轨卫星网络的动态性;之后联合多颗卫星的计算资源和星间链路资源,将有向无环图形式的业务调度到传输路径内的卫星上,实现业务在低轨卫星网络内的“边传输边计算”。仿真结果表明,当数据量取5 MB时,星间协同计算的时延性能相比地面云计算提高了58.9%。

关键词：低轨卫星网络时间扩展图星间协作计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：