A connected graph is total domination stable upon edge removal, if the removal of an arbitrary edge does not change the total domination number. We determine the minimum number of edges required for a total domination stable graph in terms of its order and total domination number.

Precision optics can be accurately fabricated by computer controlled optical surfacing (CCOS) that uses well characterized polishing tools driven by numerically controlled machines. The CCOS process is optimized to vary the dwell time of the tool on the workpiece according to the desired removal and the calibrated tool influence function (TIF), which is the shape of the wear function by the tool. This study investigates four major topics to improve current CCOS processes, and provides new solutions and approaches for the next generation CCOS processes.The first topic is to develop a tool for highly aspheric optics fabrication. Both the TIF stability and surface finish rely on the tool maintaining intimate contact with the workpiece. Rigid tools smooth the surface, but do not maintain intimate contacts for aspheric surfaces. Flexible tools conform to the surface, but lack smoothing. A rigid conformal (RC) lap using a visco-elastic non-Newtonian medium was developed. It conforms to the aspheric shape, yet maintains stability to provide natural smoothing.The second topic is a smoothing model for the RC lap. The smoothing naturally removes mid-to-high frequency errors while a large tool runs over the workpiece to remove low frequency errors efficiently. The CCOS process convergence rate can be significantly improved by predicting the smoothing effects. A parametric smoothing model was introduced and verified.The third topic is establishing a TIF model to represent measured TIFs. While the linear Preston's model works for most cases, non-linear removal behavior as the tool overhangs the workpiece edge introduces a difficulty in modeling. A parametric model for the edge TIFs was introduced and demonstrated. Various TIFs based on the model are provided as a library.The last topic is an enhanced process optimization technique. A non-sequential optimization technique using multiple TIFs was developed. Operating a CCOS with a small and well characterized TIF achieves excellent performance, but takes a long time. Sequential polishing runs using large and small tools can reduce this polishing time. The non-sequential approach performs multiple dwell time optimizations for the entire CCOS runs simultaneously. The actual runs will be sequential, but the optimization is comprehensive.

The lower and upper independent, domination and irredundant numbers of the graph G = (V, E) are denoted by i ( G) , f3 ( G), 'Y ( G), r ( G), ir ( G) and IR ( G) respectively. These six numbers are called the domination parameters. For each of these parameters n:, we define six types of criticality. The graph G is n:-critical (n:+ -critical) if the removal of any vertex of G causes n: (G) to decrease (increase), G is n:-edge-critical (n:+-edge-critical) if the addition of any missing edge causes n: (G) to decrease (increase), and G is Ir-ER-critical (n:- -ER-critical) if the removal of any edge causes n: (G) to increase (decrease). For all the above-mentioned parameters n: there exist graphs which are n:-critical, n:-edge-critical and n:-ER-critical. However, there do not exist any n:+-critical graphs for n: E {ir,"f,i,/3,IR}, no n:+-edge-critical graphs for n: E {ir,"f,i,/3} and non:--ER-critical graphs for: E {'Y,/3,r,IR}. Graphs which are "I-critical, i-critical, "I-edge-critical and i-edge-critical are well studied in the literature. In this thesis we explore the remaining types of criticality. We commence with the determination of the domination parameters of some wellknown classes of graphs. Each class of graphs we consider will turn out to contain a subclass consisting of graphs that are critical according to one or more of the definitions above. We present characterisations of "I-critical, i-critical, "I-edge-critical and i-edge-critical graphs, as well as ofn:-ER-critical graphs for n: E {/3,r,IR}. These characterisations are useful in deciding which graphs in a specific class are critical. Our main results concern n:-critical and n:-edge-critical graphs for n: E {/3, r, IR}. We show that the only /3-critical graphs are the edgeless graphs and that a graph is IRcritical if and only if it is r-critical, and proceed to investigate the r-critical graphs which are not /3-critical. We characterise /3-edge-critical and r-edge-critical graphs and show that the classes of IR-edge-critical and r-edge-critical graphs coincide. We also exhibit classes of r+ -critical, r+ -edge-critical and i- -ER-critical graphs. / Mathematical Sciences / D. Phil. (Mathematics)

The lower and upper independent, domination and irredundant numbers of the graph G = (V, E) are denoted by i ( G) , f3 ( G), 'Y ( G), r ( G), ir ( G) and IR ( G) respectively. These six numbers are called the domination parameters. For each of these parameters n:, we define six types of criticality. The graph G is n:-critical (n:+ -critical) if the removal of any vertex of G causes n: (G) to decrease (increase), G is n:-edge-critical (n:+-edge-critical) if the addition of any missing edge causes n: (G) to decrease (increase), and G is Ir-ER-critical (n:- -ER-critical) if the removal of any edge causes n: (G) to increase (decrease). For all the above-mentioned parameters n: there exist graphs which are n:-critical, n:-edge-critical and n:-ER-critical. However, there do not exist any n:+-critical graphs for n: E {ir,"f,i,/3,IR}, no n:+-edge-critical graphs for n: E {ir,"f,i,/3} and non:--ER-critical graphs for: E {'Y,/3,r,IR}. Graphs which are "I-critical, i-critical, "I-edge-critical and i-edge-critical are well studied in the literature. In this thesis we explore the remaining types of criticality. We commence with the determination of the domination parameters of some wellknown classes of graphs. Each class of graphs we consider will turn out to contain a subclass consisting of graphs that are critical according to one or more of the definitions above. We present characterisations of "I-critical, i-critical, "I-edge-critical and i-edge-critical graphs, as well as ofn:-ER-critical graphs for n: E {/3,r,IR}. These characterisations are useful in deciding which graphs in a specific class are critical. Our main results concern n:-critical and n:-edge-critical graphs for n: E {/3, r, IR}. We show that the only /3-critical graphs are the edgeless graphs and that a graph is IRcritical if and only if it is r-critical, and proceed to investigate the r-critical graphs which are not /3-critical. We characterise /3-edge-critical and r-edge-critical graphs and show that the classes of IR-edge-critical and r-edge-critical graphs coincide. We also exhibit classes of r+ -critical, r+ -edge-critical and i- -ER-critical graphs. / Mathematical Sciences / D. Phil. (Mathematics)