Advanced electrode models and numerical modelling for high frequency Electrical Impedance Tomography systems

The thesis discusses various electrode models and finite element analysis methods for Electrical Impedance Tomography (EIT) systems. EIT is a technique for determining the distribution of the conductivity or admittivity in a volume by injecting electrical currents into the volume and measuring the corresponding potentials on the surface of the volume. Various electrode models were investigated for operating EIT systems at higher frequencies in the beta-dispersion band. Research has shown that EIT is potentially capable to distinguish malignant and benign tumours in this frequency band. My study concludes that instrumental effects of the electrodes and full Maxwell effects of EIT systems are the major issues, and they have to be addressed when the operating frequency increases. In the thesis, I proposed 1) an Instrumental Electrode Model (IEM) for the quasi-static EIT formula, based on the analysis of the hardware structures attached to electrodes; 2) a Complete Electrode Model based on Impedance Boundary Conditions (CEM-IBC) that introduces the contact impedances into the full Maxwell EIT formula; 3) a Transmission line Port Model (TPM) for electrode pairs with the instrumental effects, the contact impedance, and the full Maxwell effects considered for EIT systems. Circuit analysis, Partial Differential Equations (PDE) analysis, numerical analysis and finite element methods were used to develop the models. The results obtained by the proposed models are compared with widely used Commercial PDE solvers. This thesis addresses the two major problems (instrumental effects of the electrodes and full Maxwell effects of EIT systems) with the proposed advanced electrode models. Numerical experiments show that the proposed models are more accurate in the high frequency range of EIT systems. The proposed electrode models can be also applicable to inverse problems, and the results show promising. Simple hardware circuits for verifying the results experimentally have been also designed