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

地球物理学报 2023年第6期66卷 2445-2460页

作者：唐福贵刘宇涛李刚李春峰侯文爱浙江大学海洋科学系浙江舟山316021 中国科学院软件研究所天基综合信息系统重点实验室北京100190 浙江大学海南研究院海南三亚572025 青岛海洋科学与技术国家重点实验室海洋矿产资源评价与探测技术功能实验室山东青岛266237

地震波衰减研究是了解岩石圈构造特征的有效方法.本文基于OBS2016-2测线的海底地震仪(OBS)数据,首次对南海东北部洋陆过渡区域地震波衰减特征进行研究,通过正演模拟获得该区域二维纵波衰减(Q_(P))结构.结果表明,下陆坡的上地壳存在一个... 详细信息

地震波衰减研究是了解岩石圈构造特征的有效方法.本文基于OBS2016-2测线的海底地震仪(OBS)数据,首次对南海东北部洋陆过渡区域地震波衰减特征进行研究,通过正演模拟获得该区域二维纵波衰减(Q_(P))结构.结果表明,下陆坡的上地壳存在一个宽约40 km,厚度约为4~5 km的高衰减区,其特征为低纵波和横波速度(V_(P)为5.5~6.3 km·s^(-1)和V_(S)为3.1~3.6 km·s^(-1))以及较低的波速比(V_(P)/V_(S)为1.72~1.80),对应较低的Q_(P)(280~410),推测与断裂发育有关,且受到火山活动的影响.洋陆过渡及洋壳区域的上地壳高衰减区具有低Q_(P)(300~400)和高V_(P)/V_(S)(1.90~1.96)特征,可能对应较多的断裂发育及流体运移.洋陆过渡区域下地壳高速异常体表现为相对低的Q_(P)(550~600),对应较高的V_(P)(7.0~7.8 km·s^(-1))和V_(S)(3.5~3.8 km·s^(-1))以及较高的V_(P)/V_(S)(1.85~1.96),推测与蛇纹石化作用有关.蛇纹石化可能进一步增加岩石的孔隙度并导致更多的流体运移,使得洋陆过渡及洋壳区域存在较高的地震波衰减.Q_(P)结构有助于我们分析南海大陆边缘的地震波衰减特征,结合V_(P)、V_(S)以及V_(P)/V_(S),可以更好地了解该区域地质结构和岩石属性,对进一步挖掘OBS数据信息有重要参考价值.

关键词：洋陆过渡区域地震波衰减震相品质因子Q_(P) 衰减结构

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于主题映射元数据的数据库集成系统的设计与实现

基于主题映射元数据的数据库集成系统的设计与实现

引用

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

作者：吕品黎上洲徐梦露中国科学院软件研究所综合信息系统技术国家级重点实验室

基于主题映射元数据的数据集成方法,从有效标引文献和有效描述数据的两方面,提高了分布式数据的可见性和易用性,增强数据访问的安全性和有效性,缓解级数式增长的数据源、数据量与相对落后的数据管理手段、制度间的潜在矛盾。

关键词：主题映射元数据数据库集成

来源：评论

学校读者我要写书评

暂无评论

短报文可靠传输协议的设计与实现

引用

计算机工程与设计 2007年第18期28卷 4394-4396,4400页

作者：王宇亮章洋郑昌文中国科学技术大学计算机科学技术系安徽合肥230027 中国科学院软件研究所综合信息系统技术国家重点实验室北京100080

在某些移动自组网环境中,存在大量突发的要求可靠性与实时性的短报文业务。现有的UDP协议无法保证报文可靠有序的到达,并且缺乏流量控制,容易导致网络拥塞,TCP及其改进协议使用三次握手机制来建立连接,这对于短报文来说是极大的浪费。... 详细信息

在某些移动自组网环境中,存在大量突发的要求可靠性与实时性的短报文业务。现有的UDP协议无法保证报文可靠有序的到达,并且缺乏流量控制,容易导致网络拥塞,TCP及其改进协议使用三次握手机制来建立连接,这对于短报文来说是极大的浪费。对此分析了三次握手建立连接的设计原因,设计并实现了短报文可靠传输协议,通过避免三次握手,F-RTO技术以及简短的报文头格式减小了连接代价,大幅提高了短报文的传输效率。

关键词：无线自组网传输层短报文可靠性三次握手

来源：评论

学校读者我要写书评

暂无评论

固体激光大气传输参数定量反演与分析软件设计与实现

固体激光大气传输参数定量反演与分析软件设计与实现

引用

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

作者：王静吕品中国科学院软件研究所综合信息系统技术国家级重点实验室

本文在面向固体激光系统仿真的大气环境参数数据库基础上,开展基于历史数据的固体激光系统大气传输参数反演,获得典型地区典型时间的折射率常数C_n、大气相干长度r等关键大气传输参数,并与实测数据进行可视化对比分析,最终获得高置信度... 详细信息

本文在面向固体激光系统仿真的大气环境参数数据库基础上,开展基于历史数据的固体激光系统大气传输参数反演,获得典型地区典型时间的折射率常数C_n、大气相干长度r等关键大气传输参数,并与实测数据进行可视化对比分析,最终获得高置信度的大气环境参数预测结果,并设计实现了固体激光大气传输参数定量反演与分析仿真软件。

关键词：固体激光系统大气传输参数反演

来源：评论

学校读者我要写书评

暂无评论

网络流量感知的虚拟机高可用动态部署研究

网络流量感知的虚拟机高可用动态部署研究

引用

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

作者：李明宇张倩吕品中国科学院软件研究所综合信息系统技术国家级重点实验室

针对云化系统的稳定性和可用性问题,本文研究了一种网络流量感知的虚拟机动态部署算法。该算法引入影子虚拟机,基于动态迁移的主动容错,保护服务的可用性。本文还构造了适用于影子虚拟机和主动容错机制的网络流量模型,并提出了基于基于... 详细信息

针对云化系统的稳定性和可用性问题,本文研究了一种网络流量感知的虚拟机动态部署算法。该算法引入影子虚拟机,基于动态迁移的主动容错,保护服务的可用性。本文还构造了适用于影子虚拟机和主动容错机制的网络流量模型,并提出了基于基于影子的网络流量感知的虚拟机自动部署的求解算法。实验结果表明,相比已有算法,在考虑系统稳定性约束下,本文提出的算法能够求得更多的可行解,且在临界值的解法上比原算法有更少的时间和迭代次数。

关键词：虚拟机云计算可用性网络流量

来源：评论

学校读者我要写书评

暂无评论

COMPASS/GPS/GLONASS卫星组合定位数据处理研究

COMPASS/GPS/GLONASS卫星组合定位数据处理研究

引用

第二届中国卫星导航学术年会

作者：李川徐帆江刘立祥周文亚中国科学院软件研究所综合信息系统技术国家级重点实验室

依据COMPASS/GPS/GLONASS组合导航定位数据处理流程,分析了三系统组合定位模型,设计了基于仰角-方位角星座选择算法。仿真结果表明,该数据处理方法可以使计算量大大减少,有效改善实时性,并保持较高的定位精度。

关键词： COMPASS GPS GLONASS 组合定位选星数据处理

来源：评论

学校读者我要写书评

暂无评论

基于隐式限制四叉树的大规模动态地形建模与仿真方法

引用

中国体视学与图像分析 2010年第3期15卷 237-244页

作者：张洁吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一。本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高... 详细信息

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一。本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高了节点的索引效率。另外,提出了基于高程值的地形纹理图像合成方法,根据地形采样点的高程值实时合成匹配地形特征的纹理图像。本文还给出了弹坑与车辙的建模方法。仿真结果表明,本文描述的方法可以实时获得逼真的大规模动态地形仿真效果。

关键词：动态地形仿真多分辨率地形模型纹理合成地表形变模型

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

多分辨率仿真模型互联运行问题研究

多分辨率仿真模型互联运行问题研究

引用

2010年虚拟技术与环境仿真学术年会

作者：尹华飞吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行.在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究.使用聚合解聚的方法,讨论和比较了三种扩展接口方案.采用低分辨率模型为主线,高分辨率模型为... 详细信息

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行.在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究.使用聚合解聚的方法,讨论和比较了三种扩展接口方案.采用低分辨率模型为主线,高分辨率模型为修正参考的思想,确定了将互联扩展接口放在高分辨率模型中.从任务的解聚、位置的更新、毁伤的计算三个方面来解决互联运行的一致性问题,并给出了一个互联运行实例,为多分辨率模型互联运行的实现提供了一种解决思路.

关键词：多分辨率建模聚合解聚一致性问题

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：