黄鸣宇
- 作品数：14 被引量：31H指数：3
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种软件产品线的特征切片模型检测方法
- 本发明公开了一种软件产品线的特征切片模型检测方法，将用户特定需求与行为模型联系在一起，对特征迁移系统进行抽象并验证，给出系统满足程度。根据用户的特定需求定义切片准则，利用特征模型的语义以及命题逻辑抽取出与切片准则对应的最...
- 魏欧刘玉梅黄鸣宇王立松
- 基于眼动特征的机动车驾驶疲劳系统被引量：1
- 2013年
- 本系统利用开源OpenCV图像处理函数库进行快速开发,总体设计方案包括如下几个方面:在图像预处理方面,系统将通过视频流获得的图像帧进行直方图均衡化,去除实际图像中存在的噪声,放大图像细节;在人眼识别与定位方面,系统采用成功的Adaboost算法,利用OpenCV提供的样本训练集和检测方法;人眼睁闭状态判断方面,系统利用自适应阈值化获取能够展示人眼完整形状的二值化图像,通过人眼区域内黑色像素点面积变化的比较来判断睁眼闭眼;最后,系统选取目前公认有效的PERCOLS疲劳程度评价指标对当前驾驶员的疲劳状态进行分析。
- 傅亚煌黄鸣宇
- 关键词：OPENCV人脸检测二值化PERCLOS
- 基于特征配置的故障树生成方法
- 本发明公开了基于特征配置的故障树生成方法，将软件产品线的可变性建模引入安全分析过程，利用特征模型作为系统故障的结构模型刻画故障的层次与约束关系。同时通过对状态迁移的拓展提出一种故障标记迁移系统(Fault？Labeled...
- 魏欧黄鸣宇罗炜麟王立松
- 基于χChek的软件产品线多值模型检测方法
- 2014年
- 软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。
- 黄鸣宇石玉峰
- 关键词：软件产品线多值逻辑
- 基于SAT求解器的故障树最小割集求解算法被引量：5
- 2017年
- 故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度,提出了一种基于可满足性问题的故障树最小割集求解算法。首先,将求解故障树最小割集问题转化为求解布尔可满足性问题。然后,利用可满足性问题求解器,通过迭代分析求得最小可满足解集合,即为对应故障树的最小割集。实验表明,本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法。
- 罗炜麟魏欧黄鸣宇
- 关键词：故障树分析最小割集
- 基于特征配置的故障树生成方法
- 本发明公开了基于特征配置的故障树生成方法，将软件产品线的可变性建模引入安全分析过程，利用特征模型作为系统故障的结构模型刻画故障的层次与约束关系。同时通过对状态迁移的拓展提出一种故障标记迁移系统(Fault Labeled...
- 魏欧黄鸣宇罗炜麟王立松
- 利用特征配置的SLIM安全性验证方法被引量：3
- 2017年
- 安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统的影响和系统恢复.本文从软件产品线角度提出一个新颖的、针对SLIM扩展模型的验证方法—将软件产品线中产品的可变性引入安全性验证过程,将系统中的故障看作系统中可以进行配置的特征,直观、清楚地刻画了安全分析中系统的结构和行为.使用成熟的SLIM语言建立安全关键系统的扩展模型,将SLIM扩展模型中的故障作为特征、完成扩展模型到fPromela模型的转换;利用软件产品线模型检测工具SNIP对转换得到的f Promela模型进行检测,找出造成系统失效的故障,完成对SLIM扩展模型的安全性验证工作.根据模型转换的规则,设计并实现了转换工具S2F.同时,结合COMPASS给定的标准案例—数据采集系统进行实例分析.
- 李宙洲魏欧黄鸣宇
- 关键词：安全关键系统F
- 应用改进的遗传算法优化软件产品线特征选择被引量：7
- 2017年
- 软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征模型的产品配置难点在于如何从复杂的特征模型中选择满足约束条件的最优的特征组合,如资源约束等.为了实现有约束的特征选择优化问题,提出一种基于原子集和遗传算法优化特征选择的方法.该方法是在原子集优化特征模型基础上,利用特征模型的整体约束信息将种群分为有效配置和无效配置,对有效配置和无效配置进行交叉等遗传操作使其加速向最优解收敛.实验结果说明了该方法的有效性.
- 刘玉梅魏欧黄鸣宇王立松
- 关键词：遗传算法
- 一种利用故障特征模型的系统安全性分析方法
- 2017年
- 系统安全性分析是系统安全工程的重要内容,但是传统安全性分析过程中面临着故障空间过大的问题.并且传统安全性分析中以故障列表的方式描述故障无法刻画故障间的约束关系.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的模型.本文提出一种利用特征模型描述故障约束关系的安全性分析方案.首先,从系统描述及安全需求中提取故障约束关系,利用特征模型对其建模,通过故障特征模型优化故障空间;然后,建立系统行为模型并利用时序逻辑描述系统安全属性;最后利用软件产品线模型检测器对系统进行验证.本文通过A320液压系统对方法进行说明,证明了方法的正确性,进而验证故障特征模型对于分析效率的提升.
- 黄鸣宇魏欧罗炜麟
- 关键词：软件产品线
- 基于特征切片的软件产品线模型检测被引量：2
- 2016年
- 特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相关者的目标进行个性定制开发是亟待解决的实际问题。提出一种根据用户需求对特征模型进行切片,进一步结合三值逻辑对行为模型进行抽象,最后利用模型检测技术对软件产品线进行验证的方法。实验结果证实了该方法的有效性。
- 刘玉梅魏欧黄鸣宇
- 关键词：软件产品线三值模型
