英语缩写术语“ZBDD”在技术领域内通常代表“Zero-suppressed Binary Decision Diagram”，中文直译为“零抑制二元决策图”。这个术语在计算机科学，特别是软件开发中扮演重要角色，因为它用于描述一种数据结构，用于高效地表示和操作布尔函数。ZBDD的主要特点是通过压缩表示法，只存储非零项，从而节省存储空间。
ZBDD是"Zero-suppressed Binary Decision Diagram"的缩写，中文直译为“零抑制二元决策图”。这个术语主要应用于计算机科学领域，特别是在软件开发中，用于表示一种数据结构，它在处理布尔函数和状态空间搜索时具有高效的空间效率。ZBDD通过抑制二进制表示中的零以减少存储需求，使得在处理大量决策问题时变得更...
商标名称 装备多多ZBDD 国际分类 第22类-绳网袋篷 商标状态 商标注册申请 申请/注册号 39811459 申请日期 2019-07-22 申请人名称(中文) 泉州兴卓户外装备科技有限公司 申请人名称(英文) - 申请人地址(中文) 福建省泉州市丰泽区城东街道浔美工业区浔江路950号龙华大厦5楼 申请人地址(英文) - 初审公告期号 -...
出价：￥2800.00
出价：￥10.00
本发明公开了一种基于符号ZBDD的装配序列生成方法,包括步骤有:获得装配体知识,即装配体的连接矩阵和干涉矩阵;根据装配体的连接矩阵,创建连接矩阵的ZBDD;根据装配体的干涉矩阵,创建干涉矩阵的ZBDD;搜索出所有可行的装配,即可行装配序列,并创建表示可行装配序列的ZBDD;对生成的表示可行装配序列的ZBDD进行精化,删除装配...
文章基于 Petri 网可达标识向量的稀疏特征, 给出了 Petri网分析的符号 ZBDD 技术, 该技术通过对标识向量( 状态)的布尔向量表示、 可达标识向量( 状态)的符号 ZBDD 生成, 实现 Petri 网可达状态空间的高效符号操作和紧凑符号表示. 实验表明, 基于 ZBDD 的符号可达性分析算法能够有效处理较大规模 Petri网问题....
向量(状态)的布尔向量表示、可达标识向量(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作 和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题. 关键词 Petri网;零压缩二叉决策图;可达树;状态空间 中图法分类号TP393 DOI号:10.3724/SP.J.1016.2009.02420 ...
作者简介:刘 萍(1963—),女,江西人,教授,硕士导师,从事概率安全分析软件研发相关工作一种基于ZBDD 求解大型 故障树的基本事件排序方法 刘 萍,吴宜灿,李亚洲,王海涛,胡丽琴,张士杰,麻晓敏,聂 淼,袁 润 (中国科学院等离子体物理研究所,安徽合肥230031)摘要:如何提高大型故障树分析效率一直是研究人员致力于的一个...
域名zbdd.cn的注册信息 获取时间:2025-03-24 09:54:01 注册商Registrar 阿里云计算有限公司(万网) 注册日期Registration Date(UTC) 2012-06-14 到期日期Expiration Date(UTC) 2025-06-14 域名状态Domain Status 正常状态ok DNS服务器Nameserver DNS1:dns25.hichina.com DNS2:dns26.hichina.com ...