专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果7895359个,建议您升级VIP下载更多相关专利
  • [发明专利]一种评估软件产品自主可控的方法-CN201911028541.4在审
  • 赵亮;齐璇;苏晓艳 - 军事科学院系统工程研究院系统总体研究所
  • 2019-10-25 - 2020-02-21 - G06F11/36
  • 本发明公开一种评估软件产品自主可控的方法,步骤包括:软件自主可控评估模型建立和评估指标选择阶段;搜集证据和采集度量指标阶段;综合评定阶段。设定自主可控评估模型和自主可控特性、自主可控子特性以及自主可控评估指标,通过测试与度量,获得各自主可控评估指标的评估值,计算出自主可控子特性、自主可控特性的评估值,从而得出总的自主可控度结果值。本发明的技术方案能够准确、全面的计算出软件产品的自主可控程度,是一种可量化的软件产品自主可控评估方法。本发明既可以用于指导软件研发组织对所研软件自主可控的自我评估;同时也可以用于指导第三方软件测评机构进行产品自主可控的评估。
  • 一种评估软件产品自主可控性方法
  • [发明专利]可控检验系统及方法-CN201310746659.7无效
  • 塔米尔·海曼;丹·史密斯;浩崙·梁;胡塞姆·阿布海梅德;约格什·马哈詹 - 辉达公司
  • 2013-12-31 - 2014-11-12 - G05B23/02
  • 一种智能可控检验过程,其可智能地检查是否可避免控制信号输入集的一些可能值的枚举(例如,导致不是所有可能值都枚举等)。可利用改进的智能QBF可控检验,该检验包括改进的智能QBF求解器。该过程可包括正式的可控检验,具有对可能赋值的广泛或穷举的考虑,而避免一些可能值的枚举。该正式可控检验可检查证据是否建立关于赋值的结论。证据可用于确定的可能结果包括:(1)信号提供可控的结论;(2)信号不提供可控的结论;或(3)无论如何无法得到信号是否提供或不提供可控的结论。该QBF可控检验的结果(例如,SAT、UNSAT等)可被验证。
  • 可控性检验系统方法

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

钻瓜专利网在线咨询

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

咨询在线客服咨询在线客服
tel code back_top