搜索筛选:
搜索耗时0.0945秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：何新华,吕昌龄,
来源：电子科学学刊 年份：1997
采用二元判定图（ＢＤＤ）作为工具来描述时序电路是非常有意义和有效的，本文通过对ＢＤＤ的简化达到对状态变换图（ＳＴＧ）输入，路径和状态的压缩，从而提高状态遍历的效率，另外根据电路的特点，提出状态冲突......
[期刊论文] 作者：何新华,吕昌龄,
来源：装甲兵工程学院学报 年份：1996
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问...
[期刊论文] 作者：杨朝红,吕昌龄,,
来源：装甲兵工程学院学报 年份：2001
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提出了通过求解数据流方程来进行数据流分析....
[期刊论文] 作者：何新华,吕昌龄,宫云战,
来源：电子科学学刊 年份：1997
采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路...
[期刊论文] 作者：何新华,宫云战,吕昌龄,
来源：计算机辅助设计与图形学学报 年份：
本文分析了固定故障所反映出的状态变换特征，提出状态变换故障模型。基于无复位时序电路，详细研究了有复位状态的同步电路测试生成问题及在无复位电路中的应用。最后讨论了故障精简以及启发知识在测试过程中的应用......
[期刊论文] 作者：赵先伟,李京新,栾兆科,吕昌龄,
来源：医学文选 年份：2000
急性有机磷农药中毒 (AOPP)是基层医院常见急症 ,死亡率高。温习我院 1993～ 1998年抢救 AOPP2 0 5例资料及有关文献 ,现将对本病的治疗体会报道如下。1 临床资料 本组 2 0...
相关搜索：
