Graph theory representations of engineering systems and their embedded knowledge

The discrete mathematical representations of graph theory, augmented by theorems of matroid theory, were found to have elements and structures isomorphic with those of many different engineering systems. The properties of the mathematical elements of those graphs and the relations between them are then equivalent to knowledge about the engineering system, and are hence termed `embedded knowledge'. The use of this embedded knowledge is illustrated by several examples: a structural truss, a gear wheel system, a mass-spring-dashpot system and a mechanism. Using various graph representations and the theorems and algorithms embedded within them, provides a fruitful source of representations which can form a basis upon which to extend formal theories of reformulation.