注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 基于OBDD的灰度图像无损压缩算法

  2. 基于OBDD的灰度图像无损压缩算法基于OBDD的灰度图像无损压缩算法

  3. 所属分类：其它

    • 发布日期：2010-05-21
    • 文件大小：372736
    • 提供者：superstar1103

  1. 符号化模型检测CTL

  2. 符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测；时态逻辑； 有序二值判定图 （OBDD ）

  3. 所属分类：其它

    • 发布日期：2011-05-06
    • 文件大小：605184
    • 提供者：Violet2011

  1. buddy-2.4.tar.gz

  2. 开发OBDD二元决策图应用的开发包，linux下使用，可以正常实现功能

  3. 所属分类：其它

    • 发布日期：2013-12-24
    • 文件大小：766976
    • 提供者：lileilei2b

  1. 有序二叉决策图（OBDD）及其应用

  2. 有序二叉决策图（OBDD—Ordered Binary Decision Diagram）是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算，可以看作为一种新的抽象数据类型。OBDD在VLSI逻辑综合和验证的成功应用结果引起了学术界和工业应用界的极大关注。迄今为止，OBDD技术及其工业应用已有了长足的发展、产生了不少的研究结果。

  3. 所属分类：讲义

    • 发布日期：2014-09-27
    • 文件大小：3145728
    • 提供者：winlonglong

  1. OBDD Foundations and applications

  2. The active research field of OBDD~, This is very useful in model checking!

  3. 所属分类：其它

    • 发布日期：2015-10-28
    • 文件大小：3145728
    • 提供者：sbren

  1. 二叉决策图BDD原理、应用与实现介绍

  2. 二叉决策图BDD原理、应用与实现的完整介绍，包括BDD到OBDD的转化、OBDD到ROBDD的转化，以及BDD的C++语言实现库buddy的内部原理介绍

  3. 所属分类：讲义

    • 发布日期：2018-08-26
    • 文件大小：2097152
    • 提供者：kphf1995cm

  1. 基于组播模型的基于OBDD的无线传感器网络可靠性评估算法

  2. 基于组播模型的基于OBDD的无线传感器网络可靠性评估算法

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：393216
    • 提供者：weixin_38733281

  1. 基于OBDD访问结构的无配对CP-ABE方案

  2. 为了提高基于属性加密技术的计算效率，对属性基加密构造中重要的一环——访问策略进行了优化，基于有序二元决策图（OBDD）提出了一种新型的无配对CP-ABE方案。一方面，所提方案基于椭圆曲线密码技术，将传统CP-ABE方案构造中复杂的双线性配对运算替换为较为轻量级的标量乘法，降低了方案整体的计算开销。另一方面，所提方案采用基于OBDD的访问结构，该类型访问结构不仅能表示任何关于属性的布尔表达式，还能同时支持访问策略中属性的正负值，密钥的长度不随属性的个数而正比变化，密文长度也仅与访问策略中有效路径的

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：795648
    • 提供者：weixin_38652090

  1. 一种基于OBDD的WSN可靠性评估方法

  2. 一种基于OBDD的WSN可靠性评估方法

  3. 所属分类：其它

    • 发布日期：2021-04-02
    • 文件大小：642048
    • 提供者：weixin_38745859