“bdd”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果243个，建议您升级VIP下载更多相关专利

[发明专利]使用基于层次结构的模型进行网络验证的方法和系统-CN202180070585.2在审
发明人：阿什坎·索巴尼;禇兴军 -专利权人：华为技术有限公司
申请日： 2021-03-09 - 公布日： 2023-06-30 - 主分类号： H04L41/0873 文献下载
摘要：定义输入二元决策图(BDD)以表示用于查询感兴趣的网络属性的输入报头空间。提供所述输入BDD作为表示逻辑拓扑中的源设备的设备级别BDD的输入，所述逻辑拓扑表示所述网络中的设备之间的连接。所述网络中的每个设备由所述逻辑拓扑中的相应设备级别BDD表示。计算输出BDD，所述输出BDD表示由所述逻辑拓扑中的目的地设备输出的输出报头空间。所述输出BDD是通过将从所述源设备到所述目的地设备的逻辑路径中的每个设备级别BDD顺序地应用于所述输入BDD来计算的。然后报告输出BDD，并将报告的输出BDD与预期的输出BDD进行比较，以验证所述感兴趣的网络属性。
使用基于层次结构模型进行网络验证方法系统

[实用新型]一种臭氧水喷壶及BDD组件-CN202120161247.7有效
发明人：曹延新;王传奇;徐金昌;李小安;訾蓬;赵小玻;玄真武;王忠伟;张阁 -专利权人：山东欣远新材料科技有限公司;中材人工晶体研究院（山东）有限公司
申请日： 2021-01-21 - 公布日： 2022-06-28 - 主分类号： A61L2/18 文献下载
摘要：本实用新型公开了一种臭氧水喷壶及BDD组件，属于消杀技术领域，所述BDD组件包括BDD正电极、BDD负电极、喷壶底板、电池组、电压控制电路，其中BDD正电极和BDD负电极设置于喷壶底板的上表面；所述BDD正电极和BDD负电极的一部分穿过喷壶底板；所述BDD正电极、BDD负电极与喷壶底板连接的部分密封隔水；所述BDD正电极、BDD负电极分别和电池组、电压控制电路连接构成回路。
一种臭氧喷壶 bdd 组件

[发明专利]用于分布式网络验证的方法和系统-CN202180080088.0在审
发明人：阿什坎·索巴尼;禇兴军 -专利权人：华为技术有限公司
申请日： 2021-03-11 - 公布日： 2023-08-15 - 主分类号： H04L41/0866 文献下载
摘要：在部分分布式网络验证中，每个网络设备生成相应设备级二叉判定图(binary decision diagram，BDD)，该BDD表示相应网络设备针对感兴趣的网络属性的逻辑行为。来自每个网络设备的设备级BDD由验证服务接收，该验证服务通过生成表示输入报头空间的输入BDD来执行验证，在从源设备到目的设备的逻辑路径中应用每个设备级BDD，并报告输出BDD。在完全分布式网络验证中，每个网络设备负责通过将表示网络设备的逻辑行为的设备特定的BDD应用于设备特定的输入BDD，来计算设备特定的输出BDD。
用于分布式网络验证方法系统

[发明专利]一种面向符号BDD操作的CPU设计方法及计算系统-CN201610190855.4有效
发明人：古天龙;闵丰;徐周波;宁黎华;常亮 -专利权人：桂林电子科技大学
申请日： 2016-03-30 - 公布日： 2018-10-19 - 主分类号： G06F17/50 文献下载
摘要：本发明公开一种面向符号BDD操作的CPU设计方法及计算系统，包括：BDD数据结构设计、新型数据结构操作算法、专用指令系统设计、CPU内核与构架设计、BDD操作专用运算系统构建以及系统的硬件实现。本发明通过用户上位机将操作对象转换，传输至所设计的专用BDD运算系统，通过系统内专用CPU运算机制对BDD数据进行操作计算，以达到快速运算的目的；通过建立新型BDD数据结构与对应操作算法，提高了BDD操作运算的效率本发明能够在较高的算法效率以及较高的硬件处理效率下完成BDD操作计算任务，同时还能保证BDD数据的正确性和简洁性。
计算系统运算系统算法数据结构操作数据结构设计操作对象操作运算构架设计快速运算数据结构算法效率系统设计硬件处理硬件实现运算机制专用指令专用CPU 简洁性上位机构建传输转换保证

[发明专利]一种资源约束性多节点计算系统的可靠性评估方法-CN201510892726.5有效
发明人：莫毓昌 -专利权人：浙江师范大学
申请日： 2015-12-08 - 公布日： 2021-03-26 - 主分类号： G06F15/177 文献下载
摘要：本发明属于计算机技术领域，本发明是通过下述技术方案实现的：一种资源约束性多节点计算系统的可靠性评估方法，步骤如下：步骤1：建立基本BDD模型计算机集群组织，并对BDD模型计算机集群组织中的各个节点中依照布尔型变量进行编码，步骤2：继续利用BDD模型，对BDD模型计算机集群组织的系统级状态进行编码，将BDD模型计算机集群组织的各个节点在空间中按照X轴Y轴进行排列编号，使其在系统级BDD模型中的位置平面横纵轴坐标化，步骤3.依靠步骤2编排坐标后，在BDD模型计算机集群组织的节点工作（量）状态需求，设定启动工作的节点，步骤4：得到步骤3所构造的BDD模型计算机集群组织后，利用系统级BDD模型对得到的BDD模型计算机集群组织进行可靠性评估
一种资源约束节点计算系统可靠性评估方法

[实用新型]一种电极顺向水流安装且可组合的BDD污水处理装置-CN202320399383.9有效
发明人：彭健;许晶 -专利权人：贵州晟达雅科技有限公司
申请日： 2023-03-06 - 公布日： 2023-08-22 - 主分类号： C02F1/461 文献下载
摘要：本申请涉及污水领域，具体公开了一种电极顺向水流安装且可组合的BDD污水处理装置。包括腔体、BDD电极模块，所述腔体上预留有若干个供BDD电极模块安装的安装槽，所述BDD电极模块设有可接通电源的接线柱。利用腔体上的安装位安装不同数量的BDD电极模块，解决了BDD电极无法根据季节性调节使用，造成冬季处理效果差，夏季浪费能源的技术问题。
一种电极水流安装组合 bdd 污水处理装置

[发明专利]一种访问控制列表ACL的检测方法及网络设备-CN201910920032.6在审
发明人：陈一峰;陈颖 -专利权人：华为数字技术（苏州）有限公司
申请日： 2019-09-26 - 公布日： 2021-03-26 - 主分类号： H04L29/06 文献下载
摘要：一种访问控制列表ACL的检测方法及网络设备，应用于网络设备，该方法包括：根据第一ACL中包括的至少一个参数信息，生成第一ACL对应的第一二元决策图BDD，所述第一BDD是针对所述第一ACL中包括的至少一个参数信息分别构造的子BDD生成的；根据第二ACL中包括的至少一个参数信息，生成所述第二ACL对应的第二BDD，所述第二BDD是针对所述第二ACL中包括的至少一个参数信息分别构造的子BDD生成的；基于所述第一BDD和所述第二BDD，对所述第一ACL和所述第二ACL进行检测。
一种访问控制列表 acl 检测方法网络设备

[发明专利]一种BDD阳极片和阳极接线柱的连接方法-CN202310586062.4在审
发明人：李卫;陈继锋 -专利权人：廊坊沃尔德超硬刀具有限公司
申请日： 2023-05-23 - 公布日： 2023-08-18 - 主分类号： C02F1/461 文献下载
摘要：本申请涉及污水处理电极模组技术领域，具体公开了一种BDD阳极片和阳极接线柱的连接方法，连接方法包括如下步骤：S1、在电极模组的BDD阳极片上开设安装孔；S2、对BDD阳极片、阳极接线柱进行酸洗、水洗；S3、将阳极接线柱穿过安装孔且形成连接处；S4、在阳极接线柱和BDD阳极片的连接处涂抹焊膏，然后进行焊接且形成焊接处；S5、在阳极接线柱和BDD阳极片的焊接处涂抹硅胶，然后进行固化且形成保护层，完成BDD阳极片和阳极接线柱的连接该连接方法，不仅大大减少连接处占用BDD阳极片的有效表面积，而且显著降低接触电阻，同时降低焊缝腐蚀的情况，增加使用寿命。
一种 bdd 阳极接线柱连接方法

[发明专利]一种BDD测试实例的生成方法、装置及电子设备-CN202310674745.5在审
发明人：胡安丽 -专利权人：平安银行股份有限公司
申请日： 2023-06-07 - 公布日： 2023-08-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种BDD测试实例的生成方法、装置及电子设备，方法包括：获取接口定义文件，对所述接口定义文件进行解析，生成解析结果；根据解析结果，生成BDD案例框架；获取案例层的断言信息；基于所述BDD案例框架和所述断言信息，生成可执行的BDD测试案例。本发明能够实现自动化工作前置，接口调测完成或接口定义完成，即可自动化生成BDD自动化案例，可以发挥团队优势，将开发的调测接口文件或接口定义文件自动生成自动化案例，可实现质量共建，适应敏捷转型。
一种 bdd 测试实例生成方法装置电子设备

[发明专利]一种基于BDD的量子线性可逆电路的生成方法、系统、电子设备和存储介质-CN202310734224.4在审
发明人：杨国武;梁慧军;贾皓珑;高恩;曾骁 -专利权人：电子科技大学
申请日： 2023-06-20 - 公布日： 2023-10-10 - 主分类号： G06N10/20 文献下载
摘要：本发明公开了一种基于BDD的量子线性可逆电路的生成方法、系统、电子设备和存储介质，方法包括以下步骤：获取待处理的量子线性可逆电路，将其转换为可逆矩阵；建立与可逆矩阵V10；对可逆矩阵V1和单位矩阵V0执行状态转换操作，分别得到目标状态BDD合集和初始状态BDD合集；判断目标状态BDD合集和初始状态BDD合集是否存在交集vt：若存在交集vt则，将两个路径按序排列得到的行变换关系本发明使用可达性分析来研究线性可逆电路的生成，并使用双向BDD搜索方法，可以降低大型函数计算BDD的时间和空间复杂性。
一种基于 bdd 量子线性可逆电路生成方法系统电子设备存储介质

[实用新型]一种集成式BDD电极-CN202023333953.X有效
发明人：李连兵;陈袁培;李万亮 -专利权人：江苏尊荣环保材料有限公司
申请日： 2020-12-30 - 公布日： 2021-12-10 - 主分类号： C02F1/461 文献下载
摘要：本实用新型涉及一种集成式BDD电极，包括安装板，安装板表面贯穿设置有一个以上的导电芯棒，导电芯棒一端连接有电源接头，其另一端同轴设置有电极板接头，电极板接头环向间隔设置有若干安装凹槽，电极板接头的安装凹槽内连接有BDD电极板，BDD电极板一侧边缘开设有若干个卡接孔，BDD电极板通过半卡接孔关于电极板接头的安装凹槽两两卡合连接。本实用新型将多个BDD电极板在导电芯棒上集成连接，满足电催化氧化反应过程中获得高电位，多个BDD电极板集成连接，污染物在BDD电极板表面直接被氧化，或通过电化学反应生成具有强氧化性的中间产物，间接氧化降解污染物
一种集成 bdd 电极

[发明专利]一种旋转式BDD电极应用于去除水中的污染物的方法-CN201711209109.6在审
发明人：屠锦军;黄苗权;沈选举;彭开勤;冯维华;龚冠瑜;罗帆;王瑛;杜建峰 -专利权人：浙江沁园水处理科技有限公司
申请日： 2017-11-27 - 公布日： 2018-04-06 - 主分类号： C02F1/461 文献下载
摘要：本发明涉及一种旋转式BDD电极应用于去除水中的污染物的方法，所述待处理水体为地表水或地下水，所述污染物为PPCPs；所述方法包括以下操作将含有一定PPCPs浓度的待处理水体利用输液泵通入连续流动的电化学反应器中，所述电化学反应器以BDD电极为阳极，控制待处理水体以一定的流速流经BDD电极；电极两端持续通电，使BDD电极电流密度稳定；利用电机控制BDD电极持续旋转；保证充足的反应时间。其优点在于，在固有的电化学反应基础上，让BDD电极在电化学反应过程中旋转，增加传质过程，降低浓差极化，提高污染物的去除率。
一种旋转 bdd 电极应用于去除水中污染物方法

[发明专利]USB只读控制系统及方法-CN201810771327.7有效
发明人：朱容宇;杨嘉渔;刘红兵;窦维刚;夏斌 -专利权人：重庆爱思网安信息技术有限公司
申请日： 2018-07-13 - 公布日： 2020-03-31 - 主分类号： G06F13/42 文献下载
摘要：本发明公开了一种USB只读控制系统及方法，包括主控制器(CPU)、USB Device接口、USB Host接口、Device侧上行缓存器(BUD)、Device侧下行缓存器(BDD)、Host侧上行缓存器(BUH)、Host侧下行缓存器(BDH)，USB Device接口分别数据连接上游主机和BUD及BDD，CPU分别数据连接BUD、BDD、BUH、BDH，USB Host接口分别数据连接BUH、BDH以及下游设备，所述CPU与USB Device接口、USB Host接口、BUD、BDD、BUH、BDH还建立控制连接。通过CPU判断BDD的包是否为数据包来选择包的流向，是数据包，CPU读取包头中的其他字段并将数据包从BDD中取出，同时生成确认事物包，将确认事物包放入BUD中；若不是数据包，CPU控制包流入BDH，进一步流入下游设备
usb 只读控制系统方法

[发明专利]一种模块化获取核电站故障树顶事项失效概率的方法-CN201610356594.9有效
发明人：张志俭;王贺;冯晓宁;李娜;邓云李 -专利权人：哈尔滨工程大学
申请日： 2016-05-25 - 公布日： 2018-08-31 - 主分类号： G05B23/02 文献下载
摘要：本发明包括：建立故障树：对故障树进行模块化处理；将模块化的故障树转化为BDD结构；对含模块的BDD结构进行遍历。本发明提出的模块化的核电站故障树顶事项失效概率的分析方法是一种低耗能、高速度的故障树分析方法，遍历经过吸收简化的最化简BDD结构，能够直接获得全部MCS并同时获得MCS的不交化割集，相比较于传统BDD方法模块化的BDD方法通过减小复杂故障树的规模和数量来减小计算的代价，有效降低了传统BDD方法的内存消耗，同时提高了计算效率。
一种模块化获取核电站故障树顶事项失效概率方法

[发明专利]基于BDD的知识库规则产生式的检查方法-CN201410060723.0在审
发明人：崔小磊;周启平;刘大鹏;任永青;陈星宇 -专利权人：北京神舟航天软件技术有限公司
申请日： 2014-02-21 - 公布日： 2014-06-25 - 主分类号： G06N5/04 文献下载
摘要：本发明公开了一种基于BDD的知识库规则产生式的检查方法，其特征在于：所述检查方法是在基于推理规则产生式来构建推理机RETE网络的alpha节点网络时，对每一条输入的规则执行如下步骤检查：1）将一条已有规则产生式Rp转换成相对应的BDD，通过遍历这个BDD检查Rp是否可满足；2）将一条已有规则产生式Rp转换成相对应的BDD，通过遍历这个BDD检查Rp是否永远为真。
基于 bdd 知识库规则产生检查方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
下一页»
尾页
共 243 条