机构

• 计算技术研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [2]

内容类型

• 期刊论文 [2]

发表日期

• 2008 [1]
• 1995 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于SCC空性检测中状态空间的缩减方法 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/06/10 空性检测  基于迁移的扩展Büchi自动机  可接受条件  检测算法  状态空间  强连通图  深度优先搜索  最坏情况  优势结合  搜索算法  接受条件  检测过程  布尔变量  自动机  性能  迁移  内存  扩展  标识Cellular radio systems  Ketones   基于变量排序的BDD简化 期刊论文  OAI收割 电子测量与仪器学报, 1995, 卷号: 9.0, 期号: 003, 页码: 7 作者:  何新华   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 变量  排序  节点  布尔操作  二元判定图  布尔函数