搜索筛选:
搜索耗时1.3054秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：SHEN Yidong,
来源：计算机科学技术学报（英文版） 年份：2004
This paper establishes a formal modelfor hybrid diagnosis, novel features including: (1) It provides aunified theoretical framework for utilizing device models...
[期刊论文] 作者：SHEN Yidong,
来源：计算机科学技术学报（英文版） 年份：2004
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All...
相关搜索：
