中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	Error checking of large land quality databases through data mining based on low frequency associations 期刊论文 OAI收割 LAND DEGRADATION & DEVELOPMENT, 2020, 页码: 10 作者: Qiu, Xiao-Qian; Zhu, A-Xing; Hu, Yue-Ming; Guo, Yu-Bin; Shen, Xiao-Wen \| 收藏 \|
	An appraisal method of dynamic interpolation error for high precision encoder (EI CONFERENCE) 会议论文 OAI收割 2011 International Conference on Electronics and Optoelectronics, ICEOE 2011, July 29, 2011 - July 31, 2011, Dalian, China 作者: Wan Q.-H.; Liu C.-X.; Liu C.-X. 收藏 \|
	MODEL CHECKING FOR GENERAL LINEAR ERROR-IN-COVARIABLES MODEL WITH VALIDATION DATA 期刊论文 OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2010, 卷号: 23, 期号: 6, 页码: 1153-1166 作者: Dai, Pengjie; Sun, Zhihua; Wang, Peng \| 收藏 \|
	Transceiving protocol designc for a free space optical communication system (EI CONFERENCE) 会议论文 OAI收割 2008 International Conference on Optical Instruments and Technology: Optical Systems and Optoelectronic Instruments, November 16, 2008 - November 19, 2008, Beijing, China Hualong W.; Wanxin S.; Zhongbao X. 收藏 \|
	bounded model checking of actl formulae 会议论文 OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui \| 收藏 \|
	采用基本块规约的控制流检测性能优化方法期刊论文 OAI收割小型微型计算机系统, 2009, 卷号: 30, 期号: 12, 页码: 2378-2382 肖贺; 王永吉; 潘远明; 丁丽萍 \| 收藏 \|
	sat-based verification of ltl formulas 会议论文 OAI收割 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27, Zhang Wenhui \| 收藏 \|
	computing invariants for parameter abstraction 会议论文 OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong \| 收藏 \|
	On concurrent multiple error diagnosability in linear analog circuits using continuous checksum 期刊论文 OAI收割 INTERNATIONAL JOURNAL OF CIRCUIT THEORY AND APPLICATIONS, 1998, 卷号: 26, 期号: 1, 页码: 53-64 作者: Zhou, YQ; Wong, MWT; Min, YH \| 收藏 \|