搜索结果: 1-15 共查到“error”相关记录89条 . 查询时间(0.08 秒)
A GROSS ERROR ELIMINATION METHOD FOR POINT CLOUD DATA BASED ON KD-TREE
Data point cloud Gross error elimination Kd-tree
2018/4/30
Point cloud data has been one type of widely used data sources in the field of remote sensing. Key steps of point cloud data’s pro-processing focus on gross error elimination and quality control. Owin...
QUANTIFYING THE CONTRIBUTIONS OF ENVIRONMENTAL PARAMETERS TO CERES SURFACE NET RADIATION ERROR IN CHINA
CERES surface net radiation China environmental parameters error contributions
2018/4/30
Error source analyses are critical for the satellite-retrieved surface net radiation (Rn) products. In this study, we evaluate the Rn error sources in the Clouds and the Earth’s Radiant Energy System ...
SPACE-BORNE LASER ALTIMETER GEOLOCATION ERROR ANALYSIS
Laser altimetry Error analysis Footprints Pointing angle Range Geolocation accuracy
2018/3/30
This paper reviews the development of space-borne laser altimetry technology over the past 40 years. Taking the ICESAT satellite as an example, a rigorous space-borne laser altimeter geolocation model...
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
An Efficient Feedback Coding Scheme With Low Error Probability for Discrete Memoryless Channels
Feedback discrete memoryless channel error exponent
2015/8/17
Existing fixed-length feedback communication schemes are either specialized to particular channels (Schalkwijk–Kailath, Horstein), or apply to general channels but either have high coding comple...
An Efficient Feedback Coding Scheme With Low Error Probability for Discrete Memoryless Channels
Feedback discrete memoryless channel error exponent
2015/8/12
Existing fixed-length feedback communication schemes are either specialized to particular channels (Schalkwijk–Kailath, Horstein), or apply to general channels but either have high coding complexity (...
On achieving reduced error propagation sensitivity in DFE design via convex optimization
Digital TV receiver error rate transmission
2015/8/11
Decision Feedback Equalization (DFE) is expected in digital TV receivers and other high error rate environments. Error propagation usually occurs in infrequent bursts. It is argued here that the minim...
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error ch...
The original protection level equations for SBAS assumed that all actual error distributions could be easily overbounded by zero-mean gaussian distributions. However, several error sources have since ...
Overbounding SBAS and GBAS Error Distributions with Excess-Mass Functions
Overbounding SBAS GBAS Error Distributions Excess-Mass Functions
2015/6/26
Safety-of-life GNSS augmentation systems must provide bounds on the probability with which hazardous navigation errors occur. This paper develops conservative bounding methods both for space-based aug...
Error bound optimization using second order cone programming
Error bound optimization second order cone programming
2015/6/26
In safety of life applications using satellite navigation, the Protection Level (PL) equation translates what is known about the pseudorange errors into a hard bound on the positioning error (the Prot...
Formulation of a Time-Varying Maximum Allowable Error for Ground-Based Augmentation Systems
Time-Varying Maximum Allowable Error Ground-Based Augmentation Systems
2015/6/26
Ground-Based Augmentation Systems (GBAS), such as the Federal Aviation Administration’s Local Area Augmentation System (LAAS), ensure integrity by enabling users to compute a conservative navigation e...