中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [5]
软件研究所 [2]
遥感与数字地球研究所 [1]
微电子研究所 [1]
上海微系统与信息技术... [1]
海洋研究所 [1]
更多
采集方式
OAI收割 [12]
内容类型
期刊论文 [10]
专利 [1]
学位论文 [1]
发表日期
2013 [1]
2009 [1]
2007 [1]
2006 [2]
2004 [2]
2003 [2]
更多
学科主题
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
内驱动绞联组合滚筒
专利
OAI收割
专利类型: 实用新型, 专利号: CN201220404476.8, 申请日期: 2013-01-30, 公开日期: 2013-01-30
作者:
陈永华
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2014/08/04
一种内驱动绞联组合滚筒
所述大滚筒(6)包括密封壳体以及分别设置在密封壳体内的电机(18)
所述电机(18)及控制电路板(19)分别安装在重物摆上
其特征在于:包括主动的大滚筒(6)
控制电路板(19)
电机(18)与控制电路板(19)电连接
从动的小滚筒(13)及框架
重物摆
所述电机(18)的输出轴通过传动装置驱动所述密封壳体旋转。
其中大滚筒(6)及小滚筒(13)分别转动安装在框架上
其中密封壳体内转动连接有内支轴(20)
并通过一对齿轮啮合同步转动
所述重物摆悬挂在该内支轴(20)上
所述大滚筒(6)与小滚筒(13)的转向相反
并可绕内支轴(20)的轴向中心线摆动
在小滚筒(13)的筒体上缠有绕绳
一种有效降低扫描结构测试功耗的方法
期刊论文
OAI收割
湖南大学学报:自然科学版, 2009, 卷号: 36.0, 期号: 012, 页码: 45
作者:
张红南
;
王松
;
徐君
;
李向库
;
张志伟
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
扫描测试
测试向量
组合逻辑电路
动态功耗
一种有效的边界测试点选取策略
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 2, 页码: 251-256
赵瑞莲
;
董红霞
收藏
  |  
浏览/下载:59/3
  |  
提交时间:2011/07/01
边界测试点
测试数据生成
RSDIMU
变异体
边界值分析
测试点
选取策略
测试用例
健壮性测试
固定型故障
边界值测试
诊断原理
软件需求
逻辑电路
覆盖程度
方法设计
测试成本
变异体
组合
实验
容错
开发
规范
程序
基于组合解压缩电路的多扫描链测试方法
期刊论文
OAI收割
计算机研究与发展, 2006, 期号: 第6期, 页码: 1001~1007页
作者:
胡 瑜
;
董 婕
;
李晓维
;
韩银和
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2010/10/15
扫描设计
测试数据量
解压缩电路
组合电路
兼容
过程性纹理映射的FPGA动态生成
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2006, 卷号: 18, 期号: 5, 页码: 630-637
李笑盈
;
吴恩华
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/07/13
FPGA
过程性纹理
可编程硬件
实时图形生成
纹理映射
噪声函数
生成算法
设计实现
自然材质
运算单元
运动效果
硬件资源
硬件设计
硬件平台
硬件电路
结构特点
基于像素
动态变换
可编程
组合
云石
应用
实时
基于增量可满足性的等价性检验方法
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者:
李光辉
;
李晓维
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
增量可满足性
等价性检验
组合电路
形式验证
数字集成电路
等价结点
一个适于形式验证的ATPG引擎
期刊论文
OAI收割
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者:
李光辉
;
邵明
;
李晓维
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
组合电路
测试产生
形式验证
二叉判决图
布尔可满足性
0.25μm宏单元库的验证
期刊论文
OAI收割
中国集成电路, 2003, 期号: 44, 页码: 5,66-69,27
作者:
刘伟
;
张玥
;
薛庆华
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/05/25
0.25μm宏单元库
验证
组合逻辑
时序逻辑 I/o单元 Sram
性能参数
集成电路
基于BDD的组合电路等价性检验方法
期刊论文
OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48
作者:
李光辉
;
邵明
;
李晓维
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
BDD
形式验证
等价性检验
符号模拟
三叉判决图
组合电路
专用集成电路
基于组合前馈序列的密码芯片的设计
学位论文
OAI收割
硕士: 中国科学院上海冶金研究所 , 2000
陈惠华
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2012/03/06
组合前馈序列:8747
密码芯片:4667
序列密码:684
信息技术与信息产业:560
密码算法:551
信息科学与技术:399
分组密码:393
安全性测度:311
集成电路芯片:309
算法设计:305