飞机健康管理系统的验证与确认

来源 :电子测试 | 被引量 : 0次 | 上传用户:baochangjingmao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了飞机健康管理(AHM)系统的验证与确认(V&V)所面临的挑战和受影响因素.首先研究了商用飞机的航空电子设备以及软件系统的V&V,然后分析了AHM系统的验证与确认所面临的挑战.
其他文献
车辆检测与分类是智能交通系统的重要任务。解决这些任务的传统方法由于受到车辆图像视角受限的影响从而导致粗粒度的识别结果。近年来深度学习成功应用于图像分类任务,并受其最新成果的启发,本文提出了一种基于卷积神经网络的车辆检测与分类方法,该方法包括车辆区域检测和车型分类两部分。在检测和分类实验中,我们详细对比分析几种典型的网络模型,如R-CNN,Faster R-CNN,AlexNet,VggNet,Go
血管新生(angiogenesis)是指在已形成的血管基础上形成新的血管的过程。任何实体瘤直径超过1~2 mm时,几乎均有新生血管的形成,新生血管持续不断地为肿瘤提供营养和排泄代谢产
文章通过对人工神经网络算法技术、粒子群算法技术、图像匹配算法进行深入的剖析,对算法的理论原理进行简析,对算法的特点进行分析,对算法在图像处理优化技术中的应用进行解析,诠释图像处理优化技术解决的图像处理中遇到的问题和难题。借助算法来优化处理大数据存在的弊端和难点,进而达到优化图像处理优化技术的目的,使得图像处理过程更加高效、传输便捷、应用方便,给人以视觉上的最真实的实景享受。
数学模型是解决生活中实际问题常用的工具之一,它涉及到许多行业、生活领域中.以物流配送的最优路线选择问题为实例,基于图论算法对问题中路线长度、送货量、运载量、人力资
Petri网模拟器是程序设计与测定的主要方法.本文结合Petri网的相关理论,着重从程序编译、网库变更等方面,分析了基于FPGA的Petri网模拟器设计思路及实际应用方法.
本文通过对多自由度下无人船的运行情况分析,提出了多自由度的无人船建模方法,主要是通过分析建立无人船的六自由度的MMG分离型模型,并依次减少一个自由度,推导出了其五自由
本文对工业园区无线网络系统的安全性进行了分析,通过在无线网络系统中采取信息安全设计,建立信息安全管理体系来应对信息安全威胁,加强工业无线网络系统的可靠性.
1950年10月23日,宋时轮被任命为中国人民志愿军第9兵团司令员兼政委。宋时轮立即命令部队展开入朝工作,原准备整训3个月,但11月5日中央军委发来指令,要第9兵团立即入朝。此时
本设计是一套依靠视觉检测与定位的智能车导航系统,通过悬挂在上方的摄像头探测小车周围的环境信息,对图像进行处理并提取信标与车体相对的坐标,将坐标信息传递到智能车,再与智能车数据进行融合从而确定自身的环境与运行状态,实现了智能车运行速度与运行方向的闭环控制。
从古至今,我国的教育家在进行学科教育的时候都十分注重语言美,特别是作为文化载体的语文更显现着这一“美”的传统。在课堂教学中,优美的语言能够陶冶学生的情操,使他们能够