专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果6个,建议您升级VIP下载更多相关专利
  • [实用新型]一种电力安装用的电力检测设备-CN202123153334.7有效
  • 纳玉杰;李彤彤;李婷;郭玉君;冯昌红;陈晓佩;张旺强;冯锐;王宏涛;杜伊 - 宁夏科华电力科技有限公司
  • 2021-12-15 - 2022-05-31 - G01R31/00
  • 本实用新型公开了一种电力安装用的电力检测设备,包括设备箱体和设备盖板,所述设备箱体的顶部设置有设备盖板,且设备箱体内部设置有设备主体,并且设备主体的顶部右侧安装有调试旋钮,所述设备主体的顶部左侧安装有接线口,且设备主体的下方设置有支撑板,并且支撑板的底部安装有压缩弹簧,所述支撑板的内部安装有挤压弹簧,且挤压弹簧的一端连接在挤压块上。该电力安装用的电力检测设备,在电力安装的时候,需要用到电力检测设备对其进行检测,可以通过拉动拉杆带动卡块移动,使得卡块脱离固定块,从而改变设备盖板打开,方便设备主体面板露出,然后将需要检测接线接入到电力检测设备的接线口,通过调试旋钮对电力系统进行检测。
  • 一种电力安装检测设备
  • [发明专利]一种高空用的电线接线装置及接线方法-CN202111538412.7在审
  • 纳玉杰;李彤彤;张旺强;王宏涛;杜伊;康家熙;张磊;冯锐;陈晓佩;戴晓辉 - 宁夏科华电力科技有限公司
  • 2021-12-15 - 2022-03-18 - H01R9/24
  • 一种高空用的电线接线装置及接线方法,属于电线接线技术领域,包括第一接线机构,所述第一接线机构由多个第一接线块组成,两个相邻的所述第一接线块相互靠近的一侧分别固定连接有第一卡接件和第二卡接件,两个相邻的所述第一接线块通过第一卡接件和第二卡接件卡接,所述第一接线块上固定连接有第二接线块,将接线装置设置成第一接线机构和第二接线机构合成的方式,对接线之后的电线进行限位,且第一接线机构由多个第一接线块组成,第二接线机构由多个安装块组成,通过第一接线块与第二接线块之间的卡接,以及通过安装块与安装块之间的卡接,实现第一接线机构和第二接线机构接线过程中对电线的支撑,加强接线装置对电线的支撑效果。
  • 一种高空电线接线装置方法
  • [发明专利]一种死锁检测验证方法-CN201510477035.9有效
  • 杨秋辉;代声馨;张琼宇;孙琳;何洋;杜伊 - 四川大学
  • 2015-08-06 - 2017-12-01 - G06F11/36
  • 本发明公开了一种死锁检测验证方法,包括提取出待测进程的状态、状态转移关系;建立不同的死锁检测模板;将进程的状态、状态转移关系以及建模属性按照类别分别写入XML配置文件;读取XML配置文件,选择相应的死锁检测模板进行模型检测生成时态逻辑表达式CTL,将进程的状态和状态转移关系及时态逻辑表达式CTL转换为SMV模型;执行SMV模型,分析执行结果中时态逻辑表达式CTL的真值,判断设计文档是否包含死锁。本发明通过自动分析死锁检测相关信息的输入自动选择相应模板转换为SMV模型的原型,降低了死锁检测的难度;本方法不受软件开发语言限制,可以在系统设计阶段对设计方案进行死锁检测,比在软件开发阶段再发现死锁更能减少不必要的损失。
  • 一种死锁检测验证方法
  • [发明专利]一种多处理器系统可调度性验证方法-CN201510475372.4在审
  • 洪玫;代声馨;何洋;孙琳;张琼宇;杜伊 - 四川大学
  • 2015-08-06 - 2015-11-04 - G06F9/455
  • 本发明公开了一种多处理器系统可调度性验证方法,包括:对可调度性分析问题中的应用程序、运行平台、调度管理分别建立模型,形成可调度性分析模型;采用时间计算树逻辑TCTL描述系统可调度性的性质;完成对可调度性分析模型和性质的验证,若性质满足,则表示系统任务可调度;若性质不满足,则对生成的反例进行分析和解释。本发明解决了现有方法计算复杂,适用范围受限的问题,以及模型对任务依赖的支持度不高,模型结构杂乱导致的对系统的规模支持不足等问题,还可以对模型检测验证结果进一步解释和分析,向用户展示分析后的检测结果,且具有良好的扩展性和验证效率,降低了分析成本。
  • 一种处理器系统调度验证方法

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

钻瓜专利网在线咨询

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

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