自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(1321)
  • 收藏
  • 关注

原创 我在腾讯上构建了一个人人能用的机载适航知识库

当ChatGPT掀起生成式AI的浪潮时,工程师们发现了一个尴尬的现实:询问“如何编写软件合格审定计划”,AI的回答可能充满似是而非的术语,却无法精确关联FDO-178C的对应内容。现在市面上有许多的AI大模型+适航知识库的方案,之前我的文章介绍了一种本地大模型加知识库的解决方法。此外,ima知识库的容量大小可以到30GB(企鹅大气),只要管理好文件的格式,理论上是完全可以把机载适航相关的内容容纳进去的。后续会不断增加适航法规,适航规章,适航标准,适航书籍,适航相关的论文,以及网上其他一些优秀的内容。

2025-03-31 21:20:07 32

原创 大模型时代的知识焦虑

为了追逐最新的技术趋势,人们不断购买课程、订阅专栏、参加各种技术社群,疲于奔命,却往往难以深入掌握任何一项技术,深陷“害怕错过”的焦虑漩涡,反而忽略了对自身真正有价值的知识和技能的沉淀。我们可以尝试将大模型应用于工作流程的各个环节,例如利用AI进行初步调研、头脑风暴、方案优化、内容创作等,让人工智能辅助我们完成重复性、机械性的工作,从而将人类的创造力和机器的智能优势充分结合,实现工作效率和创新能力的双重提升。点状的知识如同散落的珍珠,难以串联成璀璨的项链,系统性知识的缺失,使得知识焦虑更加挥之不去。

2025-02-24 23:46:13 721

原创 构建基于Deepseek的适航知识库:双方案对比与实战案例解析

构建基于Deepseek的适航知识库:双方案对比与实战案例全解析精华导读:手把手构建航空领域专属知识库,让大模型秒变适航专家!你是否苦恼于通用大模型在航空技术问答中缺乏专业性?本文揭秘两大硬核方法,基于与,教你打造精准可靠的机载系统知识库!

2025-02-16 21:07:14 281

原创 如何在无法联网的电脑上本地部署 DeepSeek 大模型

DeepSeek 是一家位于中国的人工智能公司,专注于研发新一代通用人工智能技术。其最引人注目的成就之一便是 DeepSeek 大模型 系列,这是一系列开源的大语言模型,以其卓越的性能和开放性,在业界引起了广泛关注。DeepSeek 开源介绍DeepSeek 秉持着开源开放的精神,将其研发的大模型对外开源,旨在推动人工智能技术的普及和发展。

2025-02-13 22:15:06 4047

原创 DeepSeek 服务器繁忙,手机上用第3方API+Chatbox完美解决!

而要能够部署满血版671B的的服务器显存需要480GB,一张A100 80GB的卡大概14w一张,稳妥起见,需要8张A100,加上服务器集群,大内存等,整个设备价格高达200w。你是不是也碰到过,想用的时候,卡得要死,半天没反应,要么直接给你弹个“服务器繁忙”,瞬间就没脾气了。但是,这想法是好的,现实有点残酷啊!这方法说白了,就是借个“梯子”,通过平台提供的API接口,连接到DeepSeek 的服务器,然后用Chatbox 这种软件,给你弄个舒服的操作界面,用起来就跟直接用DeepSeek 官方的一样!

2025-02-13 21:29:00 958

原创 Cherry Studio,硅基流动,DeepSeek R1 API,知识库文章汇总

Cherry Studio搭建本地知识库,让DeepSeek R1发挥最大实力,彻底告别硬件限制![必看!Cherry Studio + DeepSeek 搭建本地私有知识库!](https://segmentfault.com/a/1190000046073593)

2025-02-09 23:12:59 200

原创 AnythingLLM、LM studio、ollama本地部署文章汇总

10分钟搞定!DeepSeek+Ollama+AnythingLLM 本地部署完全指南,打造专属知识库Deepseek R1 + ollama + AnythingLLM 本地搭建大模型知识库AnythingLLM:基于RAG方案构专属私有知识库(开源|高效|可定制)5 分钟用满血 DeepSeek R1 搭建个人 AI 知识库(含本地部署)使用LM Studio与Anything LLM基于Llama-3高效构建本地知识库系统使用LM Studio与Anything LLM基于Llama-3高效构建本地知

2025-02-09 23:02:13 502

原创 RAG、知识库内容汇总(基于Deepseek知识库)

一文带你速通RAG、知识库和LLM!!RAG-大模型的知识库「外挂」|兼备成本与效益的行业解决方案知识库基础原理介绍如何手撸一个自有知识库的RAG系统RAG框架,都在这了!

2025-02-09 22:16:16 325

原创 如何在离线的电脑上部署一个本地Deepseek(使用LM studio)

[Deepseek R1 + LMStudio 本地部署(windows)](https://www.cnblogs.com/REN-Murphy/p/18702569)[本地部署Deepseek并添加个人知识库(LM studio/AnythingLLM)](https://www.cnblogs.com/blog-dyn/p/18701326)使用LM Studio进行聊天

2025-02-08 19:42:35 471

原创 如何在离线的电脑上部署一个本地Deepseek(使用ollama)

例如,如果您的显卡显存为 16GB,官方推荐使用 32b 大小的 DeepSeek 模型。请根据您的硬件配置选择适合的模型版本,以获得最佳性能。首先我们需要将ollama和chatbox的安装包,Deepseek模型文件通过U盘或者光盘的形式导入到这台不能联网的电脑上。按照时间排序,找到最大的那个文件,就是gguf格式的模型,复制出来,改名为qwen2.5-coder0.5b.gguf。:基于开源模型(如 QWEN 和 LLAMA)微调,参数量从 1.5B 到 70B 不等,适合本地硬件部署。

2025-02-08 19:41:16 14254 6

原创 ARP4754B 前三章节关键问题及解读

ARP4754B》是航空电子系统开发的核心指导文件,为飞机和系统的研制保证、安全评估和开发过程提供了全面框架。本文针对《ARP4754B》前三章节内容,围绕研制保证级别分配、安全评估、需求管理、配置管理及其与其他标准的衔接进行解读,旨在为企业更高效地实施该标准提供参考。安全评估是研制保证过程的核心环节,其输出(如危害分类、安全目标)为FDAL/IDAL的分配提供依据,同时指导后续验证活动的开展。FDAL(功能开发保证级别)和IDAL(项目开发保证级别)的合理分配是确保系统开发安全性和合规性的基础。

2025-01-14 20:03:13 269

原创 鸟撞事件分析与适航性评估

鸟撞可能导致飞机的结构损坏、电气系统失效、甚至飞行控制系统的失效,因此,航空设计团队和飞行员必须充分认识鸟撞的风险,并采取有效措施减少其对飞行安全的影响。为了进一步提升航空器对鸟撞等特定风险的应对能力,制造商和适航当局应在适航性认证中更加重视鸟撞的风险评估,尤其是通过PRA分析来评估鸟撞对飞机各个系统的影响。飞行员的及时反应、设计团队对鸟撞事件的充分评估以及适航性标准的完善,都对减少鸟撞带来的安全隐患具有至关重要的作用。中的鸟撞事件,虽然最终没有造成事故,但这一事件引发了对鸟撞风险的广泛关注。

2024-12-30 22:10:41 156

原创 【ARP 4754B专栏:翻译、解读】第一、二、三章节

本节提供了本文件中使用的术语定义。引用的定义与相关行业来源一致,ARP4761A/ED-135 和 ARP5150A 中的定义与本文件中的定义已协调统一。评估(ASSESSMENT):一种评估过程,可能包括一种或多种分析方法和经验。假设(ASSUMPTIONS):无需证明的陈述、原则和/或前提。保证(ASSURANCE):为提供足够的信心和证据而进行的有计划的系统性行动,确保产品或过程满足规定要求(参考 RTCA DO-178C/ED-12C)。可用性(AVAILABILITY)

2024-12-30 11:32:41 317

原创 机载系统研制过程中的工程判断

机载系统的复杂性主要体现在以下几个方面:多学科交叉软件工程硬件设计电子电气系统机械控制人机工程系统安全严格的安全要求失效概率要求(10^-9/飞行小时量级)功能安全等级划分冗余设计要求故障检测与隔离能力复杂的运行环境极端温度条件电磁干扰环境振动与冲击高空低压环境系统集成挑战多供应商协同异构系统接口实时性要求认证合规性工程判断是指工程师在机载系统研制过程中,基于以下要素做出的专业决策:判断依据专业知识储备工程经验积累适航要求理解。

2024-11-16 21:57:47 319

原创 系统工程和软件工程中的需求工程有什么不一样?

*软件工程(Software Engineering)**是一门专注于软件系统开发的工程学科,其目标是通过系统化的方法确保软件的高质量、可靠性和可维护性。**系统工程(Systems Engineering)**是一种跨学科的方法,用于设计、集成、验证和管理复杂的系统。因此,航空领域的软件工程师不仅需要掌握软件需求工程的方法,还必须理解如何按照 DO-178C 标准进行需求的管理和验证。通过理解系统工程和软件工程中的需求工程,开发团队能够更有效地捕获和管理需求,从而提高项目的成功率和产品的安全性。

2024-11-16 21:56:40 232

原创 ARP 4754是指南还是标准?

见过太多介绍4754的文章,言必称“按照4754第X章节的要求”。事实上,4754不能被称为“行业标准”,仅管有FAA和EASA的背书,4754,正如它本身标题所言,就是一份“指南”(guideline ),正确、有效地应用4754,必须领会其精髓和内在的含义,而不是逐字逐句地生搬硬套。航空领域高度重视系统的安全性和一致性,因此,行业内倾向于遵循被广泛接受的最佳实践,而不是探索新的方法。在这种情况下,虽然它是指南,但由于缺乏其他可接受的合规方法,它实际上被广泛视作行业标准,成为企业开发和认证的基准。

2024-11-14 21:09:22 434

原创 软件工程与 DO-178C的关系

然而,软件失效可能导致严重的飞行事故,因此确保航空软件的。其核心目标是通过科学的开发方法提高软件的稳定性,减少开发过程中的错误,并确保软件在其整个生命周期内的有效性和可维护性。软件工程提供了通用的软件开发方法,而 DO-178C 则进一步细化了这些方法,以确保航空系统中嵌入式软件的安全。软件工程是一种系统化的软件开发方法,旨在通过规范化的流程和技术手段,确保软件的。作为一种规范化的软件开发方法,强调整个开发过程的系统化和可控性,而。作为航空业的权威标准,则为软件开发提供了更加详细的规范和要求。

2024-11-14 02:04:50 177

原创 系统工程与 ARP4754 的关系

随着现代航空技术的飞速发展,民用航空器的设计和开发变得越来越复杂。航空器中集成了大量的电子设备、控制系统和软件模块,这些系统的正常运行直接关系到飞行安全。系统工程通过协调不同学科之间的协作,确保复杂系统在其生命周期内的功能完整性和安全性。作为行业的权威标准,提供了一套系统化的方法,帮助开发人员在确保系统安全性和合规性的同时,提高项目的开发效率。系统工程提供了一般性的开发方法,而 ARP4754 则细化了这些方法,以确保航空系统的安全性和可靠性。发布的行业标准,旨在为民用航空器及其系统的开发提供指南。

2024-11-14 02:03:44 226

原创 # 体系、系统、系统思维、系统工程、需求工程、软件工程:概念及其相互关系

体系是一个具有。

2024-11-13 11:48:59 608

原创 适航文章汇总:知识体系全面梳理

无论您是行业新手还是经验丰富的专业人士,都可以通过本篇文章快速查找相关资料,提高对适航认证、机载系统、软件及硬件等领域的理解。本部分详细解析ARP 4754A、ARP 4761、DO-178C、DO-254等核心标准,并介绍其在机载系统开发中的应用。介绍FAA、EASA、CCAR等主要航空管理机构的适航规章体系,并说明各类飞行器(如固定翼、旋翼机、无人机等)的适航要求。本部分还探讨硬件设计、验证与确认过程中的挑战。从系统架构设计到机载设备的集成与管理,本部分介绍机载系统的研发体系及适航管理的最佳实践。

2024-11-10 21:38:42 611

原创 适航规章、标准,书籍资料下载汇总(增加DO-297 IMA)

从事IMA平台适航工作的朋友看过来,DO-297英文版PDF可以下载了!更新日志:2024-9-28:初版。2024-10-21:增加DO-330英文版PDF下载,后台回复关键词”330“获取下载链接。2024-10-30:增加DO-160G中文版(非机翻)和英文版PDF下载,后台回复关键词”160“获取下载链接。2024-11-10:增加DO-297英文版PDF下载,后台回复关键词”297“获取下载链接。以下是一些收集到的适航相关的资料,分享给大家。

2024-11-10 21:37:17 547

原创 机载软件适航过程详解

DO-178C 全称《机载系统和设备软件的合格审查考虑》,是基于 DO-178B 的改进版本,旨在解决机载软件开发中安全性和可靠性的问题。该标准适用于所有含有软件的机载系统或设备,涵盖了软件的整个生命周期。DO-178C 提出了多项新要求,如对模型驱动开发、形式化方法、软件工具鉴定等方面的规定,进一步提升了机载软件开发的安全性和适航性。DO-178C 采用目标导向的框架,将软件安全性分为五个等级(A 至 E),不同的等级对应不同的开发和验证要求。

2024-11-06 20:06:52 303

原创 EASA CM-SWCEH-001-机载电子硬件的研制保证

本CM中的一些术语定义如下;但是,为了提高可读性,某些章节包含特定的定义(如第4节)。此外,读者可能需要EUROCAE标准(如ED-80/DO-254)中包含的定义,因为这些定义在下面没有重复。术语含义专用集成电路(ASIC)用于实现功能的集成电路,包括但不限于:门阵列、标准单元和全定制器件,涵盖线性、数字和混合模式技术。ASIC是掩膜可编程组件。复杂电子硬件(CEH)所有不是简单的器件均视为复杂。参见简单硬件的定义。COTS IC任何不在特定核心中执行软件的COTS数字或混合电子器件。

2024-11-06 19:47:36 216

原创 复杂电子硬件验证方法研究

DO-254标准是RTCA和EUROCAE共同发布的《机载电子硬件设计保证指南》,其核心目标是确保航空电子硬件的安全性和可靠性。该标准与DO-178C软件标准类似,但更关注硬件设计的验证与确认。DO-254强调通过系统化的验证活动,确保硬件设计符合安全性要求,并减少潜在故障的风险。验证是指通过一系列活动(如测试、分析、评审等),确认硬件设计是否符合需求和安全性要求。确保设计实现的功能和性能符合系统需求发现并修正设计中的潜在问题提供可靠证据支持适航审查。

2024-11-06 19:41:16 128

原创 复杂电子硬件验证方法研究

DO-254标准是RTCA和EUROCAE共同发布的《机载电子硬件设计保证指南》,其核心目标是确保航空电子硬件的安全性和可靠性。该标准与DO-178C软件标准类似,但更关注硬件设计的验证与确认。DO-254强调通过系统化的验证活动,确保硬件设计符合安全性要求,并减少潜在故障的风险。验证是指通过一系列活动(如测试、分析、评审等),确认硬件设计是否符合需求和安全性要求。确保设计实现的功能和性能符合系统需求发现并修正设计中的潜在问题提供可靠证据支持适航审查。

2024-11-04 20:49:55 233

原创 验证方法、符合性方法与设计保证的关系

未来,随着适航标准和工程实践的不断演进,验证与符合性方法将持续优化,以应对日益复杂的系统设计需求。设计保证过程中的验证活动具有双重作用,既用于设计过程的质量控制和风险管理,又作为适航符合性方法的重要支持材料。在未来的航空电子系统开发中,进一步优化设计保证与验证活动的协同作用,将有助于应对日益复杂的工程挑战,推动航空安全技术的发展。为了全面理解这二者之间的关系,本章将系统说明设计保证过程中的验证活动如何既服务于设计保证,又作为符合性方法中的核心证明材料。最终,通过功能测试和环境测试验证硬件的实际性能。

2024-11-04 20:49:16 245

原创 简单电子硬件的验证方法研究

根据RTCA DO-254标准第1.6节"复杂性考虑"的明确定义:“如果机载电子硬件可以通过适合其相应设计保证等级的全面组合的确定性测试和分析,并且能够确保其在所有可预知的工作条件下正确执行预期功能而不产生异常行为,该硬件就可以被定义为简单电子硬件。可通过确定性测试进行完整验证行为可预测且可解释在所有工作条件下功能正确穷尽测试是验证简单电子硬件最基本也是最重要的方法。其核心思想是通过遍历所有可能的输入组合和内部状态,确保硬件在任何条件下都能正确工作。

2024-11-02 21:56:09 132

原创 设计保证过程:系统熵减的实现机制与启示

设计保证是一套用于确保系统设计符合质量和可靠性要求的系统化流程,包括需求分析、设计评审、验证确认等活动。通过对设计过程的全面控制和管理,设计保证能够有效减少系统内的无序性和设计缺陷,维持系统的低熵状态,确保产品的安全性和可靠性。

2024-10-31 21:44:08 213

原创 MOC0-MOC9与设计保证之间的关系

MOC0-MOC9是一套由适航管理机构制定的具体符合性验证方法。这些方法涵盖了从设计、分析到测试等多种验证手段,确保航空产品符合适航标准。MOC0 - 符合性声明:直接声明产品设计符合适航标准。MOC1 - 说明性文件:提交设计图纸、技术方案等文档以支持验证。MOC2 - 分析/计算:使用工程分析和计算验证设计的性能和可靠性。MOC3 - 安全评估:开展功能危害分析(FHA)、故障树分析(FTA)等。MOC4 - 实验室试验:进行环境适应性、电磁兼容性等测试。MOC5 - 地面试验。

2024-10-31 21:22:33 1044

原创 适航规章、标准,书籍资料下载汇总(增加DO-160G中英文版)

很多读者之前问我有没有DO-160G的资源,现在终于找到啦!如果大家有其他想要的资源,可以在留言区告诉我,有空我会帮大家找找看~文末有下载链接:更新日志:2024-9-28:初版。2024-10-21:增加DO-330英文版PDF下载。2024-10-30:增加DO-160G中文版(非机翻)和英文版PDF下载。以下是一些收集到的适航相关的资料,分享给大家。(如果没有你想要的资料,请留言,等找到会及时更新!

2024-10-30 20:34:05 841

原创 AC 00-72:机载电子硬件设计保证最佳实践

对于执行标准化接口功能的COTS IP,这项活动可能得到COTS IP供应商测试用例的支持,或得到经过验证的测试向量的支持。为了验证设计的时序性能,考虑施加于设备的温度和电源供应变化以及半导体设备制造工艺变化,需要对所有极限情况进行分析,以衡量此类约束(温度、电压和工艺)在时序方面的影响,这也可能影响设备的运行频率。如目标CD-10所述,在申请人计划对DAL A或B定制设备使用验证工具,或对DAL A、B或C定制设备使用设计工具的情况下,申请人可以选择通过对工具输出的独立评估来提供对工具使用的信心。

2024-10-30 19:51:26 184

原创 复杂电子硬件的本质:全测试验证的局限性与过程保证的必要性

复杂电子硬件广泛应用于现代航空、航天等高安全性行业中,这些硬件包括FPGA(现场可编程门阵列)、ASIC(专用集成电路)、PLD(可编程逻辑器件)等。不同于传统的固定逻辑电路,这些复杂硬件包含大量可配置的逻辑门、存储单元和接口,可以在设计后期或运行时进行特性配置和功能更新。结构复杂性:包含数以百万计的逻辑门、触发器和存储单元,形成复杂的互连网络功能复杂性:支持多任务并行处理,具备动态重构能力时序复杂性:包含多时钟域设计,具有复杂的同步机制接口复杂性:支持多种高速通信协议,需要处理复杂的数据交互。

2024-10-30 19:50:53 347

原创 FAA机载电子硬件审查指南详解(评审和审查必备)

本咨询通告旨在协助认证机构、授权代表(包括组织授权)和申请人执行机载电子硬件评审(以下简称"硬件评审")。硬件评审的目的是评估机载电子硬件是否符合适航要求和建议的符合性方法(即RTCA/DO-254)。本工作辅助文件应作为评审过程中的参考工具使用。它不应被用作检查表,也不包含所有可能需要评审的情况。同样,本工作辅助文件也不是用来替代DO-254,而应与DO-254一起使用。此外,本工作辅助文件可能包含一些不适用于特定项目评估的问题。

2024-10-29 07:16:09 176 2

原创 机载电子硬件分类与复杂度判定方法研究

随着航空电子技术的快速发展,机载电子硬件在航空器系统中的应用越来越广泛,其复杂度也不断提高。为确保航空安全,需要对机载电子硬件进行合理分类并建立相应的设计保证要求。本文将详细探讨机载电子硬件的分类方法以及复杂电子硬件的判定标准。简单电子硬件是指可以通过全面的确定性测试和分析来确保在所有可预见的操作条件下正确执行预期功能且不会出现异常行为的硬件。不能被归类为简单硬件的电子硬件都应被视为复杂硬件。机载电子硬件的分类和复杂度判定是实施设计保证的基础。未来还需要根据技术发展不断完善相关标准和方法。

2024-10-29 07:14:20 244

原创 机载电子硬件的符合性方法

此外,FAA发布的Order 8110.105A文件和CAST-30补充了DO-254的适用性,特别在简单和复杂硬件的符合性方法上提供了具体指导。EASA发布的文件,如CM-SWCEH-001,则进一步规范了复杂电子硬件的开发与认证过程。由于这些系统对航空器的安全性和稳定性至关重要,确保机载电子硬件的可靠性和符合性成为适航认证中的关键步骤。符合性验证方法基于硬件的复杂性和设计保证等级(DAL)进行分类,本文将符合性验证方法分为简单电子硬件和复杂电子硬件两大类,详细介绍每类硬件在各DAL级别下的验证方法。

2024-10-29 07:13:00 308

原创 FAA AC 20-152A指南:机载电子硬件研制保证

建立正确和完整的需求集是开发保证过程的基石。ED-80/DO-254 - 图11-1,项目9. - 设计工具认证 对于设计工具,与图11-1中注释的支持文本相反,工具历史不应作为工具评估和认证的独立手段。ED-80/DO-254 - 图11-1,项目2. - 识别工具支持的流程 在识别工具支持的设计或验证流程时,还重要的是识别工具在硬件开发流程中满足什么目的或活动。ED-80/DO-254图11-1项目4的工具评估/认证流程排除了"用于评估验证测试完成情况的工具,如基本分析中使用的工具"的活动需求。

2024-10-27 19:26:40 334

原创 机载电子硬件的分类及复杂电子硬件的判断方法

在机载电子硬件的开发和适航认证过程中,DO-254标准起到了至关重要的作用。DO-254由RTCA发布,是关于航空电子硬件设计和验证的主要规范。该标准覆盖了从需求定义、设计、实现、验证到确认的完整生命周期,旨在确保电子硬件的安全性和可靠性。DO-254特别强调了硬件设计的验证和确认过程,通过规定严格的符合性验证要求,以保证硬件在预期的操作条件下能够安全运行。除了DO-254标准,FAA(美国联邦航空管理局)和EASA(欧洲航空安全局)还发布了多项补充性文件,以进一步明确适航认证的要求。

2024-10-27 19:25:48 375

原创 民机机载系统研发从业者的发展规划与路径

民机机载系统研发从业者的职业发展路径多样且富有挑战性。从技术深耕到项目管理、从标准化合规到跨部门沟通、从跨学科融合到国际化视野,每一步都至关重要。现代航空业的迅速发展意味着从业者需持续学习新技术、关注行业动态,并在实际项目中不断积累和提升自身能力。通过科学的职业规划,民机机载系统研发从业者可以从一名初级工程师成长为技术专家、系统架构师或高级管理者,为民用航空电子领域的发展贡献力量。

2024-10-25 22:59:07 270

原创 FAA对机载电子硬件适航的规定与指南详解

DO-254作为国际认可的机载电子硬件设计标准,为硬件的设计、开发和验证提供了完整的框架,而AC 20-152A进一步补充和解释了DO-254中的一些关键点,特别是在涉及用户可编程硬件(如FPGA、ASIC)时提出了更多的细化要求。无论是复杂电子硬件的设计、验证,还是COTS硬件的使用,FAA的这些文件为行业提供了重要的参考标准,并将在未来的航空发展中继续发挥关键作用。COTS硬件虽然降低了开发成本,但其应用的风险使得FAA要求开发人员进行更多的测试和验证,以确保这些硬件能够满足航空系统的高安全性要求。

2024-10-24 21:39:59 486

原创 DO-254 机载电子硬件设计保证指南详解

本文件通过图表和文字说明了各个部分之间的关系。文档中的某些部分直接与系统开发、安全评估、硬件开发和软件开发过程相关联。例如,硬件安全评估应与系统安全评估密切互动,确保所有系统功能的安全要求得到了满足。

2024-10-24 21:38:14 231

飞控系统余度管理算法在VxWorks中的实现-刘小雄.pdf

飞控系统余度管理算法在VxWorks中的实现-刘小雄.pdf

2023-06-28

三余度飞控计算机关键技术研究及工程实现-潘计辉.pdf

三余度飞控计算机关键技术研究及工程实现-潘计辉.pdf

2023-06-28

三余度飞控系统余度管理算法设计与实现-王道彬.pdf

三余度飞控系统余度管理算法设计与实现-王道彬.pdf

2023-06-28

三余度飞控系统余度管理算法设计与研究-吴腾飞-2.pdf

三余度飞控系统余度管理算法设计与研究-吴腾飞-2.pdf

2023-06-28

余度系统中的动态同步和表决控制.pdf

摘要:在多通道余度系统的研究和应用中,同步问题是整个余度系统正确运行的基本保证。基于多交叉通道模型和同步时间的静态分配策略,提出动态时间容错方法。针对该方法,设计基于时间容错的动态表决控制算法,实现多通道系统中的动态同步。 给出动态同步表决控制逻辑,用于控制表决时间并监测表决数据。理论分析和实验结果表明,时间容错的动态表决控制算法扩展了任务处理的时间窗口,与静态同步算法相比,可有效降低通道故障率,提高对瞬时干扰的抵御能力以及余度系统的可靠性。 关键词:余度系统;多通道;动态同步;表决;控制算法;时间序列

2023-06-28

飞机机电综合管理系统研究与应用-任杰.pdf

飞机机电综合管理系统研究与应用-任杰.pdf

2023-06-28

一种基于ARM的双余度远程接口单元设计-范新明.pdf

一种基于ARM的双余度远程接口单元设计-范新明.pdf

2023-06-28

一种机电系统双余度通道切换逻辑-车炯晖.pdf

一种机电系统双余度通道切换逻辑-车炯晖.pdf

2023-06-28

可变冗余架构四余度飞管计算机技术研究-陈茜.pdf

可变冗余架构四余度飞管计算机技术研究-陈茜.pdf

2023-06-28

民用飞机电传飞控系统三余度表决算法研究-唐志帅-3.pdf

民用飞机电传飞控系统三余度表决算法研究-唐志帅-3.pdf

2023-06-28

四余度飞控计算机架构及其余度管理算法-王轩.pdf

四余度飞控计算机架构及其余度管理算法-王轩.pdf

2023-06-28

多余度机载计算机同步算法研究-郝艳也.pdf

多余度机载计算机同步算法研究-郝艳也.pdf

2023-06-28

基于DO-254的复杂电子...发及适航审定过程符合性研究-薛钊.pdf

基于DO-254的复杂电子...发及适航审定过程符合性研究-薛钊.pdf

2023-06-28

基于SCADE的飞控软件的适航验证与确认-张雅妮.pdf

基于SCADE的飞控软件的适航验证与确认-张雅妮.pdf

2023-06-28

民机研制中设计偏差处理方法和流程研究-康礼鹏.pdf

民机研制中设计偏差处理方法和流程研究-康礼鹏.pdf

2023-06-28

机载航电系统软件适航验证测试的设计与实现-刘珊.pdf

机载航电系统软件适航验证测试的设计与实现-刘珊.pdf

2023-06-28

通用飞机机载设备适航审定过程及方法研究-乔卫华.pdf

摘要针对民用航空器机载设备适航审定的要求,文中结合海鸡300飞机航电系统与适航审定结合的开发过程,详细论述了通用飞机机载设备适航审定的过程及方法。所介绍的适航审定流程,即审定基础、审定计划和符合性机载设备适航审定的通用方法。

2023-06-28

民用飞机适航取证过程中的知识管理应用研究-路瑞芳.pdf

民用飞机适航取证过程中的知识管理应用研究-路瑞芳.pdf

2023-06-28

航空机载计算机软件适航研发流程研究与应用-裴宇鑫.pdf

航空机载计算机软件适航研发流程研究与应用-裴宇鑫.pdf

2023-06-28

民用飞机适航审定流程体系研究-韩澎.pdf

民用飞机适航审定流程体系研究-韩澎.pdf

2023-06-28

基于DO-178B-C的机载软件适航审查研究-崔利杰.pdf

基于DO-178B-C的机载软件适航审查研究-崔利杰.pdf

2023-06-28

民用直升机机载设备适航批准方式研究-闫惠芳.pdf

民用直升机机载设备适航批准方式研究-闫惠芳.pdf

2023-06-28

适航成本管理初探-张建军.pdf

对于民航企业而言,民用航空产品或零部件是其实现利润的载体,而构成民用航空产品和零部件安全性的灵魂是适航性。为了满足适航管理的要求而不计成本,企业的发展是不可持续的;反之,只注重成本管理而忽视适航管理的要求,会给企业造成毁灭性的打击,也是不可取的。引入适航成本管理方式,在保证适航安全的前提下进行统筹兼顾和成本管理,是一种可持续的发展路径。本文根据对当前适航管理体制和常规实践的分析,提出了适航成本的概念,并为其搭建由预防成本、设计符合性成本、制造符合性成本、内部适航损失成本、外部适航损失成本和适航体系维护成本六大部分构成的成本框架。

2023-06-28

直升机重要改装设计电磁兼容与环境符合性验证方法研究-郑庆.pdf

直升机重要改装设计电磁兼容与环境符合性验证方法研究-郑庆.pdf

2023-06-28

民用飞机航电系统地面试验室...试验(MoC4)流程的研究-孟益民.pdf

适航符合性验证试验是民用飞机向适航当局表明其对适航条款符合性的重要手段。根据中国民用航空局(CAAC)的规定,适航符合性验证分为:符合性声明(MoCO)、说明性文件(MoC1)、分析/计算(MoC2)、安全评估(MoC3)、试验室试验(MoC4)、机上地面试验(MoC5)、飞行试验(MoC6)、航空器检查(MoC7)、模拟器试验(MoC8)和设备合格性(Moc9)等十种方法U。由于航电系统功能复杂,与飞机各个系统都有交联关系,很难在地面试验室将航电系统独立出来,因此航电系统的适航符合性验证试验一般多在飞机上进行,即采用机上地面试验(MoC5)和飞行试验(MoC6)的方式。然而,航电系统的一些功能如机组告警等需要飞机工作在故障状态才会触发,在飞行试验时验证这些功能具有一定的危险性,加上飞行试验本身的成本高昂,目前世界上主要的飞机制造商如美国波音公司、欧洲空中客车公司等越来越多的选择将航电系统的适航符合性验证试验放在地面试验室进行,从而节省大量的飞行小时数,降低制造成本。我国民用飞机的研制尚处于起步阶段,在航电系统MoC4试验方面尚无成熟的经验,本文针对航电系统MoC4试验的过程和方法开展

2023-06-28

民机符合性验证试验流程-章飞.pdf

摘要:在民机的型号审定中最关健和重要的一项工作就是通过符合性验证试验来表明对适航规章条款的符合性,适航符合性验证是民用飞机研制的重要特点,其贯穿于飞机研制的整个过程。通过对规章中符合性验证流程的分析研究,给出实际工作中某民机的符合性验证试验流程,保障符合性验证试验顺利开展。 关键词:符合性验证;符合性验证试验;流程

2023-06-28

民用航空器适航符合性验证试验的远程审定浅析-马柏慧.pdf

民用航空器产品在应用前必须满足适航要求。而在适航取证中,符合性验证的现场验证试验十分关键。 在试验过程中,一般还要进行两项检查:一是进行制造符合性现场检查;二是需要配合工程代表,进行现场试验与目击。对于中国民用飞机主制造商的任一供应商,在审定过程中均要逐级通过中国民用飞机制造商适航代表(以下简称“适航代表”)以及航空器适航审定中心试验代表(以下简称“局方代表”)的审核。随着民用航空器国产化进程的推进,航空器适航审定中心(以下简称“局方”)很难及时为大量产品安排足够人员进行现场目击试验,加上地区防疫政策限制,更增加了为各项验证试验提供现场人力支持的难度,从而无法完成目击试验,可能影响产品生产和装配进度。所以,符合性验证的现场验证试验的及时开展,成为了一个亟需解决的课题。

2023-06-28

民机符合性验证试验流程.pdf

摘要:在民机的型号审定中最关键和重要的一项工作就是通过符合性验证试验来表明对适航规章条款的符合性,适航符合性验证是民用飞机研制的重要特点,其贯穿于飞机研制的整个过程。通过对规章中符合性验证流程的分析研究,给出实际工作中某民机的符合性验证试验流程,保障符合性验证试验顺利开展。 关键词:符合性验证;符合性验证试验;流程

2023-06-28

软件测试用例自动生成技术的应用研究-孙宝云.pdf

软件测试用例自动生成技术的应用研究_孙宝云.pdf

2023-06-22

软件测试用例自动生成技术研究-李军义.pdf

软件测试用例自动生成技术研究_李军义.pdf

2023-06-22

基于SPARC-V8的星载...件全数字仿真平台设计与实现-张涛.pdf

摘要:为了提高星载嵌入式软件的可靠性和安全性,解决硬件测试环境构建困难、成本昂贵以及运行状态难以监控的局限性,提出了一种基于SPARCV8的星载嵌入式软件全数字仿真平台设计和实现方法;介绍了全数字仿真平台实现的关键技术,包括CPU指令集仿真、寄存器仿真、存储器仿真、中断控制器仿真、串口仿真、定时器仿真、虚拟外设模型仿真以及设备管理器和平台时序设计;全数字仿真平台与基于硬件的测试平台相比具有可重用性强、可快速搭建、成本低廉、高可控性、调试和测目标机和虚拟外设环境,进行星载嵌入式软件运行仿真、调试验证等工作。 关键词:SPARCV8:嵌入式软件:全数字仿真

2023-06-22

航空机载软件全数字仿真测试系统的设计与实现-刘涛-2.pdf

摘要:针对航空机载软件测试环境与开发环境冲突、测试环境可控性和通用性差、非干预性测试因难的问题,分析了全物理实装测试环境、半实物仿真测试环境的优缺点,研究了全数字仿真测试技术,设计并实现了一种航空机载软件全数字仿真测试系统。该系统由仿真核心平台、仿真工具组件、协同仿真组件和人机交互组件构成,提供了航空机载处理器、内存、外设等多种可重用库。提出了基于底层虚拟机的动态二进制翻译技术、协同仿真时间同步和数据通信机制等关键技术,实现了航空机载软件全数字高速闭环仿真运行。工程实践证明,该系统能达到降低硬件设备的依耐性、简化测试环境搭建的复杂度、提高测试效率约42%的目的。 关键词:航空机载软件;全数字仿真测试;动态二进制翻译;时间同步机制

2023-06-22

基于全数字仿真的飞控嵌入式软件测试方法与实现-张翔.pdf

摘要:文章以全数字仿真测试平台为基础,针对飞控嵌入式软件的典型运行环境,提出了飞控嵌入式软件在动态测试条件下的仿真测试环境构建方法,并以某型号飞控嵌入式软件为被测软件,构建了基于嵌入式CPU模拟器的全数字仿真测试环境,设计并实现了飞控软件外部运行环境的仿真。 关键词:仿真环境;飞控软件;软件测试;故障注入

2023-06-22

航空嵌入式软件全数字仿真测试技术研究-肖前远.pdf

本文首先研究了软件测试理论。然后分析了嵌入式软件及航空嵌入式软件特点,总结了嵌入式软件以及航空嵌入式软件测试的难点,针对航空嵌入式软件测试面临的最大难题,描述了两种航空嵌入式软件测试环境:宿主机仿真测试环境和交联设备仿真测试环境。由此分析了航空嵌入式软件全数字仿真测试环境设计原理、体系结构以及关键技术展开研究,详细论述了硬件接口与模拟、进程管理与调度及测试脚本语言的实现原理,针对测试脚本语言设计与实现,给出了基于python语言,结合嵌入式软件测试的特点对python模块进行扩展来实现满足测试需要的脚本测试语言。最后结合实际项目应用,具体介绍了基于航空全数字仿真测试环境的软件测试过程。

2023-06-22

航电全数字仿真技术研究-郭晓燕.pdf

航电全数字仿真平台在航电系统性能的确认及验证(V&V)流程中有着重要的作用,在航电设计的早期阶段,通过模型及仿真的方式进行系统可行性分析、验证,有助于进行早期评估以优化所有资源的使用,能在短时间内检验构型变化,从而减少开发时间。

2023-06-22

全数字仿真测试环境在星载嵌入式软件测试中的应用-郭华.pdf

方法。通过在PC机上仿真模拟最入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量。

2023-06-22

基于全数字仿真的嵌入式软件测试技术-刘辉.pdf

摘要:为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术。该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题。利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化。整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用。该平台已经在某型号系列飞控软件的测试中得到应用

2023-06-22

嵌入式软件全数字仿真测试技术研究与应用-颜运强.pdf

摘要:介绍了基于MCS51的全数字软件仿真测试关键技术,包括指令集仿真、外部接口仿真、测试激励注入、软件运行时信息获取,即采用编译/解释混合型指令集仿真、以函数指针调用技术实现测试用例触发式注入、主/被动测试激励注入、基于bitmap技术的软件运行时信息采集。该技术已应用于多个嵌入式测控系统软件的测试环境搭建。 关键词:全数字仿真软件测试测试环境bitmap技术

2023-06-22

面向综合化计算机系统的全数字仿真测试平台-陈磊.pdf

摘要:由于综合化计算机系统的高复杂度以及多样性,如何仿真综合化计算机系统并在此基础上部署测试工作是嵌入式武器装备领域亟需解决的问题。为此,提出一种面向综合化计算机系统的全数字仿真测试平台,利用模型驱动测试模块设计测试用例生成测试脚本,通过仿真系统中的测试控制合与测试代理实现测试工作的调度与控制,使得测试命令在仿真平合中执行,达到在仿真平台上测试被测程序的目的。通过给出针对各种测试类型的测试策略,证明该仿真测试平台的有效性。 关键词:全数字仿真;综合化计算机系统;跨平台测试;嵌入式;虚拟化;测试策略

2023-06-22

航电系统机载软件全数字仿真测试平台技术研究-万鹏.pdf

要:为解决型号研制过程中航电系统软件测试困境,提出出一种全数字仿真测试解决方案。在在不采用成品实物的情况下,对航电系统软件进行测试,测试过程可覆盖软件研制全生命周期。

2023-06-22

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除