ROBDD：降序二元决策图

在计算机科学领域，特别是形式验证与逻辑电路设计中，“Reduced Ordered Binary Decision Diagram”是一个常用的数据结构概念。为便于书写和使用，它通常被缩写为ROBDD。这一术语的中文译名为“降序二元决策图”，主要用于高效表示和操作布尔函数，因其结构紧凑且支持高效的逻辑运算而被广泛采用。

Reduced Ordered Binary Decision Diagram具体释义

  • 英文缩写：ROBDD
  • 英语全称：Reduced Ordered Binary Decision Diagram
  • 中文意思：降序二元决策图
  • 中文拼音：jiàng xù èr yuán jué cè tú
  • 相关领域： robdd 常用

Reduced Ordered Binary Decision Diagram的英文发音

例句

  1. Based on the unit delay model, the analysis of glitch power in CMOS integrated circuits using timed Boolean function and timed reduced ordered binary decision diagram is presented.
  2. 在集成电路中器件延迟数学模型的基础上，介绍了如何利用定时布尔函数和定时有序二值决策图对集成电路GlitchPower进行分析；
  3. The algorithm DMAP in the thesis adopts the most efficient Boolean logic representation found so far : Reduced Ordered Binary Decision Diagram(ROBDD) ( ROBDD ).
  4. 本文中所提出的算法DMAP采用了目前为止最有效的电路表达形式：最简有序二分决策图（ROBDD）。

本站英语缩略词为个人收集整理，可供非商业用途的复制、使用及分享，但严禁任何形式的采集或批量盗用

若ROBDD词条信息存在错误、不当之处或涉及侵权，请及时联系我们处理：675289112@qq.com。