黄鸣宇

作品数：9被引量：29H指数：3
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：软件产品线故障树软件产品安全性从属关系更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《计算机技术与发展》《计算机与现代化》《电脑与信息技术》《小型微型计算机系统》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划中国航空科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用特征配置的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)资助;中央高校基本科研业务费专项资金资助
系统安全性分析是系统安全工程的重要内容,但是传统安全性分析过程中面临着故障空间过大的问题.并且传统安全性分析中以故障列表的方式描述故障无法刻画故障间的约束关系.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征...
关键词：特征模型 软件产品线 模型检测 安全性分析 
基于SAT求解器的故障树最小割集求解算法被引量：5
《计算机工程与科学》2017年第4期725-733,共9页罗炜麟 魏欧 黄鸣宇 
国家自然科学基金(61170043);国家973计划(2014CB7449014);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法...
关键词：故障树分析 安全性分析 最小割集 可满足性问题 
基于故障配置的故障树生成被引量：12
《计算机科学》2017年第2期182-191,共10页黄鸣宇 魏欧 胡军 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047);江苏省研究生培养创新工程(SJLX15_0139);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费专项资金资助
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析...
关键词：故障树 故障配置 模型检测 
应用改进的遗传算法优化软件产品线特征选择被引量：7
《小型微型计算机系统》2017年第1期35-39,共5页刘玉梅 魏欧 黄鸣宇 王立松 
国家自然科学基金项目(61170043)资助;国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;航空科学基金项目(20155552047)资助;江苏省2015年度普通高校研究生实践创新计划项目(SJLX15_0139)资助
软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征模型的产品配置难...
关键词：特征模型 原子集 遗传算法 优化特征选择 
基于特征切片的软件产品线模型检测被引量：2
《计算机科学》2016年第4期167-172,共6页刘玉梅 魏欧 黄鸣宇 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904)资助
特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相...
关键词：软件产品线 特征切片 三值模型 模型检测 
基于特征的软件产品线配置方法研究被引量：2
《计算机技术与发展》2016年第2期1-6,11,共7页刘玉梅 黄鸣宇 
国家自然科学基金资助项目(61170043);国家"973"重点基础研究发展计划项目(2014CB744904)
软件产品线是指具有一组可管理的公共特性的软件密集性系统的合集,这些系统满足特定的市场需求或任务需求,并且按预定义的方式从一个公共的核心资产集开发得到。可变性建模是实现系统间共性和可变性管理的有效方法以及满足用户特定需求...
关键词：软件产品线 特征模型 产品配置 共性 可变性 
基于χChek的软件产品线多值模型检测方法
《计算机与现代化》2014年第8期87-90,共4页黄鸣宇 石玉峰 
国家自然科学基金资助项目(61170043)
软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本...
关键词：软件产品线 模型检测 χChek 多值逻辑 
基于眼动特征的机动车驾驶疲劳系统被引量：1
《电脑与信息技术》2013年第1期15-18,共4页傅亚煌 黄鸣宇 
南京航空航天大学国家级大学生创新创业训练计划项目资助(项目编号:NO:201210287133)
本系统利用开源OpenCV图像处理函数库进行快速开发,总体设计方案包括如下几个方面:在图像预处理方面,系统将通过视频流获得的图像帧进行直方图均衡化,去除实际图像中存在的噪声,放大图像细节;在人眼识别与定位方面,系统采用成功的Adabo...
关键词：OPENCV 人脸检测 人眼定位 二值化 PERCLOS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部