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

科研信息化技术与应用 2011年第6期2卷 29-35页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具

引用

系统科学与数学 2017年第7期37卷 1704-1721页

作者：王砺磊曾霞林望陈鑫杨争峰华东师范大学上海市高可信计算重点实验室上海200062 温州大学数学与信息科学学院温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210023

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.

关键词：测试用例自动生成符号执行多项式系统实根求解低秩矩量矩阵恢复.

来源：评论

学校读者我要写书评

暂无评论

球形Couette流多重周期解的数值研究

球形Couette流多重周期解的数值研究

引用

近代空气动力学研讨会

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

本文对内球旋转、外球静止的两同心球之间的不可压缩流进行了数值模拟。研究了β=0.06和0.18两个缝隙比情况,雷诺数范围为发生第一次失稳的临界点至湍流流态之间。通过采用不同的初始条件和施加适当的波形扰动,对β=0.06得到了多重周期... 详细信息

本文对内球旋转、外球静止的两同心球之间的不可压缩流进行了数值模拟。研究了β=0.06和0.18两个缝隙比情况,雷诺数范围为发生第一次失稳的临界点至湍流流态之间。通过采用不同的初始条件和施加适当的波形扰动,对β=0.06得到了多重周期解,其中一种解的赤道每侧有3对螺旋形Taylor-Grtler(TG)涡,和Nakabayashi等人的实验及Dumas等人的计算结果符合,另外两种新得到的解分别有2对和1对螺旋形TG涡。还得到了关于赤道不对称的螺旋形TG涡。对β=0.18得到了有剪切波和Stuart涡的三种周期性流态。研究了这些流态随Re数的演化。用扰动的基本频率、波数和空间结构刻画了多重周期流态。

关键词：球形Couette流非惟一解螺旋形Taylor-Grtler涡

来源：评论

学校读者我要写书评

暂无评论

移动网格法在模拟预混合氢氧气体燃烧中的应用

移动网格法在模拟预混合氢氧气体燃烧中的应用

引用

全国计算机物理学会第六届年会和学术交流会

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

本文将移动网格法应用于化学反应流的数值模拟。整个计算方法由流场计算和网格移动两个独立的部分组成。在流场计算中应用二阶迎风 TVD 格式和 LU-SGS 格式求解轴对称多组分反应气体的 Navier-Stokes 方程。网格移动是用求解网格生成 Po... 详细信息

本文将移动网格法应用于化学反应流的数值模拟。整个计算方法由流场计算和网格移动两个独立的部分组成。在流场计算中应用二阶迎风 TVD 格式和 LU-SGS 格式求解轴对称多组分反应气体的 Navier-Stokes 方程。网格移动是用求解网格生成 Poisson 方程实现。在误差监控函数中使用质量分数的相对变化率来探测激波和爆燃面之间诱导区内化学反应产物在小尺度上的剧烈变化,使得网格在诱导区也可以加密。计算了绕钝头体和冲压加速器的氢/氧预混合气体超声速燃烧流场。计算结果表明用移动网格方法不仅能以较少的计算代价获得高分辨率的计算结果,而且可以避免非精确时间推进法计算爆燃问题时易出现的错误结果。

关键词：移动网格监控函数化学反应流激波诱导燃烧

来源：评论

学校读者我要写书评

暂无评论

颗粒流Savage-Hutter方程的有限体积法及其GPU计算

颗粒流Savage-Hutter方程的有限体积法及其GPU计算

引用

第十六届全国流体力学数值方法研讨会2013

作者：翟健袁礼中国科学院数学与系统科学研究院计算数学所科学与工程计算国家重点实验室

Savage-Hutter(SH)方程是描述Coulomb颗粒材料在地表面上流动的薄层近似方程,是滑坡、泥石流等地质灾害研究中的一个重要的力学模型。该方程属于浅水方程一类,但其求解过程因源项的特殊性,其处理方式稍不同于传统的浅水方程。SH方程中,... 详细信息

Savage-Hutter(SH)方程是描述Coulomb颗粒材料在地表面上流动的薄层近似方程,是滑坡、泥石流等地质灾害研究中的一个重要的力学模型。该方程属于浅水方程一类,但其求解过程因源项的特殊性,其处理方式稍不同于传统的浅水方程。SH方程中,地形曲率效应不可忽略,且在▽·u变号时地应力系数不连续,导致解不光滑。SH模型自1989年被提出以来,许多学者相继进行理论和

关键词：有限体积法 Savage-Hutter 颗粒流 GPU

来源：评论

学校读者我要写书评

暂无评论

球形Couette流多重周期解的数值研究

球形Couette流多重周期解的数值研究

引用

中国空气动力学会近代空气动力学研讨会

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

本文对内球旋转、外球静止的两同心球之间的不可压缩流进行了数值模拟.研究了β=0.06和0.18两个缝隙比情况,雷诺数范围为发生第一次失稳的临界点至湍流流态之间.通过采用不同的初始条件和施加适当的波形扰动,对β=0.06得到了多重周期解... 详细信息

本文对内球旋转、外球静止的两同心球之间的不可压缩流进行了数值模拟.研究了β=0.06和0.18两个缝隙比情况,雷诺数范围为发生第一次失稳的临界点至湍流流态之间.通过采用不同的初始条件和施加适当的波形扰动,对β=0.06得到了多重周期解,其中一种解的赤道每侧有3对螺旋形Taylor-Gortler(TG)涡,和Nakabayashi等人的实验及Dumas等人的计算结果符合,另外两种新得到的解分别有2对和1对螺旋形TG涡.还得到了关于赤道不对称的螺旋形TG涡.对β=0.18得到了有剪切波和Stuart涡的三种周期性流态.研究了这些流态随Re数的演化.用扰动的基本频率、波数和空间结构刻画了多重周期流态.

关键词：球形Couette流非惟一解螺旋形Taylor-Gortler涡

来源：评论

学校读者我要写书评

暂无评论

浅论软件技术发展

引用

电子学报 2002年第12A期30卷 1901-1906页

作者：杨芙清梅宏吕建金芝北京大学信息科学技术学院软件研究所北京100871 南京大学计算机软件新技术国家重点实验室江苏南京210096 中国科学院数学与系统科学研究院北京100080

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和... 详细信息

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向.

关键词：软件技术 Internet 网构软件因特网 Internetware 回顾

来源：评论

学校读者我要写书评

暂无评论

移动网格法在模拟预混合氢氧气体燃烧中的应用

移动网格法在模拟预混合氢氧气体燃烧中的应用

引用

庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007

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

将移动网格法应用于化学反应流的数值模拟。整个计算方法由流场计算和网格移动两个独立的部分组成。在流场计算中应用二阶迎风TVD格式和LU-SGS格式求解轴对称多组分反应气体的

关键词：移动网格监控函数化学反应流激波诱导燃烧

来源：评论

学校读者我要写书评

暂无评论

有界区域Weyl规范下具有周期间断系数Maxwell-Dirac系统多尺度算法

引用

数值计算与计算机应用 2019年第2期40卷 111-129页

作者：付姚姚曹礼群马楚鹏中国科学院大学北京100190 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京100190 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所科学与工程计算国家重点实验室国家数学与交叉科学中心北京100190 香港理工大学应用数学系香港999077

Maxwell-Dirac系统及修正形式在拓扑绝缘体、石墨烯、超导等材料中有着十分广泛的应用,本文针对有界区域Weyl规范下具有周期间断系数Maxwell-Dirac系统,提出了该系统解的多尺度渐近展开式,结合时间分裂谱和自适应棱单元方法,发展了一类... 详细信息

Maxwell-Dirac系统及修正形式在拓扑绝缘体、石墨烯、超导等材料中有着十分广泛的应用,本文针对有界区域Weyl规范下具有周期间断系数Maxwell-Dirac系统,提出了该系统解的多尺度渐近展开式,结合时间分裂谱和自适应棱单元方法,发展了一类新型高效算法.数值计算结果表明该算法在处理上述时-空多尺度问题时十分有效.

关键词： Maxwell-Dirac系统均匀化多尺度渐近展开式时间分裂谱方法自适应棱单元方法

来源：评论

学校读者我要写书评

暂无评论

子空间扩展算法及其应用

引用

数值计算与计算机应用 2020年第3期41卷 169-191页

作者：谢和虎中国科学院数学与系统科学研究院计算数学研究所国家数学与交叉科学中心科学与工程计算国家重点实验室北京100190 中国科学院大学数学科学学院北京100049

科学研究与工程实际中存在着大量的非线性偏微分方程,这使得非线性方程的求解变得越来越重要.本综述论文利用定义在粗网格上的有限元空间来重建任意有限元函数的Aubin-Nitsche技巧的误差估计.然后介绍如何利用这种对Aubin-Nitsche技巧... 详细信息

科学研究与工程实际中存在着大量的非线性偏微分方程,这使得非线性方程的求解变得越来越重要.本综述论文利用定义在粗网格上的有限元空间来重建任意有限元函数的Aubin-Nitsche技巧的误差估计.然后介绍如何利用这种对Aubin-Nitsche技巧的新视角来设计求解半线性椭圆方程和特征值问题的扩展子空间算法,同时给出相应的收敛性分析和计算量估计.特别地,当求解多项式形式的非线性方程和特征值问题的时候,扩展子空间算法的渐进计算量可以达到最优.本文的论述表明扩展子空间算法是一种用来设计求解非线性方程快速算法的框架,可以应用于更广泛的非线性方程的求解,同时也可以结合各种高效的线性解法器来提高非线性方程的求解效率.

关键词：扩展子空间算法有限元方法半线性椭圆方程特征值问题渐近计算量绝对最优

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：