全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- LLMCfuzz:基于大语言模型的航空发动机编译器模糊测试方法
- 作者： 陆炜 李伟湋 施彬彬 曾俊伟 黄志球 来源： 计算机学报 年份： 2025 文献类型 ： 期刊 关键词： 编译器模糊测试 航空发动机嵌入式系统 程序变异 编译器缺陷 大语言模型
- 描述： LLMCfuzz:基于大语言模型的航空发动机编译器模糊测试方法
- LLMCfuzz:基于大语言模型的航空发动机编译器模糊测试方法
- 作者： 陆炜 李伟湋 施彬彬 曾俊伟 黄志球 来源： 计算机学报 年份： 2025 文献类型 ： 期刊 关键词： 编译器模糊测试 航空发动机嵌入式系统 程序变异 编译器缺陷 大语言模型
- 描述： LLMCfuzz:基于大语言模型的航空发动机编译器模糊测试方法
- 基于统计模型检测的DFT定量分析方法
- 作者： 乔森 黄志球 王金永 宛伟健 来源： 系统工程与电子技术 年份： 2019 文献类型 ： 期刊 关键词： 动态故障树 安全性分析 随机系统 随机混成自动机 统计模型检测
- 描述： 动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于Markov链的DFT求解方法存在三个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明本文方法的有效性。