专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果102975个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于中间格式及SMT技术的微内核IPC验证方法-CN201910375937.X有效
  • 郭建;刘天池 - 华东师范大学
  • 2019-05-07 - 2023-02-17 - G06F11/36
  • 本发明公开了一种基于中间格式及SMT技术的微内核IPC验证方法。首先将IPC源代码改写为抽象的IPC源代码;使用LLVM编译框架从抽象的IPC源代码自动生成LLVM中间语言;将LLVM中间语言转化为SMT可接收代码;根据微内核IPC规范提取其性质;对提取的性质编写SMT代码;根据微内核IPC得到的SMT代码和IPC性质得到的SMT代码,应用SMT求解器进行验证;若验证失败,根据验证工具给出的提示修改微内核IPC并重新验证。若验证通过,则表明微内核IPC满足性质。本发明应用到基于ESB的微内核IPC验证中,以提高其安全性、可靠性。
  • 一种基于中间格式smt技术内核ipc验证方法
  • [发明专利]一种网络路径的选择方法以及网络硬盘录像机-CN201611081651.3有效
  • 何承娟 - 浙江宇视科技有限公司
  • 2016-11-30 - 2020-12-29 - H04L12/26
  • 本发明公开了一种网络路径的选择方法,在接收到连接IPC的控制指令时,通过NVR的第一网卡向IPC发送第一报文,并通过NVR的第二网卡向IPC发送第二报文;若NVR的第二网卡接收到IPC返回的第二应答报文,且NVR的第一网卡未接收到IPC返回的第一应答报文,则通过NVR的第二网卡与所述IPC进行数据交互。可见通过NVR的网卡向IPC发送探测报文,实现了对各网卡与IPC之间网络链路的状态进行检测,当与IPC处于同一网段的网卡无法进行正常的网络传输时,则选择与IPC不在同一网段,且能够与IPC进行数据交互的网卡来与IPC进行网络通信,从而避免了繁琐的修改NVR的网卡地址的过程,进而保证NVR能够正确的接收到IPC的数据流量。
  • 一种网络路径选择方法以及硬盘录像机
  • [实用新型]不碎陶瓷杯-CN200920015945.5无效
  • 姚思成 - 姚思成
  • 2009-07-28 - 2010-05-12 - A47G19/22
  • 不碎陶瓷杯,按国际专利分类表(IPC)划分属于人类生活需要部,个人或家用物品分部,手携物品或旅行品大类,旅行或野营装备;随身携带的袋或包小类,旅行或野营用品大组,水瓶;饭盒;杯子小组技术领域。
  • 陶瓷
  • [实用新型]方便穿线的针-CN200820231248.9无效
  • 杨曦 - 杨曦
  • 2008-12-08 - 2009-09-16 - D05B85/00
  • 方便穿线的针,按国际专利分类表(IPC)划分属于纺织;造纸部,纺织或未列入其他类的柔性材料分部,缝纫;绣花;簇绒大类,缝纫小类,机针大组,带槽眼的针小组技术领域。其目的是解决方便穿线的问题。
  • 方便穿线
  • [实用新型]方便围裙-CN200920010238.7无效
  • 刘书言 - 刘书言
  • 2009-01-19 - 2009-11-18 - A41D13/04
  • 方便围裙,按国际专利分类表(IPC)划分属于人类生活需要部,个人或家用物品分部,服装大类,外衣;防肪服;衣饰配件小类,外套大组,围裙小组技术领域。其目的是解决带扣防脱落的问题。
  • 方便围裙
  • [实用新型]多用梳子-CN01260133.0无效
  • -
  • 2001-09-21 - 2003-06-18 - A45D24/10
  • 按国际专利分类表(IPC)划分属于人类生活需要部,个人或家用物品分部,手携物品或旅行品大类,理发或修面设备、修指甲或其它化妆处理小类,爱护头发的发梳及其附件组技术领域。分类号为A45D24/00。
  • 多用梳子
  • [实用新型]多功能餐具-CN01260109.8无效
  • 秦妮 - 秦妮
  • 2001-09-21 - 2002-07-17 - A47G21/02
  • 按国际专利分类表(IPC)划分属于人类生活需要部,个人或家用物品分部,家具大类,家庭用具或餐桌用具的小类,餐桌用具的大组,叉、有推出器的叉;组合的叉和匙,色拉托盘的小组技术领域。
  • 多功能餐具

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

钻瓜专利网在线咨询

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

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