云南高校图书馆联盟文献共享服务平台- SCADE

SCADE: 作品数：96被引量：141H指数：8; 导出分析报告; 相关领域：自动化与计算机技术交通运输工程更多>>; 相关作者：杨志斌吴成富刘文学周勇李耀更多>>; 相关机构：南京航空航天大学西南交通大学中国航空无线电电子研究所西安航空计算技术研究所更多>>; 相关期刊：更多>>; 相关基金：中国航空科学基金国家自然科学基金中央高校基本科研业务费专项资金铁道部科技研究开发计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于机器学习的SCADE模型组合验证环境假设自动生成方法被引量：2: 《计算机科学》2023年第6期297-306,共10页张泽伦杨志斌李晓劼周勇李维; 国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002)。; 高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面...; 关键词：SCADE 组合验证环境假设决策树遗传算法