国家自然科学基金(61170043)

作品数：17被引量：42H指数：4
导出分析报告
相关作者：魏欧黄鸣宇胡军刘玉梅牛耘更多>>
相关机构：南京航空航天大学中国航空无线电电子研究所池州职业技术学院安徽大学更多>>
相关期刊：《计算机技术与发展》《计算机与现代化》《Journal of Donghua University(English Edition)》《小型微型计算机系统》更多>>
相关主题：软件产品线故障树蛋白质遗传算法概率模型检测更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于线性时间算法的故障树模块扩展分解方法被引量：4
《计算机科学》2019年第1期226-231,共6页宋俊花 魏欧 
国家自然科学基金项目(61170043);国家重点基础研究发展计划-973计划(2014CB744904)资助
故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中。然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多。为了解决此问题,对现有的线性时间算法进...
关键词：故障树分解 模块扩展 等效事件 简化 
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制被引量：1
《计算机科学》2018年第10期313-319,共7页刘爽 魏欧 郭宗豪 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973计划)(2014CB744904)资助
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相...
关键词：基因调控网络 优化控制 概率模型检测 遗传算法 
稀疏度未知压缩信号快速重构方案
《控制工程》2018年第4期663-667,共5页邹汪平 方元康 邹海 
国家自然科学基金(61100034,61170043);中国博士后科学基金资助项目(20110491411);江苏省博士后科研资助计划项目(1101092C);安徽省高校省级科学研究项目(KJ2011B108);安徽省2016年高校优秀青年人才支持计划重点项目(gxyq ZD2016531);安徽省高等学校省级质量工程项目(2016zy089,2015gxk113)
为了有效解决稀疏度未知的压缩信号快速重构问题，提出了一种适应范围较广、效率突出的信号重构方案。在该方案中，压缩信号的上下界按照等距性质获得，并将最接近其中值的整数作为信号稀疏度的估计值：通过减少迭代时观测向量在支撑集...
关键词：稀疏度 快速重构 估计值 评估体系 
面向DO-178C的襟缝翼控制系统需求的形式化描述
《计算机科学》2018年第4期196-202,共7页战芸娇 魏欧 胡军 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047)资助
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于...
关键词：DO-178C SCR方法 四变量模型 机载软件 T-VEC 
面向驾驶舱显示系统需求的形式化建模与分析
《计算机技术与发展》2018年第3期20-25,31,共7页战芸娇 魏欧 胡军 王立松 谷青范 
国家"973"重点基础研究发展计划项目(2014CB744901);国家自然科学基金(61170043)
在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系...
关键词：驾驶舱显示系统 需求工程 -致性和完备性检测 四变量模型 表格符号 形式化方法 T-VEC工具 
利用特征配置的SLIM安全性验证方法被引量：3
《小型微型计算机系统》2017年第10期2346-2351,共6页李宙洲 魏欧 黄鸣宇 
国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;国家自然科学基金项目(61170043)资助;航空科学基金项目(20155552047)资助
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统...
关键词：安全关键系统 SLIM语言 F Promela语言 安全性验证 模型检测 
一种利用故障特征模型的系统安全性分析方法
《小型微型计算机系统》2017年第9期1950-1955,共6页黄鸣宇 魏欧 罗炜麟 
国家自然科学基金项目(61170043)资助;国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;航空科学基金项目(20155552047)资助;江苏省研究生培养创新工程项目(SJLX15_0139)资助;南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20161602)资助;中央高校基本科研业务费专项资金资助
系统安全性分析是系统安全工程的重要内容,但是传统安全性分析过程中面临着故障空间过大的问题.并且传统安全性分析中以故障列表的方式描述故障无法刻画故障间的约束关系.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征...
关键词：特征模型 软件产品线 模型检测 安全性分析 
使用模型检测解决概率布尔网络优化控制被引量：1
《计算机科学》2017年第5期193-198,231,共7页郭宗豪 魏欧 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973计划)(2014CB744904)资助
系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗技术。目前,布尔网...
关键词：基因调控网络 概率布尔网络 优化控制 概率模型检测 
基于SAT求解器的故障树最小割集求解算法被引量：5
《计算机工程与科学》2017年第4期725-733,共9页罗炜麟 魏欧 黄鸣宇 
国家自然科学基金(61170043);国家973计划(2014CB7449014);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法...
关键词：故障树分析 安全性分析 最小割集 可满足性问题 
基于故障配置的故障树生成被引量：12
《计算机科学》2017年第2期182-191,共10页黄鸣宇 魏欧 胡军 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047);江苏省研究生培养创新工程(SJLX15_0139);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费专项资金资助
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析...
关键词：故障树 故障配置 模型检测 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部