联邦概念模型（FCM）是联邦设计和开发的基础，对联邦概念模型进行VV＆A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述，不利于VV＆A结果的客观性，而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点，讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题，阐述了FCM的VV＆A过程和技术，介绍了有利于减少VV＆A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法，最后讨论了形式化方法在联邦概念模型VV＆A中的应用。

近年来,针对实际飞行器外形的CFD气动性能预测及可信度研究逐步得到重视,国内也召开了第一届航空CFD可信度研讨会(AeCW-1)。本文首先基于自主研发的CFD软件平台HyperFLOW对NACA0012翼型低速绕流进行了网格收敛性研究,验证了软件对简单湍流问题的模拟能力且具备良好的网格收敛性。其次,针对AeCW-1提供的客机标模CHN-T1,选用其中的两个算例:(1)定升力系数的网格收敛性研究;(2)考虑模型支撑和模型静气动弹性变形的抖振特性研究,研究了计算结果的网格收敛性及模型支撑、静气动弹性变形和湍流模型等对气动特性预测精度的影响。结果表明:观测精度阶和网格收敛性指数显示数值结果具有良好的网格收敛性和可信度;是否考虑模型支撑对力矩的预测精度影响较大,引入尾撑和弹性变形后,数值结果与实验结果吻合较好;对于CHN-T1标模,采用QCR关系式对原始SA模型进行...