公共文化服务平台

机载软件安全性需求获取与验证技术: 2016年; 随着科学技术的发展和计算机技术的广泛应用,软件已逐渐成为机载系统中极为重要的部分,确保机载软件的高安全性就显得十分重要。现代飞机几乎所有重要的系统功能都与计算机软件相关,软件已经成为飞行控制、通信导航以及维修保障的核心。软件的大量应用,使机载装备性能有了很大的飞跃,有效提高了机载装备的精确性、灵活性和快速反应能力。但是,由于软件的质量和可靠性水平远低于硬件,对机载系统的使用安全和保障产生了很大的负面影响,甚至可能造成灾难性的后果,软件控制系统的故障和安全性问题直接影响到系统的安全性。; 李维; 关键词：机载软件机载装备机载系统

一种椅载电子式开伞器状态指示装置及方法: 本发明公开了一种椅载电子式开伞器状态指示装置及方法，包括核心控制组件、地检信号检测电路、状态指示灯控制电路和状态指示灯，核心控制组件分别与地检信号检测电路和状态指示灯控制电路连接，状态指示灯控制电路与状态指示灯连接。本发...; 尉飞艳钟廷伟李维贾晓迪康俊锋陈德创; 文献传递

一种利用大语言模型的安全关键系统失效模式识别方法: 2025年; 基于模型的安全分析(MBSA)是安全关键系统(SCS)安全评估的最新方法.失效模式是指系统、组件或设计可能无法达到预期性能标准的表现方式,是MBSA故障行为建模的重要组成部分.然而,随着系统复杂性的增加,手动提取失效模式非常耗时,不同安全工程师的提取结果缺乏一致性.为了应对这些挑战,本文提出了LLM4IFM方法,该方法利用大语言模型(LLM)从故障历史记录、安全标准等文本源中提取失效模式.为了确保数据安全,LLM4IFM采用本地大语言模型,而非云部署大语言模型.首先,该方法对从安全关键领域收集的数据进行预处理,用于知识增强,从而构建特定领域的LLM;实验结果表明,与微调方法相比,检索增强生成方法(RAG)在长上下文处理和知识整合方面具有更好的表现.其次,提出了一种基于命题逻辑的提示框架,与标准提示相比,它显著提高了不同粒度级别下失效模式提取的准确性.最后,该方法在工业界弹射座椅控制系统中取得了成功应用.; 林翰鑫杨志斌周勇周勇; 关键词：失效模式数据安全

一种椅载电子式开伞器状态指示装置及方法: 本发明公开了一种椅载电子式开伞器状态指示装置及方法，包括核心控制组件、地检信号检测电路、状态指示灯控制电路和状态指示灯，核心控制组件分别与地检信号检测电路和状态指示灯控制电路连接，状态指示灯控制电路与状态指示灯连接。本发...; 尉飞艳钟廷伟李维贾晓迪康俊锋陈德创

一种开伞器的高度传感器的Q定点表示方法: 本发明公开了一种开伞器的高度传感器的Q定点表示方法，高度传感器的电压值v＝kx+b，包括以下步骤：求得k的Q定位表达式及k的Q定点位数；确定x的Q定点位数，b的Q定点位数；将高度传感器在相应温度下标定的k，带入k的Q定点...; 钟廷伟李维沈小飞冯友权贾晓迪李志刚沈天驹; 文献传递

嵌入式软件测试的实践与研究: 2015年; 随着信息技术的快速发展,软件已在国防建设与国民生活中的各个领域得到了广泛应用,与此同时,也对软件的可靠性提出了更高的要求。然而开发软件是一种高智能、强脑力、与人紧密相关的生产劳动,软件或多或少存在着缺陷,不可能完美无缺,因此迫切需要采取措施以保证软件产品具有可靠性和高质量。从嵌入式软件测试的总体概述及特点入手,对嵌入式软件测试进行了分析,希望能为相关的工作人员提供一定的参考。; 李维; 关键词：嵌入式软件测试

一种双模双余度应急弹射救生电子式开伞器: 本发明公开了一种双模双余度应急弹射救生电子式开伞器，包括传感器组件、双模双余度控制电路组件、转接板组件、电源电路板组件、热电池组件和滤波输入输出组件，传感器组件、双模双余度控制电路组件、电源电路板组件和热电池组件均与转接...; 尉飞艳王挺赵瑜钟廷伟谭浩杨登仿李维李志刚庞桂林康俊锋陈德创; 文献传递

一种防护救生系统安全苛刻性软件形式化验证方法: 本发明公开了一种防护救生系统安全苛刻性软件形式化验证方法，包括以下步骤：创建空白的形式化验证工程作为观察者模型；根据功能模型的安全性需求和使用场景对观察者模型进行定义，得到安全性属性的输出；创建顶层操作符模型，将功能模型...; 贾晓迪王海珍李维崔清伟冯友权

一种开伞器的高度传感器的Q定点表示方法: 本发明公开了一种开伞器的高度传感器的Q定点表示方法，高度传感器的电压值v＝kx+b，包括以下步骤：求得k的Q定位表达式及k的Q定点位数；确定x的Q定点位数，b的Q定点位数；将高度传感器在相应温度下标定的k，带入k的Q定点...; 钟廷伟李维沈小飞冯友权贾晓迪李志刚沈天驹; 文献传递

一种弹射救生系统健康管理信号融合及处理方法: 本发明公开了一种弹射救生系统健康管理信号融合及处理方法，包括两个惯性测量单元：A和B以及两个程控器：A和B；其中，程控器中包括两个主控制板：A和B，以及辅助控制板C；该方法包括以下步骤：1)程控器中主控制板对所有惯性测量...; 高峰史洪亮崔清伟李维

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

李维