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

卫星与网络 2020年第7期 50-52页

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

2020年4月23日,Space X发射第七批共计60颗星链(Starlink)卫星,使星链星座在轨卫星达到420颗。Starlink星座的定位是全球卫星互联网,据马斯克所说是要实现50ms以内的时延,与地面光纤网络相当。那么,当前420颗卫星所能提供的互联网服务... 详细信息

2020年4月23日,Space X发射第七批共计60颗星链(Starlink)卫星,使星链星座在轨卫星达到420颗。Starlink星座的定位是全球卫星互联网,据马斯克所说是要实现50ms以内的时延,与地面光纤网络相当。那么,当前420颗卫星所能提供的互联网服务时延能达到多少呢?完成部署第一阶段1584颗卫星时,所能提供的服务时延能降低到多少?针对这些问题,项目组基于自研"天智网络仿真测试床"对Starlink星座的覆盖特性、业务时延进行分析。初步的结论是,当前在轨420颗Starlink卫星在南北纬30-55度之间可形成较好覆盖,但仍无法提供连续无缝覆盖。以美国纽约到西雅图的端到端通信.

关键词：光纤网络无缝覆盖端到端通信网络仿真测试业务时延覆盖特性时延分析互联网服务

来源：评论

学校读者我要写书评

暂无评论

Starlink星座卫星在轨实时跟进与分析

引用

卫星与网络 2020年第6期 70-71页

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

一、Starlink星座在轨卫星现状2020年4月23日,SpaceX发射第七批共计60颗星链(Starlink)卫星,也使得星链星座在轨卫星达到420颗。先前马斯克表示,SpaceX只需要大约400颗卫星就能提供初步运营能力,而近日马斯克透露将在3个月内进行私人内... 详细信息

一、Starlink星座在轨卫星现状2020年4月23日,SpaceX发射第七批共计60颗星链(Starlink)卫星,也使得星链星座在轨卫星达到420颗。先前马斯克表示,SpaceX只需要大约400颗卫星就能提供初步运营能力,而近日马斯克透露将在3个月内进行私人内测。那么,为什么是400颗星?又为什么是3个月?为解开这些谜团,项目组对Starlink星座进行长期跟进和研究,基于自研的"天智网络仿真测试床",对Starlink星座在轨卫星运行状况、进入预定轨道的推进过程进行了分析。

关键词：预定轨道在轨卫星运营能力星座 Star

来源：评论

学校读者我要写书评

暂无评论

Starlink星座星间组网动态路由探讨

引用

卫星与网络 2020年第11期 64-66页

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

一、概述自2020年6月开始,Space X公司在Starlink发射部署方面的进程明显加快了进度,从先前平均每月不到一次提升至单月内就发射3个批次。当前Starlink在轨卫星是没有星间链路的,而其所规划的星间链路存在的话,对网络性能有哪些方面提升... 详细信息

一、概述自2020年6月开始,Space X公司在Starlink发射部署方面的进程明显加快了进度,从先前平均每月不到一次提升至单月内就发射3个批次。当前Starlink在轨卫星是没有星间链路的,而其所规划的星间链路存在的话,对网络性能有哪些方面提升?采用星间链路后,又需要解决哪些问题?带着这些问题,我们开展了相关研究。

关键词：星间链路动态路由网络性能 Star 在轨卫星

来源：评论

学校读者我要写书评

暂无评论

Starlink第一期星座发展历程及性能分析

引用

卫星与网络 2020年第9期 46-49页

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

一、Starlink第一期星座的提出与修改历程自2016年11月15日Space X向FCC提交Starlink星座计划申请以来,Space X公司已先后3次提交修改申请,调整内容涉及星座规模、轨道高度、星座构型等参数。回顾如下:1.提出Space X向FCC提交申请,发射... 详细信息

一、Starlink第一期星座的提出与修改历程自2016年11月15日Space X向FCC提交Starlink星座计划申请以来,Space X公司已先后3次提交修改申请,调整内容涉及星座规模、轨道高度、星座构型等参数。回顾如下:1.提出Space X向FCC提交申请,发射和运营共计4425颗星座的Starlink计划,该申请已于2018年3月29日获得批准。(详细可参考FCC文件SATLOA2016111500118)所提交文件中表明的系统主要参数如下:系统用户侧频率为Ku、馈电侧频率为Ka。

关键词：星座计划轨道高度 FCC 星座构型性能分析发展历程

来源：评论

学校读者我要写书评

暂无评论

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)算法时变噪声统计估计滤波稳定性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

六角格网的弧线矢量数据量化拟合方法

引用

计算机辅助设计与图形学学报 2018年第4期30卷 557-567页

作者：张瀚李静吕品徐永志刘格林中国科学院软件研究所天基综合信息系统重点实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对... 详细信息

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对此,提出一种串序匹配拟合方法.首先依据有向弧段生成所穿越的匹配单元序列;然后对每个匹配单元依据离散Fréchet距离确定最佳的拟合六角格边;最后寻找并连接各条有向格边序列的连通端点,形成连通图.实验结果表明,文中方法可以在线性时间内完成大量弧段的量化拟合计算;同时,由于在量化中弧段间的连接节点被调整到格点,各弧段间的连接关系可在拟合过程中得以保持;串序匹配拟合方法具有很好的适应性和很高的效率.

关键词：兵棋地图地形量化制图综合串序匹配拟合 Fréchet距离

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：