期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
木工平刨床的振动测试与分析
1
作者
齐英杰
刘雨洁
+4 位作者
陈守谦
张国志
韩相春
巴兴强
张明建
《林业科技》
北大核心
1991年第3期33-37,共5页
通过对MB-504B木工平刨床的振动实测,得到了工作台而的振动加速度量值。这些测试数据对于了解木工平刨床的振动状况,研究减振,提高加工精度以及对制定木工机床振动的测试方法和振动标准提供了参考数据。
关键词
木工平刨床
振动量
检测
在线阅读
下载PDF
职称材料
模型检验在航天测控软件上的应用研究
被引量:
1
2
作者
李运筹
尹平
《计算机科学》
CSCD
北大核心
2018年第B06期523-526,共4页
模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验...
模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。
展开更多
关键词
模型检验
CBMC
航天测控软件
蜕变测试
在线阅读
下载PDF
职称材料
“超声法”与“拔出法”综合检测结构混凝土的质量
被引量:
2
3
作者
罗兴盛
谷林涛
钱觉时
《国外建材科技》
2007年第5期56-59,共4页
混凝土作为目前最重要的结构工程材料之一,其质量直接关系到结构的安全。目前正在研究的结构混凝土质量检测方法有很多,但超声-拔出综合法却常被研究者所忽视。该文从超声法和拔出法结合的可行性和优越性两方面进行了论述,并对其如何结...
混凝土作为目前最重要的结构工程材料之一,其质量直接关系到结构的安全。目前正在研究的结构混凝土质量检测方法有很多,但超声-拔出综合法却常被研究者所忽视。该文从超声法和拔出法结合的可行性和优越性两方面进行了论述,并对其如何结合进行了阐述,认为超声-拔出综合法是一种很值得推广的无损检测方法。
展开更多
关键词
超声法
拔出法
结构混凝土
无损检测
强度
缺陷
在线阅读
下载PDF
职称材料
反馈式内置自测试设计方案对比研究
4
作者
李晓维
《装甲兵工程学院学报》
1996年第3期43-49,共7页
对两种基于反馈的自测试(BIST)方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串...
对两种基于反馈的自测试(BIST)方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。
展开更多
关键词
测试
易测试设计
内置自测试
状态转移图
原文传递
题名
木工平刨床的振动测试与分析
1
作者
齐英杰
刘雨洁
陈守谦
张国志
韩相春
巴兴强
张明建
机构
东北林业大学
出处
《林业科技》
北大核心
1991年第3期33-37,共5页
文摘
通过对MB-504B木工平刨床的振动实测,得到了工作台而的振动加速度量值。这些测试数据对于了解木工平刨床的振动状况,研究减振,提高加工精度以及对制定木工机床振动的测试方法和振动标准提供了参考数据。
关键词
木工平刨床
振动量
检测
Keywords
Horizontal woodwork Plancr machinc
Vibration
tcsting
and exam ining
Analysis
分类号
TS642 [轻工技术与工程]
在线阅读
下载PDF
职称材料
题名
模型检验在航天测控软件上的应用研究
被引量:
1
2
作者
李运筹
尹平
机构
北京跟踪与通信技术研究所
出处
《计算机科学》
CSCD
北大核心
2018年第B06期523-526,共4页
文摘
模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。
关键词
模型检验
CBMC
航天测控软件
蜕变测试
Keywords
Model checking
CBMC
Acrospace TT&C softwarc
Metamorphic
tcsting
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
“超声法”与“拔出法”综合检测结构混凝土的质量
被引量:
2
3
作者
罗兴盛
谷林涛
钱觉时
机构
重庆大学材料科学与工程学院
出处
《国外建材科技》
2007年第5期56-59,共4页
文摘
混凝土作为目前最重要的结构工程材料之一,其质量直接关系到结构的安全。目前正在研究的结构混凝土质量检测方法有很多,但超声-拔出综合法却常被研究者所忽视。该文从超声法和拔出法结合的可行性和优越性两方面进行了论述,并对其如何结合进行了阐述,认为超声-拔出综合法是一种很值得推广的无损检测方法。
关键词
超声法
拔出法
结构混凝土
无损检测
强度
缺陷
Keywords
ultrasonic method
pull-out method
concrete structure
non-destructive
tcsting
strength
defect
分类号
TU755.7 [建筑科学—建筑技术科学]
在线阅读
下载PDF
职称材料
题名
反馈式内置自测试设计方案对比研究
4
作者
李晓维
机构
北京大学计算机科学技术系 北京
出处
《装甲兵工程学院学报》
1996年第3期43-49,共7页
基金
教委博士点科学基金
文摘
对两种基于反馈的自测试(BIST)方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。
关键词
测试
易测试设计
内置自测试
状态转移图
Keywords
tcsting
Testable design
Built-in Sclf-Test
Statc TransitionGraph
分类号
TN706 [电子电信—电路与系统]
原文传递
题名
作者
出处
发文年
被引量
操作
1
木工平刨床的振动测试与分析
齐英杰
刘雨洁
陈守谦
张国志
韩相春
巴兴强
张明建
《林业科技》
北大核心
1991
0
在线阅读
下载PDF
职称材料
2
模型检验在航天测控软件上的应用研究
李运筹
尹平
《计算机科学》
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
3
“超声法”与“拔出法”综合检测结构混凝土的质量
罗兴盛
谷林涛
钱觉时
《国外建材科技》
2007
2
在线阅读
下载PDF
职称材料
4
反馈式内置自测试设计方案对比研究
李晓维
《装甲兵工程学院学报》
1996
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部