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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Appendix I / Utilities / Matrices<br />

_ _<br />

22.9 Matrix Utilities<br />

22.9.1 Constant x Matrix Product<br />

CXM_PRODUCT takes a constant (A) and matrix [B(n,m)], and returns<br />

their product [C].<br />

22.9.2 Matrix Addition<br />

CXM_PRODUC T<br />

22.9-1<br />

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

( i ∈ [ 1(<br />

1 ) n ] ) ∧ ( j ∈ [ 1(<br />

1 ) m ] ) ⇒ cij<br />

: = a ⋅ bij<br />

Equation 22.9-1<br />

Equation 22.9-2<br />

M_ADD takes matrices [A(n,m)] and [B(n,m)], and returns the sum [C].<br />

22.9.3 Matrix Determinant<br />

M_ADD<br />

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

Equation 22.9-3<br />

( i ∈ [ 1(<br />

1 ) n ] ) ∧ ( j ∈ [ 1(<br />

1 ) m ] ) ⇒ cij<br />

: = aij<br />

+ bij<br />

Equation 22.9-4<br />

M_DETER inserts matrix [A(n,n)] where n ∈ [1(1)m] into the upper left<br />

partition of a matrix shell of dimension (m), returning the determinant of the<br />

partition.<br />

22.9.4 Matrix Image<br />

y<br />

≡<br />

det<br />

y : = M_DETER<br />

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

( )<br />

n<br />

i + j<br />

[ A ] : = a ⋅ ( −1<br />

) ⋅ min or ( a )<br />

∑<br />

i,<br />

j : = 1<br />

ij<br />

Equation 22.9-5<br />

ij<br />

Equation 22.9-6<br />

M_IMAGE takes matrix [A(n,m)], and returns an exact copy of it in [B].<br />

M_IMAGE<br />

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

Equation 22.9-7

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

Saved successfully!

Ooh no, something went wrong!