(Open Engineering) On A Stochastic Regularization Technique For Ill-Conditioned Linear Systems
(Open Engineering) On A Stochastic Regularization Technique For Ill-Conditioned Linear Systems
2019; 9:52–60
Research Article
Henrique Gomes Moura*, Edson Costa Junior, Arcanjo Lenzi, and Vinicius Carvalho Rispoli
for regularization methods. These problems has gained a has a consistent solution that could describe physical sys-
lot of interest in the industry, especially in the fields of tems continuously.
civil engineering and structural mechanics, since it can be In practice, the measured data is a finite set, known
used to forecast the remaining lifetime of a given struc- to have a certain degree of approximation with the actual
ture [15]. Force identification problems aims to estimate phenomenon, and one wants to find a solution that is the
forces based on the measured structural response and the best possible fit to the problem. Depending on the quality
dynamic model of the structure behavior using frequency of the measured data, the search for the best solution of
response functions (FRF) in matrix form [16]. Several ad- the problem may find some instabilities and undesirable
vances and methods can be found in the literature related errors.
to the solution of a force identification inverse problem, Assume that a matrix operator A is singular, this im-
such as the use of mixed penalty functions for regulariza- plies that at least one singular value of A is zero. On the
tion [15], Kalman filter [17], Taylor formula [18] and sparse other hand, when some singular values are very small,
representations [19]. closely to zero, and not null A is called ill-conditioned.
In this context, this paper brings a novel strategy to This situation makes the solution very sensitive to small
regularize ill-conditioned systems of linear equations us- changes in the data. A way to measure this sensitivity de-
ing random matrices based on Monte Carlo methods. Here scribed is through the condition number of the matrix op-
we are interested in a regularization method that intro- erator A [20], it is defined as follows
duces modifications in the matrix operator A in order to
σmax (A)
κ(A) = ‖A‖2 · ⃦A+ ⃦2 =
⃦ ⃦
stabilize the desired inversion process. Compared to the ≥ 1, (2)
σmin (A)
other well known and well used regularization methods,
the method proposed in this paper has the advantage of where σmax (A) and σmin (A) are the maximal and minimal
modifying and regularizing the ill-posed linear system us- singular values of A, respectively, and ‖·‖2 is the norm de-
ing a case–specific model for the noise presented in the fined in the square summable sequence space ℓ2 [5].
signal. This is done through the use of specific probability Note that σmin (A) must be non zero, otherwise the con-
density functions that are related to the noise presented dition number cannot be calculated. It means that A must
on the sampled signal. The mathematical process of con- be a positive or semi-positive full-rank matrix. The system
structing the Random MAtrix method (RMA) is shown step is called well-conditioned if the condition number is close
by step in the following sections. Then, to validate the to its minimal value (the unit). While a problem with a
proposed method and the algorithm efficiency was used a high condition number is said to be ill-conditioned. For
force identification inverse problem based on a noise cor- the particular case of the square matrices operators, ill-
rupted data. Finally, the results were compared quantita- conditioned systems can be easily identified by the matrix
tively and qualitatively with the classical Tikhonov regu- operator A determinant, which is close to zero if the matrix
larization method and was shown that RMA provides bet- operator is quasi-singular.
ter results than the Tikhonov regularization in all the cases
tested.
2.2 Regularized Linear Systems
{︁ }︁
On the other hand, if a regularized matrix operator where Ak = A + A ^ k . The set of matrices A ^ k can be deter-
A = A+A ^ is applied to the exact response vector y, then mined by a Monte Carlo simulation based on the relation
a compensation error ε a over the input of the system will between the before and after-state error given by Eq. (8).
arise. It can be written as For that, it is important to derive some analytical expres-
sions to estimate the error vectors before (ε0 ) and after (ε1 )
A(x + ε a ) = y. (5)
regularization.
^ is
The term ε a will be called the regularization error and A From Eq. (4) we have that the before-state error vec-
the matrix responsible to stabilize the inversion process. tor is related to the exact and noisy response vector as
We know that the exact response y is not available, so the ỹ + Aε0 = y. So, Aε0 = −(ỹ − y). Moreover, from Eq. (6)
we have Aε a + A ^ x̃ = 0. Then, since x̃ = A+ ỹ, the regulariza-
Eq. (5) must be modified to consider the noisy response ỹ, +
tion error is given by ε a = −A A ^ A+ ỹ. Finally, the before and
i.e.,
A(x̃ + ε a ) = ỹ. (6) after-state error vectors can be estimated by the following
expressions
Now, in Eq. (6), if we use the before-state error to com-
pensate the uncertainties in y then we should get ε0 = −A+ y
^, (10)
+
A(x̃ + ε a + ε0 ) = y. (7) ε1 = −A A^ A+ ỹ − A+ y
^, (11)
+
^ = ỹ − y, A is the pseudo inverse matrix operator
where y
In this case we write the after-state error vector ε1 = ε0 + ε a ^ is the desired matrix regularization.
and A
as a sum of the uncertainty and regularization effects.
As it is shown in Eqs. (10)–(11), the uncertainties y ^
The error vectors ε0 and ε1 show how the solution dif-
are needed to estimate the error vectors above. In order to
fers from both original and regularized systems. The sim-
faithfully represent the meaning of Eq. (8) and check per-
ple rule presented by Eq. (8) can be applied for any x̃,
fectly the regularization efficiency by using Eq. (9), the un-
to check if the regularization result is satisfactory. How-
certainties y^ should be approximated as much as possible
ever, there is no analytical expression available for that
by the uncertainties of the measured data.
and then errors should be numerically checked for each
The problem of finding the uncertainty y ^ leads to a
response of the system using
Monte Carlo simulation, using a reasonable probability
{︀ }︀
‖ε1 ‖2 ≤ ‖ε0 ‖2 . (8) density function (PDF). Thus, a set of uncertainties y ^i
can be found to check the random matrices modifications
The presented regularization strategy shows how to in many sensitivities input directions, which represents
find a satisfactory regularized linear matrix operator A us- the variations on the contaminated input data that can re-
ing a Monte Carlo simulation [23]. The regularized operator duce noise amplification factors in the system inversion.
A applied to a noisy output ỹ generates a reasonable noisy At first, a finite set of before-state error vectors {ε0i },
input data x̃. indexed by an integer i, is obtained from Eq. (10), through a
Monte
{︁ Carlo
}︁ simulation. For each random matrix A ^ k of the
^
set Ak , it is possible to find an after-state error set {ε1i }
2.3 Random Matrix Method (RMA) using Eq. (11). The error set {ε1i }, that produces the min-
imum Euclidian distances when compared to the before-
The proposed regularization aims to find a stochastic lin- ^ . The overall compu-
state set {ε0i }, is related to the best A
ear matrix operator A ^ that could improve the conditioning tation procedure is described below.
number of the system when it is added to the original ma- {︀ }︀ ⃦ ⃦
1. Generate a set y ^ i such that ⃦y^ i ⃦2 < εmax ;
trix A. Then, the new system should have a reduced error
2. Compute a before-state set {ε0i } using {︁ Eq.
}︁ (10);
amplification factor, which improves the inverse problem
3. Generate a finite set of matrices A ^ k such that
solution. {︁ }︁
The}︁method consists in generating a finite set of matri-
{︁ ^ k = Wk N(n), satisfying Eq. (9); Wk is a control
A
ces A ^ k , indexed by an integer k, such that their condi- matrix and N(n) is a function that returns matrices
tion numbers are smaller than the condition number of the of order n that are chosen according to the PDF of
actual matrix operator A, i.e., each matrix of the set must the noise encountered on the data and has the same
satisfy the rule expressed by the following equation ^ k . Here, in this paper, the function N(n) re-
order of A
(︀ )︀ turns matrices of order n with normally distributed
κ Ak < κ (A) , (9) coefficients;
4. Compute a set {ε1i } for each random matrix A ^ k us- be minimized. The bottom line here is how to optimize the
ing Eq. (11); regularization parameter λ. Using a SVD technique [24, 25]
5. Choose the set {ε1i } that optimizes the Euclidian the matrix operator A ∈ Cn×m , with rank m, can be written
distances to the set {ε0i }; as
m
6. Adopt the random matrix A ^ k related to the optimum
σ i ui vTi ,
∑︁
A= (14)
set {ε1i } as the regularized matrix. i=1
It is important to emphasize that the method is highly where σ i is the singular value, ui is the left singular vec-
{︀ }︀
dependent on the uncertainties y ^ i and on the matri- tor and vi the right singular vector. Then, each term of the
{︁ }︁
ces modifications A ^ k . According to the Central Limit minimization problem stated by Eq. (13) can be written as
Theorem, for large computations the simulated uncertain- n ⃒ m ⃒
⃒2 ∑︁
⃒ T ⃒2
⃒
ε2 = ‖Ax − y‖22 =
∑︁ ⃒ T T ⃒
ties might be modeled using the standard normal distribu- ⃒ σ i v i x − u i y⃒ + ⃒ui y⃒ (15)
tion [23]. Other probability density functions could be ap- i=1 i=n+1
error. The second one controls the amplitude of the ma- where f i = σ2i /(σ2i 2
+ λ ) is the solution filter factor. For
trices modifications, that is, the regularization levels. It is the case C = In , the regularization parameter acts over
known that the regularization error ε a is acceptable just for the smallest singular values, σ2i < λ, which will produce
small scales, which means that the regularization must be f i ≈ σ2i /λ2 .
sufficient to repair the ill-conditioned system.
Finally, the force identification systems, correspond- amplification factor approximately at the same level as the
ing to each one of the three different noise level cases, were Tikhonov regularization which is desirable.
inverted using the RMA, Tikhonov regularization and least
squares. The solution to the non-regularized force identifi-
cation was obtained by a least square solution, expressed
100
by Eq. (13) in the matrix form, for λ = 0. Is expected that Noisy FRF
Reference
this naive identification procedure shows very discrepant 10 1
results pointing the importance of regularization in pres-
10 3
Table 1: Parameters and settings for both regularization methods.
10 4
Method Parameters and Settings
λ → obtained using the decreasing singular 10 5
105
LS
103 9 × 101
102 8 × 101
101 REF
7 × 101 LS
TKH
RMA
100
0 1000 2000 3000 4000 0 1000 2000 3000 4000
Frequency [Hz] Frequency [Hz]
104
LS
RMA
102
103
9 × 101
102
8 × 101
101 7 × 101
REF
LS
TKH
6 × 101 RMA
100
0 1000 2000 3000 4000 0 1000 2000 3000 4000
Frequency [Hz] Frequency [Hz]
Figure 4: On the top, the matrices condition number after the Figure 5: Force identification at position #3, on the top, and #5, on
Tikhonov regularization, RMA regularization, and Least Squares the bottom, resulted applying Tikhonov regularized, RMA regular-
solution. On the bottom, the error amplification factors after the ization, and Least Squares solution. In these cases, it is immediate
Tikhonov regularization, RMA regularization, and Least Squares to note that the RMA regularization results are closer to the refer-
solution. Both figures are related to the data corrupted with 75% of ence than the curve obtained using Tikhonov regularization. Both
additive and multiplicative white noise. figures are related to the data corrupted with 75% of additive and
multiplicative white noise.
Table 2: Signal-to-error ratio (in dB) between reference force and
identified forces using RMA, Tikhonov regularization and least
squares, for different values of additive and multiplicative noise fied in node #5 in relation to Tikhonov regularization. In
in both nodes #3 and #5. addition, we observed in the other results presented in
Table 2 that for contaminations with smaller noise lev-
Force at node #3 Force at node #5 els of 25% and 50%, the RMA still shows higher SER
Noise RMA THK LS RMA TKH LS in comparison to the SER related to the Tikhonov reg-
25% 6.85 (↑) 6.20 −36.53 5.14 (↑) 2.80 −20.10
ularization method. In these cases, RMA offers gains of
50% 5.48 (↑) 4.27 −15.52 1.85 (↑) 1.13 −21.46
75% 4.03 (↑) 2.94 −13.86 1.98 (↑) −0.07 −17.12 0.65 dB and 2.34 dB for 25% of noise contamination at
nodes #3 and #5, respectively; and gains of 1.21 dB and
0.72 dB for 50% of noise contamination at nodes #3 and
crease in SER between two forces identified by differ- #5, respectively. This way, considering all sixes identi-
ent methods indicates that the one with higher SER is fied forces, the minimum SER gain RMA obtained in the
closer to the reference force than the other. It is observed experiment was 0.65 dB and the maximum was 2.34 dB
that the RMA has a gain of 1.09 dB in the force present when compared to Tikhonov regularization. This indicates
∑︀ ⃒ ⃒2
at node #3 and a gain of 2.05 dB in the force identi- that the quadratic error i ⃒Fref (ω i ) − Fid (ω i )⃒ associated
[5] Alifanov, O. M., Inverse Heat Transfer Problems, Springer, 1994. [17] Lourens, E., Reynders, E., De Roeck, G., Degrande G., Lombaert,
[6] Oppenheim, A.V. and Willsky, A.S., Signals and Systems, 2nd G., An augmented Kalman filter for force identification in struc-
ed., Prentice-Hall,1997. tural dynamics. Mechanical Systems and Signal Processing, 27,
[7] Ben-Israel, A. and Greville, T.N.E., Generalized Inverses: Theory 446–460, 2012.
and Applications, 2nd ed., Springer, 2003. [18] Li, X., Zhao, H., Chen, Z., Wang, Q. Chen, J., Duan, D., Force iden-
[8] Hansen, C., Rank-Deficient and Discrete Ill-Posed Problems: Nu- tification based on a comprehensive approach combining Tay-
merical Aspects of Linear Inversion, Society for Industrial and lor formula and acceleration transmissibility, Inverse Problems
Applied Mathematics, 1998. in Science and Engineering, 26(11), 1612–1632, 2018.
[9] Sarkar, T. K., Weiner, D., Jain, V., Some Mathematical Consider- [19] Qiao, B. J., Mao, Z., Chen, X.F., Sparse representation for the in-
ations in Dealing With the Inverse Problem, IEEE Transactions verse problem of force identification, Proceedings of ISMA 2016
on Antennas and Propagation, 29(2), 1981. Noise and Vibration Engineering Conference1685–1696, 2016.
[10] Noschese, S., Reichel, L., Inverse Problems for Regularization [20] Annalisa, F., Mathematical Conditioning: An International
Matrices, Numerical Algorithms, 60(4), pp. 531–544, 2012. Course on New Applications and Techniques of Experimental
[11] Huang, G., Noschese, S., Reichel, L., Regularization Matrices Modal Testing Updating, Optimization, and Damage Detection,
Determined by Matrix Nearness Problems. Linear Algebra and CADIS, 1998.
Its Applications, 502, 41–57, 2016. [21] Tikhonov, A. N., On the stability of inverse problems. C. R. (Dok-
[12] Bickel, J., Levina, E., Regularized Estimation of Large Covariance lady) Acad. Sci. URSS (N.S.), 39:176–179, 1943.
Matrices. The Annals of Statistics, 36(1), 199–227, 2008. [22] Silva, N. A. J., Inverse Problems Fundamental Concepts and Ap-
[13] Schneider, P., Bunte, K., Stiekema, H., Hammer, B., Villmann, plications (In Portuguese), Universidade de São Paulo, 2005.
T., Biehl, M., Regularization in Matrix Relevance Learning, IEEE [23] Papoulis, A., Probability, Random Variables and Stochastic Pro-
Transactions on Neural Networks, 21(5), 831 – 840, 2010. cesses, 4th ed., McGraw-Hill, 2001.
[14] Kakade, M., Shalev-Shwartz, S., Tewari, A., Regularization Tech- [24] Golub, G. H. and Van Loan, C. F., Matrix Computations, Johns
niques for Learning with Matrices, Journal of Machine Learning Hopkins, 3rd ed.,1996.
Research, 13, 1865–1890, 2012. [25] Nascimento, V., Singular Value Decomposition (SVD) Lecture
[15] Rezayat, A., Nassiri, V., Vanlanduit, S., Guillaume, P., Force iden- Notes (In Portuguese), Course: PEE-5794 – Ferramentas de
tification using mixed penalty functions. Proceedings of the 9th Análise Matricial para Aplicac˛ões em Engenharia Elétrica, Es-
International Conference on Structural Dynamics, 3783–3789, cola Politécnica, Universidade de São Paulo, 2004.
2014. [26] Rao, S., Mechanical Vibrations, 4th ed., Pearson Prentice Hall,
[16] Lage, Y. E. , Maia, N. M. M., Neves, M. M., Force Magnitude Re- 2009.
construction Using the Force Transmissibility Concept, Shock [27] Bendat, J. S. and Piersol, A. G., Random Data Analysis And Mea-
and Vibration, Article ID 905912, 9 pages, 2014. surement Procedures, 2nd ed., John Wiley & Sons, 1986.