专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果16296879个,建议您升级VIP下载更多相关专利
  • [发明专利]形式化验证方法-CN202010113863.5有效
  • 黄滟鸿;杨秀丽;史建琦;曹桂涛;郭欣 - 华东师范大学
  • 2020-02-24 - 2022-04-05 - G06F8/35
  • 本发明公开了一种形式化验证方法,包括SEDS建模步骤,用于依据电子数据表单规范文件建立SEDS模型;模型转换步骤用于将SEDS模型转换为适合模型检查的形式化模型;性质规约步骤用于对SEDS模型的功能逻辑的性质进行形式化描述;形式化验证步骤用于对形式化模型和所描述的功能逻辑性质进行形式化验证,得到验证结果。本发明通过将SEDS模型转换为形式化模型,对SEDS模型的功能逻辑的性质进行形式化描述,对形式化模型和性质描述进行形式化验证,以从数学推理角度对SEDS的功能逻辑实现检查,进而保障软件的正确性和可靠性,
  • 形式化验证方法
  • [发明专利]形式化验证系统-CN202010113873.9有效
  • 黄滟鸿;杨秀丽;史建琦;曹桂涛;郭欣 - 华东师范大学
  • 2020-02-24 - 2022-04-05 - G06F11/36
  • 本发明公开了一种形式化验证系统,包括SEDS建模模块,用于依据电子数据表单规范文件建立SEDS模型;模型转换模块用于将SEDS模型转换为适合模型检查的形式化模型;性质规约模块用于对SEDS模型的功能逻辑的性质进行形式化描述;形式化验证模块用于对形式化模型和所描述的功能逻辑性质进行形式化验证,得到验证结果。本发明通过将SEDS模型转换为形式化模型,对SEDS模型的功能逻辑的性质进行形式化描述,对形式化模型和性质描述进行形式化验证,以从数学推理角度对SEDS的功能逻辑实现检查,进而保障软件的正确性和可靠性,
  • 形式化验证系统
  • [发明专利]形式散热器-CN02158163.0无效
  • 李仕军 - 李仕军
  • 2002-12-25 - 2004-07-07 - F28D1/047
  • 本发明扇形式散热器,由两根长度相等的连箱管1交叉连接为扇边,并分别与散热管2、3、4、5相互贯通连接,散热管2在管1的顶部相连接,管4在管1的底部位相连接,管3在管4的上端相连接连接后全为圆弧形。散热管5顶部为圆弧形,圆点部位分别与散热管2底部相连接,下部两管头一长一短分别与管4、管3顶部的孔对正连接,装好后的散热器为扇形,外形美观、散热效果好、装饰室内实现了一举两得的功效。
  • 形式散热器

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

钻瓜专利网在线咨询

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

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