专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果30个,建议您升级VIP下载更多相关专利
  • [发明专利]无人机自主定位的形式化分析方法和装置-CN202310936001.6在审
  • 王国辉;施智平;关永;吴颖杰;李希萌;张倩颖;张景芝 - 首都师范大学
  • 2023-07-27 - 2023-10-24 - G06T7/70
  • 本公开实施例公开了一种无人机自主定位的形式化分析方法和装置。该方法包括:获取同名像点坐标、预设的齐次坐标转换矩阵、连续齐次坐标转换矩阵和坐标转换公式,基于高阶逻辑语言建立地面目标点在大地坐标系中的高阶逻辑表达;基于高阶逻辑表达构建对应的形式化命题,该形式化命题描述了高阶逻辑表达中的属性约束条件;基于定理证明器验证形式化命题,以确定高阶逻辑表达是否满足属性约束条件。通过形式化方法分析用以无人机确定地面目标点在大地坐标系中的非齐次坐标的高阶逻辑表达并验证高阶逻辑表达所必须满足的属性约束条件,确保了分析结果的准确性。
  • 无人机自主定位形式化分析方法装置
  • [发明专利]语言无关智能合约验证方法、装置、电子设备及存储介质-CN202310232397.6在审
  • 李希萌;施智平;张倩颖;王国辉;关永 - 首都师范大学
  • 2023-03-06 - 2023-10-03 - G06F21/44
  • 本公开实施例公开了一种语言无关智能合约验证方法、装置、电子设备及存储介质,所述方法包括:基于大步操作语义的通用语义谓词对给定智能合约编程语言的语义规则进行形式化表达;将给定智能合约中函数的功能正确性描述为每个初始格局与终止格局集合的对应关系;对给定智能合约源代码中的关键子结构,以每个初始格局与终止格局集合对应关系的形式描述关键子结构的执行过程;对给定智能合约的源代码中的外部合约函数调用,以每个初始格局与终止格局集合对应关系的形式描述外部合约函数调用对区块链状态的影响;以初始格局与终止格局集合对应关系的形式,描述给定智能合约被重入后的执行对区块链状态的影响;进行交互式证明。
  • 语言无关智能合约验证方法装置电子设备存储介质
  • [发明专利]模拟子弹和仿真训练枪-CN202010563210.7有效
  • 张承斌;李希萌;刘勇;李明;于波;李素梅;李保国;于春英;赵艳平;李娜 - 济南众邦电子有限公司;济南众哲电子技术有限公司
  • 2020-06-19 - 2023-07-07 - F41A33/00
  • 本发明公开了一种模拟子弹和仿真训练枪,属于模拟射击领域。该模拟子弹包括分体的模拟弹壳和模拟弹头,模拟弹头设置在模拟弹壳的前端,并且模拟弹头能够在模拟弹壳内前后移动;该模拟子弹还包括连接杆、弹簧、限位圈、限位挡块和保持装置。限位圈设置在模拟弹壳内,限位圈上开设有通孔;连接杆的前端与模拟弹头的后端连接,连接杆的后端穿过通孔后与限位挡块连接;弹簧套在连接杆上,弹簧的前端和后端分别顶在模拟弹头和限位圈上。保持装置设置在模拟弹壳的后端,保持装置能够将运动到模拟弹壳后端的限位挡块保持固定在模拟弹壳的后端。本发明模拟了真实子弹从填装到发射后的全部过程,极大的增强了模拟射击的真实性,更具有教育意义。
  • 模拟子弹仿真训练
  • [发明专利]激光电子靶-CN202010563247.X有效
  • 李明;李希萌;刘勇;于波;李素梅;张承斌;李保国;于春英;赵艳平;李娜 - 济南众邦电子有限公司;济南众哲电子技术有限公司
  • 2020-06-19 - 2023-07-07 - F41J5/02
  • 本发明公开了一种激光电子靶,属于模拟射击领域。该激光电子靶包括底板,所述底板的前表面为漫反射反光面,所述底板的前表面上设置有向前凸起的多个阻光材料条,多个阻光材料条围成若干个互不相通的射击区域,每个射击区域内分别设置有光纤,每个射击区域内的光纤上均设置有拾光面和出光面,根据射击区域的大小设置不同数量的拾光面,确保激光光束照射到漫反射反光面上反射的光线能够被拾光面拾取,每个射击区域内的光纤的出光面分别连接有光电传感器,所述光电传感器电连接至处理器。本发明不需要导光板并且减少了光电传感器,可以大幅度的减少激光电子靶的重量和成本,便于使用、维护以及大范围普及应用。
  • 激光电子
  • [发明专利]平面并联机构形式化验证的方法及装置-CN201911032684.2有效
  • 施智平;王国辉;关永;陈琦;张倩颖;李希萌;邵振洲 - 首都师范大学
  • 2019-10-28 - 2023-03-31 - G06F30/20
  • 本公开实施例公开了一种平面并联机构形式化验证的方法及装置,所述平面并联机构形式化验证的方法包括在平面并联机构上基于静平台铰链建立静坐标系,在平面并联机构上基于动平台铰链建立动坐标系;根据所述平面并联机构在所述静坐标系和所述动坐标系下建立基于高阶逻辑语言的平面并联机构运动学逻辑模型;基于所述平面并联机构运动学逻辑模型构建逻辑命题,其中,所述逻辑命题描述了所述平面并联机构运动学逻辑模型中的属性和/或运动学约束条件;基于定理证明器验证所述逻辑命题,以确定所述平面并联机构运动学逻辑模型是否成立。该技术方案验证了平面并联机构运动学逻辑模型的正确性、安全性和可靠性,为后续相关工作奠定了基础。
  • 平面并联机构形式化验证方法装置
  • [实用新型]用于手指骨折的穿刺定位装置-CN202221434990.6有效
  • 李希萌;顾璐昊;高志强;侯雨雷;曾达幸 - 燕山大学
  • 2022-06-08 - 2023-02-17 - A61B17/90
  • 本实用新型提供一种用于手指骨折的穿刺定位装置,其包括底板、手腕支撑组件、定位组件、中间杆组件、手指牵引组件和穿刺组件,底板放置在手术操纵台上,手腕支撑组件、中间杆组件和定位组件依次固定安装在底板上,定位组件的旋转连接件与中间杆组件的中间杆旋转配合,手指牵引组件位于中间杆组件上方,穿刺组件的卡扣与定位组件的水平导杆固定连接,穿刺组件的穿刺导管与定位组件的水平导杆滑动连接,本实用新型通过定位组件和中间杆组件配合设置,实现手指全方位穿刺,解决了目前手指骨折手术中穿刺精度低、结构复杂、操作繁琐问题,装置具有高精度和便于使用的特点。
  • 用于手指骨折穿刺定位装置
  • [发明专利]用于关节错位补偿的肘腕关节康复机器人及其补偿方法-CN202211067310.6在审
  • 侯雨雷;高志强;李强;曾达幸;邓云蛟;李希萌;李岳 - 燕山大学
  • 2022-09-01 - 2023-01-03 - A61H1/02
  • 本发明涉及一种用于关节错位补偿的肘腕关节康复机器人及其补偿方法,其包括肘部执行机构、腕部并联机构、绳驱动机构、机架以及设于机架前方的升降座椅和人机交互系统,肘部执行机构的上端固定设于机架上,腕部并联机构设于肘部执行机构的前端,且绳驱动机构设于肘部执行机构的两侧。本发明采用绳索驱动的腕部并联机构应用于人体腕部康复,同时采用支撑弹簧作为机构的支撑脊柱用于模拟人体腕部的腕骨‑韧带复合体,并通过绳索模拟人体腕部肌肉对机构驱动控制,此外腕部并联机构冗余的自由度能有效消除机构与人体腕关节间的错位,对腕关节进行错位补偿,进而实现人体肘关节屈曲/伸展、腕关节屈曲/伸展、内收/外展和内旋/外旋的运动。
  • 用于关节错位补偿腕关节康复机器人及其方法

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

钻瓜专利网在线咨询

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

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