二叉决策图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊计算树逻辑的符号模型检测被引量：1
《计算机应用研究》2021年第8期2381-2385,共5页聂朋展 姜久雷 马占有 
国家自然科学基金资助项目(61762002,61962001);宁夏自然科学基金资助项目(2018AAC03127);北方民族大学研究生创新项目(YCX20068)。
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题。将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储。对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出...
关键词：模糊计算树逻辑 不动点算法 多终端二叉决策图 符号模型检测 
可追踪且可撤销的基于OBDD访问结构的CP-ABE方案被引量：3
《计算机应用研究》2021年第4期1185-1189,共5页汪倩倩 欧毓毅 
国家自然科学基金资助项目(61572144);广东省科技计划资助项目(2017A050501035);广州市科技计划资助项目(201807010058)。
针对现有属性撤销方案中存在对恶意用户的不可追踪性、用户属性不能即时撤销的问题,提出了一种可追踪且可撤销的,基于有序二叉决策图(OBDD)访问结构的,高效、有表达力、可撤销的密文策略属性基加密(CP-ABE)方案。该方案实现了用户属性...
关键词：属性撤销 属性基加密 可追踪 有序二叉决策图 
基于OBDD的含圈与或图搜索算法研究
《计算机应用研究》2011年第4期1325-1329,共5页赵岭忠 王雪松 
国家自然科学基金资助项目(60803033);广西青年科学基金资助项目(桂科青0728093)
在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。
关键词：含圈与或图 最大可扩展子图 最小代价解图 有序二叉决策图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部