您的位置： 专家智库 > >

徐强

作品数：7 被引量：0H指数：0
供职机构：西北工业大学更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

  • 1篇理学

主题

  • 2篇多线程
  • 2篇旋翼
  • 2篇水下
  • 2篇水下航行
  • 2篇水下航行器
  • 2篇四旋翼
  • 2篇线程
  • 2篇向量
  • 2篇木马
  • 2篇可满足性
  • 2篇航行
  • 2篇航行器
  • 2篇RTL
  • 2篇测试向量
  • 1篇电涡流法
  • 1篇碟形
  • 1篇独立性
  • 1篇液晶
  • 1篇液晶显示
  • 1篇液晶显示屏

机构

  • 7篇西北工业大学

作者

  • 7篇徐强
  • 3篇慕德俊
  • 2篇杜向党
  • 2篇王德政
  • 2篇张宝收
  • 1篇程建荣
  • 1篇郑光华
  • 1篇郭利萍
  • 1篇孟珊

年份

  • 2篇2019
  • 1篇2017
  • 3篇2014
  • 1篇1991
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
电涡流法检测应力、应变的基础研究
徐强
一种四旋翼水下航行器
本实用新型公开了一种四旋翼水下航行器，采用两个舱盖上下扣合胶接并通过螺栓固连；中心支架安装在上下舱盖之间,摄像头与照明灯固定在支架平板上,控制模块安装在中心支架内,四个导流管依中心支架周向均布安装在下舱盖上；光敏开关固定...
杜向党张宝收王德政徐强
文献传递
寄存器传输级Verilog代码的SMV模型构建方法
本发明公开了一种寄存器传输级Verilog代码的SMV模型构建方法，用于解决现有寄存器传输级的SMV模型构建方法独立性差的技术问题。技术方案是采用静态分析Verilog代码的方法得到每个模块对应的控制流图，深度遍历控制流...
沈利香慕德俊曹国徐强时翔袁晓宇潘群
文献传递
一种RTL硬件木马测试向量的生成方法
本发明公开了一种RTL硬件木马测试向量的生成方法，主要包括生成控制流程图；并发符号执行；可满足性求解和生成测试向量。本发明采用静态分析Veri log代码的方法，采用多线程并发技术实现Veri log代码的并发符号执行，...
沈利香慕德俊时翔徐强邢业新何松袁晓宇
文献传递
一种移动式温差发电装置
本实用新型涉及一种移动式温差发电装置，包括半导体温差发电组件、A、B铜板、热管、胶合板盒子，蓄电池、LCD液晶显示屏、USB充电口、紧固板、电路板、开关11和灯，其特征在于还包括散热器。
孟珊徐强陈意高郭利萍程建荣郑光华
文献传递
四旋翼水下航行器（碟形）
1．本外观设计产品的名称：四旋翼水下航行器（碟形）。;2．本外观设计产品的用途：本外观设计产品用于航行器的水下探测。;3．本外观设计产品的设计要点：产品的外形。;4．最能表明本外观设计设计要点的图片或照片：立体图。;5．...
杜向党张宝收王德政徐强
一种RTL硬件木马测试向量的生成方法
本发明公开了一种RTL硬件木马测试向量的生成方法，主要包括生成控制流程图；并发符号执行；可满足性求解和生成测试向量。本发明采用静态分析Veri log代码的方法，采用多线程并发技术实现Veri log代码的并发符号执行，...
沈利香慕德俊时翔徐强邢业新何松袁晓宇
文献传递
全选 清除 导出
共1页<1>
聚类工具0