杨海燕
- 作品数：68 被引量：400H指数：6
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>
- 面向软件安全性需求分析过程的追踪模型被引量：2
- 2017年
- 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
- 郑培真苑春春刘超吴际杨海燕胡宁
- 一种基于模板的安全案例建模方法
- 本发明涉及一种基于模板的安全案例建模方法，所述方法包括以下步骤：对安全案例进行领域分析，提取安全案例的概念、关系及约束；对安全案例建模，建立安全案例元模型存储在数据库中；根据元模型建立安全案例模板存储在数据库中，包括安全...
- 刘超孙艺杨海燕吴际
- 文献传递
- 一种基于测试数据的软件质量评价方法
- 一种基于测试数据来对软件质量进行评价的方法，首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式，根据测试用例集评价公式确定软件质量子特性评价公式，根据软件质量子特性评价公式确定软件质量特性评价公式，根据软件质量...
- 晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华
- 文献传递
- 采用模块安全性分析获取软件安全性需求的方法
- 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法，包括：针对每个子系统，根据子系统中需要进行安全性分析的需求开发模块，在计算机终端中建立对应的安全性分析模块；根据从数据库输入的功能性信息以及设计决策信息，对该子系...
- 刘超郑培真杨海燕吴际
- 文献传递
- 机载安全关键系统的安全性需求追踪链建立和维护的方法
- 本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法，包括：从系统分配到软件时，预先定义软件高层安全性需求模板；基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系，建立追踪链；本发明在系统安全性...
- 刘超邓明丽杨海燕吴际
- 一种面向网络应用系统的测试用例选择与扩充方法
- 本发明涉及一种面向网络应用系统的测试用例选择与扩充方法，通过对测试用例集进行解析、去冗余化处理、利用机器学习方法对测试数据进行训练等步骤，最后采用TTCN‑3测试标准生成具有更高故障探测效能的新测试用例集。本发明的方法解...
- 吴际袁斯骏杨海燕刘超
- 文献传递
- “编译技术”实践环节的质量管理体系及实践被引量：4
- 2009年
- "编译技术"作为一门核心专业必修课,其实践环节对本科学生培养动手能力有重要作用。但在教学过程中,笔者发现对于这种软件类课程的实践环节而言,通常的题目设置和考核方案并不能真正确保学生独立完成、学有所获,在过程中加强监督和控制才是有效的办法。本文给出在教学实践中采用的质量管理体系,并通过两年来的应用情况分析了该体系的效果。
- 杨海燕史晓华张莉
- 基于LSTM循环神经网络的故障时间序列预测被引量：294
- 2018年
- 有效地预测使用阶段的故障数据对于合理制定可靠性计划以及开展可靠性维护活动等具有重要的指导意义。从复杂系统的历史故障数据出发,提出了一种基于长短期记忆(LSTM)循环神经网络的故障时间序列预测方法,包括网络结构设计、网络训练和预测过程实现算法等,进一步以预测误差最小为目标,提出了一种基于多层网格搜索的LSTM预测模型参数优选算法,通过与多种典型时间序列预测模型的实验对比,验证了所提出的LSTM预测模型及其参数优选算法在故障时间序列分析中具有很强的适用性和更高的准确性。
- 王鑫吴际刘超杨海燕杜艳丽牛文生
- 关键词：循环神经网络
- 一种基于本体的RUCM模型一致性检查方法
- 本发明涉及一种基于本体的RUCM模型一致性检查方法，所述方法包括以下步骤：对领域知识进行建模，形成的包含领域概念、领域概念之间关系和领域概念的相关属性的领域本体模型；结合本体库中的核心概念，建立和分析本体库的相关概念到R...
- 刘超胡京徽杨海燕吴际
- 编译原理课程的教学改革与实践被引量：7
- 2017年
- 编译原理的新概念、新算法和新理论比较多,被计算机及软件专业学生视为最难以掌握的专业基础课之一。针对课程教学中难点比较集中的问题,为了让学生能平缓地接受该课程的基础理论和知识,提出两遍教学法的思路,阐述如何将编译原理的实践环节和教学环节有机结合,对教学和实践的各个环节进行合理安排,并说明已取得的教学效果。
- 邵兵杨海燕张莉
- 关键词：课程实践课程改革
