二叉决策图

作品数：79被引量：110H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：古天龙徐周波常亮莫毓昌潘竹生更多>>
相关机构：桂林电子科技大学浙江师范大学西安电子科技大学南京理工大学更多>>
相关期刊：《电子电路与贴装》《现代电信科技》《计算机学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金浙江省自然科学基金浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于OBDD的SMC反例生成研究被引量：1
《计算机工程与应用》2012年第10期54-58,145,共6页姚全珠 苗永军 
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中的状态扩展为一个状态集,使用零压缩二叉决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)来存储...
关键词：有序二叉决策图 模型检测 计算树逻辑(CTL) 反例生成 
基于二叉决策图的网络可达性计算
《计算机工程与应用》2012年第4期74-76,共3页朱随江 刘宇 刘宝旭 姜政伟 
国家科技支撑计划资助项目(No.2009BAH52B06);中国科学院知识创新工程重要方向基金资助项目(No.YYYJ-1013);中国科学院研发实验服务基地测试基金项目(No.201004)
针对现有攻击图生成方法中普遍通过网络扫描获得网络可达性信息存在信息不完整、耗时长、产生网络干扰等不足,提出一种基于二叉决策图的网络可达性计算方法。该方法利用二叉决策图建模防火墙规则,通过高效的集合运算计算网络可达性。真...
关键词：攻击图 网络扫描 网络可达性 二叉决策图 大规模网络 
二值图像序列的符号OBDD表征模型的研究
《计算机工程与应用》2010年第10期169-170,198,共3页孙自广 李春贵 伍轶明 
广西自然科学基金No.0640034~~
利用有序二叉决策图OBDD对二值图像序列数据进行建模,根据图像序列的帧间相关性,图像序列的OBDD共享了大量结点,节省一定的存储空间,为图像序列的有关处理提供了一个新的数据表示方法。
关键词：图像序列 二值图像 有序二叉决策图 图像表示 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部