专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果4195237个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于Coq的矩阵代码生成技术的形式化描述方法-CN202111367911.4在审
  • 陈钢;麻莹莹 - 南京航空航天大学
  • 2021-11-18 - 2022-03-08 - G06F17/16
  • 本发明公开了一种基于Coq的矩阵代码生成技术的形式化描述方法,该方法根据DPIA原理在Coq定理证明器内对矩阵代码生成技术进行形式化描述,以及对该技术的完善和扩展,具体包括:对数据类型、功能原语、命令原语进行形式化描述;对翻译器和代码转换规则进行形式化描述;利用重写技术实现代码转换;定义新变量名自动生成规则,解决变量命名重复问题;对原语和规则进行扩展以实现更多矩阵操作的代码转换。本发明将形式化技术应用于矩阵代码生成技术,在Coq定理证明器中实现了从带有执行策略的函数式矩阵代码到并行矩阵C代码的矩阵代码生成技术,解决了新变量命名重复问题
  • 一种基于coq矩阵代码生成技术形式化描述方法
  • [发明专利]一种非刚性脑图像配准方法-CN201310703933.2有效
  • 文颖;阳求应 - 华东师范大学
  • 2013-12-19 - 2014-04-02 - G06T7/00
  • 本发明公开了一种非刚性脑图像配准方法,包括:步骤一:根据参考图像对目标图像进行预处理,得到粗配准图像;步骤二:分别计算所述参考图像与所述粗配准图像的候选特征点;步骤三:构建所述候选特征点的特征描述子,根据所述特征描述子得到匹配的特征点本发明采用了基于Zernike矩的描述子向量刻画不同尺度下的几何特征以描述特征点的区域特征,解决了非刚性配准中特征点的匹配问题,并通过将特征点约束融合进Brox光流模型,解决了脑磁共振图像的配准问题
  • 一种刚性图像方法
  • [发明专利]一种转炉终点钢水碳含量与温度预测方法及装置-CN202110444384.6有效
  • 袁飞;谷茂强;徐安军 - 北京科技大学
  • 2021-04-23 - 2022-02-08 - G06F30/20
  • 本发明公开了一种转炉终点钢水碳含量与温度预测方法及装置,该方法包括:将每一转炉冶炼工序分别视为一个案例,对转炉冶炼工序进行案例描述;其中,案例描述包括案例特征描述和案例的解决方案描述,案例特征包括单值类型影响因素和时序类型影响因素;解决方案包括转炉终点钢水碳含量与温度;以当前转炉冶炼工序为问题案例,历史转炉冶炼工序为历史案例,基于案例推理算法检索出历史案例中的相似案例;基于检索到的相似案例及其转炉终点钢水碳含量与温度,通过案例重用获取问题案例的转炉终点钢水碳含量与温度预测值
  • 一种转炉终点钢水含量温度预测方法装置

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

钻瓜专利网在线咨询

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

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