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

2011年全国高性能计算学术年会(HPC china2011)

作者：李超张云泉郑昌文胡晓慧中国科学院软件研究所综合信息系统国家级重点实验室北京 100190 中国科学院软件研究所并行计算重点实验室北京 100190

灰度弥散模型被广泛应用于模拟星模拟器的成像过程。在实际问题域中，该模型需要巨大的计算能力以完成繁重的数值计算，而目前图形处理单元（GPUs）已经发展成为一种有效的数值处理平台，对于计算密集型模拟具有很好的加速能力。本文设... 详细信息

灰度弥散模型被广泛应用于模拟星模拟器的成像过程。在实际问题域中，该模型需要巨大的计算能力以完成繁重的数值计算，而目前图形处理单元（GPUs）已经发展成为一种有效的数值处理平台，对于计算密集型模拟具有很好的加速能力。本文设计并实现了GPU平台下，基于统一计算架构(CUDA)的并行灰度模型，可应用于大规模星模拟器的快速灰度模拟。首先分析了该模型具有的双重并行特性并采用CUDA模型模拟其良好的数据并行特征。为了便于对比研究，设计了两类模拟器：一类是串行模拟器作为基准模拟器;另一类是基于CUDA的并行模拟器。同时在并行策略、模型以及GPU实现层面分别给出不同优化方法以有效提高并行效率。最后，设计对应于双重并行粒度的两类测试基准以评估并行模拟器的性能。数据分析证明CUDA并行模拟器取得良好的性能提升，同时也给出了该模拟器中存在的一些限制。

关键词：星模拟器灰度弥散模型图形处理单元数值处理统一计算架构

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件智能合成框架及关键科学问题

引用

中国空间科学技术 2022年第4期42卷 1-7页

作者：杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋中国空间技术研究院北京100094 空间智能控制技术国家级重点实验室北京100094 北京控制工程研究所北京100190 西安电子科技大学计算机科学与技术学院西安710071 北京大学计算机学院北京100871 中国科学院软件研究所天基综合信息系统重点实验室北京100190 西北工业大学计算机学院西安710072

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 详细信息

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。

关键词：嵌入式软件程序合成软件IP 软件需求人工智能

来源：评论

学校读者我要写书评

暂无评论

基于HLA的指挥控制网络多维展示方案

基于HLA的指挥控制网络多维展示方案

引用

2014第二届中国指挥控制大会

作者：邓勇谈华莹中国科学院软件研究所综合信息系统技术国家级重点实验室北京机电工程研究所

为有效形象地展示指挥控制网络仿真的性能,以及网络仿真过程中的实时动态效果,本文从指挥控制网络关注的方面出发,以多个角度来展示指挥控制网络仿真效果,为提高网络实战能力提供技术支撑,提出了基于HLA的指挥控制网络多维展示方案。在... 详细信息

为有效形象地展示指挥控制网络仿真的性能,以及网络仿真过程中的实时动态效果,本文从指挥控制网络关注的方面出发,以多个角度来展示指挥控制网络仿真效果,为提高网络实战能力提供技术支撑,提出了基于HLA的指挥控制网络多维展示方案。在此基础上,基于OPNET仿真平台,设计了作战想定场景展示平台、战场态势及网络模型映射展示平台、网络主要性能展示平台、毁伤情况及网络可靠性和抗毁性展示平台、网络综合效用展示平台,对建立指挥控制网络模型要素进行分析,设计了能够适应指挥控制网络特点的计算模型,并在成员设计上有效地分散计算负载,能够降低成员耦合性,使仿真联邦具备很强的可扩展能力。最后,提出了要解决的关键技术。

关键词：指挥控制网络指挥自动化网络仿真

来源：评论

学校读者我要写书评

暂无评论

空间飞行器轨道仿真验证反演方法研究

引用

系统仿真技术 2013年第3期9卷 199-205页

作者：乔梁柳庆武北京航空航天大学计算机学院北京100191 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

对空间飞行器轨道进行仿真验证,是轨道方案设计与性能评估的重要途径之一,其可信性在模型验证与确认中具有重要作用。基于轨道仿真序列图像的空间飞行器轨道验证反演方法,通过对不同高度类型的空间飞行器轨道进行可视化建模与仿真,把得... 详细信息

对空间飞行器轨道进行仿真验证,是轨道方案设计与性能评估的重要途径之一,其可信性在模型验证与确认中具有重要作用。基于轨道仿真序列图像的空间飞行器轨道验证反演方法,通过对不同高度类型的空间飞行器轨道进行可视化建模与仿真,把得到的仿真图像序列与成像系统参数相结合,计算出空间飞行器测角坐标,然后通过空间关系分析,构建关于真平均运动角速度与视平均运动角速度的约束方程,把对空间飞行器轨道运动状态参数的解算,归结为根据轨道仿真图像序列计算空间飞行器测角坐标和根据测角坐标确定观测斜距,解决了利用图像数据进行非合作空间飞行器轨道反演验证过程中轨道初始参数的确定问题。

关键词：空间飞行器序列图像轨道仿真验证反演法

来源：评论

学校读者我要写书评

暂无评论

基于MAS/GIS技术的车辆指挥中心及其实现

引用

科学技术与工程 2006年第2期6卷 151-153页

作者：侯玉文王海宾夏鹏张金芳张洋中国科学院软件研究所综合信息系统技术国家重点实验室中国科学院软件研究所电子政务研究中心北京100080

随着通信技术的发展,车辆的实时监控已经成为十分重要的研究课题。介绍了一个基于GIS/MAS/无线通信的车辆实时监控系统的整体解决方案,并讨论了基于该方案实现的指挥中心软件体系、功能及其实现原理。

关键词：地理信息系统无线通信空间信息多Agent系统

来源：评论

学校读者我要写书评

暂无评论

Starlink系统对GSO卫星系统的干扰和分析

引用

卫星与网络 2021年第7期 58-61页

作者：刘帅军徐帆江刘立祥王大鹏李伟中国科学院软件研究所天基综合信息系统重点实验室国家无线电监测中心

一、概述SpaceX公司Starlink星座的发射进程自2021年始显著加快,然而也导致了对地球同步轨道GSO卫星系统更大的干扰。本系列前述文章中对Starlink容量、时延及接入协议等进行了分析,本文则重点关注Starlink系统对GSO卫星系统的干扰情况... 详细信息

一、概述SpaceX公司Starlink星座的发射进程自2021年始显著加快,然而也导致了对地球同步轨道GSO卫星系统更大的干扰。本系列前述文章中对Starlink容量、时延及接入协议等进行了分析,本文则重点关注Starlink系统对GSO卫星系统的干扰情况,此问题是当前所有低轨星座能否获得频率授权的关键所在。

关键词：卫星系统地球同步轨道 GSO 干扰情况接入协议 Star 低轨星座

来源：评论

学校读者我要写书评

暂无评论

特洛伊木马协作隐藏技术研究

特洛伊木马协作隐藏技术研究

引用

2007年全国网络与信息安全技术研讨会

作者：马恒太刘克龙张楠中国科学院软件研究所综合信息系统技术国家重点实验室北京市 100080

本文主要对木马协作隐藏形式进行了深入研究,对木马间的协作形式进行了分类,提出了互助型协作隐藏的概念,并对不同协作隐藏形式进行了形式化描述。最后给出一个复合型协作隐藏木马的实例,验证了互助型协作隐藏的可行性。

关键词：数据安全计算机安全特洛伊木马协作隐藏形式化模型

来源：评论

学校读者我要写书评

暂无评论

中国科学院涉密网测评工作概述

引用

保密科学技术 2011年第7期 12-14页

作者：李鹏飞中国科学院软件研究所综合信息系统技术国家重点实验室国家保密局涉密信息系统安全保密测评中心系统测评(中国科学院)分中心

1中国科学院基本情况中国科学院是国家科学技术方面的最高学术机构和全国自然科学与高技术综合研究发展中心。目前,中科院共拥有12个分院、100家直属研究所。

关键词：涉密网中国科学院系统测评安全保密分中心测评中心信息系统综合研究基本情况建设工作

来源：评论

学校读者我要写书评

暂无评论

虚拟视景中的装甲车辆运动仿真算法研究

引用

计算机仿真 2007年第12期24卷 94-96,104页

作者：欧阳冠军范晋伟王宇心柳庆武北京工业大学机械工程与应用电子技术学院北京100022 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080

通过分析履带式装甲车的行动装置与运动特点,研究了装甲车在任意地形上的运动情况,以满足分布交互式虚拟仿真实时性和逼真度要求对实体行为进行了建模与简化,选取适合于履带式车辆的支撑点来研究车辆的姿态问题,提出了在任意地形中的运... 详细信息

通过分析履带式装甲车的行动装置与运动特点,研究了装甲车在任意地形上的运动情况,以满足分布交互式虚拟仿真实时性和逼真度要求对实体行为进行了建模与简化,选取适合于履带式车辆的支撑点来研究车辆的姿态问题,提出了在任意地形中的运动仿真算法来确定运动后的位置和姿态。在基于VTP平台开发的装甲对抗仿真系统中,该算法实现了装甲车的运动仿真,并能很好的满足系统实时性和高逼真度的需求。

关键词：装甲车辆运动算法仿真

来源：评论

学校读者我要写书评

暂无评论

卫星系统通讯路由问题的动态规划建模

卫星系统通讯路由问题的动态规划建模

引用

不确定性——新内涵、新魅力、新机遇、新挑战——第十届中国不确定系统年会暨第十四届中国青年信息与管理学者大会

作者：曹平范萌萌刘克陈建州中国科学院数学与系统科学研究院国家数学与交叉科学中心中国科学院软件研究所天基综合信息系统重点实验室

目前卫星系统的路由问题通常是从局部,考虑从某个卫星出发,如何选取要传输的卫星,使得某个指标取到最小或最大值。这样得出来的路径很可能与最优的路径相差甚远。基于此,本文建立了全局的路由选取模型,并将路由选取问题描述成一个动态... 详细信息

目前卫星系统的路由问题通常是从局部,考虑从某个卫星出发,如何选取要传输的卫星,使得某个指标取到最小或最大值。这样得出来的路径很可能与最优的路径相差甚远。基于此,本文建立了全局的路由选取模型,并将路由选取问题描述成一个动态规划问题,并通过动态规划的近似算法等相关理论,提出若干卫星网络路由算法。

关键词：卫星网络路由动态规划近似算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：