Complexity Analysis for Java with AProVE

2017 ◽  
pp. 85-101 ◽  
Author(s):  
Florian Frohn ◽  
Jürgen Giesl
Keyword(s):  
Complexity Analysis

The Complexity Analysis Tool

1988 ◽  
Author(s):  
Paul E. Janusz
Keyword(s):  
Complexity Analysis ◽  
Analysis Tool

Centered error entropy Kalman filter with application to satellite attitude determination

2021 ◽  
pp. 014233122110198
Author(s):  
Baojian Yang ◽  
Lu Cao ◽  
Dechao Ran ◽  
Bing Xiao
Keyword(s):  
Kalman Filter ◽  
Gaussian Noise ◽  
Attitude Determination ◽  
Complexity Analysis ◽  
Iteration Algorithm ◽  
Robust Algorithms ◽  
Convergence Conditions ◽  
Satellite Attitude ◽  
Heavy Tailed ◽  
Non Gaussian

Due to unavoidable factors, heavy-tailed noise appears in satellite attitude estimation. Traditional Kalman filter is prone to performance degradation and even filtering divergence when facing non-Gaussian noise. The existing robust algorithms have limited accuracy. To improve the attitude determination accuracy under non-Gaussian noise, we use the centered error entropy (CEE) criterion to derive a new filter named centered error entropy Kalman filter (CEEKF). CEEKF is formed by maximizing the CEE cost function. In the CEEKF algorithm, the prior state values are transmitted the same as the classical Kalman filter, and the posterior states are calculated by the fixed-point iteration method. The CEE EKF (CEE-EKF) algorithm is also derived to improve filtering accuracy in the case of the nonlinear system. We also give the convergence conditions of the iteration algorithm and the computational complexity analysis of CEEKF. The results of the two simulation examples validate the robustness of the algorithm we presented.

Complexity analysis and algorithm design for reorganizing data to minimize non-coalesced memory accesses on GPU

2013 ◽  
Vol 48 (8) ◽  
pp. 57-68 ◽  
Author(s):  
Bo Wu ◽  
Zhijia Zhao ◽  
Eddy Zheng Zhang ◽  
Yunlian Jiang ◽  
Xipeng Shen
Keyword(s):  
Complexity Analysis ◽  
Algorithm Design ◽  
Memory Accesses ◽  
Coalesced Memory
Sign in / Sign up

Export Citation Format

Share Document