“约格什·马哈詹”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网_中国专利网

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

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

[发明专利]可控性检验系统及方法-CN201310746659.7无效
发明人：塔米尔·海曼;丹·史密斯;浩崙·梁;胡塞姆·阿布海梅德;约格什·马哈詹 -专利权人：辉达公司
申请日： 2013-12-31 - 公布日： 2014-11-12 - 主分类号： G05B23/02 文献下载
摘要：一种智能可控性检验过程，其可智能地检查是否可避免控制信号输入集的一些可能值的枚举(例如，导致不是所有可能值都枚举等)。可利用改进的智能QBF可控性检验，该检验包括改进的智能QBF求解器。该过程可包括正式的可控性检验，具有对可能赋值的广泛或穷举性的考虑，而避免一些可能值的枚举。该正式可控性检验可检查证据是否建立关于赋值的结论。证据可用于确定的可能结果包括：(1)信号提供可控性的结论；(2)信号不提供可控性的结论；或(3)无论如何无法得到信号是否提供或不提供可控性的结论。该QBF可控性检验的结果(例如，SAT、UNSAT等)可被验证。
可控性检验系统方法

1
共 1 条

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top