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

空间科学学报 2024年第2期44卷 228-240页

作者：党炜骆军委郑作环敖亮李博李鹏熊盛阳许鹏程宋恒旭胡剑桥冯业为中国科学院空间应用工程与技术中心北京100094 中国科学院半导体研究所半导体超晶格国家重点实验室北京100083 中国科学院数学与系统科学研究院应用数学研究所北京100190 中国科学院微电子研究所北京100029 中国运载火箭技术研究院北京100076 中国科学院力学研究所非线性力学国家重点实验室北京100190 中国科学院空间科学与应用总体部北京100094 中国科学院可靠性保障中心北京100094 中国科学院大学北京100049

未认知与不确定性是深空探测任务的基本特征.本文基于战略导向的体系化基础研究,建立了一种面向科学价值最大化的探测场景和以可靠性为核心技术基础的深空探测自主运行可信性技术体系.分析研究了深空探测场景下的可靠性概念;面向精确感... 详细信息

未认知与不确定性是深空探测任务的基本特征.本文基于战略导向的体系化基础研究,建立了一种面向科学价值最大化的探测场景和以可靠性为核心技术基础的深空探测自主运行可信性技术体系.分析研究了深空探测场景下的可靠性概念;面向精确感知、最优计算、准确决策、快精准执行的目标要素,提出了深空探测自主运行的可信性体系框架以及“需求-认知-工程”总体技术架构;针对自主运行可信性的关键技术难点,开展了可靠性导向的多物理场、强耦合白盒建模,复杂网络故障传播机制分析,COTS元器件深空探测应用的高可靠保证,以及“模型+数据+知识”一体的融合机制分析等研究.对该技术体系的关键技术验证策略及其最小系统在卫星星座中的应用进行了验证,结果表明,所提出的技术体系具有较高的工程价值.

关键词：深空探测自主运行可靠性可信性多物理场复杂网络

来源：评论

学校读者我要写书评

暂无评论

扩展自回归条件久期模型的概率性质

引用

应用数学学报 2009年第4期32卷 682-689页

作者：刘伟陈敏王慧敏中国科学院数学与系统科学研究院应用数学研究所北京100190 河海大学水文水资源与水利工程科学国家重点实验室南京210098

本文给出了扩展自回归条件久期模型(Augmented Autoregressive Conditional Duration Model,简记为AACD Model)严平稳遍历的充分必要条件。在一定的正则条件下研究了模型矩的性质。最后我们证明AACD过程在保证严平稳遍历的条件下,其边... 详细信息

本文给出了扩展自回归条件久期模型(Augmented Autoregressive Conditional Duration Model,简记为AACD Model)严平稳遍历的充分必要条件。在一定的正则条件下研究了模型矩的性质。最后我们证明AACD过程在保证严平稳遍历的条件下,其边际分布具有重尾的概率性质。

关键词：扩展的ACD模型严平稳重尾

来源：评论

学校读者我要写书评

暂无评论

混合法炮集三维叠前深度偏移

引用

自然科学进展 2003年第4期13卷 422-425页

作者：张文生张关泉马在田中国科学院数学与系统科学研究院计算数学与科学工程计算研究所科学与工程计爱国家重点实验室北京100080 同济大学海洋与地球科学学院上海200092

混合法深度偏移是一种精度较高的偏移方法,它在频率空间域和频率波数域交替实现波场外推,具有适应横向变速和陡倾角的优点。Fourier有限差分法(FFD)是一种典型的混合法,但计算表明,该方法用于三维 SEG/EAEG模型的叠前深度偏移时,由于速... 详细信息

混合法深度偏移是一种精度较高的偏移方法,它在频率空间域和频率波数域交替实现波场外推,具有适应横向变速和陡倾角的优点。Fourier有限差分法(FFD)是一种典型的混合法,但计算表明,该方法用于三维 SEG/EAEG模型的叠前深度偏移时,由于速度的剧变,波场外推会产生不稳定现象,文中提出了一种新的三维混合法偏移,计算表明,该方法比Fourier有限差分法更加适应横向剧烈变速情况,没有不稳定现象。用该方法对SEG/EAEG模型的炮集数据进行了三维叠前深度偏移,取得了较精确的成像效果,该方法具有较大的实用价值。

关键词：混合法三维叠前深度偏移波场外推 SEG/EAEG模型横向剧烈变速盐丘成像炮集

来源：评论

学校读者我要写书评

暂无评论

复杂网络集团特征研究综述

引用

计算机科学 2006年第10期33卷 1-4,28页

作者：张光卫康建初夏传良李鹤松北京航空航天大学软件开发环境国家重点实验室北京100083 中国科学院数学与系统科学研究院计算机科学研究室北京100080

自然界和人类社会的许多系统可以用复杂网络进行建模,复杂网络已成为多个学科的研究热点。分析复杂网络的一个关键问题是如何理解其全局组织,网络的健壮性和稳定性在很大程度上取决于其集团结构特征。本文简要介绍了复杂网络的基本概念... 详细信息

自然界和人类社会的许多系统可以用复杂网络进行建模,复杂网络已成为多个学科的研究热点。分析复杂网络的一个关键问题是如何理解其全局组织,网络的健壮性和稳定性在很大程度上取决于其集团结构特征。本文简要介绍了复杂网络的基本概念并详细总结了近年复杂网络集团特性的研究进展,重点分析了社区发现算法的最新研究成果,最后提出这一领域几个有待解决的问题和可能的发展方向。

关键词：复杂网络社区幂率分布小世界无尺度

来源：评论

学校读者我要写书评

暂无评论

LSSC-Ⅲ集群的作业调度与系统管理

引用

数据与计算发展前沿 2011年第6期2卷 29-35页

作者：钱莹崔涛科学与工程计算国家重点实验室中国科学院数学与系统科学研究院计算数学与科学工程计算研究所

"科学与工程计算国家重点实验室"(LSEC)的三号集群LSSC-Ⅲ,于2010年3月建成并投入使用。在总结了实验室前两套PC机群的作业调度与系统管理经验的基础上,我们开发了一系列基于OpenPBS和Maui的适应于科学计算Linux集群用户的作... 详细信息

"科学与工程计算国家重点实验室"(LSEC)的三号集群LSSC-Ⅲ,于2010年3月建成并投入使用。在总结了实验室前两套PC机群的作业调度与系统管理经验的基础上,我们开发了一系列基于OpenPBS和Maui的适应于科学计算Linux集群用户的作业提交、调度与系统管理脚本。本文详细介绍了LSSC-Ⅲ的作业调度与系统管理方案,以期能为中小规模集群(结点数在1024个以内)用户提供一套稳定、高效且易用的作业调度与系统管理解决方案。

关键词： Linux集群作业调度系统管理

来源：评论

学校读者我要写书评

暂无评论

大规模科学数据三维可视化系统的建设

引用

数据与计算发展前沿 2014年第5期5卷 19-24页

作者：钱莹陈冲崔涛科学与工程计算国家重点实验室中国科学院数学与系统科学研究院计算数学与科学工程计算研究所

科学与工程计算国家重点实验室的"高性能科学计算可视化系统"于2013年6月建成并投入使用。它是中国科学院的首套单机4K(4096×2160)显示分辨率的仿真投影系统。该系统主要由以下部件组成:巴可4K投影机,巴可双层玻璃屏幕,... 详细信息

科学与工程计算国家重点实验室的"高性能科学计算可视化系统"于2013年6月建成并投入使用。它是中国科学院的首套单机4K(4096×2160)显示分辨率的仿真投影系统。该系统主要由以下部件组成:巴可4K投影机,巴可双层玻璃屏幕,巴可XDS图形控制器,SGI图形工作站及NVIDIA图形处理系统等。本文主要介绍整套系统的建设情况,旨为其他有相同建设需求和应用背景的用户提供一些经验。

关键词： 4K投影机 3D可视化

来源：评论

学校读者我要写书评

暂无评论

求解对称特征值问题的修正Jacobi共轭预处理梯度法(英文)

引用

应用数学与计算数学学报 2013年第2期27卷 260-288页

作者：菅帅中国科学院数学与系统科学研究院计算数学与科学工程计算研究所科学与工程计算国家重点实验室北京100190

对于对称特征值问题,基于对原有复杂Jacobi共轭条件的简化,提出了一种修正的Jacobi共轭预处理梯度法.在理论上证明了在求解单个端部特征值时修正方法与原始方法有着渐近等价的共轭性.而在求解多个端部特征值时,修正方法与原始方法展现... 详细信息

对于对称特征值问题,基于对原有复杂Jacobi共轭条件的简化,提出了一种修正的Jacobi共轭预处理梯度法.在理论上证明了在求解单个端部特征值时修正方法与原始方法有着渐近等价的共轭性.而在求解多个端部特征值时,修正方法与原始方法展现出极为相似的收敛性,但其矩阵乘积运算更少,因而计算代价也更小.数值算例进一步验证了修正方法的有效性和优越性.

关键词： Jacobi校正算子修正的共轭条件 Rayleigh-Ritz过程块共轭梯度

来源：评论

学校读者我要写书评

暂无评论

一种基于AUSM分裂的真正多维HLL格式

引用

气体物理 2016年第6期1卷 22-35页

作者：胡立军袁礼中国科学院数学与系统科学研究院计算数学所科学与工程计算国家重点实验室北京100190

文章给出了一种真正多维的HLL Riemann解算器.采用AUSM分裂将通量分解成为对流通量和压力通量,其中对流通量的计算采用迎风格式,压力通量的计算采用HLL格式,且将HLL格式的耗散项中的密度差用压力差代替,从而使得格式能够分辨接触间断.... 详细信息

文章给出了一种真正多维的HLL Riemann解算器.采用AUSM分裂将通量分解成为对流通量和压力通量,其中对流通量的计算采用迎风格式,压力通量的计算采用HLL格式,且将HLL格式的耗散项中的密度差用压力差代替,从而使得格式能够分辨接触间断.为了实现数值格式真正多维的特性,分别计算了网格界面中点和角点上的数值通量,并且采用Simpson公式加权组合中点和角点上的数值通量得到网格界面的数值通量.为了减少重构角点处状态时的模板宽度,计算中采用基于SDWLS梯度的线性重构获得2阶空间精度,而时间离散采用2阶保强稳Runge-Kutta方法.数值实验表明,相比于传统的一维HLL格式,文章的真正多维HLL格式具有能够分辨接触间断,以及更大的时间步长等优点.与其他能够分辨接触间断的格式(例如HLLC格式)不同,真正多维的HLL格式在计算二维问题时不会出现激波不稳定现象.

关键词： Euler方程真正多维HLL格式 AUSM分裂角点通量捕捉接触间断 SDWLS梯度重构

来源：评论

学校读者我要写书评

暂无评论

大规模科学数据三维可视化系统的建设

引用

科研信息化技术与应用 2014年第5期5卷 19-24页

作者：钱莹陈冲崔涛科学与工程计算国家重点实验室北京100190 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京100190

关键词： 4K投影机 3D可视化

来源：评论

学校读者我要写书评

暂无评论

数控加工中路径规划与速度插补综述

引用

图学学报 2022年第6期43卷 967-986页

作者：马鸿宇申立勇姜鑫邹强袁春明中国科学院大学数学科学学院北京100049 北京航空航天大学人工智能研究院数学、信息与行为教育部重点实验室北京100083 浙江大学计算机科学与技术学院 CAD&CG国家重点实验室浙江杭州310027 中国科学院数学与系统科学研究院北京100190

数控技术在现代制造工业中被广泛使用,相关研究一直为学界和业界共同关注。数控技术的传统流程主要包含刀具路径规划和进给速度插补。为实现高速高精加工,人们通常将路径规划与速度插补中的若干问题转换成数理优化模型,针对工程应用问... 详细信息

数控技术在现代制造工业中被广泛使用,相关研究一直为学界和业界共同关注。数控技术的传统流程主要包含刀具路径规划和进给速度插补。为实现高速高精加工,人们通常将路径规划与速度插补中的若干问题转换成数理优化模型,针对工程应用问题的复杂性,采用分步迭代优化的思路进行求解,但所得的结果往往只是局部最优解。其次,路径规划与速度插补都是为了加工一个工件曲面,分两步进行处理虽然简化了计算,但也导致不能进行整体优化。因此,为了更好地开展路径规划与速度插补一体化设计与全局最优求解的研究,系统性地了解并学习已有的代表性工作是十分有必要的。所以将逐次介绍数控加工中刀具路径规划与速度插补的相关方法与技术进展,包括基于端铣的加工路径规划;刀轴方向优化;G代码加工以及拐角过渡;参数曲线路径的进给速度规划等国内外相关研究以及最新提出的一些新型加工优化方法。

关键词：计算机辅助制造数控技术路径规划速度插补 G代码加工

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：