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

力学学报 2012年第5期44卷 884-895页

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

针对Saurel和Abgrall提出的两速度两压力的七方程可压缩多相流模型,改进了其数值解法并应用于模拟可压缩多介质流动问题.在Saurel等的算子分裂法基础上,根据Abgrall的多相流系统应满足速度和压力的均匀性不随时间改变的思想,推导了与HLL... 详细信息

针对Saurel和Abgrall提出的两速度两压力的七方程可压缩多相流模型,改进了其数值解法并应用于模拟可压缩多介质流动问题.在Saurel等的算子分裂法基础上,根据Abgrall的多相流系统应满足速度和压力的均匀性不随时间改变的思想,推导了与HLLC格式一致的非守恒项离散格式以及体积分数发展方程的迎风格式.进一步,通过改变分裂步顺序,构造了稳健的结合算子分裂的三阶TVD龙格--库塔方法.最后通过几个一维和二维高密度比高压力比气液两相流算例,显示了该方法在计算精度和稳健性上的改进效果.

关键词：可压缩多相流七方程模型算子分裂 HLLC格式 TVD龙格-库塔

来源：评论

学校读者我要写书评

暂无评论

哈密尔顿偏微分方程多辛算法(英文)

引用

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

作者：王雨顺洪佳林南京师范大学数学科学学院江苏省重点实验室大规模复杂系统数值模拟南京210046 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所科学与工程计算国家重点实验室北京100190

近来,哈密尔顿偏微分方程多辛算法的研究越来越热门.多辛算法已经成为保结构算法的一个重要分支.对哈密尔顿偏微分方程多辛算法的发展进行了综述,其中包括其基本概念、主要结果和一些应用.此外,文章还部分阐述了多辛算法概念的推广和延伸.

关键词：多辛算法哈密尔顿偏微分方程保结构算法

来源：评论

学校读者我要写书评

暂无评论

含有多层生长孪晶的〈111〉纳米线变形行为的原子模拟

含有多层生长孪晶的〈111〉纳米线变形行为的原子模拟

引用

中国力学大会——2013

作者：田霞崔俊芝余新刚河海大学力学与材料学院中国科学院大学数学与系统科学研究院计算数学所中国科学院大学物理学院

主要利用分子动力学模拟来研究含有多层生长孪晶的〈111〉纳米线的变形机制。由于孪晶界的存在,使得含有孪晶的纳米线的强度要较不含孪晶的纳米线的强度高,并且纳米线的屈服强度与孪晶界的间距成反比。从这个角度来说,孪晶界细化纳米线...

主要利用分子动力学模拟来研究含有多层生长孪晶的〈111〉纳米线的变形机制。由于孪晶界的存在,使得含有孪晶的纳米线的强度要较不含孪晶的纳米线的强度高,并且纳米线的屈服强度与孪晶界的间距成反比。从这个角度来说,孪晶界细化纳米线是使得纳米线增强的一

关键词：

来源：评论

学校读者我要写书评

暂无评论

非协调元特征值渐近下界

引用

数学的实践与认识 2012年第11期24卷 219-226页

作者：林群谢和虎中国科学院数学与系统科学研究院计算数学所北京100190

利用有限元收敛速度下界的结果获得某些非协调元方法新的Aubin-Nitsche估计形式,然后再结合非协调元特征值的展开式获得不需要额外条件下非协调元特征值渐近下界的结果.

关键词：特征值下界逼近非协调有限元

来源：评论

学校读者我要写书评

暂无评论

深穿透粒子输运问题的自适应抽样方法

引用

强激光与粒子束 2012年第12期24卷 2941-2945页

作者：王瑞宏姬志成裴鹿成北京应用物理与计算数学研究所北京100094 中国原子能科学研究院北京102413

屏蔽计算中的深穿透问题一直是蒙特卡罗计算的一个难题,研究了一种发射点作为驿站的随机游动机制,推导了相应的自适应抽样方法。其主要优势在于,在蒙特卡罗方法求解粒子输运的同时,利用已经获得的信息,自适应地控制各次抽样数,不断完善... 详细信息

屏蔽计算中的深穿透问题一直是蒙特卡罗计算的一个难题,研究了一种发射点作为驿站的随机游动机制,推导了相应的自适应抽样方法。其主要优势在于,在蒙特卡罗方法求解粒子输运的同时,利用已经获得的信息,自适应地控制各次抽样数,不断完善计算进程。通过对碰撞点引进重要性函数,实现发射点作为驿站的重要性抽样,并结合自适应控制达到最佳抽样状态。数值结果表明:基于发射点作为驿站的自适应抽样方法,在一定程度上克服了深穿透计算中估计值偏低现象。相应的重要函数抽样方法获得了满意的结果。

关键词：自适应抽样蒙特卡罗方法粒子输运深穿透问题

来源：评论

学校读者我要写书评

暂无评论

压缩感知

引用

中国科学：数学 2012年第9期42卷 865-877页

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

压缩感知是近来国际上热门的研究方向.其主要思想为:利用信号稀疏性的特征,通过尽量少的观测信息恢复信号.压缩感知在多个应用领域,如医学成像、图像处理、地质勘探等中具有很好的应用前景.此外,它与逼近论、最优化、随机矩阵及离散几... 详细信息

压缩感知是近来国际上热门的研究方向.其主要思想为:利用信号稀疏性的特征,通过尽量少的观测信息恢复信号.压缩感知在多个应用领域,如医学成像、图像处理、地质勘探等中具有很好的应用前景.此外,它与逼近论、最优化、随机矩阵及离散几何等领域密切相关,由此产生了一些漂亮的数学结果.本文综述压缩感知一些基本结果并介绍最新进展.主要包括RIP矩阵编码与l1解码的性能、RIP(restricted isometry property)矩阵的构造、Gelfand宽度、个例最优性及OMP(orthogonalmatching pursuit)解码等.

关键词：压缩感知宽度线性规划

来源：评论

学校读者我要写书评

暂无评论

中国高性能计算机TOP100十周年回顾与展望

引用

计算机工程与科学 2012年第8期34卷 11-16页

作者：张云泉袁国兴孙家昶张林波中科院软件所并行软件与计算科学实验室北京100190 北京应用物理与计算数学所北京100088 中科院数学与系统科学研究院北京100190

本文根据中国高性能计算机TOP100排行榜十年发布的数据,对国内高性能计算机的发展历史和现状从总体性能、制造商、行业领域等方面进行了深入分析和回顾。论述了继续采用Linpack测试标准的合理性,探讨了增加系统Linpack测试成功率作为系... 详细信息

本文根据中国高性能计算机TOP100排行榜十年发布的数据,对国内高性能计算机的发展历史和现状从总体性能、制造商、行业领域等方面进行了深入分析和回顾。论述了继续采用Linpack测试标准的合理性,探讨了增加系统Linpack测试成功率作为系统可靠性度量指标的可行性,重申了执行中国HPC TOP100申报和检验流程等规定的重要性。

关键词：高性能计算机 TOP100 排行榜性能回顾

来源：评论

学校读者我要写书评

暂无评论

物联网服务建模:一种基于环境建模的方法

引用

中国科学：信息科学 2013年第10期43卷 1198-1218页

作者：李戈魏强李力行金芝许焱郑丽伟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190 中国科学院大学北京100049 北京信息科技大学计算机学院北京100085

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响... 详细信息

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

关键词：物联网物联网服务环境建模服务建模本体服务建模过程

来源：评论

学校读者我要写书评

暂无评论

2012年中国高性能计算机发展现状分析与展望

引用

计算机工程与科学 2012年第12期34卷 1-8页

作者：张云泉孙家昶袁国兴张林波中国科学院软件所并行软件与计算科学实验室北京100190 北京应用物理与计算数学所北京100088 中国科学院数学与系统科学研究院北京100190

本文根据2012年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。我们发现,中国TOP100的平均Linpack性能与国际TOP500的平均Linpack性能的差距已经从原... 详细信息

本文根据2012年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。我们发现,中国TOP100的平均Linpack性能与国际TOP500的平均Linpack性能的差距已经从原来的半年扩大到一年。在此基础上,根据十一届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年中国大陆高性能计算机的发展趋势进行了分析预测。从预测可以看出,峰值为10Petaflops的机器将在2012年到2013年间出现;累计Linpack性能将在2013年到2014年间达到100Petaflops;峰值为100Petaflops的机器将在2014年到2015年间出现;峰值达到Exaflops级的机器将在2017年到2018年间出现。

关键词：高性能计算机 TOP100 排行榜性能分析

来源：评论

学校读者我要写书评

暂无评论

可压液晶流之解的渐近行为分析

引用

中国科学：数学 2012年第2期42卷 107-118页

作者：褚玉明马文雅刘宪高湖州师范学院数学系湖州313000 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京100190 复旦大学数学科学学院上海200433

本文考察可压液晶流的长时间行为.如果稳态函数ds极小化Ginzburg-Landau逼近能量,则可以证明有限能量弱解(ρ,u,d)(t,x)收敛于(ρs,0,ds)(x),这里ρs是由总质量守恒唯一确定的密度函数.

关键词：液晶长时间行为可压

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：