Computer control of machines utilising independent drive mechanisms

The thesis describes an investigation into methods for the specification, design and implementation of computer control systems for flexible manufacturing machines comprising multiple, independent, electromechanically-driven mechanisms. An analysis is made of the elements of conventional mechanically-coupled machines in order that the operational functions of these elements may be identified. This analysis is used to define the scope of requirements necessary to specify the format, function and operation of a flexible, independently driven mechanism machine. A discussion of how this type of machine can accommodate modern manufacturing needs of high-speed and flexibility is presented. A sequential method of capturing requirements for such machines is detailed based on a hierarchical partitioning of machine requirements from product to independent drive mechanism. A classification of mechanisms using notations, including Data flow diagrams and Petri-nets, is described which supports capture and allows validation of requirements. A generic design for a modular, IDM machine controller is derived based upon hierarchy of control identified in these machines. A two mechanism experimental machine is detailed which is used to demonstrate the application of the specification, design and implementation techniques. A computer controller prototype and a fully flexible implementation for the IDM machine, based on Petri-net models described using the concurrent programming language Occam, is detailed. The ability of this modular computer controller to support flexible, safe and fault-tolerant operation of the two intermittent motion, discrete-synchronisation independent drive mechanisms is presented. The application of the machine development methodology to industrial projects is established.

Collective behaviour in a square lattice of driven Duffing resonators coupled to van der Pol oscillators

The global and local synchronisation of a square lattice composed of alternating Duffing resonators and van der Pol oscillators coupled through displacement is studied. The lattice acts as a sensing device in which the input signal is characterised by an external driving force that is injected into the system through a subset of the Duffing resonators. The parameters of the system are taken from MEMS devices. The effects of the system parameters, the lattice architecture and size are discussed.

A preliminary study into emergent behaviours in a lattice of interacting nonlinear resonators and oscillators

Future sensor arrays will be composed of interacting nonlinear components with complex behaviours with no known analytic solutions. This paper provides a preliminary insight into the expected behaviour through numerical and analytical analysis. Specically, the complex behaviour of a periodically driven nonlinear Duffing resonator coupled elastically to a van der Pol oscillator is investigated as a building block in a 2D lattice of such units with local connectivity. An analytic treatment of the 2-device unit is provided through a two-time-scales approach and the stability of the complex dynamic motion is analysed. The pattern formation characteristics of a 2D lattice composed of these units coupled together through nearest neighbour interactions is analysed numerically for parameters appropriate to a physical realisation through MEMS devices. The emergent patterns of global and cluster synchronisation are investigated with respect to system parameters and lattice size.

Development and application of magnetoencephalographic methods in the investigation of the human visual system

This thesis is an exploration of the organisation and functioning of the human visual system using the non-invasive functional imaging modality magnetoencephalography (MEG). Chapters one and two provide an introduction to the ‘human visual system and magnetoencephalographic methodologies. These chapters subsequently describe the methods by which MEG can be used to measure neuronal activity from the visual cortex. Chapter three describes the development and implementation of novel analytical tools; including beamforming based analyses, spectrographic movies and an optimisation of group imaging methods. Chapter four focuses on the use of established and contemporary analytical tools in the investigation of visual function. This is initiated with an investigation of visually evoked and induced responses; covering visual evoked potentials (VEPs) and event related synchronisation/desynchronisation (ERS/ERD). Chapter five describes the employment of novel methods in the investigation of cortical contrast response and demonstrates distinct contrast response functions in striate and extra-striate regions of visual cortex. Chapter six use synthetic aperture magnetometry (SAM) to investigate the phenomena of visual cortical gamma oscillations in response to various visual stimuli; concluding that pattern is central to its generation and that it increases in amplitude linearly as a function of stimulus contrast, consistent with results from invasive electrode studies in the macaque monkey. Chapter seven describes the use of driven visual stimuli and tuned SAM methods in a pilot study of retinotopic mapping using MEG; finding that activity in the primary visual cortex can be distinguished in four quadrants and two eccentricities of the visual field. Chapter eight is a novel implementation of the SAM beamforming method in the investigation of a subject with migraine visual aura; the method reveals desynchronisation of the alpha and gamma frequency bands in occipital and temporal regions contralateral to observed visual abnormalities. The final chapter is a summary of main conclusions and suggested further work.

Investigation of the neural correlates of recognition memory using magnetoencephalography

Neuroimaging literature has identified several regions involved in encoding and recognition processes. A review of the literature illustrated considerable variations in the precise location and mechanisms of these processes, and it was these variations that were investigated in the studies in this thesis. Magnetoencephalography (MEG) was used as the neuroimaging tool and a preliminary study identified Synthetic Aperture Magnetometry (SAM) and not a traditional dipole fitting technique, as an appropriate tool for identifying the multiple cortical regions involved in recognition memory. It has been suggested that there is hemispheric asymmetry in encoding and recognition processes. There are two main hypotheses: the first suggesting that there is task-specificity, the second that this specificity is determined by stimulus modality. A series of experiments was completed with two main aims: first to produce consistent and complementary recognition memory data with MEG, and second to determine whether there exists any hemispheric asymmetry in recognition memory. The results obtained from five experiments demonstrated activation of prefrontal and middle temporal structures, which were consistent with those reported in previous neuroimaging studies. It was suggested that this diverse activation may be explained by the involvement of a semantic network during recognition memory processes. In support of this, a subsequent study involving a semantic encoding task demonstrated that category-specific differences in cortical activation also existed in the recognition memory phase. Controlling for the involvement of such semantic processes produced predominantly bilateral activation. It was suggested that the apparent hemispheric asymmetry findings reported in the literature may be due to the 'coarse' temporal analysis available with earlier imaging techniques, which over-simplified the networks reported by being unable to recognise the early complex processes associated with semantic processing which these MEG studies were able to identify. The importance of frequency-specific activations, specifically theta synchronisation and alpha desynchronisation, in memory processes was also investigated.

Accommodation and intraocular pressure

The relationship between accommodation and intraocular pressure (lOP) has not been addressed as a research question for over 20 years, when measurement of both of these parameters was less advanced than today. Hence the central aim of this thesis was to evaluate the effects of accommodation on lOP. The instrument of choice throughout this thesis was the Pulsair EasyEye non-contact tonometer (NCT) due principally to its slim-line design which allowed the measurement of lOP in one eye and simultaneous stimulation of accommodation in the other eye. A second reason for using the Pulsair EasyEye NCT was that through collaboration with the manufacturers (Keeler, UK) the instrument's operational technology was made accessible. Hence, the principle components underpinning non-contact lOP measures of 0.1mmHg resolution (an order of magnitude greater than other methods) were made available. The relationship between the pressure-output and corneal response has been termed the pressure-response relationship, aspects of which have been shown to be related to ocular biometric parameters. Further, analysis of the components of the pressure-response relationship together with high-speed photography of the cornea during tonometry has enhanced our understanding of the derivation of an lOP measure with the Pulsair EasyEye NCT. The NCT samples the corneal response to the pressure pulse over a 19 ms cycle photoelectronically, but computes the subject's lOP using the data collected in the first 2.34 ms. The relatively instantaneous nature of the lOP measurement renders the measures susceptible to variations in the steady-state lOP caused by the respiratory and cardiac cycles. As such, the variance associated with these cycles was minimised by synchronising the lOP measures with the cardiac trace and maintaining a constant pace respiratory cycle at 15 breathes/minute. It is apparent that synchronising the lOP measures with the peak, middle or trough of the cardiac trace significantly reduced the spread of consecutive measures. Of the 3 locations investigated, synchronisation with the middle location demonstrated the least variance (coeflicient of variation = 9.1%) and a strong correlation (r = 0.90, p = <0.001) with lOP values obtained with Goldmann contact tonometry (n = 50). Accordingly lOP measures synchronised with the middle location of the cardiac cycle were taken in the RE while the LE fixated low (L; zero D), intermediate (I; 1.50 D) and high (H; 4 D) accommodation targets, Quasi-continuous measures of accommodation responses were obtained during the lOP measurement period using the portable infrared Grand Seiko FR-5000 autorefractor. The lOP reduced between L and I accommodative levels by approximately 0.61 mmHg (p <0.00 I). No significant reduction in IOP between L and H accommodation levels was elicited (p = 0.65) (n = 40). The relationship between accommodation and lOP was characterised by substantial inter-subject variations. Myopes demonstrated a tendency to show a reduction in IOP with accommodation which was significant only with I accommodation levels when measured with the NCT (r = 0.50, p = 0.01). However, the relationship between myopia and lOP change with accommodation reached significance for both I (r = 0.61, p= 0.003) and H (r = 0.531, p= 0.0 1) accommodation levels when measured with the Ocular blood Flow Analyser (OBFA). Investigation of the effects of accommodation on the parameters measured by the OBFA demonstrated that with H accommodation levels the pulse amplitude (PA) and pulse rate (PR) responses differed between myopes and emmetropes (PA: p = 0.03; PR: p = 0.004). As thc axial length increased there was a tendency for the pulsatile ocular blood flow (POBF) to reduce with accommodation, which was significant only with H accommodation levels (r = 0.38, p = 0.02). It is proposed that emmetropes arc able to regulate the POBF responses to changes in ocular perfusion pressure caused by changes in lOP with I (r = 0.77, p <0.001) and H (r = 0.73, p = 0.001) accommodation levels. However, thc relationship between lOP and POBF changes in the myopes was not correlated for both I (r = 0.33, p = 0.20) and H (r = 0.05, p = 0.85) accommodation levels. The thesis presents new data on the relationships between accommodation, lOP and parameters of the OBFA,: and provides evidence for possible lOP and choroidal blood flow regulatory mechanisms. Further the data highlight possible deficits in the vascular regulation of the myopic eye during accommodation, which may play a putative role in the aetiology of myopia development.

The role of GABAergic modulation in motor function related neuronal network activity

At rest, the primary motor cortex (M1) exhibits spontaneous neuronal network oscillations in the beta (15–30 Hz) frequency range, mediated by inhibitory interneuron drive via GABA-A receptors. However, questions remain regarding the neuropharmacological basis of movement related oscillatory phenomena, such as movement related beta desynchronisation (MRBD), post-movement beta rebound (PMBR) and movement related gamma synchronisation (MRGS). To address this, we used magnetoencephalography (MEG) to study the movement related oscillatory changes in M1 cortex of eight healthy participants, following administration of the GABA-A modulator diazepam. Results demonstrate that, contrary to initial hypotheses, neither MRGS nor PMBR appear to be GABA-A dependent, whilst the MRBD is facilitated by increased GABAergic drive. These data demonstrate that while movement-related beta changes appear to be dependent upon spontaneous beta oscillations, they occur independently of one other. Crucially, MRBD is a GABA-A mediated process, offering a possible mechanism by which motor function may be modulated. However, in contrast, the transient increase in synchronous power observed in PMBR and MRGS appears to be generated by a non-GABA-A receptor mediated process; the elucidation of which may offer important insights into motor processes.

Shape of the posterior vitreous chamber in human emmetropia and myopia

PURPOSE - To compare posterior vitreous chamber shape in myopia to that in emmetropia. METHODS - Both eyes of 55 adult subjects were studied, 27 with emmetropia (MSE =-0.55; <+0.75D; mean +0.09 ±0.36D) and 28 with myopia (MSE -5.87 ±2.31D). Cycloplegic refraction was measured with a Shin Nippon autorefractor and anterior chamber depth and axial length with a Zeiss IOLMaster. Posterior vitreous chamber shapes were determined from T2-weighted MRI (3-Tesla) using procedures previously reported by our laboratory. 3-D surface model coordinates were assigned to nasal, temporal, superior and inferior quadrants and plotted in 2-D to illustrate the composite shape of respective quadrants posterior to the second nodal point. Spherical analogues of chamber shape were constructed to compare relative sphericity between refractive groups and quadrants. RESULTS - Differences in shape occurred in the region posterior to points of maximum globe width and were thus in general accord with an equatorial model of myopic expansion. Shape in emmetropia is categorised distinctly as that of an oblate ellipse and in myopia as an oblate ellipse of significantly less degree such that it approximates to a sphere. There was concordance between shape and retinotopic projection of respective quadrants into right, left, superior and inferior visual fields. CONCLUSIONS - The transition in shape from oblate ellipse to sphere with axial elongation supports the hypothesis that myopia may be a consequence of equatorial restriction associated with biomechanical anomalies of the ciliary apparatus. The synchronisation of quadrant shapes with retinotopic projection suggests that binocular growth is coordinated by processes that operate beyond the optic chiasm.

Typical case behaviour of spin systems in random graph and composite ensembles

This thesis includes analysis of disordered spin ensembles corresponding to Exact Cover, a multi-access channel problem, and composite models combining sparse and dense interactions. The satisfiability problem in Exact Cover is addressed using a statistical analysis of a simple branch and bound algorithm. The algorithm can be formulated in the large system limit as a branching process, for which critical properties can be analysed. Far from the critical point a set of differential equations may be used to model the process, and these are solved by numerical integration and exact bounding methods. The multi-access channel problem is formulated as an equilibrium statistical physics problem for the case of bit transmission on a channel with power control and synchronisation. A sparse code division multiple access method is considered and the optimal detection properties are examined in typical case by use of the replica method, and compared to detection performance achieved by interactive decoding methods. These codes are found to have phenomena closely resembling the well-understood dense codes. The composite model is introduced as an abstraction of canonical sparse and dense disordered spin models. The model includes couplings due to both dense and sparse topologies simultaneously. The new type of codes are shown to outperform sparse and dense codes in some regimes both in optimal performance, and in performance achieved by iterative detection methods in finite systems.

Interval timing in children:effects of auditory and visual pacing stimuli and relationships with reading and attention variables

Motor timing tasks have been employed in studies of neurodevelopmental disorders such as developmental dyslexia and ADHD, where they provide an index of temporal processing ability. Investigations of these disorders have used different stimulus parameters within the motor timing tasks which are likely to affect performance measures. Here we assessed the effect of auditory and visual pacing stimuli on synchronised motor timing performance and its relationship with cognitive and behavioural predictors that are commonly used in the diagnosis of these highly prevalent developmental disorders. Twenty- one children (mean age 9.6 years) completed a finger tapping task in two stimulus conditions, together with additional psychometric measures. As anticipated, synchronisation to the beat (ISI 329 ms) was less accurate in the visually paced condition. Decomposition of timing variance indicated that this effect resulted from differences in the way that visual and auditory paced tasks are processed by central timekeeping and associated peripheral implementation systems. The ability to utilise an efficient processing strategy on the visual task correlated with both reading and sustained attention skills. Dissociations between these patterns of relationship across task modality suggest that not all timing tasks are equivalent.

Paradox lost? Exploring the role of alpha oscillations during externally vs. internally directed attention and the implications for idling and inhibition hypotheses

Although slow waves of the electroencephalogram (EEG) have been associated with attentional processes, the functional significance of the alpha component in the EEG (8.1–12 Hz) remains uncertain. Conventionally, synchronisation in the alpha frequency range is taken to be a marker of cognitive inactivity, i.e. ‘cortical idling’. However, it has been suggested that alpha may index the active inhibition of sensory information during internally directed attentional tasks such as mental imagery. More recently, this idea has been amended to encompass the notion of alpha synchronisation as a means of inhibition of non-task relevant cortical areas irrespective of the direction of attention. Here we test the adequacy of the one idling and two inhibition hypotheses about alpha. In two experiments we investigated the relation between alpha and internally vs. externally directed attention using mental imagery vs. sensory-intake paradigms. Results from both experiments showed a clear relationship between alpha and both attentional factors and increased task demands. At various scalp sites alpha amplitudes were greater during internally directed attention and during increased load, results incompatible with alpha reflecting cortical idling and more in keeping with suggestions of active inhibition necessary for internally driven mental operations.

Generalised Riccati solution and pinning control of complex stochastic networks

This paper considers the global synchronisation of a stochastic version of coupled map lattices networks through an innovative stochastic adaptive linear quadratic pinning control methodology. In a stochastic network, each state receives only noisy measurement of its neighbours' states. For such networks we derive a generalised Riccati solution that quantifies and incorporates uncertainty of the forward dynamics and inverse controller in the derivation of the stochastic optimal control law. The generalised Riccati solution is derived using the Lyapunov approach. A probabilistic approximation type algorithm is employed to estimate the conditional distributions of the state and inverse controller from historical data and quantifying model uncertainties. The theoretical derivation is complemented by its validation on a set of representative examples.

Developing multidimensional metrics for evaluating paediatric neurodevelopmental disorders

Healthy brain functioning depends on efficient communication of information between brain regions, forming complex networks. By quantifying synchronisation between brain regions, a functionally connected brain network can be articulated. In neurodevelopmental disorders, where diagnosis is based on measures of behaviour and tasks, a measure of the underlying biological mechanisms holds promise as a potential clinical tool. Graph theory provides a tool for investigating the neural correlates of neuropsychiatric disorders, where there is disruption of efficient communication within and between brain networks. This research aimed to use recent conceptualisation of graph theory, along with measures of behaviour and cognitive functioning, to increase understanding of the neurobiological risk factors of atypical development. Using magnetoencephalography to investigate frequency-specific temporal dynamics at rest, the research aimed to identify potential biological markers derived from sensor-level whole-brain functional connectivity. Whilst graph theory has proved valuable for insight into network efficiency, its application is hampered by two limitations. First, its measures have hardly been validated in MEG studies, and second, graph measures have been shown to depend on methodological assumptions that restrict direct network comparisons. The first experimental study (Chapter 3) addressed the first limitation by examining the reproducibility of graph-based functional connectivity and network parameters in healthy adult volunteers. Subsequent chapters addressed the second limitation through adapted minimum spanning tree (a network analysis approach that allows for unbiased group comparisons) along with graph network tools that had been shown in Chapter 3 to be highly reproducible. Network topologies were modelled in healthy development (Chapter 4), and atypical neurodevelopment (Chapters 5 and 6). The results provided support to the proposition that measures of network organisation, derived from sensor-space MEG data, offer insights helping to unravel the biological basis of typical brain maturation and neurodevelopmental conditions, with the possibility of future clinical utility.

Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.