搜索结果: 1-15 共查到“errors”相关记录31条 . 查询时间(0.063 秒)
NUMERICAL SIMULATION AND EXPERIMENTAL VALIDATION OF WAVE PATTERN INDUCED COORDINATE ERRORS IN AIRBORNE LIDAR BATHYMETRY
Airborne LiDAR bathymetry multimedia photogrammetry refraction wave pattern accuracy analysis
2018/3/30
Airborne LiDAR bathymetry (ALB) requires a refraction correction on the basis of Snell’s law at the air-water interface and a speedof- light correction to be applied on the raw laser data in order to ...
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
Analysis and Recovery of Systematic Errors in Airborne Laser System
Airborne laser system System errors Error recovery adjustment model Surface extraction
2015/11/20
Although some mature manufactures of airborne laser system (ALS) have been published for some years, however, in china, the development of ALS just is on the starting step. Shanghai Institute of Techn...
Behaviour of large scale structures of the electron content as a key parameterfor range errors in GNSS applications
parameterfor GNSS
2015/9/14
The Total Electron Content (TEC) of the ionosphere is a key parameter for describing the ionospheric state. This paper deals with the large scale behaviour of TEC under low and high solar activity con...
Using Redundancies to Find Errors
Extensible compilation error detection program redundancy software quality
2015/8/7
Programmers generally attempt to perform useful work. If they performed an action, it was because they believed it served some purpose. Redundant operations violate this belief. However, in the past r...
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
EXPLODE:a Lightweight,General System for Finding Serious Storage System Errors
EXPLODE Lightweight General System Serious Storage System Errors
2015/8/7
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy, making its irrevoca...
Bugs as Deviant Behavior:A General Approach to Inferring Errors in Systems Code
Bugs as Deviant Behavior Inferring Errors Systems Code
2015/8/7
A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demo...
The free recall search process introduces errors in short term memory but apparently not in long term memory
short term memory memory search memory errors long term memory
2015/7/22
Here it is reported that the free recall search process increases the error rate for short term memory (about 1% per second in data from Murdock & Okada (1970)) but not for long term memory (in data f...
Real Time Calibration of Antenna Phase Errors for Ultra Short Baseline Attitude Systems
Real Time Calibration Antenna Phase Errors Ultra Short Baseline Attitude Systems
2015/6/29
Ultra short baseline attitude systems with base lines under 0.5 meters are desirable for any application which requires a high level of integrity. The higher level of integrity is a direct result of t...
Protection Level Calculation in the Presence of Heavy Tail Errors Using Measurement Residuals
Protection Level Calculation Heavy Tail Errors Measurement Residuals
2015/6/26
In safety-of-life applications of satellite navigation, the Protection Level (PL) equation translates what is known about the pseudorange errors into a reliable limit on the positioning error. The cur...
Bounding Higher Order Ionosphere Errors for the Dual Frequency GPS User
Bounding Higher Order Ionosphere Errors Dual Frequency GPS User
2015/6/25
The advent of a second civil GPS frequency heralds a new phase of GPS performance. For single-frequency GPS users, the signal delay due to refraction through the ionosphere is the largest and most var...
A Study of Severe Multipath Errors for the Proposed GBAS Airport Surface Movement Application
Multipath Errors GBAS Airport Surface Movement
2015/6/25
Young Shin Park is a Ph.D. Candidate in Aeronautics and Astronautics in the Global Positioning System (GPS) Research Laboratory at Stanford University and a Senior Engineer at Qualcomm Incorporated. H...