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

Science China Mathematics 2024年

作者：郭柏灵汤厚志赵斌北京应用物理与计算数学研究所中国科学院数学与系统科学研究院

本文研究由流体动理学(fluid-kinetic)耦合模型通过渐近分析推导出的无压Euler-Navier-Stokes两相流系统的整体适定性及长时间行为. Euler方程中缺少压力项给密度ρ(t, x)的一致估计带来很大挑战.为了克服这个困难,本文采取的办法是假设... 详细信息

本文研究由流体动理学(fluid-kinetic)耦合模型通过渐近分析推导出的无压Euler-Navier-Stokes两相流系统的整体适定性及长时间行为. Euler方程中缺少压力项给密度ρ(t, x)的一致估计带来很大挑战.为了克服这个困难,本文采取的办法是假设Navier-Stokes方程的初始扰动(n0-1, v0)属于某个负Sobolev空间H-s(R3)(s∈(1, 3/2));然后利用能量法得到Euler方程中速度∥▽u∥H3的时间衰减率(1+t)-1+s/2,结合上述估计和特征线方法得到无压Euler方程密度的一致估计;最后,借助对∥▽u∥H3的时间衰减估计,本文建立该模型经典解的整体适定性.同时,本文证明解(u, n, v)在L2范数意义下以代数衰减率衰减到平衡状态(0, 1, 0).

关键词：无压Euler-Navier-Stokes系统负Sobolev空间长时间行为

来源：评论

学校读者我要写书评

暂无评论

Petri网精细化操作及其在系统设计中的应用

引用

软件学报 2006年第1期17卷 11-19页

作者：夏传良焦莉陆维明中国科学院数学与系统科学研究院计算机科学研究室北京100080 中国科学院软件研究所计算机科学重点实验室北京100080

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计... 详细信息

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.

关键词： Petri网精细化操作活性有界性系统设计

来源：评论

学校读者我要写书评

暂无评论

Petri网共享PP-型子网合成性质分析

引用

软件学报 2007年第1期18卷 22-32页

作者：夏传良焦莉陆维明中国科学院数学与系统科学研究院计算机科学研究室北京100080 计算机科学重点实验室(中国科学院软件研究所) 北京100080

Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了... 详细信息

Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.

关键词： Petri网分析合成活性和有界性子网

来源：评论

学校读者我要写书评

暂无评论

集群网络评测模型的新探索

引用

软件学报 2005年第6期16卷 1131-1139页

作者：唐渊孙家昶张云泉张林波中国科学院软件研究所并行计算实验室中国科学院数学与系统科学研究院科学与工程计算国家重点实验室北京100080

传统集群网络(clusterareanetwork,简称cLAN)的评测模型主要考虑了延迟、带宽、路由、拥塞、网络拓扑结构等因素.但这些因素是否足以描述实际应用程序在集群上的通信行为,或者对其在集群系统上的性能给出一个很好的预测呢?当对NASParall... 详细信息

传统集群网络(clusterareanetwork,简称cLAN)的评测模型主要考虑了延迟、带宽、路由、拥塞、网络拓扑结构等因素.但这些因素是否足以描述实际应用程序在集群上的通信行为,或者对其在集群系统上的性能给出一个很好的预测呢?当对NASParallelBenchmark(2.4版本)在集群系统深腾1800(DeepComp1800)上进行大量测试时发现,集群网络的通信性能可以被一种特殊的通信模式(LU模式)所严重影响.更深入的研究表明,这个影响LU模式的因素是独立于前面所述的如延迟、带宽、路由、拥塞、网络拓扑结构等因素的.因此有必要对集群网络的评测模型重新进行审视,并增加一个新的性能评测因子以反映这个新发现的现象.从研究结果来看,这个重新审视也将对集群系统上的并行算法设计以及实际大规模科学计算的应用程序性能的优化提供一些新的思路.

关键词：集群网络(CLAN)评测模型 NPB LINUX集群系统通信性能评测通信模式

来源：评论

学校读者我要写书评

暂无评论

坡面颗粒流开源软件TITAN2D的改进及应用

引用

山地学报 2016年第3期34卷 346-355页

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

滑坡或崩塌碎屑流的泛滥范围和冲击力可以用颗粒薄层流模型进行数值模拟研究。薄层流模型是将流体力学的质量守恒和动量守恒方程在深度方向平均后所得的近似方程组,因其在分析上的简化而广受重视。近年来基于颗粒薄层流模型(以Savage-Hu... 详细信息

滑坡或崩塌碎屑流的泛滥范围和冲击力可以用颗粒薄层流模型进行数值模拟研究。薄层流模型是将流体力学的质量守恒和动量守恒方程在深度方向平均后所得的近似方程组,因其在分析上的简化而广受重视。近年来基于颗粒薄层流模型(以Savage-Hutter模型为代表)的模拟研究取得大量进展,但相应的能够模拟自然地形上碎屑流的开源软件尚不多见。2007年美国纽约州立布法罗大学公开了一款结合颗粒薄层流模型和地理信息系统(GIS)的开源软件TITAN2D。在此,将TITAN2D中原来的HLL通量修改为耗散更小的HLLC通量,并增加了颗粒材料的停止准则。通过简单的颗粒堆积物和溃坝问题,验证了软件改进的有效性。进一步,利用中科院科学数据服务平台的DEM数据对重庆武隆鸡尾山滑坡、舟曲泥石流用干颗粒流进行数值模拟。通过调节底面摩擦角可以使计算结果大概反映实际灾害的泛滥范围,表明该软件值得进一步改进与发展。

关键词：颗粒崩塌流 Savage-Hutter模型停止准则开源软件 TITAN2D

来源：评论

学校读者我要写书评

暂无评论

一种新的MPI Allgather算法及其在万亿次机群系统上的实现与性能分析

引用

计算机学报 2006年第5期29卷 808-814页

作者：陈靖张云泉张林波袁伟中国科学技术大学计算机科学与技术系合肥230026 中国科学院软件研究所并行计算实验室中国科学院数学与系统科学研究院

给出一个新的MPIAllgather算法———邻居交换算法(neighborexchange).提出的平均逻辑通信距离的概念和计算公式,可以有效地衡量通信的局部性.通过分析,发现在4种MPIAllgather算法中,邻居交换和环算法均具有最优的通信局部性.在万亿次... 详细信息

给出一个新的MPIAllgather算法———邻居交换算法(neighborexchange).提出的平均逻辑通信距离的概念和计算公式,可以有效地衡量通信的局部性.通过分析,发现在4种MPIAllgather算法中,邻居交换和环算法均具有最优的通信局部性.在万亿次机群深腾6800和曙光4000A上对4个MPIAllgather算法进行的性能测试和分析结果表明,邻居交换算法的长消息通信性能最优,中长消息通信性能不稳定,短消息通信性能次于递归倍增和Bruck算法.

关键词： MPI Allgather算法集合通信性能评测机群

来源：评论

学校读者我要写书评

暂无评论

Ghost Fluid方法与双介质可压缩流动计算

引用

计算物理 2003年第6期20卷 503-508页

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

　应用带有Isobaric修正的GhostFluid方法配合LevelSet方法计算可压缩双介质无粘流动.该方法可以消除计算流体界面时所产生的数值跳动和耗散,且编程上比界面跟踪法简单.应用WENO格式数值求解欧拉方程和LevelSet方程,对由刚性气体状态方... 详细信息

　应用带有Isobaric修正的GhostFluid方法配合LevelSet方法计算可压缩双介质无粘流动.该方法可以消除计算流体界面时所产生的数值跳动和耗散,且编程上比界面跟踪法简单.应用WENO格式数值求解欧拉方程和LevelSet方程,对由刚性气体状态方程所支配的一二维双介质流动进行数值计算,得到了分辨率较高的计算结果.

关键词： Ghost Fluid法 Isobaric修正双介质可压缩流 Level Set法数值跳动欧拉方程

来源：评论

学校读者我要写书评

暂无评论

共享合成Petri网系统的语言递归性与系统活性

引用

软件学报 2004年第3期15卷 317-326页

作者：蒲飞陆维明宋文中国科学院数学与系统科学研究院数学研究所计算机科学室西华大学计算机科学与工程系四川成都610039

在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共... 详细信息

在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.

关键词：共享合成语言递归性并发语言路径并发合成 Petri网系统系统活性

来源：评论

学校读者我要写书评

暂无评论

一种基于TV分裂的真正多维Riemann解法器

引用

应用数学和力学 2017年第3期38卷 243-264页

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

给出了一种真正多维的HLL Riemann解法器.采用TV(Toro-Vázquez)分裂将通量分裂成对流通量和压力通量,其中对流通量的计算采用类似于AUSM格式的迎风方法,压力通量的计算采用波速基于压力系统特征值的HLL格式,并将HLL格式耗散项中的... 详细信息

给出了一种真正多维的HLL Riemann解法器.采用TV(Toro-Vázquez)分裂将通量分裂成对流通量和压力通量,其中对流通量的计算采用类似于AUSM格式的迎风方法,压力通量的计算采用波速基于压力系统特征值的HLL格式,并将HLL格式耗散项中的密度差用压力差代替,来克服传统的HLL格式不能分辨接触间断的缺点.为了实现数值格式真正多维的特性,分别计算网格界面中点和角点上的数值通量,并且采用Simpson公式加权中点和角点上的数值通量来得到网格界面上的数值通量.采用基于SDWLS(solution dependent weighted least squares)梯度的线性重构来获得空间的二阶精度,时间离散采用二阶Runge-Kutta格式.数值实验表明,相比于传统的一维HLL格式,该文的真正多维HLL格式具有能够分辨接触间断,消除慢行激波波后振荡以及更大的时间步长等优点.并且,与其他能够分辨接触间断的格式(例如HLLC格式)不同的是,真正多维的HLL格式在计算二维问题时不会出现数值激波不稳定现象.

关键词： Euler方程 TV分裂角点通量真正多维Riemann解法器捕捉接触间断激波不稳定性

来源：评论

学校读者我要写书评

暂无评论

一般组合弹性结构的数学模型

引用

中国科学（A辑） 2005年第6期35卷 664-684页

作者：黄建国石钟慈徐一峰上海交通大学数学系中国科学院数学与系统科学研究院计算数学研究所北京100080

研究由任意多个体、板、梁构成的一般组合弹性结构静态问题.通过最小势能原理和虚功原理建立问题在向量表示下的数学模型.在获得了一般组合弹性结构上的广义Kom不等式后,利用Lax-Milgram引理证明了模型的唯一可解性.在对解做合理的正则... 详细信息

研究由任意多个体、板、梁构成的一般组合弹性结构静态问题.通过最小势能原理和虚功原理建立问题在向量表示下的数学模型.在获得了一般组合弹性结构上的广义Kom不等式后,利用Lax-Milgram引理证明了模型的唯一可解性.在对解做合理的正则性假设的条件下,由相应变分形式导出向量表示下的所有平衡方程,并得到了一个对该问题进行有限元分析时有重要作用的恒等式.

关键词：弹性结构数学模型组合最小势能原理向量表示唯一可解性有限元分析 m不等式虚功原理平衡方程变分形式正则性恒等式引理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：