基于真实临界事故的CAACS程序验证

核临界安全是核工业发展过程中最重要的安全问题之一,其中对临界事故的评价和分析是临界事故后屏蔽设计、应急计划等的基础,因此具有重要的研究意义和工程价值。CAACS是自主开发的溶液系统临界事故分析程序,可计算临界事故的裂变次数、裂变功率、温度随时间变化等。在临界基准实验验证的基础上,利用CAACS对2个真实的临界事故进行分析和计算,并与事故估计值进行对比,结果表明,CAACS的计算结果与事故估计值符合较好,可为后处理厂的工程设计提供临界事故分析的技术手段,为后续的临界瞬态研究打下基础。     

虚拟解法分析浸入边界法的精度

浸入边界法是对流固耦合系统进行建模和模拟的有效工具,在生物力学领域的应用尤为广泛．该文的工作主要包含两个部分:程序验证和精度分析．前者证明了程序的正确性,后者给出了浸入边界法的精度．两部分工作均使用虚拟解法作为研究工具．在程序验证部分,使用二阶空间离散格式进行数值计算,通过分析各种变量的离散误差,得到的程序计算精度阶是二阶,与理论精度阶一致,证明了数值计算所使用程序的正确性．精度分析部分工作在此基础上展开．引入压强跳跃,在动量方程中加入相应源项,通过分析带有源项的控制方程中各物理量的离散误差,证明浸入边界法只具有一阶精度．同时可以得出以下结论:粗网格无法敏感地捕捉浸入边界的影响;当Euler网格固定时,增加Lagrange标志点的数目并不会改善计算误差．     

梭形遮阳翻板太阳散射辐射传输计算模型及程序实现

取相邻2块遮阳翻板为研究对象,建立了梭形翻板散射辐射传输的计算模型.在模型分析基础上,用MATLAB编制了能描述翻板形状、尺寸、倾角、表面光学特性的梭形翻板散射辐射传输计算程序,验证了程序的正确性,并进行了翻板划分段数的敏感性分析.认为翻板散射辐射透过率的相对误差随翻板划分段数增加而减小,划分段数超过8时,计算结果基本不再发生变化.最后,分析了传统计算方法和程序对梭形翻板进行平板假设所带来的误差,认为用"平板假设模型"计算梭形翻板有一定的误差,误差值随着翻板倾角增加而增大.     

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

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

抛物型方程的人为解问题

利用FORTRAN和MATLAB软件,详细阐述了抛物型偏微分方程人为解方法和应用步骤,误差分析等,最后又给出了相应的程序清单.     

模线图形数字化处理方法的研究

本文提出一种模线图形的数字化处理方法.介绍了模线图形的数字化实现过程,基于模线图形特征给出了模线图形灰度图像二值化与细化、图形拟合以及分幅扫描图形拼接等一些关键算法,并以工程模线图形样板为例,采用模块化程序验证了该方法的可行性.实例分析表明,本文提出的模线图形数字化处理方法具有较高的识别精度,在飞机数字化制造方面具有工程应用价值.     

一种函数分割型程序设计规范描述——FDP程序的正确性验证

FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。     

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

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

基于真实临界事故的CAACS程序验证

核临界安全是核工业发展过程中最重要的安全问题之一,其中对临界事故的评价和分析是临界事故后屏蔽设计、应急计划等的基础,因此具有重要的研究意义和工程价值。CAACS是自主开发的溶液系统临界事故分析程序,可计算临界事故的裂变次数、裂变功率、温度随时间变化等。在临界基准实验验证的基础上,利用CAACS对2个真实的临界事故进行分析和计算,并与事故估计值进行对比,结果表明,CAACS的计算结果与事故估计值符合较好,可为后处理厂的工程设计提供临界事故分析的技术手段,为后续的临界瞬态研究打下基础。