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

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

[发明专利]一种基于逃逸分析的安卓活动管理服务同步负载削减方法-CN202211032356.4在审
发明人：史晓华 -专利权人：北京航空航天大学
申请日： 2022-08-26 - 公布日： 2022-12-06 - 主分类号： G06F11/36 文献下载
摘要：本发明包括：对AMS源代码进行基于逃逸分析的静态分析，抽取代码中的对象访问信息；根据对象访问信息和每个同步块的同步锁的不同，对同步块进行等价类的划分；将访问对象有交集的同步块划分属于同一个等价类，不同等价类的同步块访问对象集合互不相交；根据等价类划分结果，对代码中同步块的同步锁进行重新分配，使得不同等价类使用不同的同步锁，然后输出优化后AMS代码。
一种基于逃逸分析活动管理服务同步负载削减方法

[发明专利]快速逻辑等价性验证方法、装置、设备及存储介质-CN202310875980.9在审
发明人：刁屹;魏星;林德基 -专利权人：奇捷科技（深圳）有限公司
申请日： 2023-07-18 - 公布日： 2023-08-15 - 主分类号： G06F30/327 文献下载
摘要：本发明涉及集成电路等价性验证领域，公开了一种快速逻辑等价性验证方法、装置、设备及存储介质，用于提高逻辑等价性验证的效率。生成子模块逻辑数据集合；通过子模块逻辑数据集合对参考文件进行代码匹配，得到对应的RTL代码；过预置的内部综合器对RTL代码进行代码重组，生成第二综合门级网表；对第一综合门级网表及第二综合门级网表进行逻辑等价性验证，得到对应的逻辑等价性验证结果。
快速逻辑等价验证方法装置设备存储介质

[发明专利]一种基于单目图片的高位摄像头等价相机参数获取方法及系统-CN202310086314.7在审
发明人：闫军;纪双西 -专利权人：超级视线科技有限公司
申请日： 2023-02-09 - 公布日： 2023-05-30 - 主分类号： G06T7/80 文献下载
摘要：本发明公开一种基于单目图片的高位摄像头等价相机参数获取方法及系统，涉及智能交通管理领域，包括：根据已经采集的图片筛选出基准图片和基准目标，并基于基准目标的有向包围框关键点检测结果和几何尺寸信息，可获取到初始相机等价参数和扩展成像平面区域的地面深度图，然后根据初始相机等价参数、扩展成像平面区域的地面深度图、以及泊位几何结构特征，生成各个标注泊位和基准目标的鸟瞰图坐标点，并基于各个标注泊位和基准目标的鸟瞰图坐标点更新所述扩展成像平面区域的地面深度图和初始相机等价参数，可以提升等价相机参数获取的准确率，还降低了特殊应用场景下的人工标注成本和实施的复杂度，提升数据自动化处理率。
一种基于图片高位摄像头等价相机参数获取方法系统

[发明专利]一种故障诊断系统及方法-CN200910237064.2有效
发明人：叶靖;胡瑜;李晓维 -专利权人：中国科学院计算技术研究所
申请日： 2009-11-03 - 公布日： 2010-05-19 - 主分类号： G06F17/50 文献下载
摘要：该故障诊断方法，用于诊断出数字集成电路中的故障位置，包括：步骤1，为每个失效向量建立一个能够解释该失效向量的故障元组等价树；步骤2，为故障元组等价树中的潜在故障打分；步骤3，依据故障元组等价树中的潜在故障打分结果，从各潜在故障中选择最有可能是发生故障的位置加入最终候选故障位置集合；步骤4，从故障元组等价树中删除与最终候选故障位置集合中的故障等价的或可以被其解释的故障元组。
一种故障诊断系统方法

[发明专利]报文发送的方法及设备-CN200910158173.5有效
发明人：栗晋升 -专利权人：杭州华三通信技术有限公司
申请日： 2009-07-15 - 公布日： 2009-12-09 - 主分类号： H04L12/56 文献下载
摘要：CPU、逻辑器件和存储器件的装置中，所述方法包括以下步骤：所述CPU生成路由索引表和路由表，并将路由表和路由索引表通过逻辑器件发送给所述存储器件进行存储，所述路由索引表中包含路由索引，所述路由表中包含等价路由块，所述路由索引携带地址匹配模版、指向对应的等价路由块的指针和对应的等价路由块中的有效路由个数；所述逻辑器件获取需要发送的报文，在所述存储器件存储的路由索引表中查找与所述报文的目的地址对应的路由索引，在查找到的路由索引的指针指向的等价路由块中选择路由记录本发明中，减少了等价路由的存储和查询过程中的逻辑资源消耗，便于逻辑实现。
报文发送方法设备

[发明专利]一种等价转发表项生成方法和VTEP设备-CN201810096215.6有效
发明人：雷磊;黄李伟;陈建 -专利权人：新华三技术有限公司
申请日： 2018-01-31 - 公布日： 2021-06-29 - 主分类号： H04L12/751 文献下载
摘要：本申请提供一种等价转发表项生成方法，该方法应用于EVPN中的VTEP设备，该方法为：接收多个ES路由；若判定这多个ES路由均包含下一跳可达字段且这多个ES路由包含相同的ESI，则确定发送这多个ES路由的多个对端VTEP设备的IP地址，生成包含该相同的ESI和该多个对端VTEP设备的IP地址的等价下一跳表项；当收到的MAC/IP通告路由中的ESI与已生成的等价下一跳表项中的ESI匹配时，生成以MAC/IP通告路由中的终端地址为匹配项、以目的地址为该多个对端VTEP设备的VXLAN隧道为出接口的等价转发表项。该方法不需要再依赖于IP前缀网关路由或者EVPN其它类型的路由来下发等价转发表项。
一种等价转发生成方法 vtep 设备

[发明专利]等价二值正方矩阵识别系统及其识别方法-CN201810185002.0有效
发明人：黄毅峰;黄新宸 -专利权人：黄毅峰
申请日： 2018-03-06 - 公布日： 2021-02-19 - 主分类号： G06K7/10 文献下载
摘要：本发明提供的等价二值正方矩阵识别系统及其识别方法，包括：数据输入模块，用于输入二值正方矩阵数据；数据编码模块与数据输入模块连接，用于对输入的二值正方矩阵数据进行编码处理，生成矩阵数据编码；数据比对模块与数据编码模块连接本发明加快计算机识别等价二值正方矩阵的处理速度，只需花费少量时间为其生成矩阵数据编码，并在识别二值正方矩阵是否等价时只比对相关二值正方矩阵的矩阵数据编码。由于矩阵数据编码占用存储器空间大小远小于对应的所有等价二值正方矩阵，降低了计算机识别等价二值正方矩阵需要的存储器大小。
等价正方矩阵识别系统及其方法

[发明专利]一种基于两步等价法的电动汽车充电站最优配置建模方法-CN201811167738.1有效
发明人：李磊;李晓辉;赵新;徐亮;刘伟东;刘小琛;梁彬;陈彬;刘洋洋;谢秦;赵庆来;邹琪;杨光;李丹 -专利权人：国网天津市电力公司电力科学研究院;国网天津市电力公司;国家电网有限公司;北京国网普瑞特高压输电技术有限公司
申请日： 2018-10-08 - 公布日： 2021-08-31 - 主分类号： G06Q10/04 文献下载
摘要：本发明涉及一种基于两步等价法的电动汽车充电站最优配置数学建模方法，具体执行步骤包括：步骤1，建立基础的包含不同类型电动汽车充电桩的电动汽车充电站最优配置模型；步骤2，对于已建立的电动汽车充电站最优配置模型运用两步等价法对模型进行优化；步骤3，对于基于两步等价法优化的电动汽车充电站最优配置模型运用二阶锥规划进行松弛优化。该方法提出并应用了两步等价法，在等价和一些精确松弛之后，所提出的优化模型已经转化为混合整数二阶锥规划(MISOCP)的类型，可以通过适当的数学方法有效地求解出最小年充电社会成本的电动汽车充电站规划方法。
一种基于等价电动汽车充电站最优配置建模方法

[发明专利]一种等价热力变换分析法-CN201310190500.1有效
发明人：陈则韶 -专利权人：陈则韶
申请日： 2013-05-15 - 公布日： 2014-01-22 - 主分类号： G01M99/00 文献下载
摘要：本发明提出一种等价热力变换分析法，其特征在于：根据有效能消耗总伴随着热量输运全过程的各环节的物理事实，定义了制冷/热泵系统各换热过程的等效热力平均温度、实际循环的等价循环的高、低温热源温度，把实际有限热容热源变温源传热问题，等价变换为两个恒定热源传热问题处理，把实际不可逆循环的制冷/热泵循环系统等价变换为简单的逆卡诺循环系统进行分析，并提出了温度-热量TR-q图，辅助分析系统的性能和各环节的有效能消耗，使得实际复杂的制冷/热泵循环系统的性能和有效能消耗分析，简便得如同分析逆卡诺循环系统一样；另外，本发明的等价热力变换分析法也可以用于热力系统的性能分析。
一种等价热力变换分析

[发明专利]一种汽车网络架构建模仿真方法及系统-CN201610968634.5有效
发明人：龚存昊;王玮;余超;初洪超;杨法松;李雪辉 -专利权人：安徽江淮汽车集团股份有限公司
申请日： 2016-10-27 - 公布日： 2019-10-01 - 主分类号： G06F17/50 文献下载
摘要：根据电控单元与总线之间的连接关系，绘制电控单元在总线上的拓扑图；将所述拓扑图上的电控单元模拟为电控电路，并将所述拓扑图上各个电控单元之间的连接线束模拟为线束电阻，得到由所述电控电路与所述线束电阻组成的等价电路；将所述等价电路通过仿真软件进行仿真，通过仿真结果检测所述等价电路是否满足总线正常通讯要求，如果满足，则确定电控单元与总线连接合格；否则，重新模拟电控单元或/和连接线束，得到新的等价电路并利用所述新的等价电路进行仿真
一种汽车网络架构建模仿真方法系统

[发明专利]流分类中基于硬件的差异化组织方法-CN200610145331.X有效
发明人：潘建农 -专利权人：中兴通讯股份有限公司
申请日： 2006-11-24 - 公布日： 2007-05-23 - 主分类号： H04L12/56 文献下载
摘要：本发明一种包括以下步骤进行流分类系统匹配区域的等价类的划分，得到匹配区域的等价类标识和等价类位图；根据硬件平台的特点确定出适合的流分类系统相关表的一种或一种以上的组织形式，并对该一种或一种以上的组织方式进行优先级的标识；按照最优的组织形式，根据匹配区域的等价类标识和等价类位图将流分类系统各级表组织成不同的形式。
分类基于硬件异化组织方法

[发明专利]基于等价类解决HLVS中短路问题的算法-CN200510080646.6有效
发明人：李志梁;张萍;侯劲松;张书波 -专利权人：北京中电华大电子设计有限责任公司
申请日： 2005-07-06 - 公布日： 2007-01-10 - 主分类号： G06F17/50 文献下载
摘要：基于等价类解决HLVS中短路问题的算法属于集成电路计算机辅助设计领域，尤其涉及版图验证领域。在HLVS中，短路检查仍是版图和原理图一致性验证的重要问题。在HLVS中，无论是Inside Short，还是OutsideShort，究其本质都是一个等价类问题，即它可以归结为按给定的等价关系将某集合划分为等价类的问题，从而正确表示电路连接关系。因此解决HLVS中短路的核心问题就转换为等价类的求解问题。主要用途：解决HLVS中的短路问题，为电路比较作准备。
基于等价解决 hlvs 短路问题算法

[发明专利]一种报文拟态裁决的装置和方法-CN202010521210.0有效
发明人：吴少勇;王延松;朱明星;黄培龙;李顺斌 -专利权人：之江实验室
申请日： 2020-06-10 - 公布日： 2020-10-13 - 主分类号： H04L29/06 文献下载
摘要：本发明提供了一种报文拟态裁决的装置和方法，该装置包括：输入代理器，用于收到输入报文后，将输入报文发送给各个异构功能等价体；异构功能等价体，用于产生并存储输出报文，同时将输出报文发送给冗余控制器和输出代理器；输出代理器，用于根据冗余控制器的选择策略将对应等价体的输出报文进行发送；冗余控制器，用于对异构功能等价体的输出报文进行抽样，并发送给各个异构功能等价体进行匹配，将返回的是否匹配结果进行比较并形成选择策略
一种报文拟态裁决装置方法

[发明专利]一种拟态裁决参数消息同步的装置和方法-CN201910769071.0有效
发明人：吴少勇;王延松;朱明星 -专利权人：之江实验室
申请日： 2019-08-20 - 公布日： 2022-03-22 - 主分类号： H04L9/40 文献下载
摘要：本发明提供一种拟态裁决参数消息同步的装置及方法，该装置包括输入代理器、冗余控制器、至少两个异构功能等价体、输出代理器；输入代理器用于收到外部服务请求后根据冗余控制器的代理策略，将外部服务请求发送给选定的一个或者多个异构功能等价体；冗余控制器，用于对异构功能等价体的裁决参数进行重新排序、整形和比较，并将裁决结果通知输出代理器；异构功能等价体用于产生裁决参数并发送给冗余控制器；输出代理器用于根据冗余控制器的裁决结果将对应的等价体的输出作为外部服务响应进行发送
一种拟态裁决参数消息同步装置方法

[发明专利]一种训练文本摘要生成模型的方法和装置-CN201811541752.3有效
发明人：卞东海;蒋帅;陈思姣;罗雨;曾启飞 -专利权人：北京百度网讯科技有限公司
申请日： 2018-12-17 - 公布日： 2022-06-10 - 主分类号： G06F40/284 文献下载
摘要：本发明实施例提出一种训练文本摘要生成模型的方法和装置，其中方法包括：确定与文本摘要生成模型的目标似然函数等价的等价目标函数；所述等价目标函数由采用第一动态词汇表生成摘要的第一损失回报、采用第二动态词汇表生成摘要的第二损失回报、所述第一动态词汇表的生成概率、以及所述第二动态词汇表的生成概率确定；其中，所述第一动态词汇表包括词汇选择概率最大的多个词汇，所述第二动态词汇表包括根据词汇选择概率进行加权采样得到的词汇；计算所述等价目标函数的值，对所述等价目标函数的值进行优化，以训练所述文本摘要生成模型。
一种训练文本摘要生成模型方法装置