14.02.2013 Views

Thesis - Leigh Moody.pdf - Bad Request - Cranfield University

Thesis - Leigh Moody.pdf - Bad Request - Cranfield University

Thesis - Leigh Moody.pdf - Bad Request - Cranfield University

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Appendix I / Utilities / Matrices<br />

_ _<br />

22.9.12 Matrix Trace<br />

( i : = [ 1(<br />

1 ) n ] ) ∧ ( j:<br />

= [ 1(<br />

1 ) m ] ) ⇒ cij<br />

: = aij<br />

− bij<br />

M_TRACE takes matrix [A(n,n)], and returns its trace.<br />

22.9.13 Matrix Transpose<br />

y : = M_TRACE<br />

22.9-4<br />

Equation 22.9-22<br />

n<br />

∑<br />

i:<br />

= 1<br />

( [ A ] , n ) ≡ tr [ A ] : = ( a )<br />

ii<br />

Equation 22.9-23<br />

M_TRANSPOSE takes matrix [A(n,m)], returning its transpose in [B(m,n)].<br />

22.9.14 Matrix Unity<br />

M_TRANSPOS E<br />

( [ A ] , [ B ] , n , m )<br />

( i : = [ 1(<br />

1 ) n ] ) ∧ ( j:<br />

= [ 1(<br />

1 ) m ] ) ⇒ b ji : = aij<br />

Equation 22.9-24<br />

Equation 22.9-25<br />

M_UNITY returns the identity matrix [A(n,n)] whose diagonal elements are<br />

set to one, and its off-diagonal elements to zero.<br />

Using the Kronecker delta,<br />

22.9.15 Matrix x Vector Product<br />

M_UNITY<br />

( [ A ] , n )<br />

Equation 22.9-26<br />

( i : = [ 1 ( 1 ) n ] ) ∧ ( j:<br />

= [ 1 ( 1 ) n ] ) ⇒ aij<br />

: = δij<br />

Equation 22.9-27<br />

MXV_PRODUCT takes matrix [A(n,m)], and vector (B) of dimension (m),<br />

and returns their product [A] . B in vector (C) of dimension (n).<br />

MXV_PRODUC T<br />

( [ A ] , B , C , n , m )<br />

Equation 22.9-28

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!