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

浏览/检索结果: 共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 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2021/03/18 data mining error checking land quality assessment land quality database low-frequency data associations
	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. 收藏 \| 浏览/下载：17/0 \| 提交时间：2013/03/25 This paper introduces an appraisal method of the dynamic interpolation error for the high precision encoder (Lissajou pattern calculation method). When the encoder is rolling two groups of fine photoelectric signals whose phase difference are /2 can be collected using data collected car. The shape and position deviation can be obtained through the comparison between Lissajou charts and the standard circle. Then dynamic interpolation error can be calculated out directly. This method is immune to the influence of encoder's speed and has no rigid demand to the test circumstances and test devices. The experimental results indicate that this method is feasible and important to the encoder's dynamic interpolation error checking. 2011 IEEE.
	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 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2018/07/30 General linear model measurement error model checking validation data
	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. 收藏 \| 浏览/下载：58/0 \| 提交时间：2013/03/25 A new transceiving protocol is demonstrated for a Free Space Optical (FSO) communication system and it's discussed in two parts: the transmitting protocol and the receiving protocol. During the discussion of these two parts the cooperation of them is also discussed. Different from wired communication an FSO system modulates the data on a narrow beam of laser transmitting through the free space or the atmosphere and the protocol presented in this paper is mainly optimized for terrestrial Free Space Optical links in which the signal channel of the system is mainly the atmosphere. Due to the complex composition and activity of the atmosphere this signal channel brings in great influence on the transmitting laser in it for example the absorption and scattering of the atmosphere molecules and aerosols the scintillation of received laser power caused by the turbulence of the atmosphere all of which results in a much higher Bit Error Rate (BER) of the communication system. Thus in designing a protocol for an FSO system more effort should be taken in the encoding of the data stream the synchronization of the data stream error checking and exception handling. The main function of the transmitting protocol includes interfacing the outer input data with a parallel port buffering the input data encoding the input data stream serializing the parallel data and output the serialized data. It also has an output management unit to manage the activity of each part of the transmitting protocol. The main function of the receiving protocol includes filtering and synchronizing the input serial data stream paralleling the serial data stream decoding the input data error checking exception handling and interfacing the outer receiver with a parallel port. The entire transceiving protocol could be programmed into a single FPGA chip to improve system integrity and reduce the system cost. The presented protocol could be taken as "protocol transparent" for outer interfaces meaning that when interfacing the presented system to an outer system you don't have to consider what protocol the outer system transceiving data stream is under for example the TCP/IP protocol or anything else in the case that its I/O interface is a parallel port. Simulation and final experiment prove that the protocol presented is working fine at a certain bit rate scale. 2009 SPIE.
	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 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/20 bounded model checking encoding method bounded model verification computation tree logic error-hunting encoding formal logic formal verification program debugging tree data structures
	采用基本块规约的控制流检测性能优化方法期刊论文 OAI收割小型微型计算机系统, 2009, 卷号: 30, 期号: 12, 页码: 2378-2382 肖贺; 王永吉; 潘远明; 丁丽萍 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/08/17 软错误控制流检测基本块规约性能优化 softerror control-flowchecking basicblockreduce performaceoptimazation soft error control-flow checking basic block reduce performace optimazation
	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 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/06/29 Approximation theory Error analysis Formal methods Model checking
	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 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/29 cache coherence protocols combining invariants computing data consistency error guard strengthening methods parameter abstraction parameterized model checking transition rules abstract data types cache storage data integrity program verification
	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 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2019/12/16 error correction error detection fault tolerance linear analog circuits self-checking