王青

作品数：4被引量：1H指数：1
导出分析报告
供职机构：北京控制工程研究所更多>>
发文主题：SPACEWIRE航天器姿态控制总线通讯断言成像更多>>
发文领域：自动化与计算机技术文化科学航空宇航科学技术交通运输工程更多>>
发文期刊：《空间控制技术与应用》《航天控制》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式验证中ROBDD变量排序算法的研究
《空间控制技术与应用》2008年第2期29-32,共4页王青 杨孟飞 
不良的ROBDD变量排序会引发状态空间爆炸的危机,从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研究,利用变异操作和保留最优个体的时代繁殖操作对原算法进行了改进。实验数据表明,改进后的算法在可以...
关键词：ROBDD 变量排序 遗传算法 
基于断言的形式验证方法应用研究被引量：1
《航天控制》2007年第3期79-83,共5页王青 杨孟飞 
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在...
关键词：验证 断言 形式验证 模型检验 
基于断言的形式验证方法研究与应用
《控制工程（北京）》2006年第5期52-58,共7页王青 杨孟飞 
随着设计规模的不断扩大和设计复杂度的不断提高。功能验证已经成为数字系统设计开发过程中的制约瓶颈。目前，利用传统的仿真方法并不能有效解决这一困境，而形式验证则是改善该状况的有效途径。本文针对形式验证中模型检验算法在工程...
关键词：验证 断言 形式验证 模型检验 
基于构件、刻面、代码的软件可靠性评估方法的比较和应用
《控制工程（北京）》2005年第5期88-92,共5页王青 孙昕 
随着计算机技术和集成电路技术的飞速发展，嵌入式系统已经广泛地应用于航空航天领域，而嵌入式软件也在发挥着日益重要的作用。因此面对复杂的系统设计和恶劣的空间环境。要保证系统正确运行，嵌入式软件就必须满足高可靠性的要求。目...
关键词：软件可靠性 可靠性评估 软件构件 软件刻面 软件代码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部