检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于自适应敏感区域变异的覆盖引导模糊测试

计算机应用 2024年第8期44卷 2528-2535页

作者：徐航杨智陈性元韩冰杜学绘战略支援部队信息工程大学密码工程学院郑州450004

针对覆盖引导的模糊测试(CGF)中存在大量无效变异且造成性能浪费的问题,提出一种自适应敏感区域变异算法。首先,根据变异出的测试用例是否执行新路径将对应的变异位置分为有效变异位置集合和无效变异位置集合;然后,基于有效变异位置确... 详细信息

针对覆盖引导的模糊测试(CGF)中存在大量无效变异且造成性能浪费的问题,提出一种自适应敏感区域变异算法。首先,根据变异出的测试用例是否执行新路径将对应的变异位置分为有效变异位置集合和无效变异位置集合;然后,基于有效变异位置确定敏感区域,将后续的变异集中在敏感区域内。在后续的模糊测试过程中,根据测试用例的执行结果自适应地调整对应种子的敏感区域,减少无效变异。此外,设计新的种子选择策略配合敏感区域变异。将自适应敏感区域算法集成至美国模糊循环(AFL),并将它命名为SMAFL(Sensitive-region-based Mutation American Fuzzy Lop)。在12个流行的应用程序上评估SMAFL,实验结果表明,与AFL相比,当初始种子数为1时,SMAFL发现的路径数平均提升了31.4%,模糊次数增加了3.4倍;并且在12个程序中都实现了更高的代码覆盖率。在对LAVA-M数据集的测试中,SMAFL比AFL多发现2个bug,并且发现相同bug所用时间更短。整体地,自适应敏感区域变异算法能提升模糊测试器的探索效率。

关键词：模糊测试自适应算法软件漏洞代码覆盖率变异

在线全文

学校读者我要写书评

暂无评论

基于空间拓扑条件控制的等高线化简方法

地球信息科学学报 2024年第7期26卷 1659-1671页

作者：李元復孙群温伯威周炤朱蕊中国人民解放军战略支援部队信息工程大学地理空间信息学院郑州450052

等高线是地形图上的重要要素之一,其化简过程需要兼顾主要地形结构特征的保持、数据精度的控制以及相交和视觉混淆的避免等问题,现有研究大多没有同时兼顾这3个方面。针对上述问题,本文在现有方法使用的误差带的基础上,进一步引入隔离... 详细信息

等高线是地形图上的重要要素之一,其化简过程需要兼顾主要地形结构特征的保持、数据精度的控制以及相交和视觉混淆的避免等问题,现有研究大多没有同时兼顾这3个方面。针对上述问题,本文在现有方法使用的误差带的基础上,进一步引入隔离带的概念,并对它们在几何中的定义进行数学描述,提出将空间拓扑条件应用于等高线化简的策略。根据这一策略,对谷地弯曲选取(Valley Bend Selection,VBS)算法和Douglas-Peucker(DP)算法进行改进,从而得到空间拓扑条件控制下的VBS(Spatial-Topologic-Condition-Controlled VBS,STCC-VBS)算法和空间拓扑条件控制下的DP(Spatial-Topologic-Condition-Controlled DP,STCC-DP)算法。最后,将这2种方法应用于1:5万比例尺地形图等高线化简生成1:10万比例尺地形图等高线的任务中,并与现有的2种单纯以误差带控制的等高线化简方法进行对比。实验结果表明,STCC-VBS算法和STCC-DP算法都有效避免了相交问题,同时以改进前的方法为参考,在算法参数相同的情况下,分别在节点约减率降低8.33%和2.06%同时,使等高线偏移率降低了22.97%和12.65%,化简效果得到显著改善。其中,STCC-VBS算法在约减54.58%的节点的同时,仍能使地形特征线保持率达到94.73%,在有效约减数据量的前提下,较好地保持了主要地形特征。2种算法在效率方面均优于2种单纯以误差带控制的等高线化简方法。

关键词：地形等高线数字高程模型制图综合线化简误差带隔离带空间拓扑条件

在线全文

学校读者我要写书评

暂无评论

船舶活动知识图谱可视分析方法

计算机辅助设计与图形学学报 2024年第8期36卷 1194-1204页

作者：刘建湘陈晓慧刘海砚张兵叶林易万潇刘涛中国人民解放军93116部队沈阳110000 中国人民解放军战略支援部队信息工程大学数据与目标工程学院郑州450000 中国人民解放军61578部队十堰442000

随着全球海事贸易的高速发展,对船舶活动进行可视分析的需求越来越大,用户在没有非常专业的知识背景下,难以快速地选择合适的可视化方法进行船舶活动分析,面临“冷启动”问题.为此,提出船舶活动知识图谱可视分析方法.基于多源异构的船... 详细信息

随着全球海事贸易的高速发展,对船舶活动进行可视分析的需求越来越大,用户在没有非常专业的知识背景下,难以快速地选择合适的可视化方法进行船舶活动分析,面临“冷启动”问题.为此,提出船舶活动知识图谱可视分析方法.基于多源异构的船舶活动数据,构建包含时间、地点、船舶和活动4类船舶活动要素的船舶活动知识图谱,并结合船舶活动分析需求,设计船舶对象特征分析、船舶活动事件分析、船舶活动关联分析和船舶活动时空分析4种分析任务;在船舶活动知识图谱的基础上,提出基于活动要素的船舶活动可视分析方法,并结合过滤、关联和导航等交互方式,设计船舶活动知识图谱可视分析模型.以AIS数据和“沸腾环贸”海上事件数据作为船舶活动数据,基于所提出的船舶活动知识图谱可视分析模型,开发了船舶活动知识图谱可视分析原型系统,实验结果表明,该系统可以为用户推荐相对合适的可视化方法,为船舶活动的分析提供更多的视角;也验证了如禁渔期等特殊情况造成船舶活动规律变化等结论.

关键词：船舶活动船舶事件知识图谱时空活动可视分析

在线全文

学校读者我要写书评

暂无评论

结合知识蒸馏的中文文本摘要生成方法

计算机科学与探索 2024年

作者：崔健汪永伟李飞杨李强苏北荣张小健中国人民解放军战略支援部队信息工程大学

生成是自然语言处理领域的主要研究方向之一。针对当前中文摘要模型语义提取能力弱、大模型生成质量不稳定、部署资源要求高等问题，提出了结合知识蒸馏的中文文本摘要生成方法。首先，采取多线程调用大模型接口的方式对训练数据进行增... 详细信息

生成是自然语言处理领域的主要研究方向之一。针对当前中文摘要模型语义提取能力弱、大模型生成质量不稳定、部署资源要求高等问题，提出了结合知识蒸馏的中文文本摘要生成方法。首先，采取多线程调用大模型接口的方式对训练数据进行增强，引入提示工程，对齐摘要质量并生成参考标签；然后，利用蒸馏技术在知识迁移方面的优势，采取离线知识蒸馏方法，将大模型输出作为知识传授给学生网络，提升学生网络摘要准确性和可读性，同时降低训练成本和资源消耗；最后，对学生网络进行改进，使用复制机制缓解未登录词问题，并对输出结果进行双向相似度计算以优化损失函数，进一步提升模型稳定性。在NLPCC2017数据集上的实验表明，所提方法在ROUGE评价指标上的综合性能优于现有主流的摘要生成方法。在摘要生成质量方面，提出的方法在中文摘要过程中提高了准确率，提升了流畅度；在模型部署要求方面，所提方法具备较小参数量，能够满足轻量级低开销离线部署。

关键词：文本摘要知识蒸馏提示工程大语言模型

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

支持增量式编程的多模态网络环境

电子学报 2024年第4期52卷 1230-1238页

作者：崔子熙田乐崔鹏帅胡宇翔伊鹏邬江兴中国人民解放军战略支援部队信息工程大学信息技术研究所河南郑州450001

当前,多模态网络编程模型与底层硬件紧耦合、强相关,导致网络程序呈现扁平化和单片化特征.因此,持续开发模态程序效率低下且极易出错,制约了网元设备的可用性和可靠性.为此,本文提出面向多模态网络的编程环境(PINet’s Programming Envi... 详细信息

当前,多模态网络编程模型与底层硬件紧耦合、强相关,导致网络程序呈现扁平化和单片化特征.因此,持续开发模态程序效率低下且极易出错,制约了网元设备的可用性和可靠性.为此,本文提出面向多模态网络的编程环境(PINet’s Programming Environment,PPE),支持增量式开发网络协议与功能.基于“巨型交换机”思想,PPE提出了一种平台无关的编程模型及语言,支持模块化编程和跨平台移植,通过模块单元的灵活组合提高网络程序的开发效率.同时,针对上述模型设计了前后端分离的编译系统框架.该系统自动化解析并组合分布式的模态程序,通过优化报文处理逻辑自动适配硬件资源约束.实验结果表明,在不影响硬件性能的基础上,PPE能够降低20%的程序开发量,同时引入编译时延和资源开销在合理范围内.

关键词：编程模型多模态网络可编程数据平面模块化增量式编程网络模态

面向光学遥感卫星星上定位精度优化的轻量化矢量控制库技术

在线全文

学校读者我要写书评

暂无评论

光学学报 2024年第6期44卷 341-352页

作者：李明董杨范大昭纪松宋佳璇高定中国人民解放军战略支援部队信息工程大学地理空间信息学院河南郑州450001

针对当前光学智能遥感卫星有限存储能力对全球控制信息的轻量化需求,提出一种面向光学遥感卫星星上定位精度优化的轻量化矢量控制库技术。首先,在地面提取完整道路网,通过道路细化、节点提取以及拓扑关系构建等处理,生成星上轻量化矢量... 详细信息

针对当前光学智能遥感卫星有限存储能力对全球控制信息的轻量化需求,提出一种面向光学遥感卫星星上定位精度优化的轻量化矢量控制库技术。首先,在地面提取完整道路网,通过道路细化、节点提取以及拓扑关系构建等处理,生成星上轻量化矢量控制库并上注卫星;其次,星上在轨提取道路结构,并利用随机游走避免道路缺失的影响,生成随机游走矢量结构;然后,引入隐马尔科夫模型,搜索对应矢量,并设计分层匹配策略以精化匹配结果,实现星上轻量化矢量控制库与随机游走矢量结构的匹配;最后,利用不同类型卫星影像进行随机游走矢量结构提取、星上矢量匹配以及定位性能分析。结果表明,所提光学遥感卫星的星上轻量化矢量控制库能够有效改善非量测光学遥感卫星定位精度,验证了其在光学智能遥感卫星中的可行性。

关键词：轻量化处理矢量控制库星上智能处理矢量匹配高分辨率光学遥感卫星

基于谐波分析法观察抑郁症患者脑网络形态学改变

在线全文

学校读者我要写书评

暂无评论

中国医学影像技术 2024年第1期40卷 22-26页

作者：徐凯郭志明曾亚伟郑冬吴艳坤李科战略支援部队特色医学中心放射诊断科北京100101 北京大学第六医院北京大学精神卫生研究所精神药理研究室北京100191 战略支援部队特色医学中心医研部北京100101

目的评估基于谐波分析法观察抑郁症(DD)患者脑网络形态学改变的可行性。方法对55例DD患者(DD组)和46名正常对照者(NC组)采集全脑3D高分辨T1WI,利用FreeSurfer 5.3.0工具构建脑网络6种形态学特征,包括脑区顶点数、表面积、灰质体积、平... 详细信息

目的评估基于谐波分析法观察抑郁症(DD)患者脑网络形态学改变的可行性。方法对55例DD患者(DD组)和46名正常对照者(NC组)采集全脑3D高分辨T1WI,利用FreeSurfer 5.3.0工具构建脑网络6种形态学特征,包括脑区顶点数、表面积、灰质体积、平均皮层厚度、高斯曲率及折叠指数,以拉普拉斯矩阵特征分解获得公共谐波;比较组间不同形态学特征所在谐波能量及脑区灰质体积。结果组间不同形态学特征总谐波能量差异均无统计学意义(P均>0.05)。组间特定谐波能量差异有统计学意义(P均<0.05),主要包括脑区顶点数谐波能量差异为第2、6、15、44、57谐波,表面积谐波能量差异为第2、6、16、57谐波,灰质体积谐波能量差异为第2、12、13、15、57谐波,平均皮层厚度谐波能量差异为第2、19、35、36、44谐波,高斯曲率谐波能量差异为第34、40、54、57谐波,以及折叠指数谐波能量差异为第5、16、21、57谐波。DD组左脑区颞横皮质区域灰质体积显著大于NC组(t=2.900,P=0.004)。结论谐波分析法可用于观察DD患者脑网络形态学改变。

关键词：抑郁症磁共振成像脉搏波分析

维普期刊数据库博看期刊

基于FC交换的高精度时钟同步电路设计与实现

在线全文

学校读者我要写书评

暂无评论

电子制作 2024年第2期32卷 41-43,40页

作者：董春雷何斌斌陈艇中国人民解放军战略支援部队信息工程大学河南郑州450002 31121部队江苏徐州221000

光纤通道(FC)总线技术被认为是未来航空总线发展的主要数据总线之一,为提高FC网络的传输效率,在深入研究和分析FC协议时间同步机理的基础上,设计并实现一种面向FC交换芯片的时间同步电路。该电路通过对接收到的发送时间同步信号进行精... 详细信息

光纤通道(FC)总线技术被认为是未来航空总线发展的主要数据总线之一,为提高FC网络的传输效率,在深入研究和分析FC协议时间同步机理的基础上,设计并实现一种面向FC交换芯片的时间同步电路。该电路通过对接收到的发送时间同步信号进行精确地控制和补偿实现高精度时间同步。实验结果表明,所设计的同步电路在FC交换芯片中时间同步的误差小于100ns,适用于FC协议中的时间同步原语与扩展链路服务(ELS)时间同步帧,可有效提高FC网络的传输效率。

关键词： FC协议同步原语时间同步误差传输效率

在线全文

学校读者我要写书评

暂无评论

区块链系统安全防护技术研究进展

计算机学报 2024年第3期47卷 608-646页

作者：刘敖迪杜学绘王娜吴翔宇单棣斌乔蕊战略支援部队信息工程大学郑州450001 河南省信息安全重点实验室郑州450001 周口师范学院河南周口466001

区块链是综合运用密码学、共识机制、分布式网络和智能合约等技术所构建的具有安全和可信特征的新型分布式计算范式,在社会、生产、生活等众多领域都得到了广泛应用,对人民生活产生了重大影响.然而,随着区块链技术及应用的蓬勃发展,各... 详细信息

区块链是综合运用密码学、共识机制、分布式网络和智能合约等技术所构建的具有安全和可信特征的新型分布式计算范式,在社会、生产、生活等众多领域都得到了广泛应用,对人民生活产生了重大影响.然而,随着区块链技术及应用的蓬勃发展,各种安全问题频发,严重阻碍了区块链的应用和推广.同时,由于区块链技术、框架仍在不断演进之中,研究人员对区块链安全内涵的核心认知和关键特征理解还未统一,存在较大差异,尚未形成一致的区块链安全框架与体系.当前亟需对区块链系统安全技术发展现状进行梳理,为区块链系统所面临的重点安全问题的研究和突破提供参考.本文结合区块链系统技术框架、围绕区块链安全需求,构建了区块链安全技术框架.在此框架下,从区块链密码支撑技术、区块链平台安全技术和区块链风险评估与安全监管3个方面系统梳理区块链安全关键技术研究现状,囊括了区块链业务流程和区块链系统技术框架所涉及的主要安全机制.最后总结了区块链系统安全技术有待解决的核心问题和发展趋势.

关键词：区块链安全安全技术框架密码支撑平台安全安全监管