HyperFLOW软件非结构网格亚跨声速湍流模拟的验证与确认

计算流体力学(computational fluid dynamics,CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度仍然需要通过不断地验证与确认来提高.本文给出了从制造解精度测试、简单到复杂外形湍流模拟网格收敛性研究等三个方面开展CFD软件验证与确认的方法,并对自主研发的CFD软件平台HyperFLOW在非结构网格上模拟亚跨声速湍流问题的能力进行了验证与确认.首先通过基于Euler方程和标量扩散方程的制造解精度测试,分别验证了HyperFLOW在非结构网格上对Euler方程和黏性项的求解精度,结果表明其能够在任意非结构网格上达到设计的二阶精度. 其次,通过NASATurbulence Modeling Resource中的湍流平板、二维翼型近尾迹流动、二维Bump等几个典型的亚声速湍流算例的网格收敛性研究,量化考察了数值结果的观测精度阶和网格收敛性指数,并与国外知名CFD解算器CFL3D,FUN3D的计算结果进行了对比,验证了HyperFLOW对简单湍流问题的模拟能力,且具有良好的网格收敛性和计算精度(阶). 最后,通过NASA CommonResearchModel标模定升力系数的网格收敛性研究和升阻极曲线预测,验证了软件在复杂外形亚跨声速湍流流动数值模拟中也具有良好的可信度.      

Verification of Euler/Navier–Stokes codes using the method of manufactured solutions

The method of manufactured solutions is used to verify the order of accuracy of two finite‐volume Euler and Navier–Stokes codes. The Premo code employs a node‐centred approach using unstructured meshes, while the Wind code employs a similar scheme on structured meshes. Both codes use Roe's upwind method with MUSCL extrapolation for the convective terms and central differences for the diffusion terms, thus yielding a numerical scheme that is formally second‐order accurate. The method of manufactured solutions is employed to generate exact solutions to the governing Euler and Navier–Stokes equations in two dimensions along with additional source terms. These exact solutions are then used to accurately evaluate the discretization error in the numerical solutions. Through global discretization error analyses, the spatial order of accuracy is observed to be second order for both codes, thus giving a high degree of confidence that the two codes are free from coding mistakes in the options exercised. Examples of coding mistakes discovered using the method are also given. Copyright © 2004 John Wiley & Sons, Ltd.     

On saddlepoints of two-person zero-sum games with applications to data verification tests

A set of sufficient conditions for the existence of saddlepoint strategies of two-person zero-sum games is given which may be described as follows: The set of pure strategies for one of the two players is a compact metric space. His opponent has a best answer to each randomized strategy. The payoff function satisfies a continuity condition concerning the weak convergence of probability measures. These conditions are neither covered by those of well known existence theorems for saddlepoints nor do they generalize them. They are applied to treat important practical problems that have not been solved before. Received November 1995/Revised version August 1998     

On the integral ring spanned by genus two weight enumerators

It is known that the weight enumerator of a self-dual doubly even code in genus g=1 can be uniquely written as an isobaric polynomial in certain homogeneous polynomials with integral coefficients. We settle the case where g=2 and prove the non-existence of such polynomials under some conditions.     

Verification and validation of impinging round jet simulations using an adaptive FEM

This paper illustrates the use of an adaptive finite element method as a means of achieving verification of codes and simulations of impinging round jets, that is obtaining numerical predictions with controlled accuracy. Validation of these grid‐independent solution is then performed by comparing predictions to measurements. We adopt the standard and accepted definitions of verification and validation (Technical Report AIAA‐G‐077‐1998, American Institute of Aeronautics and Astronautics, 1998; Verification and Validation in Computational Science and Engineering. Hermosa Publishers: Albuquerque, NM, 1998). Mesh adaptation is used to perform the systematic and rigorous grid refinement studies required for both verification and validation in CFD. This ensures that discrepancies observed between predictions and measurements are due to deficiencies in the mathematical model of the flow. Issues in verification and validation are discussed. The paper presents an example of code verification by the method of manufactured solution. Examples of successful and unsuccessful validation for laminar and turbulent impinging jets show that agreement with experiments is achieved only with a good mathematical model of the flow physics combined with accurate numerical solution of the differential equations. The paper emphasizes good CFD practice to systematically achieve verification so that validation studies are always performed on solid grounds. Copyright © 2004 John Wiley & Sons, Ltd.     

751型分光光度计故障三例及其排除方法

介绍751型分光光度计在检定中常见、鲜见故障及其排除方法。     

定碳定硫分析仪检定规程的探讨和修订建议

JJG 395–1997《定碳定硫分析仪检定规程》中的部分技术要求和检定项目已不能满足现代碳硫分析仪器检定/校准的要求。对规程的适用性、称量稳定性、示值误差、标准物质、重复性、分析时间等进行了探讨,并给出了修订建议。探讨了评定仪器检测空白的可能性,提出了依据碳硫测定基准国标方法的仪器检定/校准方法,以评定不同用途的测试仪器,并扩展了仪器检定/校准的范围。为计量部门修订规程提供参考,同时也为实验室合理评价,验收碳硫分析仪,及时掌握仪器的运行状况,保证分析数据的准确性、一致性和溯源性提供借鉴。     

色谱检定用测量仪研制及应用

介绍色谱检定用测量仪的工作原理、结构设计及模型建立,研制了精密温度测量电路、单片机控制电路及数据处理显示电路等,详细叙述了色谱检定用测量仪的软、硬件设计,通过实验证明了该仪器测量的准确性和可靠性。     

The importance of short structural motifs in protein structure analysis

Summary Proteins tend to use recurrent structural motifs on all levels of organization. In this paper we first survey the topics of recurrent motifs on the local secondary structure level and on the global fold level. Then, we focus on the intermediate level which we call the short structural motifs. We were able to identify a set of structural building blocks that are very common in protein structure. We suggest that these building blocks can be used as an important link between the primary sequence and the tertiary structure. In this framework, we present our latest results on the structural variability of the extended strand motifs. We show that extended strands can be divided into three distinct structural classes, each with its own sequence specificity. Other approaches to the study of short structural motifs are reviewed.     

Automated compound verification using 2D-NMR HSQC data in an open-access environment

Since the introduction of NMR prediction software, medicinal chemists have imagined submitting their compounds to corporate compound registration systems that would ultimately display a simplified pass/fail result. We initially implemented such a system based on HPLC and liquid chromatography mass spectrometry (LCMS) data that is embedded within our industry standard sample submission and registration process. By using gradient-heteronuclear single quantum coherence (HSQC) experiments, we have extended this concept to NMR data through a comparison of experimentally acquired data against predicted (1)H and (13)C NMR data. Integration of our compound registration system with our analytical instruments now provides our chemists unattended and automated NMR verification for collections of submitted compounds. The benefits achieved from automated processing and interpretation of results produced enhanced confidence in our compound library and released the chemists from the tedium of manipulating large amounts of data. This allows scientists to focus more of their attention to the drug discovery process.