Range Analysis of Matrix Factorization Algorithms for an Overflow Free Fixed-point Design

被引:2
作者
Kabi, Bibek [1 ]
Sahadevan, Anand S. [2 ]
机构
[1] Ecole Polytech, CNRS, Lab Informat, F-91128 Palaiseau, France
[2] Indian Space Res Org, Space Applicat Ctr, Bengaluru, India
来源
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY | 2019年 / 91卷 / 07期
关键词
Affine arithmetic; Eigenvalue decomposition; Fixed-point arithmetic; Formal methods; Hyperspectral imaging; Integer bit-width allocation; Interval arithmetic; Overflow; Range analysis; Satisfiability-modulo-theory; Singular value decomposition; SINGULAR-VALUE DECOMPOSITION; BIT-WIDTH ALLOCATION; NUMERICAL ACCURACY; OPTIMIZATION; SYSTEMS; FPGA; IMPLEMENTATION; PROCESSOR; ARRAY;
D O I
10.1007/s11265-018-1394-3
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We consider the problem of enabling robust range estimation of matrix factorization algorithms like eigenvalue decomposition (EVD) algorithm and singular value decomposition (SVD) for a reliable fixed-point design. The simplicity of fixed-point circuitry has always been so tempting to implement EVD algorithms in fixed-point arithmetic. Working towards an effective fixed-point design, integer bit-width allocation is a significant step which has a crucial impact on accuracy and hardware efficiency. This paper investigates the shortcomings of the existing range estimation methods while deriving bounds for the variables of the EVD algorithm. In light of the circumstances, we introduce a range estimation approach based on vector and matrix norm properties together with a scaling procedure that maintains all the assets of an analytical method. The method could derive robust and tight bounds for the variables of EVD and SVD algorithm. The bounds derived using the proposed approach remain same for any input matrix and are also independent of the number of iterations or size of the problem. It was found that by the proposed range estimation approach, all the variables generated during the computation of EVD and SVD algorithms are bounded within +/- 1. We also tried to contemplate the effect of different kinds of scaling factors on the bounds of the variables. Some benchmark hyperspectral data sets have been used to evaluate the efficiency of the proposed technique.
引用
收藏
页码:787 / 804
页数:18
相关论文
共 63 条
[1]  
[Anonymous], 2017, NEURAL COMPUT APPL
[2]  
[Anonymous], 2012, MATRIX COMPUTATIONS
[3]  
[Anonymous], 2010, NUMERICAL LINEAR ALG
[4]  
Banciu A., 2012, THESIS
[5]   Data handling in hyperspectral image analysis [J].
Burger, James ;
Gowen, Aoife .
CHEMOMETRICS AND INTELLIGENT LABORATORY SYSTEMS, 2011, 108 (01) :13-22
[6]  
Carletta J, 2003, DES AUT CON, P656
[7]  
Cesear T., 2005, SOFTW DEF RAD TECHN
[8]   Hyperspectral and multispectral bioluminescence optical tomography for small animal imaging [J].
Chaudhari, AJ ;
Darvas, F ;
Bading, JR ;
Moats, RA ;
Conti, PS ;
Smith, DJ ;
Cherry, SR ;
Leahy, RM .
PHYSICS IN MEDICINE AND BIOLOGY, 2005, 50 (23) :5421-5441
[9]   Reconfigurable Adaptive Singular Value Decomposition Engine Design for High-Throughput MIMO-OFDM Systems [J].
Chen, Yen-Liang ;
Zhan, Cheng-Zhou ;
Jheng, Ting-Jyun ;
Wu, An-Yeu .
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2013, 21 (04) :747-760
[10]   Numerical Data Representations for FPGA-Based Scientific Computing [J].
Constantinides, George A. ;
Kinsman, Adam B. ;
Nicolici, Nicola .
IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (04) :8-17