A novel strategy for fine-grained semantic verification of civil aviation radiotelephony read-backs

During the flight of the aircraft, the pilot must repeat the instruction sent by the controller, and the controller must further confirm these read-backs, in this way to further ensure the safety of air transportation. However, fatigue, tension, negligence and other human factors may prevent the controller from realizing read-back errors in time, which is a huge hidden danger for the safety of civil aviation transportation. This paper proposes a novel strategy to implement fine-grained semantic ...     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

基于Richardson插值法的CFD验证和确认方法的研究

针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

不同运行模式下跑道容量评估技术研究

跑道容量的大小是机场能否进行高效率运行的一个关键因素,准确评估出跑道的理论容量对机场的实际运行有着至关重要的作用.对单跑道的理论容量进行建模,在单跑道的基础上研究了近距跑道与远距跑道的不同运行模式下的跑道容量数学模型,根据相关机场具体的数据对模型进行验证,并用SIMMOD PLUS仿真软件对机场的场面实际运行情况进行仿真,通过计算出的跑道理论容量与仿真出的空侧容量对比,结果表明机场跑道理论容量计算模型具有较好的实用性.     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统,旨在民机研制过程中充分发挥自主适航的能力,通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能,以保证航空产品的设计或者设计更改满足适航当局的要求。其中,设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上,从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制,给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议,并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果,进而增强设计保证系统对飞机型号研制的保证作用。     

热试验中红外热像仪低温测量能力分析及试验验证

文章分析了红外热像仪在航天器热试验中对低温目标的测温能力不足问题,采用红外干扰消减以及分段辐射定标/分段线性函数拟合的方式,初步解决了红外热像仪在真空低温环境下对低温目标的测量受限的问题。文章的研究结果有助于改进红外热像仪在真空低温环境下的非接触温度测量工作。     

论航天器环境工程在航天产品验证中的作用

论述了航天器环境工程对航天产品验证工作的重要性,介绍了国外的实践与有关标准,着重介绍了美军标 MIL-STD-1540D 中对航天产品的验证要求.     

新型运载火箭结构优化设计与试验验证

伴随着运载火箭大型化与重型化的趋势,结构优化技术在火箭轻量化设计中扮演着越来越重要的角色,同时更高精度的试验、测试以及更高置信度的分析评估需求也日益凸显.本文首先对运载火箭结构轻量化设计方法进行概述;然后针对几种典型密封类与非密封类结构优化案例及新型运载火箭结构中的不确定性优化方法进行了重点介绍,并对优化结果进行了试验...