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

软件学报 2020年第6期31卷 1860-1874页

作者：吴悦文吴恒任杰张文博魏峻王焘钟华中国科学院软件研究所软件工程技术中心北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

云计算已成为大数据分析作业的主流运行支撑环境,选择合适的云资源优化其性能面临巨大挑战.当前研究主要考虑大数据分析框架(如Hadoop,Spark等)的多样性,采用机器学习方法进行资源供给,但样本少容易陷入局部最优解.提出了大数据环境下... 详细信息

云计算已成为大数据分析作业的主流运行支撑环境,选择合适的云资源优化其性能面临巨大挑战.当前研究主要考虑大数据分析框架(如Hadoop,Spark等)的多样性,采用机器学习方法进行资源供给,但样本少容易陷入局部最优解.提出了大数据环境下基于负载分类的启发式云资源供给方法RP-CH,基于云资源共享特点,获取其他大数据分析作业的运行时监测和云资源配置信息,建立负载分类与优化云资源配置的启发式规则,并将该规则作用到贝叶斯优化算法的收益函数.基于HiBench,SparkBench测试基准的结果显示:RP-CH相对于已有方法CherryPick、大数据分析作业的性能平均提升了58%,成本平均减少了44%.

关键词：大数据分析云计算启发式云资源供给贝叶斯优化

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的GPS轨迹去匿名研究

引用

计算机工程与科学 2022年第2期44卷 244-250页

作者：卜冠华周礼亮李昊张敏中国科学院软件研究所可信计算与信息保障实验室北京100089 中国科学院大学北京100089 中国电子科技集团公司航空电子信息系统技术重点实验室四川成都610036

移动互联网和LBS技术的高速发展使得位置服务提供商可以轻松收集到大量用户位置轨迹数据,近期研究表明,深度学习方法能够从轨迹数据集中提取出用户身份标识等隐私信息。然而现有工作主要针对社交网络采集的签到点轨迹,针对GPS轨迹的去... 详细信息

移动互联网和LBS技术的高速发展使得位置服务提供商可以轻松收集到大量用户位置轨迹数据,近期研究表明,深度学习方法能够从轨迹数据集中提取出用户身份标识等隐私信息。然而现有工作主要针对社交网络采集的签到点轨迹,针对GPS轨迹的去匿名研究则较为缺乏。因此,对基于深度学习的GPS轨迹去匿名技术开展研究。首先提出一种GPS轨迹数据预训练方法,经过子轨迹划分、位置点转化和位置点嵌入,原始GPS轨迹中的空间距离和上下文信息被嵌入到定长向量中,使得GPS轨迹数据能够作为神经网络的输入。其次提出一种基于深度神经网络训练的GPS轨迹去匿名方法,基于预训练得到的向量序列,采用LSTM、GRU等神经网络作为编码器训练拟合用户标识,实现匿名轨迹数据的用户关联。最后基于Geolife轨迹数据集对上述方法进行验证,实验中轨迹去匿名的准确率和Top5准确率分别达到了56.73%和73.48%,实验结果表明,基于深度学习的GPS轨迹去匿名方法能够从匿名轨迹数据中较为准确地识别出用户标识。

关键词：深度学习循环神经网络轨迹去匿名 GPS轨迹数据预训练

来源：评论

学校读者我要写书评

暂无评论

复杂系统规约、分析与验证发展现状与展望

引用

前瞻科技 2023年第1期2卷 7-22页

作者：詹乃军王戟中国科学院软件研究所天基综合信息系统重点实验室中国科学院软件研究所计算机科学国家重点实验室国防科技大学计算机学院国防科技大学高性能计算国家重点实验室

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统... 详细信息

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统的关键技术之一，也是解决中国“缺芯少魂”的核心技术之一，同时也是国际学术前沿。文章回顾国内外形式化方法研究现状，分析国内外研究差距，并提出加强中国这方面基础研发的若干建议。

关键词：形式化方法安全攸关系统形式规约形式分析与验证

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

来源：评论

学校读者我要写书评

暂无评论

基于优质样本筛选的离线强化学习算法

引用

模式识别与人工智能 2024年第11期37卷 1022-1032页

作者：侯永宏丁旺任懿董洪伟杨松领天津大学电气自动化与信息工程学院天津 300072 中国科学院软件研究所空间综合信息系统国家重点实验室北京 100190

针对离线强化学习算法过度依赖数据集样本质量的问题,提出基于优质样本筛选的离线强化学习算法.首先,在策略评估阶段,赋予优势值的样本更高的更新权重,并添加策略熵项,快速识别高质量且在数据分布内概率较高的动作样本,从而筛选更有价... 详细信息

针对离线强化学习算法过度依赖数据集样本质量的问题,提出基于优质样本筛选的离线强化学习算法.首先,在策略评估阶段,赋予优势值的样本更高的更新权重,并添加策略熵项,快速识别高质量且在数据分布内概率较高的动作样本,从而筛选更有价值的动作样本.在策略优化阶段,最大化归一化优势函数的同时,保持对数据集上动作的策略约束,使算法在数据集样本质量较低时也可高效利用优质样本,提升策略的学习效率和性能.实验表明,文中算法在MuJoCo-Gym环境的D4RL离线数据集上表现出色,并且可成功筛选更有价值的样本,由此验证其有效性.

关键词：强化学习离线强化学习分布偏移策略约束值函数样本筛选

来源：评论

学校读者我要写书评

暂无评论

Starlink VLEO星座介绍与仿真分析

引用

卫星与网络 2021年第11期 48-53页

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

本文主要对星链系统第二期VLEO星座进行介绍与仿真分析,首先对星链当前在轨卫星情况进行跟踪与分析,进而对VLEO星座的空间轨道分布、与LEO星座协调运行、波束辐射模式等进行介绍与分析。***在轨进展概览截止2021年11月22日,Starlink发... 详细信息

本文主要对星链系统第二期VLEO星座进行介绍与仿真分析,首先对星链当前在轨卫星情况进行跟踪与分析,进而对VLEO星座的空间轨道分布、与LEO星座协调运行、波束辐射模式等进行介绍与分析。***在轨进展概览截止2021年11月22日,Starlink发射31批次共计1842颗卫星。其中,两次为太阳同步轨道卫星的搭载发射,其余基本上为一箭60星发射。各批次发射时间与个数如表1所示。当前,在轨活跃的1716颗卫星分布如图1所示。在轨卫星高度分布如图2、图3所示。

关键词：辐射模式空间轨道仿真分析链系统星座 Star 协调运行 LEO

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

激光二极管叠阵侧面泵浦多边形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年第10期 48-53页

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

2020年10月24日晚23:31,第15批代号为Starlink14的卫星发射升空,此时距离该星座上一次发射仅6天,同时也成就了一个星座18天内完成三次发射的壮举。在当时,距4月23日马斯克所说的"3个月内测,6个月公测"已半年多了,内测性能如何... 详细信息

2020年10月24日晚23:31,第15批代号为Starlink14的卫星发射升空,此时距离该星座上一次发射仅6天,同时也成就了一个星座18天内完成三次发射的壮举。在当时,距4月23日马斯克所说的"3个月内测,6个月公测"已半年多了,内测性能如何?公测是否启动?当前在轨卫星运行状态如何?公测阶段更大数量的终端接入将如何应对?带着这些问题,本文将对Starlink星座在轨状态、内测公测信息进行分析,并对链路层协议进行探讨。

关键词：卫星发射在轨卫星终端接入星座运行状态 Star

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：