ZBDD是"Zero-suppressed Binary Decision Diagram"的缩写，中文直译为“零抑制二元决策图”。这个术语主要应用于计算机科学领域，特别是在软件开发中，用于表示一种数据结构，它在处理布尔函数和状态空间搜索时具有高效的空间效率。ZBDD通过抑制二进制表示中的零以减少存储需求，使得在处理大量决策问题时变得更...
英语缩写术语“ZBDD”在技术领域内通常代表“Zero-suppressed Binary Decision Diagram”，中文直译为“零抑制二元决策图”。这个术语在计算机科学，特别是软件开发中扮演重要角色，因为它用于描述一种数据结构，用于高效地表示和操作布尔函数。ZBDD的主要特点是通过压缩表示法，只存储非零项，从而节省存储空间。
商标名称 ZBDD 国际分类 第11类-灯具空调 商标状态 商标注册申请 申请/注册号 24080267 申请日期 2017-05-11 申请人名称(中文) 鲍中求 申请人名称(英文) - 申请人地址(中文) 安徽省芜湖市马塘区花津南路2号 申请人地址(英文) - 初审公告期号 - 初审公告日期 2018-05-20 注册公告期号 - 注册公告日期 20...
Petri网的符号ZBDD可达树分析技术*李凤英1,2,古天龙2,徐周波1,2(1.西安电子科技大学电子工程学院西安710071)(2.桂林电子科技大学计算机学院桂林541004)摘要:Petri网是一种适合于并发系统建模、分析和控制的图形工具。可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该...
16 9 月, 2021 zbdd888 阅读全文 游戏故事 xbox360模拟《忍龙2》已经基本完美 xbox360模拟器Xenia,已经问世好几年了,去年的时候测试了一下,能基本流畅的运行《荒野大镖客1》,但是《忍龙2》却一直不能正常运行。因为忍龙的粉丝们一直认为xbox360的《忍龙2》才正经的忍龙,打起来也更加爽快流畅,所以不能正...
By using the ZBDD algorithm in this study, a long run time for (1) solving a fault tree, (2) performing a delete-term operation to handle negates, and (3) performing a rule-based post-processing of MCSs could be significantly reduced. Since the ZBDD algorithm is based on the ...
出价：￥10.00
摘要 本发明公开了一种基于符号ZBDD的装配序列生成方法,包括步骤有:获得装配体知识,即装配体的连接矩阵和干涉矩阵;根据装配体的连接矩阵,创建连接矩阵的ZBDD;根据装配体的干涉矩阵,创建干涉矩阵的ZBDD;搜索出所有可行的装配,即可行装配序列,并创建表示可行装配序列的ZBDD;对生成的表示可行装配序列的ZBDD进行精化,删...
1、类别：H——市内通信电缆；HP——配线电缆；HJ——局用电缆 2、绝缘：Y——实心聚烯烃绝缘；YF——泡沫聚烯烃绝缘；YP——泡沫／实心皮聚烯烃绝缘 3、内护层：A——涂塑铝带粘接屏蔽聚乙烯护套；S——铝，钢双层金属带屏蔽聚乙烯护套；V——聚氯乙烯护套 4、特征：T——石油膏填充；G——...
作者简介:刘 萍(1963—),女,江西人,教授,硕士导师,从事概率安全分析软件研发相关工作一种基于ZBDD 求解大型 故障树的基本事件排序方法 刘 萍,吴宜灿,李亚洲,王海涛,胡丽琴,张士杰,麻晓敏,聂 淼,袁 润 (中国科学院等离子体物理研究所,安徽合肥230031)摘要:如何提高大型故障树分析效率一直是研究人员致力于的一个...