• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 3
  • Tagged with
  • 15
  • 10
  • 10
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Conception, développement et évaluation d'un langage de programmation adapté aux applications industrielles : llC.

Delchini, Hugo 15 March 1995 (has links) (PDF)
Le développement d'applications informatiques passe souvent par l'utilisation de langages évolués pour la programmation et de systèmes d'exploitation pour la gestion de l'exécution. Une famille de langages de programmation (les LPC pour "langages à parallélisme Compilé") peuvent procurer les même fonctionnalités et avantages qu'un langage de programmation couplé à un système d'exploitation multi-tâches. Notre intention est de montrer que les LPC ont certains attraits supplémentaires surtout dans le domaine d'application qu'est l'informatique industrielle. Pour mettre ceci en évidence, nous avons développé plusieurs versions d'une même application en utilisant d'une part un LPC et, d'autre part, un langage évolué classique avec un système d'exploitation. Ensuite, nous avons fait une comparaison chiffrée des différentes versions.
12

Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs

Bosser, Anne-Gwenn 18 November 2005 (has links) (PDF)
Les Jeux Massivement Multi-Joueurs sont des applications distribuées sur Internet dans lesquels on retrouve des problématiques de persistance, de sécurité, de temps-réel, de passage à l'échelle, et d'utilisation critique des ressources des machines et du réseau.<br />Nous proposons un cadre pour la réalisation de telles applications afin de favoriser la réalisation de game-play innovants en permettant une mise au point très fine des interactions.<br />Nous décrivons les techniques actuelles et démontrons comment chaque solution pour la réalisation d'une interaction donnée est fortement liée à la description fonctionnelle de cette interaction dans le cadre du game-play considéré.<br />Notre proposition consiste en un outil de prototypage basé sur un framework doté d'une sémantique simple pour faciliter le développement, mais permettant de gérer très finement les ressources bas-niveau afin de ne pas manquer de généricité. L'outil est destiné à être utilisé dans un cadre réaliste de méthodologie de développement basée sur le raffinement successif de prototypes permettant de valider au plus tôt les choix techniques.<br />Nous présentons le framework que nous avons développé, qui définit un modèle très fin de réplication des données représentant le monde virtuel le long de l'application distribuée. La sémantique utilisée repose sur un modèle d'exécution coopératif et reproductible, dont nous donnons la formalisation des principaux traits sous une forme opérationnelle. Nous décrivons l'organisation du code produit, ainsi que la manière dont le framework s'inscrit dans notre proposition finale et détaillons un exemple complet pour illustrer son utilisation.
13

Action refinement in process algebras /

Aceto, Luca. January 1992 (has links)
Thesis (Ph. D.)--University of Sussex, 1990. / Includes bibliographical references (p. 265-271) and index.
14

Raakpunte tussen Psalm 82 en die Ugaritiese Kirtuverhaal (Afrikaans)

Van Straaten, Jacobus Petrus Lodewicus 19 June 2007 (has links)
Although there is quite a difference in time between the writing of the Hebrew Bible and the carving of the Ugaritic texts, researchers are still discovering similarities between the two text corpuses (for example new word pairs, literary phrases and a common cultural background). In this dissertation Psalm 82 was examined together with the Kirtu story. O’Callaghan (1953) and Van Zijl (1972) pointed out similarities between the two texts, previously. Yet these similarities were not investigated in a structured way and there existed the possibility that more similarities (and also dissimilarities) existed between the texts. Psalm 82 and selected sections of the Kirtu story are analysed using the text immanent method. The known similarities are reaffirmed and new ones identified. To avoid analysing the whole Kirtu story, it is first summarised. Thereafter the writer analyses the following passages in depth: CTA 15 ii 1-iii 19; CTA 16 i 1-23; CTA 16 ii 96-iii 17; CTA 16 v 1-52 and CTA 16 vi 25-58. After the respective analyses, similarities on the linguistic and conceptual levels are recorded. Attention is also drawn to the respective environments in which the two texts originated. Consequently, possible elements, consisting of similar cultural goods, are given prominence. On linguistic level various words, which occur in both texts, are recorded. Accordingly it is concluded that the two texts have the following ideas in common: the council of the gods; the immortality of a god; a god’s sense of duty; the connection between the two previously named concepts; the cosmic consequences when rulers neglect their duties and the relationship between the chief god and the other gods. This study reaffirmed the common Near Eastern background of the Kirtu story and Psalm 82. The question arose what the implication of a similar milieu between the two texts would entail. The writer concluded that the Kirtu story assisted with the understanding of the word µyhil¿aÔ in Psalm 82: 1c and 6a. There was sufficient evidence from the two texts that µyhil¿aÔ should be translated with ‘gods.’ For the poet and his audience the µyhil¿aÔ were true gods and not heavenly beings or people or both. Psalm 82 and the Kirtu story both originated against the backdrop of pending disaster. Through the general themes of ‘righteousness’ and ‘God’s / the gods’ upholding thereof,’ the poets attempted to give sense in their respective situations. New possibilities to interpret Psalm 82 had been discovered after similarities between this psalm and the Kirtu Story were identified and discussed. The Kirtu story aided the reader in his / her understanding of Psalm 82. / Dissertation (MA (Semitic Languages))--University of Pretoria, 2007. / Ancient Languages / unrestricted
15

Modélisation des plasmas magnétisés. Application à l'injection de neutres pour ITER et au magnétron en régime impulsionnel haute puissance / Modeling of magnetized plasmas. Application to neutral particle injection for ITER and to magnetron in high power pulsed regime

Revel, Adrien 05 June 2015 (has links)
Un plasma est défini comme un gaz partiellement ou totalement ionisé. Bien que très présent dans l'univers visible, les plasmas naturels sont rares sur Terre. Cependant, ils représentent un intérêt majeur pour les industries et les instituts de recherche (traitement de surface, propulsion spatiale). Toutefois, la compréhension du comportement d'un plasma est complexe et fait appel à de nombreux domaines de la physique. De plus, ces plasmas peuvent être magnétisé i.e. lorsqu'un champ magnétique extérieur ou induit influence significativement la trajectoire des particules : r/L<1 où r est le rayon de Larmor et L la longueur caractéristique du système. Ce travail de thèse s'intéresse à la modélisation du comportement du plasma présent dans deux dispositifs : l'accélérateur de l'Injecteur de Neutres (IdN) rapides d'ITER et le magnétron en régime DC ou HiPIMS. La réalisation de la fusion nucléaire sur Terre fait actuellement l'objet de nombreuses recherche dans le monde. Du fait de l'énergie nécessaire au franchissement de la barrière de répulsion coulombienne, le plasma doit être confiné. Dans le cas d'ITER, le confinement est réalisé par de puissant champ magnétique. Cependant, pour atteindre les conditions nécessaires aux réactions de fusion, notamment en température, un injecteur de particules neutres à haute énergie (1MeV) est nécessaire. L'accélération de ces particules est une phase critique dans la création du faisceau de neutres et elle représente un défi technologique qui fait l'objet d'une étude dans ce travail de thèse. Le magnétron est un procédé industriel permettant la réalisation de couches minces par pulvérisation cathodique. Les ions créés par un plasma de décharge arrachent les atomes de la cathode qui se déposent sur l'anode. Le champ magnétique créé par des aimants permanents piège les électrons à proximité de la cathode augmentant l'efficacité du dispositif. Le comportement du plasma magnétron est ainsi étudié en régime continu ou pulsé ainsi que l'apparition de structures auto-organisées en rotation autour de l'axe du magnétron dans certaines conditions. Afin d'étudier ces dispositifs, plusieurs programmes de simulation numérique ont été développés. La méthode Paticle-In-Cell a été choisie car elle permet de prendre en compte la charge d'espace des particules de manière auto-cohérente. Diverses techniques (technique de collision nulle, Monte Carlo Collision, a posteriori Monte Carlo) et améliorations (maillage non uniforme, projections de charges au troisième ordre) ont été développées et implémentées. De plus, une méthode originale, Pseudo 3D, permettant un traitement à trois dimension du magnétron a été utilisées avec succès. Enfin, ces programmes ont été parallélisés afin de réduire le temps de calcul. / A plasma is defined as a partially or completely ionized gas. Even though, they are very present in the visible universe, natural plasmas are rare on Earth. However, they are a major interest for industries and research institutes (surface treatment, spatial propulsion). Nevertheless, the understanding of plasma behavior is complicated because of the numerous physical fields involved. Moreover, theses plasmas can be magnetized, i.e., a magnetic field, external or induced, affects significantly the particle trajectories: r/L<1 where r is the Larmor radius and L the typical length of the system. This thesis is focused on the plasma modeling in two device: the accelerator of the ITER's neutral beam injector (NBI) and the magnetron in DC or HiPIMS regime. The feasibility of nuclear fusion on Earth is subject of numerous research around the world. Because of the energy necessary to get over the Coulomb barrier, the plasma must be confined. For ITER, the confinement is achieved by intense magnetic fields. However, to reach the required conditions of nuclear fusion reactions, especially in temperature, a high energy (1MeV) neutral beam injector is needed. The particle acceleration is a critical part in the creation of the neutral beam and it represents a technical challenge which is studied in this thesis work. The magnetron is an industrial process for creating thin film by physical sputtering. The ions created by a plasma discharge tear the atoms out of the cathode which are then deposited on the anode. The magnetic field created by permanent magnets trap the electrons near the cathode improving the process efficiency. The plasma behavior inside the magnetron is studied in direct and pulsed current as well as the appearance of self-organized structures in rotation around the magnetron axis. To study these devices, several program of numerical simulation have been developed. The Particle-In-Cell methode has been chosen because it takes into account, self-consistently, the space charge of the particules. Several techniques (null collision technique, Monte Carlo Collision, a posteriori Monte Carlo) and improvement (Non uniform mesh, third order charge projection) have been developed and implemented. Moreover, an original method, Pseudo 3D, allowing a three dimensional study of the magnetron, has been used with success. Finally, these programs have been parallelized to reduce the computation time.

Page generated in 0.0602 seconds