大型复杂仿真系统模型验证的有效途径

根据大型复杂仿真系统的特点,提出了利用贝叶斯(Bayes)理论对大型复杂仿真系统模型进行验证的方法,建立了检验建模与仿真(M＆S)中的复杂假设的规则及实现算法,经过部分实例证明此方法是一种准确、通用和有效的方法。     

四阶非线性常微分方程四点边值问题解的存在性、唯一性

本文利用格林函数、Banach空间中的压缩映象原理及Schauder不动点定理证明了四阶方程y( 4 ) =f(t,y ,y′,y″,y ) ( 1 )满足下列四点边界条件y(i) ( t1) =a1,y(j) ( t2 ) =a2 ,y(k) ( t3) =a3,y(l) ( t4 ) =a4 ( 2 )的边值问题解的存在性和唯一性。其中 t1, t2 , t3, t4 ,∈ {t1,t2 ,t3,t4 }且互不相同 ,a 相似文献   

民用飞机型号合格审定计划的制定方法

在民用飞机型号合格适航取证过程中，申请方需要开展符合性验证试验、试飞、分析等符合性验证活动来证明飞机型号设计符合相应的型号合格审定基础，以获得适航当局颁发的型号合格证。在此过程中，需要将符合性验证活动分解为便于管理的任务，使这些任务得以合理、有序地完成，这类分解后的符合性验证活动的载体就是一份份型号合格审定计划。审定计划是民用飞机型号合格取证的关键工具，它提供了详细的产品描述和成功完成取证的工作要求。分析了审定计划的适航规章要求和行业标准要求以及两者之间的异同，结合国内民用飞机型号的适航取证经验，提出了审定计划的规划原则、内容要求和协调性检查要求，为国内民用飞机型号合格审定计划的规划和制定提供参考。     

DERA的核心压气机发展验证计划

对DERA的核心压气机发展验证计划作了简要介绍,重点围绕核心压气机设计研制思想、方法和设计研究体系的发展验证,分析和说明了已取得的各项进展。最后对这一研究计划的意义进行了分析和讨论。     

角速度波动率测量的数据处理和不确定度分析

本文在对角速度波动率测量技术研究的基础上，提出了一些自己的看法，并对一些相关术语进行了定义，同时，对角速度波动率测量方法的不确定度评定进行了分析。最后，通过数据处理软件对实验数据进行了分析和验证。     

湿度传感器能力验证活动误差来源分析

本文主要阐述了本实验室在参加由CNAS组织的湿度传感器能力验证活动中,当最终结果报告中出现临界值情况时,应采取的措施:包括分析误差的主要来源,制定相应的纠正措施,并验证结果的过程。     

一种高空台特种调节阀通用特性修正方法

为解决高空模拟试验台建立初期获取的大量试验数据,与基于厂家所提供阀门特性建立的特性模型仿真结果存在较大误差的问题,提出一种基于神经网络和试验数据修正阀门特性的方法。将使用该方法修正得到的新特性代入特性模型进行仿真,并与试验数据进行对比验证。结果表明:相对于特性修正前的仿真结果,修正后的仿真结果最大相对误差绝对值减小47.8%,相对误差绝对值的平均值减小72.6%。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。     

砝码校准能力验证方案的设计CSCD

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。     

SESAR试验验证工作综述

为了实现空中交通管理（ATM）运行改进和技术变革，欧洲单一天空空中交通管理研究（SESAR）项目在交通同步、机场集成周转管理、4D航迹管理、网络协同管理和动态容量平衡、冲突管理和自动化以及广域信息管理（SWIM）等6个关键领域开展了新技术开发和验证，为欧洲空管总体规划提供了强有力的技术支持。