This thesis considers an object-oriented approach to dimensional analysis for engineering design. A dimensional analysis system is developed which can be applied to the knowledge-based engineering design especially of electromagnetic devices. All the system is coded in C++. A shell…

Simulation is the technique by which a physical system can be represented mathematically by a computer program for the solution of a problem. This technique of problem solving is used when it is not feasible due to time, cost, or…

The discipline of automated theorem proving encompasses techniques which allow us to find a justification of a logical statement expressing an assertion in some domain of knowledge. Beside obvious importance for mathematics, many of the tasks traditionally associated with human…