科学计算程序的验证和确认

针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(VV)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.     

流体力学方程组人为解的构造及其应用

主要介绍PDE光滑人为解方法的有关进展和人为解构造中的相关问题.对一类可压的理想流体力学方程组,提供了一种人为解构造的思路.这类人为解具有满足无源项的质量守恒方程(或无源项的能量守恒方程)的特征.根据这种构造人为解的思路,来构造二维直角坐标系下和二维柱对称下流体力学方程组的人为解,并应用于程序验证.结果表明,构造的人为解可以用于程序验证.     

流体力学拉氏方程组一类人为解构造方法

从一维流体力学拉氏方程组出发,首先构造位移场,然后再利用微分关系式得到各类物理量的表达式,进而构造人为解.该人为解在定义域范围内连续、可微,并且动量、内能方程的源项为0.结合N-R格式,验证了构造人为解的可行性.给出的拉氏人为解,对流体力学拉氏应用程序的正确性验证有重要作用.     

含间断系数椭圆(抛物)方程差分格式的一种构造方法

利用椭圆方程正则化理论,对含有间断系数的椭圆型(抛物型)方程,提出一种新的差分格式设计方法,并进行了数值模拟,得到了正确的数值模拟结果.     

流体力学方程组人为解应用研究

流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.     

论如何做好工民建工程现场施工管理工作

在我国,建筑行业随着经济和科技的不断发展也在经历着的飞速的变化,我们生活当中随处可以见到正在施工的建筑工程,目前建筑工程已经很大程度上成为了我国非常重要的产业,甚至可以说是促进我国经济发展的支柱产业之一.在所有的建筑工程当中,分布较广泛、涉及群体较多的就是工业建筑和民用建筑,这是我国建筑行业工作的主要内容.但是随着建筑行业的飞速发展,也会随之产生很多问题,比如质量问题、工期问题等等,而想要解决这些问题,最关键的就是要做好工程现场的管理工作.本文主要对如何做好工业建筑和民用建筑的现场施工管理工作进行简单分析.     

科学与工程应用中自适应网格方法进展

 自适应网格方法是科学与工程应用中的关键技术之一。基于拉格朗日方法计算过程中网格的处理方式,论述了耦合型和后处理型两种自适应网格类型。在耦合型自适应网格方法下,论述了网格细化技术、移动网格和自适应坐标法。在后处理型自适应网格方法下,描述了网格重分、邻域重连、邻域可变和邻域优化等自适应网格技术。对各种自适应网格方法的基本理论、效果、适应物理特征能力和特色等优缺点进行了分析与对比,为使自适应网格技术真正走向科学与工程领域提供了参考。