专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果129个,建议您升级VIP下载更多相关专利
  • [发明专利]无人机自主定位的形式化分析方法和装置-CN202310936001.6在审
  • 王国辉;施智平;关永;吴颖杰;李希萌;张倩颖;张景芝 - 首都师范大学
  • 2023-07-27 - 2023-10-24 - G06T7/70
  • 本公开实施例公开了一种无人机自主定位的形式化分析方法和装置。该方法包括:获取同名像点坐标、预设的齐次坐标转换矩阵、连续齐次坐标转换矩阵和坐标转换公式,基于高阶逻辑语言建立地面目标点在大地坐标系中的高阶逻辑表达;基于高阶逻辑表达构建对应的形式化命题,该形式化命题描述了高阶逻辑表达中的属性约束条件;基于定理证明器验证形式化命题,以确定高阶逻辑表达是否满足属性约束条件。通过形式化方法分析用以无人机确定地面目标点在大地坐标系中的非齐次坐标的高阶逻辑表达并验证高阶逻辑表达所必须满足的属性约束条件,确保了分析结果的准确性。
  • 无人机自主定位形式化分析方法装置
  • [发明专利]语言无关智能合约验证方法、装置、电子设备及存储介质-CN202310232397.6在审
  • 李希萌;施智平;张倩颖;王国辉;关永 - 首都师范大学
  • 2023-03-06 - 2023-10-03 - G06F21/44
  • 本公开实施例公开了一种语言无关智能合约验证方法、装置、电子设备及存储介质,所述方法包括:基于大步操作语义的通用语义谓词对给定智能合约编程语言的语义规则进行形式化表达;将给定智能合约中函数的功能正确性描述为每个初始格局与终止格局集合的对应关系;对给定智能合约源代码中的关键子结构,以每个初始格局与终止格局集合对应关系的形式描述关键子结构的执行过程;对给定智能合约的源代码中的外部合约函数调用,以每个初始格局与终止格局集合对应关系的形式描述外部合约函数调用对区块链状态的影响;以初始格局与终止格局集合对应关系的形式,描述给定智能合约被重入后的执行对区块链状态的影响;进行交互式证明。
  • 语言无关智能合约验证方法装置电子设备存储介质
  • [发明专利]一种机械加工成品表面缺陷检测设备及方法-CN202310895322.6在审
  • 张倩颖 - 天津市职业大学
  • 2023-07-20 - 2023-08-22 - G01N21/95
  • 本发明提供一种机械加工成品表面缺陷检测设备及方法,包括输送装置、夹持限位装置、检测装置等装置,通过输送装置将需要进行表面缺陷检测的加工成品输送至预定位置,通过夹持限位装置依次对加工成品的内外侧表面进行夹持限位,在完成夹持固定后,通过检测装置依次对加工成品的外内侧表面进行缺陷检测,完成对环状加工成品内外侧表面的缺陷检测,提高了检测过程效率,缩短了检测时间。该发明能够提高对加工成品表面的夹持效率,缩短表面缺陷检测时间,提高检测效率;同时还能够对加工成品表面进行柔性保护,保证成品质量。
  • 一种机械加工成品表面缺陷检测设备方法
  • [实用新型]一种多用分度盘装置-CN202223131298.9有效
  • 张亚超;苏超;王茜茜;王晶晶;张倩颖;张灵玉;李泽进;马传佳;张诚成 - 西安超码科技有限公司
  • 2022-11-24 - 2023-08-11 - B23Q16/02
  • 本实用新型涉及一种多用分度盘装置,属于机械加工制造技术领域。该装置包括分度底盘、转盘、轴承以及定位销;在分度底盘上直径不同的分度圆上沿周向均匀加工对应个数的分度盲孔,分度底盘的中心处加工有用于装配轴承外圈的沉孔;转盘下表面的中心处加工有与轴承内孔紧配合的凸台,转盘的表面上沿径向加工有多个用于装配定位销的通孔,通孔的数量与分度底盘上分度圆的数量相同,且多个通孔与多个分度圆的位置一一对应,转盘上表面还加工有用于装夹工件的安装槽;定位销的下端与分度底盘上的分度盲孔相配合,实现分度定位。本实用新型所述装置结构简单,易于操作,分度精度高,分度效率高,有利于提高加工效率以及加工精度,具有很好的应用前景。
  • 一种多用分度装置
  • [发明专利]一种弧形升降生态闸门-CN201710114408.5有效
  • 张晓敏;张晓峰;张倩颖 - 浙江衢州河口闸门有限公司
  • 2017-02-28 - 2023-05-30 - E02B7/42
  • 本发明公开了一种弧形升降生态闸门,坝体上设置有一门槽,门槽中设置有圆弧形状的门叶,门槽的背水面开有两个支臂槽,支臂槽与门槽贯通,支臂槽中安装有支臂,支臂与圆弧形状的门叶固定连接成一体,每个支臂槽中固定设置有支墩,支墩通过液压油缸与支臂活动连接,支墩的上部固定安装有门叶支座,门叶支座通过门叶转动轴与支臂活动连接,圆弧形状门叶的圆弧中心与门叶转动轴的中心位置相一致。本发明完全去除了坝体外表面上的突出支墩,从而解决了闸门在完全打开状态下门叶和支墩的阻水及阻挡垃圾问题,大大提高了过流能力,实现了河道自然生态环境要求。
  • 一种弧形升降生态闸门

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

钻瓜专利网在线咨询

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

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