基于网格缩小的非结构网格梯度重构及制造解精度测试与验证

网格收敛性研究是验证与确认中的重要手段,本文针对一般非结构网格难以自相似加密的问题,实现了基于网格缩小的精度测试方法。在典型的各向同性和各向异性拉伸网格上,利用网格缩小精度测试方法分别考察了梯度重构精度以及制造解流动模拟精度,将网格缩小精度测试结果与传统的网格加密精度测试结果以及理论分析结果进行对比,验证了网格缩小精度测试方法与网格加密精度测试方法及理论分析的一致性。最后将网格缩小精度测试方法应用到各向异性拉伸网格粘性制造解精度测试中,得到了预期中的结果,并初步考察了梯度重构方法、网格类型对数值模拟精度的影响,显示出网格缩小精度测试方法在一般非结构网格精度测试上的优势,具有一定应用前景。     

水中上升气泡体积变化率的图像分析技术

水中上升气泡的体积变化率是舰船自消隐特种气幕技术等诸多研究的重要基础.鉴于当前对这一体积变化率研究的紧迫需求,提出并较为深入地研究了水中上升气泡体积变化率的图像分析技术.首先,在理论研究的基础上,专门建立了分析计算的数学模型;进而给出了分析的实施方法,即利用摄像法获取水中上升气泡的图像序列,并从中得出所需图像的相关信息,再利用建立的模型即可求出其体积变化率;同时,设计了专门的实验,初步验证了这一分析技术的可行性.     

一种与样本信息合理匹配的可靠性模型

针对随机变量具有一定的积累而又不足以确定概率分布的情况,提出了一 种新的基于分段均匀描述的可靠性模型。该模型在积累数据构成的各个子区间上,采用区间 不确定性情况下的非概率模型求得相应的非概率可靠性指标,并依据每个子区间内均匀分布 假设下非概率可靠性指标与概率可靠度的关系,求得每个子区间内无频率信息情况下基于均 匀分布描述变量不确定性时的概率可靠度。由于每个子区间在所积累的数据中出现的可能性 相等,因此可将每个子区间内的概率可靠度进行平均来得到结构的可靠度。与非概率可靠性 模型只利用了积累数据的最大值和最小值情况相比,此方法可以充分利用积累数据中包含 的不确定性信息,避免了非概率模型描述时过于保守的结果。与概率模型相比,本文方法利 用积累数据自然形成的子区间上的均匀分布描述,避免了关于分布的强假设以及分布参数估 计在小样本情况下的较大误差。算例表明,所提模型是一种介于概率与非概率可靠性模型之 间的合理方法,它可以与样本信息较好地匹配,从而合理地度量结构的安全程度。
     

国航西南分公司RNP精密导航成功试飞丽江机场

9月21日,国航西南分公司一架空客A319飞机从成都双流国际机场始发．飞临丽江三义机场成功实施了RNP精密导航程序验证飞行．此举将进一步提升成都－丽江航线的安全运行裕度和航班正点水平。     

国航西南分公司成功试飞西藏阿里机场

5月28日清晨,国航西南分公司一架空客A319飞机从成都双流国际机场升空后．展翅飞越雪峰冰川．于上午9点平稳降落在世界海拔第三的西藏阿里昆莎机场．标志着西藏自治区第四个民用机场验证试飞获得圆满成功。这是阿里机场迎来的首架民航客机,亦标志该机场完成首航前的各项准备工作,即将正式投入运营。     

基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
     

加公司拟进行在轨维护技术验证

加拿大麦克唐纳。德特威勒联营公司（MDA）表示,该公司计划在2013年前发射一颗原型在轨维护卫星。卫星将采用该公司开发的可用于为在轨卫星补加燃料并可在必要时把废弃卫星送人弃星轨道的机器人技术。MDA准备用自有资金解决该项目的至少部分经费,并已同一家卫星运营商订立了一项选择权。     

美STSS验证卫星展示探测和追踪卫星能力

据报道：美导弹防御局的太空跟踪与监视系统（STSS）演示验证项目卫星探测并跟踪了一颗卫星,展示了一组增强的能力。这颗导弹探测卫星是诺斯罗普·格鲁门公司合雷神公司建造的2颗STSS航天器中的太空跟踪与监视系统先进技术风险降低（STSS-ATRR）卫星。此外,STSS演示验证项目还首次使用多个传感器波段跟踪了一颗国家海洋大气管理局（NOAA）的气象卫星,跟踪持续了数分钟。