李小平
- 作品数:2 被引量:87H指数:2
- 供职机构:北京航空航天大学计算机学院软件开发环境国家重点实验室更多>>
- 发文基金:国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术更多>>
- 面向航天器系统级测试的虚拟测试方法及应用被引量:3
- 2017年
- 航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。
- 乌尼日其其格李小平杨帆马世龙王华茂
- 关键词:状态转移图测试用例生成
- 大数据与深度学习综述被引量:84
- 2016年
- 大数据时代改变了基于数理统计的传统数据科学,促进了数据分析方法的创新,从机器学习和多层神经网络演化而来的深度学习是当前大数据处理与分析的研究前沿。从机器学习到深度学习,经历了早期的符号归纳机器学习、统计机器学习、神经网络和20世纪末开始的数据挖掘等几十年的研究和实践,发现深度学习可以挖掘大数据的潜在价值。本文给出大数据和深度学习的综述,特别是,给出了各种深层结构及其学习算法之间关联的图谱,给出了深度学习在若干领域应用的知名案例。最后,展望了大数据上深度学习的发展与挑战。
- 马世龙乌尼日其其格李小平
- 关键词:大数据神经网络人工智能学习算法