【摘 要】
：
对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何
论文部分内容阅读
对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性
其他文献
工业文明对多向度完整人性的分裂和异化，城市化进程中人们生活方式改变造成的人的价值观的失落，以及大众文化的负面效应使当代城市文明出现许多弊病，使人的生存状态陷入一种物质
【正】"当婚姻走到第七个年头,一场大雨覆盖了这座城,雨过天晴,一切又恢复了从未相识的样子。纵相逢,应不识。他们走到了这一步,我也不能再多说什么,只想说,爹娘,你们若安好,
运用症状自评量表(SCL-90)对高职高专学生进行心理素质调查,结果显示:在SCL-90各因子分上,本科学生得分的平均数要低于专科和高职学生,且在躯体化、焦虑、敌对因子上差异显著
2007年8月，笔者在甘肃省庆阳市农村进行了“农村女性媒介接触情况的调查”。调查抽取庆阳市西峰区后官寨乡李庄村安庄村民小组和庆阳市庆城县驿马镇上关村板堡村民小组6岁以上
体育课是初中阶段的一门必修课，上好体育课对于提高学生的整体素质具有重要的意义，然而，在当前的初中体育教学中存在诸多问题需要解决，如何改变体育课程教学存在的问题，发挥体育教
根据企业核心竞争力的形成机制,提出构成高职院校核心竞争力要素的四个层面,在此基础上构建高职院校核心竞争力模型。
【关键词】数学建模 数学直观 教学过程 【中图分类号】G 【文献标识码】A 【文章编号】0450-9889（2014）11A- 0039-01 数学模型是人们根据事物的特征或数量间的相依关系，采用形式化的数学语言，概括或近似地表述出来的一种数学结构。概念、公式、定律、法则、算法、关系式等都可以称之为数学模型。因此，数学模型是架设在数学基础知识和数学应用之间的桥梁。学生学习数学知识的过程，
高校贫困生问题已成为不容回避的社会问题，在对贫困生进行经济资助的同时，贫困生的心理健康状况也值得我们分析研究。本文试从贫困大学生容易出现的心理问题入手，通过分析贫困大
真人秀作为电视节目的一个重要组成部分,目前已经成为我国许多电视台的热门,形成了非常火爆的态势。在电视真人秀节目火爆的今天,我们有必要进一步从媒体社会责任和品牌价值
政府会计,作为记录与反映政府行为的核算信息系统,由于我国政府会计目前的固有缺陷,增加了政治市场上的交易成本。在本文中,笔者首先基于公共选择等理论,推导出政治家推进政