期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
同步时序电路测试生成研究
被引量:
1
1
作者
何新华
宫云战
吕昌龄
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
1997年第2期175-181,共7页
本文分析了固定故障所反映出的状态变换特征,提出状态变换故障模型。基于无复位时序电路,详细研究了有复位状态的同步电路测试生成问题及在无复位电路中的应用。
关键词
同步时序电路
测试
逻辑电路
下载PDF
职称材料
时序电路的状态验证研究与设计
被引量:
1
2
作者
何新华
吕昌龄
宫云战
《电子科学学刊》
CSCD
1997年第4期532-537,共6页
采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
关键词
二元判定图
状态变换图
时序电路
设计
下载PDF
职称材料
抢救急性有机磷农药中毒205例体会
被引量:
19
3
作者
赵先伟
李京新
+1 位作者
栾兆科
吕昌龄
《医学文选》
2000年第2期188-189,共2页
关键词
急救
急性有机磷农药中毒
治疗
阿托品
洗胃
下载PDF
职称材料
基于功能块的分离测试生成
4
作者
何新华
吕昌龄
《装甲兵工程学院学报》
1996年第3期78-84,共7页
通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。
关键词
功能块
三态门
时帧
故障传播
回溯
原文传递
基于全局时态逻辑(GTL)的验证和测试生成研究
5
作者
何新华
吕昌龄
《装甲兵工程学院学报》
1996年第1期23-27,共5页
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和...
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。
展开更多
关键词
时态逻辑
验证
测试生成
故障
原文传递
ADTA——数据流覆盖测试工具
6
作者
杨朝红
吕昌龄
《装甲兵工程学院学报》
2001年第1期60-63,共4页
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提出了通过求解数据流方程来进行数据流分析.
关键词
数据流测试
测试充分性
汇编语言
原文传递
题名
同步时序电路测试生成研究
被引量:
1
1
作者
何新华
宫云战
吕昌龄
机构
中国科学院计算技术研究所CAD开放实验室
装甲兵工程学院电子工程系
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
1997年第2期175-181,共7页
文摘
本文分析了固定故障所反映出的状态变换特征,提出状态变换故障模型。基于无复位时序电路,详细研究了有复位状态的同步电路测试生成问题及在无复位电路中的应用。
关键词
同步时序电路
测试
逻辑电路
Keywords
state transition graph,test generation,collapse,state sequence.
分类号
TN791.07 [电子电信—电路与系统]
下载PDF
职称材料
题名
时序电路的状态验证研究与设计
被引量:
1
2
作者
何新华
吕昌龄
宫云战
机构
装甲兵工程学院计算机室
出处
《电子科学学刊》
CSCD
1997年第4期532-537,共6页
基金
国家自然科学基金
文摘
采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
关键词
二元判定图
状态变换图
时序电路
设计
Keywords
Binary Decision Diagram(BDD), Node, Collapsing, Stata Transition Graph(STG)
分类号
TN790.2 [电子电信—电路与系统]
下载PDF
职称材料
题名
抢救急性有机磷农药中毒205例体会
被引量:
19
3
作者
赵先伟
李京新
栾兆科
吕昌龄
机构
山东省莱芜市矫形康复医院
出处
《医学文选》
2000年第2期188-189,共2页
关键词
急救
急性有机磷农药中毒
治疗
阿托品
洗胃
分类号
R595.4 [医药卫生—内科学]
下载PDF
职称材料
题名
基于功能块的分离测试生成
4
作者
何新华
吕昌龄
机构
装甲兵工程学院计算机室
装甲兵工程学院计算机室 北京
出处
《装甲兵工程学院学报》
1996年第3期78-84,共7页
基金
国家八五重点科技攻关项目
文摘
通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。
关键词
功能块
三态门
时帧
故障传播
回溯
Keywords
Functional block
tri-gate
time-frame
fault propogation
backtrace
分类号
TN78 [电子电信—电路与系统]
原文传递
题名
基于全局时态逻辑(GTL)的验证和测试生成研究
5
作者
何新华
吕昌龄
机构
装甲兵工程学院计算机教研室
装甲兵工程学院计算机教研室 北京
出处
《装甲兵工程学院学报》
1996年第1期23-27,共5页
文摘
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。
关键词
时态逻辑
验证
测试生成
故障
Keywords
Temporal logic
verification
test generation
fault
分类号
TN791 [电子电信—电路与系统]
原文传递
题名
ADTA——数据流覆盖测试工具
6
作者
杨朝红
吕昌龄
机构
装甲兵工程学院信息工程系
出处
《装甲兵工程学院学报》
2001年第1期60-63,共4页
文摘
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提出了通过求解数据流方程来进行数据流分析.
关键词
数据流测试
测试充分性
汇编语言
Keywords
data flow testing testing completeness assembly language
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
同步时序电路测试生成研究
何新华
宫云战
吕昌龄
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
1997
1
下载PDF
职称材料
2
时序电路的状态验证研究与设计
何新华
吕昌龄
宫云战
《电子科学学刊》
CSCD
1997
1
下载PDF
职称材料
3
抢救急性有机磷农药中毒205例体会
赵先伟
李京新
栾兆科
吕昌龄
《医学文选》
2000
19
下载PDF
职称材料
4
基于功能块的分离测试生成
何新华
吕昌龄
《装甲兵工程学院学报》
1996
0
原文传递
5
基于全局时态逻辑(GTL)的验证和测试生成研究
何新华
吕昌龄
《装甲兵工程学院学报》
1996
0
原文传递
6
ADTA——数据流覆盖测试工具
杨朝红
吕昌龄
《装甲兵工程学院学报》
2001
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部