基于贝叶斯因子和二阶概率方法的圣地亚热传导模型确认挑战问题

针对美国圣地亚国家实验室为促进模型确认方法的发展所提出的热传导挑战问题,根据现代模型确认思想总结了该挑战问题解答中应包含的核心内容。在确认度量环节采用贝叶斯因子考察了实验数据是否支持所给模型,在此基础上通过二阶概率方法得到了模型预测的分布,以此计算出模型预测结论的置信度。该过程中考虑了模型参数的随机不确定性和认知不确定性,最后通过灵敏度分析辨识了模型参数的不确定性对模型预测的影响。研究表明该挑战问题中的实验数据支持所给模型,模型预测受导热系数的不确定性影响最大,模型预测材料在调控条件下的失效概率不满足调控要求,该结论的置信度为99.97%。     

衍生金融工具对传统会计的冲击

衍生金融工具应运而生，但却无法在传统会计信息系统中反映，致使投资者在会计信息的占有与使用上严重不对称，无法作出最优决策。本文围绕衍生金融工具对传统会计要素、会计确认标准、会计计量基础以及会计报告的冲击，提出了基本的应对措施。     

借助静力试验实测值修正和确认全机有限元模型

与全机有限元模型的建立相比，确认这个模型的可靠性，在某种意义上说更困难也更重要。本文简要介绍了某型飞机全机有限元模型的修正与确认工作的经验。确认后的有限元模型数据冻结起来，将作为该型号飞机有限元分析基础的数据库文件。通过静力试验实测值和已建立的有限元模型给出的计算值的比较，再运用以力学知识为基础的经验判断误差位置和误差性质，就能进一步修改完善有限元模型，使之能给出与静力试验实测值相一致的结果。这个模型被确认为是可靠的有限元模型，不是单纯的理论模型，而是经过检验的合格模型，它是可以用来解决实际问题的有实际价值的模型。它用于型号改型、改进设计的各个方面，会令设计者和用户放心，而且无后顾之忧。     

燃气涡轮发动机地面试验传感器数据确认概念与方法研究

本文介绍了燃气涡轮发动机传感器数据确认系统的研究与应用现状，详细阐述了基于发动机和试验系统物理模型的解析冗余检验相关多传感器信号有效性方法，以及基于信号序列统计与时频特征分析的单传感器通道信号有效性的确认方法，提出了传感器数据有效性确认系统的研究框架。     

大型客机设计中的需求管理

介绍了需求开发和需求管理的基本概念,说明了需求捕获、需求分析、需求定义、需求确认以及需求管理的具体内容。结合大型客机的设计研制特点,阐述了在大型客机设计中开展需求管理工作的重要作用与意义,重点介绍大型客机需求管理流程定义、需求管理策略、需求确认与验证等内容。实践证明,在大型客机设计中实施需求管理工作、实现需求的规范化与精细化管理,可有效提高需求的正确性、完整性和协调性,并确保设计结果与需求之间的一致性,促进大型客机的研制、市场和商业成功。     

建模与仿真VV＆A辅助软件设计与实现

设计开发了MSVAS（建模与仿真VV＆A（校核、验证和确认）辅助软件）,提高导弹动力学仿真系统VV＆A自动化程度。过程管理模块通过工程配置文件设计,提供VV＆A流程的图形化设计与管理、任务安排等功能,指导VV＆A工作顺利进行;评估分析模块提供方法库,为各类具体评估工作提供技术方法支持;模型测试模块提供各种试验设计方法,目的是为充分测试评估模型的可信性设计各类测试实例;资源管理模块对导弹动力学系统VV＆A所涉及到的数据、模型和文档等资源进行了合理、有效的管理。MSVAS能为导弹动力学仿真系统VV＆A提供过程管理、技术等支持,提高了VV＆A工作效率,并减轻工作者的负担。     

制造商

空客公司巴黎航展上斩获700亿美元订单空中客车公司在2013年第50届巴黎航展上总共获得466架飞机订单,总价值687亿美元,显示出目前世界航空业的复苏势头。在总共466架飞机订单中,有225架是签署了谅解备忘录的意向订单,价值294亿美元,另外241架为确认订单,价值393亿美元。A320系列飞机尤其是改进机型A320neo系列在本次航展上继续着它在单通道飞机市场中的卓越表现,共获得6家客户的371架确认订单和意向订单,价值约378亿美元。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

大型客机电传飞控系统软件开发应用研究

多通道软件开发的复杂性和适航符合性要求是大型客机飞控机载软件开发需要考虑的重要问题。从软件的工程化管理以及软件的开发、验证和确认等方面探讨了既能满足安全性和可靠性要求又能符合适航要求的电传飞控系统软件的开发管理方式。