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

系统工程与电子技术 2017年第4期39卷 924-930页

作者：柯文俊陈静江山北京计算机技术及应用研究所北京100854 浙江大学软件学院浙江宁波315103

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,... 详细信息

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。

关键词：系统建模语言活动图模型转换仿真验证 Petri

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统软硬件协同验证中软件验证方法

引用

计算机研究与发展 2005年第3期42卷 514-519页

作者：王世好王歆民刘明业北京计算机技术及应用研究所北京100854 北京理工大学ASIC研究所北京100081

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处... 详细信息

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.

关键词：嵌入式系统协调设计协同验证模拟 RTOS

来源：评论

学校读者我要写书评

暂无评论

国产品牌的数智化自主创新趋势与对策研究

引用

市场瞭望 2025年第2期 10-12页

作者：董中奇孙田盈北京计算机技术及应用研究所中央财经大学国际经济与贸易学院

党的二十大指出，要加快实施创新驱动发展战略，强化企业科技创新主体地位。随着中国数字经济的飞速增长，众多国产品牌依托数智化机遇实现自主创新，迅猛崛起、势不可挡。文章总结归纳了国产品牌自主创新的发展现状以及国产品牌数智化... 详细信息

党的二十大指出，要加快实施创新驱动发展战略，强化企业科技创新主体地位。随着中国数字经济的飞速增长，众多国产品牌依托数智化机遇实现自主创新，迅猛崛起、势不可挡。文章总结归纳了国产品牌自主创新的发展现状以及国产品牌数智化的发展趋势，并针对性提出发挥龙头企业效应、拓展数智化应用场景、促进数智化自主创新成果转化、参与国际标准制定等具体建议。

关键词：国产品牌数智化自主创新发展现状

来源：评论

学校读者我要写书评

暂无评论

面向分布式存储的高性能可重构加密方案

引用

网络与信息安全学报 2023年第5期9卷 59-70页

作者：冯志华张宇轩罗重王佳宁北京计算机技术及应用研究所北京100854

全球进入以数字经济为主导的信息社会,数据成为关键生产要素,当今越来越多的数据被收集、处理和存储,分布式存储系统作为一种高效的存储架构在各数据领域得到广泛应用。然而,随着数据存储规模的不断扩大,分布式存储面临着信息泄露、数... 详细信息

全球进入以数字经济为主导的信息社会,数据成为关键生产要素,当今越来越多的数据被收集、处理和存储,分布式存储系统作为一种高效的存储架构在各数据领域得到广泛应用。然而,随着数据存储规模的不断扩大,分布式存储面临着信息泄露、数据破坏等更深层次的安全风险挑战。这些挑战将推动大数据分布式存储安全技术的创新变革,促进了国产密码技术和计算存储技术的融合。针对分布式存储节点数据信息泄露等安全问题,考虑到分布式存储加密性能与灵活性等需求,提出一种动态可重构加密存储解决方案。该方案设计了基于bio映射框架的高性能可重构密码模块,在此基础上构建多个配用不同密码算法的存储池,实现高性能硬盘数据加解密操作和存储池密码算法动态切换,并开发了具有密码算法和密钥远程在线加载功能的密码协议,满足各存储节点可重构密码模块统一管理与便捷安全更新需求,实现基于密码重构技术的数据细粒度加密保护和逻辑安全隔离功能。实验结果表明,该方案对存储数据进行加密保护与安全隔离的性能损耗约10%,可为分布式存储系统达到GB/T 39786-2021《信息安全技术信息系统密码应用基本要求》第三级及以上在设备和计算安全、应用和数据安全等方面提出的密码应用技术要求提供技术途径。

关键词：分布式存储加密可重构加密技术块设备加密算法在线加载逻辑安全隔离

来源：评论

学校读者我要写书评

暂无评论

基于接收信号强度的无线网络自适应密钥提取方法

引用

中北大学学报（自然科学版） 2021年第1期42卷 44-49,55页

作者：杜文杰北京计算机技术及应用研究所北京100854

无线信道的物理层特征已被证明能够用于生成密钥以保证无线网络的通信安全,由此研究了物理层密钥生成方案,并提出了一个高效的基于接收信号强度的密钥生成方案.该方案包括以下流程:信道探测、预处理、量化、信息协调以及保密增强.收发... 详细信息

无线信道的物理层特征已被证明能够用于生成密钥以保证无线网络的通信安全,由此研究了物理层密钥生成方案,并提出了一个高效的基于接收信号强度的密钥生成方案.该方案包括以下流程:信道探测、预处理、量化、信息协调以及保密增强.收发节点在信道探测阶段收集足够的信道状态(接收信号强度)后对信道状态进行评估;然后在量化阶段根据评估结果确定量化参数为节点生成比特序列;信息协调阶段使用Cascade方案进行密钥协商;最后,利用2阶全域哈希函数实现保密增强.为了验证该方案,完成了真实环境下的多组实验,每组实验节点均为异构节点.实验结果表明,所提方案能够高效地为无线设备生成共享密钥,从而实现保密通信过程.

关键词：网络安全密钥生成接收信号强度异构设备

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的模数转换电路动态误差源识别系统设计

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于后缀向量拼接的军事装备命名实体识别

引用

火力与指挥控制 2023年第10期48卷 133-138页

作者：谢德鹏王佳邹华懿刘进才北京计算机技术及应用研究所北京100854

军事命名实体识别是军事知识图谱构建和装备实体画像的基础性和关键技术,该技术进一步为军事文本智能化处理、辅助决策和情报分析等任务提供支撑。基于后缀向量拼接的军事装备命名实体识别方法,针对中英文文本结构构成具有天然差异,中... 详细信息

军事命名实体识别是军事知识图谱构建和装备实体画像的基础性和关键技术,该技术进一步为军事文本智能化处理、辅助决策和情报分析等任务提供支撑。基于后缀向量拼接的军事装备命名实体识别方法,针对中英文文本结构构成具有天然差异,中文文本缺少天然分割,加之军事装备别称较多,可能会造成识别的缺失等问题,提出利用文本字向量、词向量拼接实体后缀向量的方法,对军事装备实体进行识别和发现。通过实验验证方法的合理性和先进性。

关键词：军事文本军事装备实体识别向量拼接

来源：评论

学校读者我要写书评

暂无评论

基于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库,开展网络攻击仿真实验及效能评估。基于网络攻击效能评估结果,针对性地给出网络安全防御策略建议,可为防空反导体系安全防御能力提升建设提供一定参考。

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：