In the spinal cord, an intricate neural network generates and coordinates the patterning of limb movements during locomotion. This network, known as the locomotor central pattern generator (CPG), comprises of various cell populations that together orchestrate the output of motor neurons. Identification of CPG neurons through their specific gene expression is a valuable tool that can provide considerable insight to the character, intrinsic properties and role of a population, which represents a step toward understanding locomotor circuit function and correlating neural activity to behaviour. We selectively targeted two inhibitory CPG populations to investigate their molecular characteristics, circuitry and functional role; Renshaw cells (RCs) marked by their specific expression of the cholinergic nicotinic receptor α2 (Chrna2) and a subset of the dI6 population derived by their selective expression of the Doublesex and mab-3 related transcription factor 3 (Dmrt3). We found that RCs have hyperpolarisation-activated cation (Ih) and small calcium-activated potassium (ISK) modulatory currents that differentially regulate their excitation and firing properties, which influence the instantaneous feedback to motor neurons through the recurrent inhibition circuit. Due to previous difficulties isolating RCs from the surrounding locomotor circuits, their functional role remains poorly defined. For the first time, we selectively silenced RC inhibition and found that all aspects of motor behaviour, including coordination and gait were normal. The deletion of RC signalling instead altered the electrical and synaptic properties of the recurrent inhibitory circuit, suggesting that developmental plasticity compensates for the loss of RC inhibition. We reveal Dmrt3 neurons comprise a population of glycinergic inhibitory, spike-frequency adapting commissural interneurons active during locomotion. Conditional silencing of the Dmrt3 population resulted in considerable gait abnormalities in the neonatal and adult mouse. This manifested as an uncoordinated CPG output in vitro, impaired limb coordination in pups and increased fore- and hindlimb synchrony in adults that was exacerbated at faster locomotor speeds. Dmrt3 mediated inhibition subsequently impacts locomotion and suggests the Dmrt3 population contribute to coordinating speed dependent left-right limb alternation. This thesis provides cellular, circuit and behavioural insights into the Renshaw cell and Dmrt3 populations and enhances our knowledge regarding their probable function within the locomotor CPG.

Video game players demand a volume of content far in excess of the ability of game designers to create it. For example, a single quest might take a week to develop and test, which means that companies such as Blizzard are spending millions of dollars each month on new content for their games. As a result, both players and developers are frustrated with the inability to meet the demand for new content. By generating content on-demand, it is possible to create custom content for each player based on player preferences. It is also possible to make use of the current world state during generation, something which cannot be done with current techniques. Using developers to create rules and assets for a content generator instead of creating content directly will lower development costs as well as reduce the development time for new game content to seconds rather than days. This work is part of the field of computational creativity, and involves the use of computers to create aesthetically pleasing game content, such as terrain, characters, and quests. I demonstrate agent-based terrain generation, and economic modeling of game spaces. I also demonstrate the autonomous generation of quests for online role playing games, and the ability to play these quests using an emulated Everquest server.

Environmental challenges, such as global warming, growing demand on energy, and diminishing oil sources have accelerated research on alternative energy conversion methods. Thermoelectric power generation is a promising method to convert wasted heat energy into useful electrical energy form. A temperature gradient imposed on a thermoelectric device produces a Seebeck potential. However, this temperature gradient causes thermal stresses due to differential thermal expansions and mismatching of the bonded components of the device. Thermal stresses are critical for thermoelectric devices since they can generate failures, including dislocations, cracks, fatigue fractures, and even breakdown of the entire device. Decreases in power-generation performance and operation lifetime are major consequences of these failures. In order to minimize thermal stresses in the legs without affecting power-generation capabilities, this study concentrates on structural solutions. Thermoelectric devices with non-segmented and segmented legs were modeled. Specifically, the possible effect of various leg geometries, configurations, and dimensions were evaluated using finite-element and statistical methods. Significant changes in the magnitudes and distributions of thermal stresses occurred. Specifically, the maximum equivalent stresses in the rectangular-prism and cylindrical legs were 49.9 MPa and 43.3 MPa, respectively for the temperature gradient of 100ºC. By using cylindrical legs with modified dimensions, decreases in the maximum stresses in legs reached 21.2% without affecting power-generation performance. Moreover, the effect of leg dimensions and coaxial-leg configurations on power generation was significant; in contrast, various leg geometries and rotated-leg configurations had very limited affect. In particular, it was possible to increase power output from 20 mW to 65 mW by simply modifying leg widths and heights within the defined range. It should be noted, however, this modification also increased stress levels. It is concluded that leg geometries, configurations, and dimensions can be redesigned for improved durability and overall performance of thermoelectric devices.

The aim of this thesis is to research the current possibilities and limitations of automatic generation of synthetic XML and JSON documents used in the area of Big Data. The first part of the work discusses the properties of the most used XML data generators, Big Data and JSON generators and compares them. The next part of the thesis proposes an algorithm for data generation of semistructured data. The main focus of the algorithm is on the parallel execution of the generation process while preserving the ability to control the contents of the generated documents. The data generator can also use samples of real data in the generation of the synthetic data and is also capable of automatic creation of simple references between JSON documents. The last part of the thesis provides the results of experiments with the data generator exploited for the purpose of testing database MongoDB, describes its added value and compares it to other solutions. Powered by TCPDF (www.tcpdf.org)

Nous nous intéressons au développement prouvé de composants formels pour un générateur de code pré-qualifié. Ce dernier produit un code séquentiel (C et Ada) pour des modèles d'entrée qui combinent les flots de données et de contrôle et qui présentent des possibilités d'exécution concurrente (Simulink/Stateflow et Scicos). Le développement prouvé permet de réduire le coût des tests et d'augmenter l'assurance des outils développés avec cette approche vis-à-vis de la qualification. Les phases de spécification, de développement et de vérification des outils développés sont effectuées avec l'assistant de preuve Coq. Ce dernier permet d'extraire le contenu calculatoire des composants en préservant les propriétés prouvées en Coq. Ce code extrait est ensuite intégré dans une chaîne complète de développement (chaîne de GeneAuto). Nous présentons un cadre formel, inspiré de l'analyse statique, qui s'appuie sur la sémantique abstraite et qui est instanciable sur plusieurs composants du générateur de code. Nous nous basons sur les ensembles partiellement ordonnés et sur le calcul de point fixe pour définir le cadre et effectuer les différentes analyses des composants du générateur de code. Ce cadre formel comporte toutes les preuves communes aux composants et indépendantes des analyses effectuées. Deux composants sont étudiés : l'ordonnanceur et le typeur des modèles d'entrée. / We are interested in the proved development of formal components for a pre-qualified code generator. This produces a sequential code (C and Ada) for input models that combine data and control flows, with potential concurrent execution (Simulink/Stateflow and Scicos). The proved development reduces test cost and increases insurance of components developed with this approach regarding the qualification. Phases of specification, development and verification of the developed components are done with the Coq proof assistant. This allows to extract the computational content of the components preserving the properties proved in Coq. The extracted code is then integrated into the complete development tool-chain (GeneAuto tool-chain). We present a formal framework, inspired from static analysis, based on the abstract semantics which is instantiable to several components of the code generator. We rely on partially ordered sets and fixed-point to define de formal framework and to perform the various analysis of components of the code generator. This formal framework includes all proofs common to the components and independent from the performed analyses. Two components are studied : the scheduler and the type checker of input models.

Master of Science / Department of Electrical and Computer Engineering / William B. Kuhn / The design of power amplifiers in any semi-conductor process is not a trivial exercise and it is often encountered that the simulated solution is significantly different than the results obtained. Oscillatory phenomena occurring either in-band or out of band and sometimes at subharmonic intervals can render a design useless. Other less apparent effects such as jumps, hysteresis and continuous spectrum, often referred to as chaos, can also invalidate a design. All of these problems might have been identified through a more rigorous approach to stability analysis. Designing for stability is probably the one area of amplifier design that receives the least amount of attention but incurs the most catastrophic of effects if it is not performed properly. Other parameters such as gain, power output, frequency response and even matching may have suitable mitigation paths. But the lack of stability in an amplifier has no mitigating path. In addition to the loss of the design there are the increased production cycle costs, costs involved with investigating and resolving the problem and the costs involved with schedule slips or delays resulting from it. The Linville or Rollett stability criteria that many microwave engineers follow and rely exclusively on is not sufficient by itself to ensure a stable and robust design. It will be shown that the belief that unconditional stability is obtained through an analysis of the scattering matrix S to determine if K>1 and [delta][supscript]s<1 can fail and other tools must be used to validate circuit stability. With the emphasis being placed on stability, a 1W pulse modulated S-band power amplifier is designed using a battery of analysis tools in addition to the standard Linville or Rollett criteria to rigorously confirm the stability of the circuit. Test measurements are then presented to confirm the stability of the design and illustrate the results. The research shown contributes to the state of the art by offering a detailed approach to stability design and then applying the techniques to the design of a 1W pulse modulated S-band power amplifier demonstrating the first with 20 nanosecond pulse width switching and single digit nanosecond rise and fall times at 1 Watt power levels.

Modular Multilevel Converters (MMC) are being widely considered for medium to high voltage DC generation systems. Integrated system design optimization of the generator-MMC system through multi-objective optimization is of interest, because such an approach allows the trade-off between competing objectives (for example, mass and loss) to be explicitly and quantitatively identified. In this work, such an optimization based design paradigm for MMC based generator rectifier systems is developed. To formulate the design problem as a multi-objective optimization problem, it is required that the system waveforms can be obtained to facilitate the imposition of constraints and the estimation of power losses. Similarly, it is also desired to include detailed electric machine magnetic and electrical analysis in design optimization, as well as aspects such as the inductor and heat sink design. Such development typically requires detailed component design and simulation models for the electric machine and converter which are computationally expensive. As an alternative, the proposed work utilizes an electric machine metamodel, heat sink metamodel, and high-speed steady-state simulation model for the MMC to facilitate multi-objective optimization minimizing system metrics of interest while satisfying system constraints. Using the developed component simulation and design models, a multi-objective optimization based design of an MMC based generator-rectifier system is conducted.

This thesis present the fabrication of 2 types of soft wearable electrical devices, utilizing the 3D printing technique. The devices are capable to detect human heart pulse waves and sound waves for health evaluation and speech recognition.

Os tubos de Geradores de Vapor em Reatores Nucleares do tipo PWR são submetidos a diferentes níveis de tensões e carregamento em altas temperaturas, reduzindo sua vida útil devido o surgimento de defeitos e corrosão. A inspeção por Correntes Parasitas é um ensaio não destrutivo usado para diagnosticar defeitos de corrosão e descontinuidades na superfície externa e interna em tubos de trocadores de calor. Esses tubos estão sujeitos a danos por diferentes mecanismos de degradação mecânica e química, tais como trincas por fadiga e corrosão sob tensão. Os sinais de inspeção por Correntes Parasitas são afetados por diferentes ruídos dificultando sua análise pelo inspetor. Esse trabalho apresenta os resultados da análise dos sinais de Correntes Parasitas usando a Transformada de Hilbert-Huang (THH) funcionando como filtro de ruídos (De-noising), como uma técnica alternativa de processamento e análise de sinais. A Transformada de Hilbert-Huang teve esse nome atribuído pela agência espacial norte-americana (NASA) para o resultado da reunião de dois processos, um método de decomposição empiricamente modal (Empirical Mode Decomposition EMD), seguido da análise espectral de Hilbert (Hilbert Spectral Analysis HSA). Os sinais de inspeção por correntes parasitas possuem características de transiente, não estacionário e não linear. A transformada de Hilbert-Huang aplicada neste trabalho forneceu dois recursos alternativos em processamento de sinais; o pré-processamento que funcionou como filtro de ruídos, e outro de análise de sinais, responsável pela identificação das características tempo-frequência-energia do sinal. / The nuclear power plant steam generator tubes are subjected to different levels of stress and loading at high temperatures, reducing its lifetime due to the development of defects and corrosion. The Eddy Current Testing (ECT) is a nondestructive testing used to diagnose defects of corrosion and discontinuities in the inner and outer surface of heat exchanger tubes. These tubes are subject to failure by different mechanisms of chemical and mechanical degradation such as fatigue and stress corrosion crack. The ECT signals are affected by different noises making the analysis a difficult task to the inspector. This dissertation presents the results of the main characteristics from the ECT signals using the Hilbert-Huang Transform (HHT) as an alternative method for the processing and signal analysis. The Hilbert-Huang Transform has its name given by the American National Aeronautics and Space Administration, NASA, as the result of Empirical Mode Decomposition (EMD) and the Hilbert Spectral Analysis (HSA) methods. The Eddy Current signals are transient, nonstationary and nonlinear. The Hilbert-Huang Transform applied in this work provided two alternative proceedings in signal processing, one in signal pre-processing acting as noise filter (De-noising) and another as signal analysis, which identifies the characteristics of signal time-frequency-energy.

De acordo com Gray (1982) o sistema nervoso monitora o ambiente e o comportamento continuamente, sendo capaz de inibir o comportamento em curso quando se depara com novidades ou com discrepâncias entre expectativas geradas com base em memórias de regularidades passadas e a informação sensorial presente, de modo a explorar a fonte de novidade ou discrepância e, assim, obter informações que possibilitem gerar previsões melhores no futuro. O sistema septo-hipocampal compararia estímulos presentes com informações antecipadas (ou previstas). Tal sistema envolve um comparador, o subículo, que receberia informações do presente através de aferências neocorticais, via córtex entorrinal, e informações \"previstas\" geradas em um \"circuito gerador de previsões\". Gray (1982) propôs que esse circuito gerador de previsões inclui o subículo, os corpos mamilares, o tálamo anteroventral, o córtex cingulado e, novamente, o subículo. Destas estruturas, o tálamo anteroventral encontra-se em posição privilegiada, do ponto de vista hodológico e experimental, para investigar este postulado circuito gerador de previsões. O objetivo do presente trabalho foi investigar o efeito da lesão seletiva no tálamo anteroventral, pela aplicação tópica de ácido N-metil-D-aspártico (NMDA), sobre a habilidade de ratos extrapolarem a partir de padrões seriais de estímulos. Tampão fosfato foi aplicado em sujeitos controle. Ratos da linhagem Wistar, machos, foram treinados a correr em uma pista reta para receberem reforço ao seu final. Em cada sessão (uma sessão por dia), os animais correram 4 tentativas sucessivas, recebendo quantidades diferentes de sementes de girassol em cada tentativa. No padrão monotônico decrescente os sujeitos receberam 14, 7, 3 e 1 sementes de girassol, enquanto os sujeitos expostos ao padrão não-monotônico receberam 14, 3, 7 e 1 sementes de girassol. Os animais foram treinados ao longo de 31 sessões. No 32° dia do experimento, uma quinta tentativa, nunca antes experienciada pelos animais, foi adicionada à sessão. Como esperado, os tempos de corrida na quinta tentativa dos animais controle expostos ao padrão monotônico decrescente foram substancialmente maiores se comparados aos animais controle expostos ao padrão não-monotônico, indicando a ocorrência de extrapolação. Em contraste, os sujeitos lesados expostos ao padrão monotônico não exibiram esse aumento de latência na quinta corrida, indicando que esses animais não extrapolaram. Em conclusão, os resultados indicam que extrapolação a partir de padrões seriais de estímulos é prejudicada pela lesão seletiva do tálamo anteroventral / According to Gray (1982) the brain continuously monitors environment and behavior, being capable of inhibiting ongoing behaviors when facing novelty or detecting discrepancies involving predictions generated from memories of past regularities and the actual sensorial information, in order to explore the source of novelty and/or discrepancy, and thus to gather information for generating better predictions in the future. The septo-hippocampal system compares anticipated and present information. The comparator would be the subiculum. This brain structure would receive present information from neocortical afferents, via the entorhinal cortex, and expected information from a \"generator of predictions system\" including the subiculum, mammillary bodies, anteroventral thalamus, cingulate cortex and, again, the subiculum. The anteroventral thalamus is in a privileged position, both hodologically and experimentally, to allow investigation of this postulated generator of predictions system. This study investigated the effect of selective damage to the anteroventral thalamus, by topical application of N-Methyl-D-Aspartic acid (NMDA), on the ability of rats to extrapolate relying on serial stimulus patterns. Control subjects were injected with phosphate buffer. Male Wistar rats were trained to run through a straight alleyway to get rewarded. In each session (one session per day) the animal run four successive trials, one immediately after the other, receiving different amounts of sunflower seeds in each trial. While subjects exposed to the monotonic decremental schedule received 14, 7, 3, 1 sunflower seeds along trials, subjects exposed to the non-monotonic schedule received 14, 3, 7, 1 sunflower seeds. Subjects were trained along 31 sessions. Then, on the 32nd testing session, a fifth trial never experienced before by all subjects was included immediately after the fourth trial. As expected, running times on the fifth trial for Control subjects exposed to the monotonic schedule were significantly longer as compared to the corresponding scores of Control subjects exposed to the non-monotonic schedule, thus indicating the occurrence of extrapolation. In contrast, lesioned subjects exposed to the monotonic schedule did not exhibit this increase in running times on the fifth trial thus indicating that these subjects did not extrapolate. In conclusion, results indicate that extrapolation relying on serial stimulus patterns is disrupted following selective damage to the anteroventral thalamus