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

中国空间科学技术 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 软件需求人工智能

来源：评论

学校读者我要写书评

暂无评论

基于图像深度学习的无线电信号识别

引用

通信学报 2019年第7期40卷 114-125页

作者：周鑫何晓新郑昌文中国科学院软件研究所天基综合信息系统重点实验室

提出了一种利用图像深度学习解决无线电信号识别问题的技术思路。首先把无线电信号具象化为一张二维图片,将无线电信号识别问题转化为图像识别领域的目标检测问题;进而充分利用人工智能在图像识别领域的先进成果,提高无线电信号识别的... 详细信息

提出了一种利用图像深度学习解决无线电信号识别问题的技术思路。首先把无线电信号具象化为一张二维图片,将无线电信号识别问题转化为图像识别领域的目标检测问题;进而充分利用人工智能在图像识别领域的先进成果,提高无线电信号识别的智能化水平和复杂电磁环境下的识别能力。基于该思路,提出了一种基于图像深度学习的无线电信号识别算法 RadioImageDet 算法。实验结果表明,所提算法能有效识别无线电信号的波形类型和时/频坐标,在实地采集的 12 种、4 740 个样本的数据集中,识别准确率达到 86.04%,mAP 值达到 77.72,检测时间在中等配置的台式计算机上仅需 33 ms,充分验证了所提思路的可行性和所提算法的有效性。

关键词：无线电信号识别深度学习射频机器学习卷积神经网络图像目标检测

来源：评论

学校读者我要写书评

暂无评论

激光二极管叠阵侧面泵浦多边形Nd∶YAG薄片激光器泵浦均匀性模拟仿真

引用

光学技术 2020年第4期46卷 472-475页

作者：边圣伟邱基斯唐熊忻陈巧葛文琦刘昊王昊成刘悦亮陈艳中中国科学院空天信息创新研究院半导体泵浦激光工程中心北京100094 中国科学院大学光电学院北京100049 中国科学院软件研究所天基综合信息系统重点实验室北京100190

阐述了一种激光二极管叠阵以zigzag方式侧面泵浦多边形Nd∶YAG薄片放大器的模拟研究,建模对Nd∶YAG晶体内泵浦光的吸收情况进行了深入的数值模拟与分析,研究了晶体的Nd^(3+)掺杂浓度对泵浦光分布均匀性的影响。研究表明,采用多个方向泵... 详细信息

阐述了一种激光二极管叠阵以zigzag方式侧面泵浦多边形Nd∶YAG薄片放大器的模拟研究,建模对Nd∶YAG晶体内泵浦光的吸收情况进行了深入的数值模拟与分析,研究了晶体的Nd^(3+)掺杂浓度对泵浦光分布均匀性的影响。研究表明,采用多个方向泵浦和zigzag泵浦方式易于实现介质内泵浦光的均匀分布,在晶体的Nd^(3+)离子掺杂浓度为0.25at.%时,仿真得到的泵浦光吸收分布为平顶型,分布的均匀性均为0.0505。对侧面泵浦多边形薄片激光放大器的进一步研究提供了参考。

关键词：薄片激光器激光二极管叠阵侧面泵浦泵浦分布

来源：评论

学校读者我要写书评

暂无评论

Starlink第二代系统介绍

引用

卫星与网络 2020年第12期 62-65页

作者：刘帅军徐帆江刘立祥王大鹏凌腾中国科学院软件研究所天基综合信息系统重点实验室

一、概述SpaceX公司自2014年宣布建设Starlink(星链)星座以来,已发展成在轨卫星数量最多、发射频度最快、技术最变革的低轨星座系统。2019年10月,SpaceX公司向国际电信联盟ITU报送了30000颗卫星的网络资料,而后在2020年5月份将更详细的... 详细信息

一、概述SpaceX公司自2014年宣布建设Starlink(星链)星座以来,已发展成在轨卫星数量最多、发射频度最快、技术最变革的低轨星座系统。2019年10月,SpaceX公司向国际电信联盟ITU报送了30000颗卫星的网络资料,而后在2020年5月份将更详细的申请提交至美国联邦通信委员会(FCC)。这一期3万颗卫星代号为Starlink Gen2(Generation2,第二代),在原4409颗星座的Ku、Ka频段基础上,增加了E频段,同时也考虑采用星间链路。本文重点对Starlink第二代系统进行的空间段星座构型、卫星主要载荷特性、频率与天线、波束等内容进行介绍。

关键词：星间链路国际电信联盟美国联邦通信委员会 Ka频段 Star 载荷特性 ITU 星座构型

来源：评论

学校读者我要写书评

暂无评论

抗差自适应UKF算法在地基光学跟踪空间目标中的应用

引用

系统工程与电子技术 2018年第3期40卷 623-629页

作者：刘光明徐帆江中国科学院软件研究所天基综合信息系统重点实验室北京100190

滤波过程中若噪声的统计特性发生时变,则会引起传统无迹卡尔曼滤波(unscented Kalman filter,UKF)的滤波精度快速降低、滤波收敛性不定甚至发散,针对这个问题提出了具有鲁棒性的UKF算法。首先根据极大后验估计(maximum a posterior esti... 详细信息

滤波过程中若噪声的统计特性发生时变,则会引起传统无迹卡尔曼滤波(unscented Kalman filter,UKF)的滤波精度快速降低、滤波收敛性不定甚至发散,针对这个问题提出了具有鲁棒性的UKF算法。首先根据极大后验估计(maximum a posterior estimate,MAPE)原理,推导出无偏的近似最优MAPE常值噪声统计特性的滤波估计公式,并给出了时变噪声统计估计器相关参数的一整套递推公式。考虑到观测数据粗差的存在,将可以在线估计时变噪声特性的方法和具有鲁棒特性的滤波因子相结合,以有效抑制观测数据的粗差值对滤波稳定性和收敛性的影响。最后,以地面站对空间非合作目标的光学测角跟踪为应用背景的仿真实例表明,该算法在噪声统计特性未知或不准确且过程噪声矩阵时变、观测数据存在个别粗差情况下,滤波依然收敛,其滤波精度及稳定性提高较为明显。

关键词：抗差滤波自适应无迹卡尔曼滤波(unscented Kalman filter,UKF)算法时变噪声统计估计滤波稳定性

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

基于引导滤波器和局部回归理论的Monte Carlo图像噪声移除算法

引用

计算机辅助设计与图形学学报 2018年第3期30卷 367-374页

作者：刘宇郑昌文袁红亮中国科学院软件研究所天基综合信息系统重点实验室北京100190 中国科学院大学北京100190

针对现有Monte Carlo(MC)光线跟踪算法中噪声影响大和绘制消耗高的问题,提出一种基于引导滤波器和局部回归理论的自适应绘制算法.首先计算场景特征图像的梯度信息,利用引导滤波器对初始特征图像进行预过滤,以提高诸如景深、运动模糊等... 详细信息

针对现有Monte Carlo(MC)光线跟踪算法中噪声影响大和绘制消耗高的问题,提出一种基于引导滤波器和局部回归理论的自适应绘制算法.首先计算场景特征图像的梯度信息,利用引导滤波器对初始特征图像进行预过滤,以提高诸如景深、运动模糊等特殊绘制效果的图像质量;然后利用局部回归理论进行图像重构,并在图像空间计算最优重构参数,从而避免由含噪特征图像导致的噪声传递问题;最后计算Stein’s unbiased risk estimator(SURE)评判像素复杂程度并引导自适应采样过程.实验结果表明,该算法能够在提高图像视觉质量的同时,有效地降低了噪声影响,并能够绘制高质量的景深、运动模糊等特殊效果.

关键词：自适应绘制引导滤波器局部回归理论 SURE误差估计

来源：评论

学校读者我要写书评

暂无评论

卫星5G融合的研究进展概述

引用

信息通信技术与政策 2019年第5期 86-90页

作者：刘帅军胡月梅王大鹏刘立祥中国科学院软件研究所天基综合信息系统重点实验室

对卫星相关标准化组织以及卫星通信的标准进行了介绍,并对卫星与5G融合的标准进展进行了概述,最后对卫星与5G融合下的发展趋势作了分析与总结。

关键词：卫星通信标准 5G 卫星5G融合

来源：评论

学校读者我要写书评

暂无评论

基于密度偏倚抽样的局部距离异常检测方法

引用

软件学报 2017年第10期28卷 2625-2639页

作者：付培国胡晓惠中国科学院大学北京100049 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190

异常检测是数据挖掘的重要研究领域,当前基于距离或者最近邻概念的异常数据检测方法,在进行海量高维数据异常检测时,存在运算时间过长的问题.许多改进的异常检测方法虽然提高了算法运算效率,然而检测效果欠佳.基于此,提出一种基于密度... 详细信息

异常检测是数据挖掘的重要研究领域,当前基于距离或者最近邻概念的异常数据检测方法,在进行海量高维数据异常检测时,存在运算时间过长的问题.许多改进的异常检测方法虽然提高了算法运算效率,然而检测效果欠佳.基于此,提出一种基于密度偏倚抽样的局部距离异常检测算法,首先利用基于密度偏倚的概率抽样方法对所需检测的数据集合进行概率抽样,之后对抽样数据利用基于局部距离的局部异常检测方法,对抽样集合进行局部异常系数计算,得到的异常系数既是抽样数据的局部异常系数,又是数据集的近似全局异常系数.然后对得到的每个数据点的局部异常系数进行排序,异常系数值越大的数据点越可能是异常点.实验结果表明,与已有的算法相比,该算法具有更高的检测精确度和更少的运算时间,并且该算法对各种维度和数据规模的数据都具有很好的检测效果,可扩展性强.

关键词：异常检测局部异常系数局部距离密度偏倚抽样 SLDOF算法

来源：评论

学校读者我要写书评

暂无评论

基于证据的软件过程可信度模型及评估方法

引用

软件学报 2017年第7期28卷 1713-1731页

作者：王德鑫王青贺劼中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室北京100190

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型,并给出基于该模型证据的软件过程可信评估方法,试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信过程可信软件制品可信

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：