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

第五届全国几何设计与计算学术会议

作者：潘青徐国良湖南师范大学数学与计算机科学学院中国科学院数学与系统科学研究院计算数学与科学工程计算研究所

几何偏微分方程方法是一项构造高质量曲面的强大技术。细分技术自出现以来由于其对拓扑结构的灵活性就一直活跃在计算机辅助几何设计领域。此文中,我们将这两种不同的方法结合起来,在一个统一的框架下,高效而令人满意地设计了带有G边界... 详细信息

几何偏微分方程方法是一项构造高质量曲面的强大技术。细分技术自出现以来由于其对拓扑结构的灵活性就一直活跃在计算机辅助几何设计领域。此文中,我们将这两种不同的方法结合起来,在一个统一的框架下,高效而令人满意地设计了带有G边界条件的几何偏微分方程细分曲面。所考虑的三个四阶几何偏微分方程为曲面扩散流、拟曲面扩散流和Willmore流,方程采用混合有限元方法来求解。我们成功地设计了基于四边形的Catmull-Clark细分的四阶几何偏微分方程曲面的有限元方法。

关键词：四阶几何流 Catmull-Clark细分曲面设计

来源：评论

学校读者我要写书评

暂无评论

速度估计方法技术进展与评述

速度估计方法技术进展与评述

引用

2011年沉积学与油气资源勘探开发新技术、新方法交流研讨会

作者：王华忠李辉任浩然黄光辉同济大学海洋与地球科学学院上海200092 中科院数学与系统科学研究院计算数学与科学工程研究所北京100190

勘探地震学中,速度,尤其是比较准确的背景速度,是最重要的参数,它决定了地震波偏移成像结果的正确性,更精细的速度模型是勘探地震学诸环节的核心.速度估计技术是勘探地震学的核心技术.速度估计问题是一个标准的反演问题,本文试图建立一... 详细信息

勘探地震学中,速度,尤其是比较准确的背景速度,是最重要的参数,它决定了地震波偏移成像结果的正确性,更精细的速度模型是勘探地震学诸环节的核心.速度估计技术是勘探地震学的核心技术.速度估计问题是一个标准的反演问题,本文试图建立一个表述框架把当前的各种速度估计方法都纳入在此框架下.通过这样的分析提出新的速度估计的思想、方法和技术.此框架的基本逻辑是把当前所有的速度估计方法都纳入如下的两种泛函最优化的框架下面:成像空间的相关准则(或聚焦最佳准则)和数据逼近误差的方差最小作为目标泛函.另外,相似函数反演方法和共聚焦点技术速度估计方法,它们是利用数据空间的相关建立目标泛函.在这些目标泛函的基础上,利用梯度导引类的优化算法或Monte Carlo类的寻优方法可以实现各种尺度下的速度模型的估计.在这样的理论框架下面,我们可以系统地分析目前所有方法的共同特征,进一步系统地发展出不同尺度的速度估计的技术.

关键词：勘探地震学速度估计目标泛函技术体系

来源：评论

学校读者我要写书评

暂无评论

从交互情景出发的需求捕获方法及其支撑工具

引用

计算机学报 2011年第2期34卷 329-341页

作者：陈小红尹斌金芝华东师范大学上海市高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交... 详细信息

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

关键词：需求捕获情景问题领域问题框架方法

来源：评论

学校读者我要写书评

暂无评论

G^1连续几何偏微分方程B样条曲面的构造

引用

计算机辅助设计与图形学学报 2010年第7期22卷 1087-1093页

作者：李明徐国良中国科学院数学与系统科学研究院计算数学研究所北京100190

为了在曲面拼接和自由形式曲面设计中生成G1光滑的曲面,提出一种使用四阶几何偏微分方程构造B样条曲面的方法.该方法基于切梯度算子、第二切算子、Laplace-Beltrami算子和Giaquinta-Hildebrandt算子在四边形网格上的离散化及收敛性分析,... 详细信息

为了在曲面拼接和自由形式曲面设计中生成G1光滑的曲面,提出一种使用四阶几何偏微分方程构造B样条曲面的方法.该方法基于切梯度算子、第二切算子、Laplace-Beltrami算子和Giaquinta-Hildebrandt算子在四边形网格上的离散化及收敛性分析,在G1边界光滑约束条件下使用一般形式的四阶几何偏微分方程构造四边B样条曲面片.数值实验结果表明该方法是有效的,确能产生满足G1光滑边界条件的曲面.

关键词： B样条曲面离散化几何偏微分方程收敛性

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

首届中国科学院超级计算应用大会(SCA2011)

作者： Qian Ying 钱莹 Cui Tao 崔涛 State Key Laboratory of Scientific and Engineering Computing Beijing 100190 China Institute of Com 科学与工程计算国家重点实验室北京 100190 中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京 100190

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

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

关键词：计算机集群系统作业调度系统管理

来源：评论

学校读者我要写书评

暂无评论

虚拟流体方法中界面处Riemann问题定义方式的改进

引用

计算物理 2010年第4期27卷 501-508页

作者：丁岩袁礼中国科学院数学与系统科学研究院计算数学所北京100190

对RGFM中定义Riemann问题的方式进行改进,取距离界面适当远处的插值点处的状态作为Riemann问题的初值.并用数值算例对改进前后的RGFM进行比较.

关键词：可压缩多介质流动虚拟流体方法 Riemann问题

来源：评论

学校读者我要写书评

暂无评论

计算动态系统网格通量场的驿站重要抽样方法

引用

计算物理 2010年第5期27卷 733-739页

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

对与时间有关输运问题计算条件下,全系统不同网格体通量计算统计涨落较大,甚至个别网格很难得到计数的现象,提出驿站重要抽样方法.研究可以选择的重要性函数,给出抽样方法,推导重要性偏倚抽样的源粒子纠偏权重公式.经过推导证明连续多... 详细信息

对与时间有关输运问题计算条件下,全系统不同网格体通量计算统计涨落较大,甚至个别网格很难得到计数的现象,提出驿站重要抽样方法.研究可以选择的重要性函数,给出抽样方法,推导重要性偏倚抽样的源粒子纠偏权重公式.经过推导证明连续多时间步抽样计算不存在粒子纠偏权发散问题.数值模拟结果表明,采用驿站重要抽样方法,全系统精细网格通量场计算精度基本一致,整体计算结果得到明显改善.

关键词： Monte Carlo方法精细网格通量场统计涨落时间驿站方法驿站重要抽样方法

来源：评论

学校读者我要写书评

暂无评论

一类耦合的有限元-边界元变分不等式的预条件子谨以此文致《中国科学》创刊六十周年

引用

中国科学：数学 2010年第12期40卷 1205-1224页

作者：胡齐芽余德浩中国科学院数学与系统科学研究院计算数学与科学工程计算研究所北京100190

本文主要研究一类Signorini接触条件的非线性传输问题.这类问题可以用耦合的有限元-边界元变分不等式来描述.我们首先提出一种求解变分不等式的预处理梯度投影法.然后对离散系统构造了有效的区域分解预条件子.该预条件子能够使耦合的不... 详细信息

本文主要研究一类Signorini接触条件的非线性传输问题.这类问题可以用耦合的有限元-边界元变分不等式来描述.我们首先提出一种求解变分不等式的预处理梯度投影法.然后对离散系统构造了有效的区域分解预条件子.该预条件子能够使耦合的不等式问题分解成等式问题和小规模的不等式问题,并且这些问题可以并行求解.最后我们详细研究了该迭代方法的收敛性.

关键词： Signorini接触有限元-边界元耦合变分不等式预处理梯度投影预条件子条件数

来源：评论

学校读者我要写书评

暂无评论

龙格库塔间断有限元方法在计算爆轰问题中的应用

引用

计算物理 2010年第4期27卷 509-517页

作者：张磊袁礼中国科学院数学与系统科学研究院计算数学所科学与工程计算国家重点实验室北京100190 中国矿业大学(北京)理学院北京100083

构造求解带源项守恒律方程组的龙格库塔间断有限元(RKDG)方法,并分别结合源项的Strang分裂法和无分裂法数值求解模型守恒律方程和反应欧拉方程.为了和有限体积型WENO方法进行比较,设计计算源项的WENO重构格式.对一维带源项守恒律的计算... 详细信息

构造求解带源项守恒律方程组的龙格库塔间断有限元(RKDG)方法,并分别结合源项的Strang分裂法和无分裂法数值求解模型守恒律方程和反应欧拉方程.为了和有限体积型WENO方法进行比较,设计计算源项的WENO重构格式.对一维带源项守恒律的计算表明,对于非刚性问题,RKDG方法比有限体积型WENO方法的误差更小;对于刚性问题,RKDG方法对于间断面位置的捕捉更为精确.对于一二维爆轰波问题的计算结果表明,RKDG方法对爆轰波结构的分辨和爆轰波位置的捕捉能力更强.

关键词：龙格库塔间断有限元方法爆轰波反应Euler方程刚性源项

来源：评论

学校读者我要写书评

暂无评论

支持服务组合的需求模型及其可满足性判定

引用

计算机科学与探索 2011年第5期5卷 458-466页

作者：叶荣华金芝钟发荣浙江师范大学计算机科学与技术研究所浙江金华321004 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务。引入Petr... 详细信息

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务。引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法。最后选择旅行安排作为具体案例,展示了该模型的有效性。

关键词：组合服务需求意图任务 Petri网环境本体

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：