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

计算机工程与设计 2016年第7期37卷 1811-1816,1826页

作者：屈志勇陈亭王铁强孙辰军周纯葆山西省气象信息中心山西太原030006 北京计算机技术及应用研究所北京100854 国网河北省电力公司河北石家庄050021 中国科学院计算机网络信息中心超级计算中心北京100190

为使高性能计算助力群体遗传学和系统地理学研究,提出一种基于MPI(message passing interface)的群体遗传学分析软件,利用集群中多个CPU核心的计算能力加速群体遗传学分析。进行正确性验证,对并行加速比和并行效率进行评估,在保证计算... 详细信息

为使高性能计算助力群体遗传学和系统地理学研究,提出一种基于MPI(message passing interface)的群体遗传学分析软件,利用集群中多个CPU核心的计算能力加速群体遗传学分析。进行正确性验证,对并行加速比和并行效率进行评估,在保证计算结果正确性前提下,利用256个CPU核心时可以得到最好的并行加速比(185.16),在利用128个CPU核心时可以得到最好的并行效率(93.68%)。实验结果表明,利用高性能计算能够进行快速有效的群体遗传学分析。

关键词：群体遗传学系统地理学 IM模型高性能计算消息传递接口

来源：评论

学校读者我要写书评

暂无评论

基于依赖关系的容器供应链脆弱性检测方法

引用

信息网络安全 2023年第2期23卷 76-84页

作者：夏懿航张志龙王木子陈力波上海交通大学网络信息中心上海200240 上海交通大学电子信息与电气工程学院上海200240 北京计算机技术及应用研究所北京100854

容器作为一种轻量化隔离方法,具有方便部署、易于移植等特点,近年来发展很快。容器的隔离性阻碍了内部软件成分被外部检测工具所获知,导致软件成分分析、安全评估等无法有效开展,阻碍了软件供应链安全检测。为了解决此问题,文章提出基... 详细信息

容器作为一种轻量化隔离方法,具有方便部署、易于移植等特点,近年来发展很快。容器的隔离性阻碍了内部软件成分被外部检测工具所获知,导致软件成分分析、安全评估等无法有效开展,阻碍了软件供应链安全检测。为了解决此问题,文章提出基于依赖关系的容器供应链脆弱性检测方法,区别于利用分析工具在容器运行时进行检测的方法,该方法以镜像为粒度,利用不同镜像中各个层之间的相关性,在解构镜像的基础上提取基于镜像依赖关系形成的软件供应链,能够检测到镜像内容依赖、执行配置依赖和动态构建依赖等多个维度导致的供应链安全问题。实验结果表明,文章所提方法在应对软件供应链的安全威胁时能发挥很好的检测作用,高效地发现了公开容器仓储(如Docker Hub)中存在的大量供应链安全隐患。

关键词：软件供应链容器安全安全检测多维度依赖

来源：评论

学校读者我要写书评

暂无评论

基于压缩感知理论的高能闪光照相密度反演方法

引用

电子科技 2023年第1期36卷 1-6,14页

作者：芦存博盛云霄北京计算机技术及应用研究所北京100854 陆军装甲兵学院演训中心北京100072

高能闪光照相中需要研究少数投影数据条件下的非轴对称客体的的密度反演问题。现有利用压缩感知思想的全变差TV类算法虽然考虑了图像的局部相似性,但没有考虑图像的非局部相似性。针对上述问题,文中提出了一种基于组稀疏正则化的全变分... 详细信息

高能闪光照相中需要研究少数投影数据条件下的非轴对称客体的的密度反演问题。现有利用压缩感知思想的全变差TV类算法虽然考虑了图像的局部相似性,但没有考虑图像的非局部相似性。针对上述问题,文中提出了一种基于组稀疏正则化的全变分重建技术TV-GSR。该技术将组稀疏模型集成于TV框架之下,同时考虑了客体图像的局部相似性和非局部自相似性,充分利用了图像的先验稀疏信息,并利用客体的上、下、左、右4点对称性来降低图像重建的规模,重构精度有所增加,重建速度也更快。仿真实验表明,文中提出的TV-GSR算法提升了图像在无噪声和有噪声情况下的重建精度,对于高能闪光图像和纹理细节丰富的CT图像都有较好的效果,具有普适性。

关键词：闪光照相密度反演图像重建压缩感知组稀疏正则化全变差稀疏信息相似性

来源：评论

学校读者我要写书评

暂无评论

一种基于变量隐藏抽象的IC3硬件验证算法

引用

计算机科学 2023年第S02期50卷 783-788页

作者：杨柳范洪宇李东方贺飞清华大学软件学院北京100084 教育部信息系统安全重点实验室北京100084 北京国家信息科学与技术研究中心北京100084 北京计算机技术及应用研究所北京100854

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 详细信息

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

关键词：硬件验证 IC3算法形式化方法模型检验变量隐藏抽象

来源：评论

学校读者我要写书评

暂无评论

基于互联网的打印机暗记追踪信息分析系统

引用

计算机工程与设计 2019年第12期40卷 3431-3436页

作者：寇金桥刘烁王文超张杨北京计算机技术及应用研究所基础软件技术中心北京100854 最高人民检察院检察技术信息研究中心北京100144 北京航天爱威电子技术有限公司软件业务部北京100854

为满足文件检验领域对打印机暗记特征提出的快速、有效、无损检验方法的需求,对暗记特征研究现状进行分析,通过采用机器学习和互联网技术,提出一种暗记特征相似度检索方法,建立一套暗记追踪信息分析系统。系统包括前端显现采集与后端信... 详细信息

为满足文件检验领域对打印机暗记特征提出的快速、有效、无损检验方法的需求,对暗记特征研究现状进行分析,通过采用机器学习和互联网技术,提出一种暗记特征相似度检索方法,建立一套暗记追踪信息分析系统。系统包括前端显现采集与后端信息存储等部分,实现暗记特征快速自动识别、分析与匹配,完成对已知、未知打印机的暗记信息的自动查询、分析与追踪,验证了相似度检索方法的可行性。

关键词：暗记追踪特征相似度信息分析系统自动识别互联网

来源：评论

学校读者我要写书评

暂无评论

面向检察机关的异构云平台一体化管理技术研究

引用

中国新通信 2023年第24期25卷 48-51,55页

作者：李志荣刘晓宇苏醒丁晓东杨飞最高人民检察院信息中心北京计算机技术及应用研究所

本文针对当前检察机关上云过程中存在的云平台多中心部署与多架构并存、硬件设施异构与资源类型多样等情况,设计了一种一体化异构云平台管理系统。该系统面向异地多中心云平台底层异构资源,进行规划整合,屏蔽多云差异,实现多云资源的统... 详细信息

本文针对当前检察机关上云过程中存在的云平台多中心部署与多架构并存、硬件设施异构与资源类型多样等情况,设计了一种一体化异构云平台管理系统。该系统面向异地多中心云平台底层异构资源,进行规划整合,屏蔽多云差异,实现多云资源的统一纳管。同时,通过服务编排整合多云能力,为检察机关提供逻辑统一、便捷高效的异构云平台透明管控视图。该系统的输出包括多云能力、异构资源、服务目录、多租户管理、运维运营、统一监控等一体化异构云管理方案。

关键词：异地多中心异构云平台统一管理统一监控统一运营

来源：评论

学校读者我要写书评

暂无评论

航插焊杯激光除金工艺与手工除金工艺比较研究

引用

航天制造技术 2021年第5期 54-56,61页

作者：杨迪杨小健张永忠吴浩杜晓妍北京计算机技术及应用研究所北京1008542 北京城市学院智能电子制造研究中心北京101399

通过对比分析的方法,分别研究镀金航插焊杯手工及激光一次搪锡除金、两次搪锡除金的结果,测量合金层厚度,观察合金层形貌。发现无论是手工方法还是使用激光,一次搪锡除金不能使金含量低于3%,两次搪锡除金后金含量均低于3%,但激光搪锡得... 详细信息

通过对比分析的方法,分别研究镀金航插焊杯手工及激光一次搪锡除金、两次搪锡除金的结果,测量合金层厚度,观察合金层形貌。发现无论是手工方法还是使用激光,一次搪锡除金不能使金含量低于3%,两次搪锡除金后金含量均低于3%,但激光搪锡得到的金相组织更为细腻均匀,合金层厚度更薄且效率更高。最终得出激光搪锡除金效果优于手工操作的结论,对航插焊杯除金工艺方法有更先进的指导意义。

关键词：航插焊杯激光搪锡除金手工搪锡除金

来源：评论

学校读者我要写书评

暂无评论

一种基于智能合约的技术状态管理模式

引用

中国信息化 2023年第7期 62-63页

作者：唐寅郑彬冯政鑫成都信息工程大学中国工程院战略咨询中心北京计算机技术及应用研究所

一、引言技术状态管理是应用技术和行政管理手段对科研或产品生产过程中的技术状态进行标识、控制、记实、审核的活动，是保证产品的功能特性和物理特性满足技术文件规定的过程，是系统工程管理的重要工具和质量管理的重要手段。技术状...

一、引言技术状态管理是应用技术和行政管理手段对科研或产品生产过程中的技术状态进行标识、控制、记实、审核的活动，是保证产品的功能特性和物理特性满足技术文件规定的过程，是系统工程管理的重要工具和质量管理的重要手段。技术状态管理的目标是使各技术状态项状态数据保持一致，文实相符，确保科研成果或产品符合项目任务的要求。区块链具有去中心化、共识、

关键词：

来源：评论

学校读者我要写书评

暂无评论

军工领域工业互联网发展思考和建议

引用

信息技术与网络安全 2020年第4期39卷 1-4页

作者：王晓磊张宏斌廖义林国家工业信息安全发展研究中心北京100040 华北计算机系统工程研究所北京100083 北京计算机技术及应用研究所北京100854

军工领域作为国家先进制造业的重要组成部分,大力推进军工领域工业互联网发展,强化未来战争形势下的装备保障能力,是构建先进国防科技工业体系、提高信息化装备保障供应能力的必然选择。在加快推进核心技术攻关的基础上,充分利用国家科... 详细信息

军工领域作为国家先进制造业的重要组成部分,大力推进军工领域工业互联网发展,强化未来战争形势下的装备保障能力,是构建先进国防科技工业体系、提高信息化装备保障供应能力的必然选择。在加快推进核心技术攻关的基础上,充分利用国家科技创新资源和国家工业基础平台,加大对底层操作系统、嵌入式芯片、大型工业软件等核心关键技术攻关力度,走一条具有中国特色的、紧跟时代潮流的发展创新之路。

关键词：军工工业工业互联网保障能力

来源：评论

学校读者我要写书评

暂无评论

一种基于特征信息的Blog自动文摘研究

引用

计算机应用研究 2011年第10期28卷 3760-3763页

作者：陈明王邦军赵朋朋崔志明苏州大学智能信息处理及应用研究所江苏苏州215006 苏州大学计算机科学与技术学院江苏苏州215006 江苏省现代企业信息化应用支撑软件工程技术研发中心江苏苏州215104

为了有效地对Blog进行摘要抽取,以一种合理的方式挑选出对Blog摘要抽取有帮助的评论,然后在考虑句子词频的基础上结合Blog的结构化信息和挑选出的评论信息来计算Blog句子权重。针对基于句子权重选择摘要句容易忽略次要主题的缺陷,提出... 详细信息

为了有效地对Blog进行摘要抽取,以一种合理的方式挑选出对Blog摘要抽取有帮助的评论,然后在考虑句子词频的基础上结合Blog的结构化信息和挑选出的评论信息来计算Blog句子权重。针对基于句子权重选择摘要句容易忽略次要主题的缺陷,提出一种结合Blog段落形式特点进行二次摘要抽取的解决方法。在随机下载的Blog数据中进行了实验,该方法具有较好的覆盖性和概括性。

关键词：博客摘要评论特征信息主题覆盖

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：