搜索筛选:
搜索耗时2.5153秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
类      型:
[期刊论文] 作者:Peter,周和瑛, 来源:计算机工程 年份:2004
为了产生测试引进了九一值电路模型,此模型考虑了时序电路中的故障的多重和重复的影响。利用这个模型测试序列可以被确定,它允许时序电路的内部状态的多重和重复的虚设。因此...
[期刊论文] 作者:周和瑛,董志新, 来源:计算机工程与应用 年份:1990
本文介绍我们在micro VaxⅡ上开发的知识库管理系统HDS-KBS1,以及有关技术:扩充Prolog使其成为知识库管理系统的推理子系统;推理子系统和库管理系统INGRES的联结;demo谓词和...
相关搜索: