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.8 Matrix Product (Pre-Multiplier Transposed)<br />

M_PRODUCT_AT takes matrices [A(n,m)] and [B(n,p)], and returns their<br />

product [A] T [B] in [C(m,p)].<br />

M_PRODUCT_ AT<br />

( i : = [ 1(<br />

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

= [ 1(<br />

1 ) p ]<br />

22.9.9 Matrix Product (Post-Multiplier Transposed)<br />

22.9-3<br />

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

Equation 22.9-15<br />

n<br />

( ) ⇒ c : = ( a ⋅ b )<br />

ij<br />

∑<br />

k:<br />

= p<br />

ki<br />

kj<br />

Equation 22.9-16<br />

M_PRODUCT_BT takes matrices [A(n,m)] and [B(p,m)], and returns their<br />

product [A] [B] T in [C(n,p)].<br />

M_PRODUCT_ BT<br />

( i : = [ 1(<br />

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

= [ 1(<br />

1 ) p ]<br />

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

Equation 22.9-17<br />

m<br />

( ) ⇒ c : = ( a ⋅ b )<br />

22.9.10 Matrix Product (Pre and Post-Multipliers Transposed)<br />

ij<br />

∑<br />

k:<br />

= p<br />

ik<br />

jk<br />

Equation 22.9-18<br />

M_PRODUCT_AT_BT takes matrices [A(n,m)] and [B(p,n)], and returns<br />

their product [A] T [B] T in [C(m,p)].<br />

22.9.11 Matrix Subtraction<br />

M_PRODUCT_ AT_BT<br />

( i : = [ 1(<br />

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

= [ 1(<br />

1 ) p ]<br />

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

Equation 22.9-19<br />

n<br />

( ) ⇒ c : = ( a ⋅ b )<br />

ij<br />

∑<br />

k:<br />

= p<br />

ki<br />

jk<br />

Equation 22.9-20<br />

M_SUBTRACT takes matrices [A(n,m)] and [B(n,m)], returning [A] - [B] in<br />

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

M_SUBTRACT<br />

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

Equation 22.9-21

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

Saved successfully!

Ooh no, something went wrong!