咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 1 篇 电子科学与技术（可...
    • 1 篇 计算机科学与技术...
    • 1 篇 航空宇航科学与技...

主题

  • 3 篇 状态遍历
  • 1 篇 二叉判定图
  • 1 篇 递归法
  • 1 篇 枚举
  • 1 篇 飞控系统
  • 1 篇 故障注入
  • 1 篇 时序电路
  • 1 篇 任务调度
  • 1 篇 最小割集
  • 1 篇 锁存器匹配
  • 1 篇 等价性验证
  • 1 篇 系统安全性分析

机构

  • 1 篇 东方航空江苏有限...
  • 1 篇 装甲兵工程学院
  • 1 篇 南京航空航天大学
  • 1 篇 中国航空无线电电...
  • 1 篇 浙江大学
  • 1 篇 中国飞行试验研究...

作者

  • 1 篇 孙书韬
  • 1 篇 葛海通
  • 1 篇 吴雨婷
  • 1 篇 董力
  • 1 篇 房秀来
  • 1 篇 荘露
  • 1 篇 宋海靖
  • 1 篇 陆中
  • 1 篇 周伽
  • 1 篇 杨军
  • 1 篇 何新华

语言

  • 3 篇 中文
检索条件"主题词=状态遍历"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于故障注入模型的电传飞控系统安全性分析
收藏
分享
引用
航空学报 2023年 第9期44卷 272-285页
作者： 荘露 陆中 宋海靖 董力 吴雨婷 周伽 南京航空航天大学民航学院 南京211106 中国飞行试验研究院可靠性研究中心 西安710089 中国航空无线电电子研究所民机系统部 上海200241 东方航空江苏有限公司飞机维修部 南京211106
安全性分析既是飞机研制中提高安全性的主要手段,也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全性分析方法滞后于系统的设计过程,且高度依赖于分析人员的技术和经验,无法满足现代飞机复杂系统研制的需求。针对... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
时序逻辑的并行描述与隐含遍历
收藏
分享
引用
装甲兵工程学院学报 1996年 第3期10卷 59-62页
作者： 何新华 房秀来 孙书韬 装甲兵工程学院计算机教研室 装甲兵工程学院计算机教研室 北京、100072
随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于BDD的时序电路等价性验证
基于BDD的时序电路等价性验证
收藏
分享
引用
第四届中国测试学术会议
作者： 杨军 葛海通 浙江大学超大规模集成电路设计研究所 浙江大学超大规模集成电路设计研究所
由于时序电路的复杂性,时序电路的等价性验证一直是一个难题。本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中的运用,通过匹配锁存器,可以用验证组合电路的方法来验证时... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件