thedays.cn
今日百科
百科
登录
注册
首页
>
二元决策图
✍ dations ◷ 2025-08-10 17:48:28
#布尔代数,图表,数据结构
在计算机科学中,二元决策图(英语:binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构。
Available OBDD Packages
相关
重肌无力症
重症肌无力(英语:Myasthenia Gravis,简写MG),是慢性的神经肌肉疾病(英语:Neuromuscular disease),会造成不同程度的肌肉无力(英语:Muscle weakness)。最常影响眼部、脸部(英语:Facial musc
Ivan Pavlov
伊万·彼得罗维奇·巴甫洛夫(俄语:Иван Петрович Павлов,1849年9月26日-1936年2月27日),俄罗斯生理学家、心理学家、医师。他因对狗研究而首先对古典制约作出描
吉布斯自由能
在热力学里,吉布斯能(英语:Gibbs Free Energy),又称吉布斯自由能、吉布斯函数、自由焓,常用英文字母 G {\displaystyle G} 标记。吉布
保鲜膜
保鲜膜,是一种塑胶薄膜,作为厨房用品,保鲜膜可阻隔水分,防止空气与食物直接接触,主要用于厨房煮食、盛载食物、保存食物,或用来制作一些可以简单清洁的物料。它的用途越来越广泛,因
专利池
专利池是由多个专利权人之间达成协议,互相交叉许可或共同向第三方许可其专利的联营组织或几何体。如对MPEG2技术标准进行管理的MPEG2 LA就是著名的专利池,有哥伦比亚大学、富
螳䗛目
螳䗛(Gladiatoren)是螳䗛目下的肉食性昆虫。螳䗛目下只有一个螳䗛科。它们是南非西部及纳米比亚的特有种,但从始新世的化石纪录可见,它们原有更广的分布。螳䗛没有翅膀。它们
米丽娅姆·马凯巴
米丽娅姆·马凯巴(Miriam Makeba,1932年3月4日-2008年11月10日,南非歌手,外号“非洲妈妈”,曾荣获格莱美奖,并投入反对南非种族隔离运动。
日本岛屿列表
日本岛屿列表列出所有现时日本政府主张领有权的岛屿在日本政府主张领有权的范围内,面积100 km2以上的岛屿共有25个(除去本州等四大岛)。
阿贝·阿希提卡
阿贝·瓦桑特·阿希提卡(英语:Abhay Vasant Ashtekar,1949年7月5日-)是一名印度理论物理学家。他是宾州州立大学引力与宇宙研究所的领导者,同时也是一名物理教授。作为阿希提卡变
Kfz 13
Kfz 13(德语:Maschinengewehr-Kraftwagen)是第一次世界大战后威玛防卫军采用的第一种装甲侦察车,到1935年时,该类轻型装甲车已交付147辆。 Kfz 13基于民用车阿德勒“标准6型”(Adl