虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

GPS RNP运行程序的飞行校验方法

CCA本文结合RNP运行的特点和IFP飞行验证的需求,分析了RNP运行程序飞行验证的科目和方法。针对RNP程序验证中性能评估这一核心问题,提出了基于GPS RNP运行的导航性能(NSE)评估算法,全系统性能(TSE)评估算法,以及是否符合预期RNP需求的判定方法。不同于传统航空导航方式,区域导航(Area Navigation,RNAV)允许飞机运行在任何"期望"的航线,只要是在空基或(和)地基导航设施的覆盖之内或者其自身独立导航设备(如惯性导航)的能力。RNAV包含基于性能的导航方式,也包含其他非基于性能的导航概念的运行     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

厦门高崎机场PBN飞行程序设计与实施

引言2011年11月3日,在以民航华东管理局副局长唐伟斌为组长的验证试飞领导小组领导下,厦门高崎国际机场PBN飞行程序验证试飞获得了圆满成功。基于性能的导航(PBN)代表     

反编译在航天工业中的应用

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；     

物理质团法关于可压流计算的程序验证

为了评估无网格物理质团法(PECM)对可压流计算的可信性,结合物理认识对该方法的设计思想和数值格式进行了先验分析,基于9个一维模型数值解与参照解的对比信息,通过后验分析方法对PECM进行了程序验证,参照解包括无网格再生核粒子法(RKPM)的数值解以及精确解。验证结果表明:各种物理参数以及状态方程的强烈间断会导致RKPM严重的失稳或失真,而PECM在包括极大密度比在内的各种强间断条件下仍保持稳定和收敛并具有较高的准确度。