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

现代电子技术 2019年第21期42卷 53-57页

作者：张晋博丁传红北京计算机技术及应用研究所

为提升信号识别电路的电量采集精度,实现理想状态下的电力误差校准,设计基于神经网络的模数转换电路动态误差源识别系统。以CNN神经网络作为模数转换电路的物理依赖环境,通过合理选取动态识别元件的方式,实现误差源识别系统的硬件运行... 详细信息

为提升信号识别电路的电量采集精度,实现理想状态下的电力误差校准,设计基于神经网络的模数转换电路动态误差源识别系统。以CNN神经网络作为模数转换电路的物理依赖环境,通过合理选取动态识别元件的方式,实现误差源识别系统的硬件运行环境搭建。在此基础上,将模拟电流转化成数字信号,再将其完整存储于系统数据库中,利用既定数学运算公式对已存储的数字信号进行识别精度提纯处理,实现误差源识别系统的软件运行环境搭建,联合相关硬件执行设备,完成基于神经网络的模数转换电路动态误差源识别系统设计。实际应用结果表明,在加压环境下,新型误差源识别系统的电量采集精度达到90%,单位时间内的信号识别量超过7.5×10^9TB,理想状态下信号识别电路的电力误差校准能力得到有效保障。

关键词：神经网络模数转换电路误差源动态识别数字信号存储系统设计

来源：评论

学校读者我要写书评

暂无评论

基于KVM的虚拟锁步技术

引用

计算机工程与设计 2014年第10期35卷 3440-3449页

作者：黄博谦沈崧北京计算机技术及应用研究所北京100854

依托基于内核的虚拟机(kernel-based virtual machine,KVM)的平台,针对虚拟机容错系统中的关键技术——虚拟锁步技术展开研究,主要研究虚拟锁步技术所采用的虚拟机同步机制(VM synchronization mechanism)。对开源虚拟机容错软件Kemari... 详细信息

依托基于内核的虚拟机(kernel-based virtual machine,KVM)的平台,针对虚拟机容错系统中的关键技术——虚拟锁步技术展开研究,主要研究虚拟锁步技术所采用的虚拟机同步机制(VM synchronization mechanism)。对开源虚拟机容错软件Kemari进行架构剖析与代码分析,指出其所使用的基于数据拷贝的虚拟机同步机制在不使用共享存储进行锁步运行时,具有一定性能缺陷;以此为基础,提出相应的改进措施,设计并实现一种新的虚拟机同步机制。该机制采用事件重放的方式实现冗余虚拟机间块设备数据的同步,弥补了Kemari虚拟机同步机制的相关性能缺陷。

关键词：虚拟机容错基于内核的虚拟机虚拟锁步技术虚拟机同步机制

来源：评论

学校读者我要写书评

暂无评论

基于地坐标提取的高层空间自主导航方法研究

引用

现代防御技术 2015年第2期43卷 62-68页

作者：尤龙姚宏瑛北京计算机技术及应用研究所北京100039

主要研究一种基于数字地球技术与图像识别技术的高空自主导航方法。该导航方法使用对地观测传感器对全球范围内3个不同区域的地表特征点进行观测并提取其WGS-84坐标,通过矢量导航算法完成飞行器高空自主定位定姿导航。仿真分析表明,本... 详细信息

主要研究一种基于数字地球技术与图像识别技术的高空自主导航方法。该导航方法使用对地观测传感器对全球范围内3个不同区域的地表特征点进行观测并提取其WGS-84坐标,通过矢量导航算法完成飞行器高空自主定位定姿导航。仿真分析表明,本导航方法具有导航基线长、导航精度高、抗干扰能力强、误差不随时间累积等优点,为2 000~40 000 km高空自主导航问题探索了新的技术途径。

关键词：数字地球图像识别高空自主导航抗干扰长航时高精度

来源：评论

学校读者我要写书评

暂无评论

防空反导体系网络攻击效能评估与防御策略建议

引用

现代防御技术 2023年第3期51卷 57-65页

作者：王斌王基策尚颖王晓菲温泉北京计算机技术及应用研究所北京100854

网络化防空反导体系能够灵活管控作战资源、有效实现动态跨域指控、高效完成作战任务,然而网络化、一体化作战在提升作战效能的同时,增加了武器系统遭受网络攻击的风险,将严重威胁作战装备网络安全及其作战效能。以美军战术级防空反导... 详细信息

网络化防空反导体系能够灵活管控作战资源、有效实现动态跨域指控、高效完成作战任务,然而网络化、一体化作战在提升作战效能的同时,增加了武器系统遭受网络攻击的风险,将严重威胁作战装备网络安全及其作战效能。以美军战术级防空反导体系为例,针对其网络化作战特点,分析防空反导作战网络的安全脆弱性,构建网络攻击风险评估模型,评估网络节点被毁瘫风险。设计指控连通度、指控网络效率指标和网络通信效能指标,旨在利用其评估节点遭受网络攻击的效能损失。利用OPNET网络仿真平台和Python NetworkX库,开展网络攻击仿真实验及效能评估。基于网络攻击效能评估结果,针对性地给出网络安全防御策略建议,可为防空反导体系安全防御能力提升建设提供一定参考。

关键词：防空反导体系网络化网络攻击效能评估安全防御安全脆弱性

来源：评论

学校读者我要写书评

暂无评论

基于形式验证的毛刺检测技术

引用

计算机工程与设计 2018年第10期39卷 3290-3295页

作者：朱秋岩李东方北京计算机技术及应用研究所北京100854

为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题,提出一种使用形式验证技术在RTL级检测毛刺的方法,同时提出RTL级毛刺故障注入方法。通过检测逻辑门输入同时翻转的原理设计毛刺检测电... 详细信息

为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题,提出一种使用形式验证技术在RTL级检测毛刺的方法,同时提出RTL级毛刺故障注入方法。通过检测逻辑门输入同时翻转的原理设计毛刺检测电路,使用形式验证中断言实现检测电路;基于毛刺检测电路和毛刺在时序逻辑的影响,设计其影响等价电路,实现RTL级毛刺故障注入。实验结果表明,该方法能够准确检测毛刺存在并通过毛刺注入分析,进一步发现毛刺对电路功能的影响,将对毛刺的检测和影响分析提前到RTL级,减少了因后期毛刺故障带来的设计迭代和周期成本。

关键词：毛刺形式验证故障注入等价电路故障传播

来源：评论

学校读者我要写书评

暂无评论

模糊测试技术的研究进展与挑战

引用

信息安全研究 2024年第7期10卷 668-674页

作者：汪美琴夏旸贾琼陈志浩刘明哲北京计算机技术及应用研究所北京100854

模糊测试作为一种高效的漏洞挖掘技术,近年来发展快速,受到了越来越多研究人员的广泛关注.为了深入研究模糊测试技术,介绍了模糊测试的定义,分析了优点和缺点;从种子选择的能量调度、测试用例变异算法、模糊测试执行性能、混合模糊测试... 详细信息

模糊测试作为一种高效的漏洞挖掘技术,近年来发展快速,受到了越来越多研究人员的广泛关注.为了深入研究模糊测试技术,介绍了模糊测试的定义,分析了优点和缺点;从种子选择的能量调度、测试用例变异算法、模糊测试执行性能、混合模糊测试等方面,总结了模糊测试的研究进展,比较了各项研究的改进点和不足,进一步提出了模糊测试未来改进的建议;描述了模糊测试在操作系统内核、协议、固件、深度学习等领域的漏洞挖掘研究成果;对模糊测试未来的挑战和研究热点提出一些思考.

关键词：模糊测试漏洞挖掘网络安全逆向分析漏洞验证

来源：评论

学校读者我要写书评

暂无评论

面向军事领域的动态本体构建技术研究

引用

现代防御技术 2023年第6期51卷 52-61页

作者：李墈婧胡建军吴迪礼冬雪叶亚峰北京计算机技术及应用研究所北京100854

随着军事数据的爆炸式增长,传统的基于专家知识建立的静态本体存在对专家主观知识依赖性强、可移植性差、学习能力差等问题,已无法动态地适应数据的变化以及大规模知识图谱的自动更新。针对军事领域应用场景,提出一种面向军事领域的动... 详细信息

随着军事数据的爆炸式增长,传统的基于专家知识建立的静态本体存在对专家主观知识依赖性强、可移植性差、学习能力差等问题,已无法动态地适应数据的变化以及大规模知识图谱的自动更新。针对军事领域应用场景,提出一种面向军事领域的动态本体构建技术,通过初始本体设计、数据映射、形式背景合并、本体更新4个环节完成本体概念的更新。该技术可以随着信息的变化自动更新本体模型,方便多源异构数据的更新集成和知识图谱的构建。最后,以俄乌冲突知识图谱为案例进行分析验证。该动态本体构建技术能够有效发现新的事件类型及相关要素,实现多源异构数据的更新、融合及基于知识图谱的军事活动规律推理。

关键词：军事领域动态本体知识图谱形式概念分析俄乌冲突演化推理

来源：评论

学校读者我要写书评

暂无评论

UD分解自适应滤波在SINS初始对准中的应用

引用

计算机工程与设计 2014年第1期35卷 158-162,212页

作者：郜福全陈丽容丁传红刘建锋北京计算机技术及应用研究所北京100854

在基于卡尔曼滤波的捷联惯导初始对准中,由于噪声协方差矩阵无法精确确定,滤波过程中状态估计协方差矩阵的数值稳定性不好,容易导致滤波精度降低和状态估计协方差矩阵失去对称正定性,甚至滤波发散。针对这一问题,提出将UD分解自适应卡... 详细信息

在基于卡尔曼滤波的捷联惯导初始对准中,由于噪声协方差矩阵无法精确确定,滤波过程中状态估计协方差矩阵的数值稳定性不好,容易导致滤波精度降低和状态估计协方差矩阵失去对称正定性,甚至滤波发散。针对这一问题,提出将UD分解自适应卡尔曼滤波应用到捷联惯导初始对准问题中。新算法采用协方差匹配法,实时估计并调整噪声协方差矩阵,对状态协方差矩阵的分解矩阵更新,保证协方差矩阵的对称正定性。仿真结果表明,相比标准卡尔曼滤波,UD分解自适应滤波算法数值稳定性好,具有噪声自适应能力,在先验量测噪声协方差矩阵存在误差的情况下,新算法能缩短初始对准的时间。

关键词：初始对准卡尔曼滤波分解滤波协方差匹配法捷联惯导系统

来源：评论

学校读者我要写书评

暂无评论

基于对抗训练和VAE样本修复的对抗攻击防御技术研究

引用

信息网络安全 2019年第9期 66-70页

作者：郭敏曾颖明于然吴朝雄北京计算机技术及应用研究所

人工智能系统面临着来自物理世界的对抗性欺骗攻击的威胁,人工智能算法对这种攻击十分敏感。以目标识别为例,攻击者在样本数据上添加十分微小的扰动,即可达到降低目标识别准确率甚至有目标地诱导识别结果的目的。如何有效抵御对抗样本... 详细信息

人工智能系统面临着来自物理世界的对抗性欺骗攻击的威胁,人工智能算法对这种攻击十分敏感。以目标识别为例,攻击者在样本数据上添加十分微小的扰动,即可达到降低目标识别准确率甚至有目标地诱导识别结果的目的。如何有效抵御对抗样本威胁成为业界的一个研究热点。文章重点研究了基于随机对抗训练的智能计算模型安全加固技术和基于变分自编码器的异常样本修复技术,针对对抗样本攻击进行事前主动加固和事后及时修复,结合“主动+被动”的理念实现人工智能算法的安全增强,确保人工智能技术安全、可靠地落地应用。

关键词：人工智能安全增强对抗训练样本修复

来源：评论

学校读者我要写书评

暂无评论

基于SysML扩展的系统安全性分析与评估方法

引用

计算机应用研究 2020年第S02期37卷 216-220,213页

作者：吴超杨雨婷付修锋陈旭杨波北京计算机技术及应用研究所北京100854

软件系统的复杂度越来越高给系统安全性分析工作带来了巨大挑战。基于SysML扩展的系统安全性分析与评能估力;方然法后对结Sy合sMALR P块-4定75义4/视47图61(b的loc系k统de级fin功itio能n危dia害gr分am析,(BFDHDA))进过行程pr分ofi析le... 详细信息

软件系统的复杂度越来越高给系统安全性分析工作带来了巨大挑战。基于SysML扩展的系统安全性分析与评能估力;方然法后对结Sy合sMALR P块-4定75义4/视47图61(b的loc系k统de级fin功itio能n危dia害gr分am析,(BFDHDA))进过行程pr分ofi析le系弱统扩失展效,使状其况、具失备效描影述响系和统失安效全等性级失,效计的算系统安全性评估结果。最后,该算法在某雷达系统开展实验验证,结果表明,该算法可在设计早期发现系统可能存在的失效状态,提高系统安全性。

关键词： SysML system level functional hazard analysis(FHA) profile弱扩展安全性分析安全性评估

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：