Heidelberg, Univ., Diss., 2004

Cette étude expérimentale concerne la génération de faisceaux d'électrons aux propriétés inédites. Ces faisceaux d'électrons sont issus de l'interaction d'une impulsion laser ultra-intense et brève avec un jet de gaz. Jusqu'à récemment, les faisceaux d'électrons ainsi produits avaient une divergence importante et un spectre très large. Un tournant important de cette discipline a été franchi lorsqu'un faisceau d'électrons faiblement divergent (10 mrad) et, par dessus tout, dont le spectre est piqué à haute énergie (170 MeV) a été observé en utilisant un nouveau spectromètre monotir à électrons. Une étude paramétriquede l'interaction a permis de suivre l'évolution des propriétés du faisceau d'électrons. Des expériences ont ensuite été menées pour approfondir la caractérisation de ce faisceau. L'observation du spectre de rayonnement de transition généré par les électrons à une interface montre que le faisceau d'électrons interagit avec l'impulsion laser pendant l'accélération. Des oscillations radiales du faisceau d'électrons autour de l'axe laser, qualifiées d'oscillations bêtatroniques, ont aussi été visualisées sur les spectres électroniques. Un tel spectre quasi-monoénergétique est essentiel pour de nombreuses applications. Afin de justifier l'intérêt d'un tel faisceau, plusieurs expériences d'applications sont présentées: la radiographie γ submillimétrique d'objets denses, un profil de dose du faisceau d'électron comparable aux performances actuelles des sources de photons pour la radiothérapie, un profil temporel très bref utile en radiolyse de l'eau et la génération d'une source de rayons X faiblement divergente.

Thesis (MEng)--Stellenbosch University, 2015. / ENGLISH ABSTRACT: Iterative error correcting codes such as LDPC codes have become prominent in modern forward error correction systems. A particular subclass of LDPC codes known as quasicyclic LDPC codes has been incorporated in numerous high speed wireless communication and video broadcasting standards. These standards feature multiple codes with varying codeword lengths and code rates and require a high throughput. Flexible hardware that is capable of decoding multiple quasi-cyclic LDPC codes is therefore desirable. This thesis investigates binary quasi-cyclic LDPC codes and designs a generic, flexible VHDL decoder. The decoder is further enhanced to automatically select the most likely decoder based on the initial a posterior probability of the parity-check equation syndromes. A software system is developed that generates hardware code for such a decoder based on a small user specification. The system is extended to provide performance simulations for this generated decoder. / AFRIKAANSE OPSOMMING: Iteratiewe foutkorreksiekodes soos LDPC-kodes word wyd gebruik in moderne voorwaartse foutkorreksiestelsels. ’n Subklas van LDPC-kodes, bekend as kwasisikliese LDPC-kodes, word in verskeie hoëspoed-kommunikasie- en video-uitsaaistelselstandaarde gebruik. Hierdie standaarde inkorporeer verskeie kodes van wisselende lengtes en kodetempos, en vereis hoë deurset. Buigsame apparatuur, wat die vermoë het om ’n verskeidenheid kwasisikliese LDPC-kodes te dekodeer, is gevolglik van belang. Hierdie tesis ondersoek binêre kwasisikliese LDPC-kodes, en ontwerp ’n generiese, buigsame VHDL-dekodeerder. Die dekodeerder word verder verbeter om outomaties die mees waarskynlike dekodeerder te selekteer, gebaseer op die aanvanklike a posteriori-waarskynlikheid van die pariteitstoetsvergelykings se sindrome. ’n Programmatuurstelsel word ontwikkel wat die fermware-kode vir so ’n dekodeerder genereer, gebaseer op ’n beknopte gebruikerspesifikasie. Die stelsel word uitgebrei om werksverrigting te simuleer vir die gegenereerde dekodeerder.

Thesis (MSc (Mathematics))--University of Stellenbosch, 2009. / Wavelet decomposition techniques have grown over the last two decades into a powerful tool in signal analysis. Similarly, spline functions have enjoyed a sustained high popularity in the approximation of data. In this thesis, we study the cardinal B-spline wavelet construction procedure based on quasiinterpolation and local linear projection, before specialising to the cubic B-spline on a bounded interval. First, we present some fundamental results on cardinal B-splines, which are piecewise polynomials with uniformly spaced breakpoints at the dyadic points Z/2r, for r ∈ Z. We start our wavelet decomposition method with a quasi-interpolation operator Qm,r mapping, for every integer r, real-valued functions on R into Sr m where Sr m is the space of cardinal splines of order m, such that the polynomial reproduction property Qm,rp = p, p ∈ m−1, r ∈ Z is satisfied. We then give the explicit construction of Qm,r. We next introduce, in Chapter 3, a local linear projection operator sequence {Pm,r : r ∈ Z}, with Pm,r : Sr+1 m → Sr m , r ∈ Z, in terms of a Laurent polynomial m solution of minimally length which satisfies a certain Bezout identity based on the refinement mask symbol Am, which we give explicitly. With such a linear projection operator sequence, we define, in Chapter 4, the error space sequence Wr m = {f − Pm,rf : f ∈ Sr+1 m }. We then show by solving a certain Bezout identity that there exists a finitely supported function m ∈ S1 m such that, for every r ∈ Z, the integer shift sequence { m(2 · −j)} spans the linear space Wr m . According to our definition, we then call m the mth order cardinal B-spline wavelet. The wavelet decomposition algorithm based on the quasi-interpolation operator Qm,r, the local linear projection operator Pm,r, and the wavelet m, is then based on finite sequences, and is shown to possess, for a given signal f, the essential property of yielding relatively small wavelet coefficients in regions where the support interval of m(2r · −j) overlaps with a Cm-smooth region of f. Finally, in Chapter 5, we explicitly construct minimally supported cubic B-spline wavelets on a bounded interval [0, n]. We also develop a corresponding explicit decomposition algorithm for a signal f on a bounded interval. ii Throughout Chapters 2 to 5, numerical examples are provided to graphically illustrate the theoretical results.

Made available in DSpace on 2014-06-11T19:28:35Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-03-21Bitstream added on 2014-06-13T20:37:41Z : No. of bitstreams: 1 rodrigues_ea_me_bauru.pdf: 1602991 bytes, checksum: 7f755b87b5be84900b2d054f02413197 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / No presente trabalho desenvolve-se um modelo constitutivo baseado na mecânica do dano contínuo para representar o comportamento de materiais que apresentam diferentes respostas quando solicitados à tração ou à compreensão. obtem-se uma representação constitutiva através da composição de modelos simples e específicos para tratar cada tipo de solicitação. Este modelo combinado é capaz inclusive de lidar com carregamentos alternados (tração e compreensão), envolvendo fechamento e reabertura de fissuras existentes. Para modelar o comportamento em compreensão emprega-se o modelo constitutivo que tem como critério de degradação o segundo invariante do tensor de tensão desviador (critério de Von Mises ou J2). Para simular o aparecimento de fissuras de tração, usa-se o modelo de dano com critério de degradação baseado na energia de deformação da parte positiva do tensor efetivas. A integração dos modelos é feita com base em tensões efetivas associadas a duas escalas distintas (escala grosseira e refinada). O modelo é apto para representar a formação de descontinuidades no campo de deslocamento (descontinuidades fortes) em materiais quase-frágeis. Nesse caso, a região de localização de deformação (zona de processo da fatura) pode ser descrita pelo modelo de dano combinado, com lei de abrandamento de tensões (softening) exponencial, que estabelece dissipação compatível com a energia de fratura. A região contínua pode ser descrita pelo modelo de dano J2, com parâmetros ajustados com base no comportamento não linear à compreensão. Valida-se o modelo proposto mediante testes básicos, focando a capacidade do modelo em representar os principais aspectos do comportamento de materiais quase-frágeis. A aplicabilidade do modelo é demonstrada através do estudo da capacidade de rotação plástica de vigas de concreto armado, confrontando-se os resultados numéricos com os experimentais / A combined constitutive model based on the Continuum Damage Mechanics (CDM) is presented to represent the nonlinear behavior of quasi-brittle materials, which present different response when subjected to tension or compreession. The constitutive model is a composition of two simple and specific models designed to treat each type of behavior. The combined model is able to deal with alternating load (tension-compression), involving formation, closure and reopening cracks. To model the compressive behavior, a degradation criterion based on the second invariant of the deviatoric part of the effective stress tensor (Von Miser or J2 criterion) is used. To simulate cracking, a damage model with degradation criterion based on the strain energy associated to the positive part the effective stress tensor is adopted. The combination of the models is made on the basis of the effective stresses associated to two distinct scales (coarse and fine scales) The model is able to represented the formation of discontinuities in the displacement field (strong discontinuities) for quasi-brittle materials. The region of strain localization (fracture process zone) is described by a softening law which establishes dissipation energy compatible with the fracture energy. The continuous region is described by the J2 damage model, with parameters ajusted to describle the compressive nonlinear behavior in compression. Some basic tests are performed to asses the ability of the model to represent the main aspects of the behavior of quasi-brittle materials. The applicability of the model is demonstrated by the study of the plastic rotation capacity of reinforced concrete beams, comparing the numerical responses with the experimental ones

An efficient robustness analysis for the VEGA launch vehicle is essential to minimize the potential system failure during the ascending phase. Monte Carlo sampling method is usually considered as a reliable strategy in industry if the sampling size is large enough. However, due to a large number of uncertainties and a long response time for a single simulation, exploring the entire uncertainties sufficiently through Monte Carlo sampling method is impractical for VEGA launch vehicle. In order to make the robustness analysis more efficient when the number of simulation is limited, the quasi-Monte Carlo(Sobol, Faure, Halton sequence) and heuristic algorithm(Differential Evolution) are proposed. Nevertheless, the reasonable number of samples for simulation is still much smaller than the minimal number of samples for sufficient exploration. To further improve the efficiency of robustness analysis, the redundant uncertainties are sorted out by sensitivity analysis. Only the dominant uncertainties are remained in the robustness analysis. As all samples for simulation are discrete, many uncertainty spaces are not explored with respect to its objective function by sampling or optimization methods. To study these latent information, the meta-model trained by Gaussian Process is introduced. Based on the meta-model, the expected maximum objective value and expected sensitivity of each uncertainties can be analyzed for robustness analysis with much higher efficiency but without loss much accuracy.

Pre-breakdown phenomena in transformer liquids have been extensively investigated. The published work can be broadly categorised into streamer and partial discharge (PD) studies, with the former focusing on physical nature and the latter being more relevant to industrial applications. Mineral oil, as the dominant candidate, has been used in power transformers for over a century. In the past decade, there has been an increasing interest in filling power transformers with alternative liquids, e.g. esters and gas-to-liquids (GTL) based oils. This work aims to correlate the PD and streamer characteristics of three transformer liquids under AC stress. The liquids include a conventional mineral oil (Gemini X), a GTL oil (Diala S4 ZX-I) and a synthetic ester (MIDEL 7131). A circuit arrangement in compliance with the IEC 60270 was used, which allowed PD measurements, wide-band current measurements and streamer shadowgraphs to be obtained simultaneously. To simulate the quasi-uniform electric fields in transformers, a plane-to-plane electrode system incorporating an adjustable needle protrusion (PNP) was employed. A needle-to-plane electrode system (NP), which is widely used in the field, was also employed to provide reference results. Based on the PD measurement results, the PD inception fields (PDIFs) of the three liquids were found to be independent of electrode geometry for the investigated tip radius. The PDIF of the synthetic ester is about 13% lower than that of the mineral oil or the GTL oil. Compared with the PD magnitude, the pulse repetition rate is more sensitive to liquid type. At the same voltage under both the NP and PNP configurations, the synthetic ester has the highest pulse repetition rate, followed by the GTL oil, and then the mineral oil. In divergent electric fields (provided by the NP electrode system), it was found that the streamers in the three liquids have a similar stopping length at the same voltage, even though the apparent charge readings are not the same. The correlations between PD and streamer characteristics indicated that the synthetic ester has the highest branching tendency, and has therefore the smallest stopping length per unit of apparent charge among the three liquids. In quasi-uniform electric fields (provided by the PNP electrode system), the streamer branching tendencies of the three liquids were largely suppressed. The change from a propagation-induced breakdown in divergent fields to an initiation-induced breakdown in quasi-uniform fields was explained. The correlations between PD and streamer characteristics revealed that the same apparent charge can indicate different levels of streamer development in the insulation, depending on the uniformity of the electric field. Overall, interpreting PD measurement results needs to take the electric field uniformity (PD location) as well as liquid type into consideration.

Les approches de parallélisme structuré sont un compromis entre la parallélisation automatique et la programmation concurrentes et réparties telle qu'offerte par MPI ou les Pthreads. Le parallélisme à squelettes est l'une de ces approches. Un squelette algorithmique peut être vu comme une fonction d'ordre supérieur qui capture un algorithme parallèle classique tel qu'un pipeline ou une réduction parallèle. Souvent la sémantique des squelettes est simple et correspondant à celle de fonctions d'ordre supérieur similaire dans les langages de programmation fonctionnels. L'utilisation combine les squelettes disponibles pour construire son application parallèle. Lorsqu'un programme parallèle est conçu, les performances sont bien sûr importantes. Il est ainsi très intéressant pour le programmeur de disposer d'un modèle de performance, simple mais réaliste. Le parallélisme quasi-synchrone (BSP) offre un tel modèle. Le parallélisme étant présent maintenant dans toutes les machines, du téléphone au super-calculateur, il est important que les modèles de programmation s'appuient sur des sémantiques formelles pour permettre la vérification de programmes. Les travaux menés on conduit à la conception et au développement de la bibliothèque Orléans Skeleton Library ou OSL. OSL fournit un ensemble de squelettes algorithmiques data-parallèles quasi-synchrones. OSL est une bibliothèque pour le langage C++ et utilise des techniques de programmation avancées pour atteindre une bonne efficacité. Les communications se basent sur la bibliothèque MPI. OSL étant basée sur le modèle BSP, il est possible non seulement de prévoir les performances des programmes OSL mais également de fournir une portabilité des performances. Le modèle de programmation d'OSL a été formalisé dans l'assistant de preuve Coq. L'utilisation de cette sémantique pour la preuve de programmes est illustrée par un exemple. / Structured parallelism approaches are a trade-off between automatic parallelisation and concurrent and distributed programming such as Pthreads and MPI. Skeletal parallelism is one of the structured approaches. An algorithmic skeleton can be seen as higher-order function that captures a pattern of a parallel algorithm such as a pipeline, a parallel reduction, etc. Often the sequential semantics of the skeleton is quite simple and corresponds to the usual semantics of similar higher-order functions in functional programming languages. The user constructs a parallel program by combined calls to the available skeletons. When one is designing a parallel program, the parallel performance is of course important. It is thus very interesting for the programmer to rely on a simple yet realistic parallel performance model. Bulk Synchronous Parallelism (BSP) offers such a model. As the parallelism can now be found everywhere from smart-phones to the super computers, it becomes critical for the parallel programming models to support the proof of correctness of the programs developed with them. . The outcome of this work is the Orléans Skeleton Library or OSL. OSL provides a set of data parallel skeletons which follow the BSP model of parallel computation. OSL is a library for C++ currently implemented on top of MPI and using advanced C++ techniques to offer good efficiency. With OSL being based over the BSP performance model, it is possible not only to predict the performances of the application but also provides the portability of performance. The programming model of OSL is formalized using the big-step semantics in the Coq proof assistant. Based on this formal model the correctness of an OSL example is proved.

Neste trabalho um modelo é apresentado que permite-nos prever quantitativamente o estado estacionário atingido por um plasma não-neutro durante um processo de relaxação nãocolisional. Como uma aplicação específica, a teoria é usada para estudar a relaxação de feixes de partículas carregadas na qual, mostra-se que, um feixe inicialmente casado relaxa para a distribuição de Lynden-Bell. No entanto, quando existe um descasamento inicial, o mesmo oscila e ressonâncias paramétricas conduzem-no a uma separação de fases: caroço e halo. A abordagem desenvolvida vale tanto para a densidade como para a distribuição de velocidade no estado final estacionário. / In this work a theoretical framework is presented which allows us to quantitatively predict the final stationary state achieved by a non-neutral plasma during a process of collisionless relaxation. As a specific application, the theory is used to study relaxation of charged-particle beams. It is shown that a fully matched beam relaxes to the Lynden-Bell distribution. However, when a mismatch is present and the beam oscillates, parametric resonances lead to a corehalo phase separation. The approach developed accounts for both the density and the velocity distributions in the final stationary state.

O processo de dano em materiais quasi-frágeis pode ser caracterizado pela perda de isotropia para certos níveis de carga. A localização de deformações, o efeito cooperativo entre regiões danificadas e a avalanche de rupturas são características particulares na medição do dano neste tipo de material. As características mencionadas criam diferentes formas de dissipação de energia, que não são fáceis de representar utilizando métodos baseados na hipótese dos meios contínuos. No presente trabalho uma versão do Método dos Elementos Discretos Formado por Barras é empregado. Neste método a massa do contínuo é concentrada nos nós, os quais são interconectados por barras sem massa. Essas barras possuem uma lei constitutiva bilinear, que é usada para simular a ruptura da estrutura em estudo. A distribuição dos nós permite formar uma treliça tridimensional regular, e a partir dessa discretização espacial é possível chegar a um sistema de equações de movimento, que é resolvido com um esquema explícito de integração numérica (diferenças finitas centrais). Neste método a fratura e a fragmentação são levadas em conta de forma natural, já que as barras que rompem durante o processo são desativadas, respeitando o balanço energético. É possível introduzir heterogeneidade no modelo considerando as propriedades do material como campos espaciais aleatórios com distribuição de probabilidades de Weibull e comprimento de correlação conhecido. Nessa dissertação, é analisado o processo de dano que aparece em estruturas de geometria simples quando solicitadas até o colapso. Diferentes índices são apresentados para realizar a medição do dano. O desempenho desses índices, e a maneira com que eles ajudam na interpretação da evolução do dano, são discutidos nesse trabalho. / The process of damage in quasi-fragile materials is characterized by loss of isotropy for certain load levels. The strain localization, the cooperative effect between damaged regions and the avalanche of ruptures are particular features in measuring the damage in this kind of material. The mentioned features create different forms of energy dissipation, which are not easy to represent with a continuous approach. In the present work a version of the Lattice Discrete Element Method is employed. In this method the mass of the solid is concentrated on node points, which are interconnected by uniaxial elements. These elements have a bilinear constitutive law, which is used to simulate the rupture of the structure under study. The node distribution allows the formation of a regular three-dimensional lattice, and from this spatial discretization it is possible to arrive at a system of equations of motion, which is solved by an explicit numerical integration scheme (central difference). In this method the fracture and fragmentation are taken into account in a natural manner, since the bars that reached their limit strength during the process are disabled of the system, respecting the energy balance. It is possible to introduce heterogeneity in the model considering the material properties as random fields with spatial Weibull probability distribution and known correlation length. In this dissertation, the damage process, which appears in structures of simple geometry, when they are loaded until collapse, is analysed. Different indexes are presented to perform the measurement of the damage. The performance of those indexes, and the way they help in the interpretation of the damage evolution, are discussed in this paper.