机载系统软件需求的建模与分时组合验证方法

下载全文  

机载系统在航空航天领域起着至关重要的作用,其突出的安全性使得软件需求的形式化验证成为一个非常重要的问题. 但是随着机载系统需求复杂度和设备数量的增加,其形式化验证中出现了状态空间爆炸的问题. 为了缓解该问题,提出了一种机载系统需求的建模与分时组合验证方法. 这种方法通过利用时间维… …   相似文献

黄益柯;阮锟;陈小红;金芝 《计算机研究与发展》2025,62(9):2362-2381

融合模糊攻防树和组合赋权的脆弱性评估方法

下载全文  

本文通过研究组合赋权策略和模糊攻防树策略,并提出面向中国铁路电子客票的脆弱性评估方法.首先基于系统可能面临的安全威胁和既有安全防御措施构建了攻防树模型.采用FAHP法和熵权法来量化叶子节点各安全属性的权重,攻防树模型叶子节点和攻击路径的区间概率采用TFN进行计算,解模糊化后得到系… …   相似文献

姚洪磊;杨轶杰;刘吉强;牛温佳 《小型微型计算机系统》2025,(9):2242-2250

融合CNN-LSTM的硬件木马旁路检测方法

下载全文  

随着集成电路设计与制造全球化,通过供应链植入硬件木马的潜在威胁日益显著。传统旁路检测方法依赖人工特征提取,易受噪声干扰且泛化能力不足,导致检测耗时且准确率不高。为此,该文提出一种基于一维卷积神经网络(CNN)及其与长短期记忆网络(LSTM)的组合架构(1D-CNN-LSTM)的硬… …   相似文献

周康  侯波  王力纬  雷登云  罗永震  黄中铠 《电子与信息学报》2025,47(9):3312-3320

集成肖特基二极管的分裂栅碳化硅(SiC)MOSFET器件

下载全文  

该文提出一种集成肖特基二极管结构的新型分裂栅碳化硅MOSFET器件,有效改善传统DT-MOS器件的反向恢复与开关特性。该新型结构首先采用元胞内集成肖特基二极管技术替代传统DT-MOS的右侧沟道,其次采用分裂栅极集成技术代替传统槽栅设计,将栅极分成了栅极G和源极S两个部分,中间由二氧化硅进行介质隔离。其作用包括：集成肖特基二极管抑制体二极管导通并消除双极退化效应;集成分裂栅与源极短接,减小栅漏耦合面积来降低反馈电容与栅电荷,且在接入高电位时形成电子积累层以提高电子密度。其结果显示：反向导通状态下,电流将从肖特基二极管流出,连接源极的分裂栅极将提升电子浓度从而提高电流密度;动态开关状态下,分裂栅结构通过屏蔽设计减小了栅极与漏极的耦合面积,有效降低了米勒平台电荷Q_GD并改善了开关性能。… …   相似文献

马超  陈伟中  张波 《电子与信息学报》2025,47(9):3346-3352

基于博弈共识的异构多智能体分布式强化学习方法

下载全文  

现有的异构多智能体分布式强化学习方法往往采用统一的状态和动作空间定义,很难体现异构智能各自的特点,且无法实现异构智能体对任务环境的自适应优势互补与竞争。然而采用差异化的状态和动作空间定义又会给异构智能体之间的共识带来挑战。为了实现异构多智能体的协同工作,针对车机异构协同场景提出一… …   相似文献

何杏宇  高锦  杨桂松 《计算机应用研究》2025,42(9)

基于传播特征强化学习的社交网络信息传播关键用户发现方法

下载全文  

传统影响力最大化问题旨在选择一定数量的信源种子发布特定信息,使该信息传播影响范围最大。然而,通过算法选定的种子用户未必愿意发布指定的信息。此外,传统的影响力最大化算法在不同结构的网络上需要重新运行,效率较低。为了解决上述问题,首先将影响力最大化问题形式化为一个新的信息传播关键用户… …   相似文献

刘晓亮 《计算机应用研究》2025,42(9)

存储系统中低修复成本的局部修复阵列码

下载全文  

在大规模分布式存储系统的广泛应用背景下,传统容错编码方案在单盘和双盘故障修复过程中面临读取资源消耗高、修复效率不足等技术难题,提出一种具有局部修复特性的混合校验编码方案——VC-code(vertical central symmetric code)。VC-code通过融合横纵… …   相似文献

唐金华  黄鹃  杨洋  唐聃  蔡红亮  余洪州  熊攀 《计算机应用研究》2025,42(9)

基于知识图谱构建和实体校正的查询重写模型

下载全文  

针对人工智能对话系统中查询文本存在实体错误导致对话摩擦的问题,现有的基于知识图谱的查询重写模型缺乏自学习能力,在部分专业领域场景存在跨领域适应性差,导致其在实际应用中效果不佳。因此提出了一种基于自动构建对话特定知识图谱的查询重写模型(query rewriting model b… …   相似文献

邓佩晨  黑永桦  魏炳生  冯诗宇  万源 《计算机应用研究》2025,42(9)

基于语义增强与候选排序优化的背景感知事件预测方法

下载全文  

事件预测旨在结合事件的语义信息与结构关系,实现对未来事件的精准推断。针对现有图神经网络方法中存在语义捕捉不足及外部知识整合有限的问题,提出一种基于语义增强与候选排序优化的背景感知事件预测方法(SECRO)。该方法采用三阶段框架:首先,利用大语言模型生成高质量的事件节点嵌入,弥补语… …   相似文献

马荣  马博  王震  艾孜麦提.艾尼瓦尔  杨雅婷  王磊 《计算机应用研究》2025,42(9)

基于演化学习的医疗时序知识图谱链接预测方法

下载全文  

为提高疾病进展、治疗方案及药物反应等医疗事件的预测性能,辅助医疗决策。从电子病历提取出医疗实体及其相互关系,构建医疗知识图谱并利用链接预测模型实现对医疗事件的预测。然而,现有时序链接预测模型面临未能充分利用事实之间的结构依赖信息、难以有效捕捉实体和关系的动态演化特征等问题。提出了… …   相似文献

牛崇庆  卢菁  杜钰萱  王劭羽 《计算机应用研究》2025,42(9)