No description available.

Cette thèse a pour but de présenter les travaux liés à l'étude numérique des écoulements critiques diphasiques dans la tuyère primaire d'un éjecteur utilisé pour améliorer le rendement d'un cycle de réfrigération. En premier lieu, les bases d'un modèle d'écoulement multiphasique ainsi que les termes de source associés sont présentés. Les développements entourant les points singuliers ainsi que les conditions critiques sont également présentés. Deux schémas numériques unidimensionnels sont proposés pour l'étude d'un écoulement critique diphasique particulaire. Les comparaisons des flux massiques critiques ainsi que des profils de pression numériques et expérimentaux montrent que le modèle représente bien l'évolution de l'écoulement diphasique. L'existence d'un point critique situé à un endroit différent du col géométrique a été vérifiée. L'étude numérique présente également une validation des conditions critiques utilisées ainsi que les effets des déséquilibres sur la position du point critique et sur l'écoulement. Des travaux supplémentaires sont cependant requis pour mieux comprendre le phénomène entourant les chocs en écoulements diphasiques et pour accroître la plage de taux de vide couverte par les schémas numériques.

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

Ces dernières années, le monde des systèmes critiques a connu un véritable essor en matière de demande de logiciels. Dans une optique majeure de réduction des coûts de développement, les grands acteurs du monde critique comme ceux de l’avionique et de l’automobile s’orientent de plus en plus vers l’ingénierie dirigée par les modèles. Par contre les acteurs du domaine ferroviaire, pour des raisons stratégiques et organisationnelles restent encore fidèles à des méthodes conventionnelles qui leur permettent de tirer au maximum profit de leurs compétences. Cependant, ces approches conventionnelles souffrent d’un manque d’abstraction pour la traçabilité des préoccupations et la vérification formelle, qui sont fortement recommandées dans le développement des logiciels critiques dans le domaine ferroviaire. Pour faire face à ces limitations, nous présentons dans cette thèse une approche systématique basée sur l’ingénierie dirigée par les modèles à base de composants, de façon à maîtriser au mieux la complexité des logiciels et la traçabilité des préoccupations. Nous proposons notamment trois contributions essentielles. En premier lieu, nous fournissons un ensemble uniformisé de méta-modèles permettant de décrire les préoccupations des exigences logicielles, les composants logiciels, et la traçabilité entre les préoccupations et ces composants logiciels. Avec la deuxième contribution, nous proposons un support formel de notre modèle pour en permettre la vérification formelle. Finalement, la dernière contribution propose une approche de développement et de vérification à base de composants logiciels, nommée SARA pour "SAfety-critical RAilway control applications". Nous avons validé notre approche avec quelques cas d’études du nouveau système européen de contrôle de train, ERTMS/ETCS. / In recent years, the development of critical systems demands more and more software. In order to reduce their costs of development and verification, actors in critical domains, such as avionics and automotive domains, are moving more and more towards model-driven engineering. In contrast, in the railway domain, for strategic and organizational reasons, actors remain faithful to traditional methods that allow them to take advantage of their knowledge. However, these conventional approaches suffer from a lack of abstraction and do not provide supports for traceability of concerns and formal verification, which are highly recommended for the development of railway safety-critical software. To address these shortcomings, we present in this thesis a systematic approach based on model driven engineering and component-based model, in order to better manage software complexity and traceability of concerns. In this dissertation, we provide in particular three major contributions. First, we provide an integrated set of meta-models for describing the concerns of software requirements, software components, and traceability between the concerns and software components. With the second contribution, we propose a formal support of our model to allow formal verification of temporal properties. Finally, with the last contribution, we propose a software component-based development and verification approach, called SARA, and included in V-lifecycle widely used in the railway domain. Experiments we conducted to validate our approach through a few case studies of the new European train control system ERTMS/ETCS, show that by using component model that explicitly include requirement traceability, we are able to provide a practical, scalable and reliable approach.

Friedrich Nietzsche witnessed the development of the modern state first-hand, and perceptively identified many of its major features. His analysis of modern politics was initially marked by a qualified sympathy, or at least thoughtful acquiescence. Nevertheless, in later writings Nietzsche became a virulent critic of the modern world, sketching out a radically anti-modern political counter-project. Nietzsche’s political thought is therefore relevant to both those who want to better understand the foundations and leading characteristics of modern politics, and to those who want to explore influential criticisms of it. At the same time, it presents a substantial interpretive dilemma, since it is not clear how these two poles of Nietzsche’s thought can be squared. Indeed, most readers have tended to approach them in isolation from one another, either focusing on the radical project of Nietzsche’s late writings, or looking to his “middle period” as a welcome-but-discrete alternative. In this dissertation I argue that these two poles of Nietzsche’s thought are more closely linked than most readers have realized. Drawing on the extensive autobiographical self-assessments that Nietzsche published during his last two productive years, I show that he shows that he helps readers to see how a critical dialogue between the more moderate and the more radical aspects of his thought can be established – and, moreover, that Nietzsche himself subtly engaged in just such a dialogue throughout his career. The result is a picture of Nietzsche’s thought that is more nuanced and self-conscious in both its criticism and its endorsement of modern politics than has been generally appreciated. Moreover, using Nietzsche’s autobiographical self-accounts to negotiate the tensions in his writings sheds light on the precise motivation lying behind his political ambitions, and thereby also helps to sketch out the lines of defense that are required against the sort of anti-modern politics that Nietzsche pioneered. / text

Akademisk avhandling--humanistiska fakulteten--Åbo, 1988. / Résumé en allemand.

La Stratoconception est un procédé de prototypage rapide permettant de fabriquer directement par couches une pièce créée par CAO. Ce procédé consiste à trancher une pièce en un ensemble de couches élémentaires simples, appelées strates, dans lesquelles sont introduits des renforts et inserts. Les pièces élémentaires sont identifiées puis fabriquées directement par micro-fraisage rapide, à partir de matériaux en plaques. Ces pièces élémentaires sont ensuite assemblées pour reconstituer le produit final. La notion de décomposition de modèle numérique en entités donne encore lieu à de nombreux développements et travaux. A l’origine, les entités de décomposition correspondaient à des entités élémentaires d’usinage (plan, cylindre, balayage…). Aujourd’hui, les travaux portant sur la décomposition de modèles sont surtout appliqués dans les domaines de l'imagerie, de la reconnaissance de similarités et de la réation de nouveaux modèles à partir de mode`les existants. Lorsqu’on applique la notion de décomposition à la Stratoconception, il apparaît que celle-ci n’est pas unique et qu’il est possible de définir trois types de décompositions adaptées à des problématiques bien distinctes : décomposition en strates, en morceaux et en entités. Chacune de ces décompositions résout des problèmes d'accessibilté, de réduction de dimensions de modèles et d'optimisation de vitesse de réalisation. Nous avons plus particulièrement travaillé sur l'optimisation du tranchage par l'utilisation de points caractéristiques et sur l'utilisation de la ligne de reflet pour la décomposition de formes tubulaires. Nous avons également étudié un algorithme de décomposition en entités convexes approchées. / Stratoconception is a rapid prototyping process. It allows the direct manufacturing of a CAD model, layer after layer. This process consists in breaking the part down, by computing, into a set of straightforward elementary layers called stratum, in which stiffeners and strengthening plugs are inserted. The elementary parts are identified and then directly manufactured by rapid milling from sheet material. These elementary parts are the fitted together and imbricated in order to rebuild the final part. A lot of work was published about decomposition of model. At the beginning, the entities were used in the context of machining (of plane, cylinder,...). Nowadays, the decomposition is applied in the field of multimedia vizualisation, similarities recognition or conception of new models by using atabase of existing models. In Stratoconception, we identify three types of decomposition, each of one responding to specific problem : decomposition in strata, pieces of strata and entities. Each of these decomposition solves accessibility, reduction of model's size and speed up of manufacturing time problems. We work more specifically on the optimization of slicing procedure by using critical points ans on the manufacturing of tubular models by using parting line. We also study the decompposition of model into nearly convex entities.

Texte remanié de: Proefschrift--Amsterdam--Vrije universiteit, 2004. / Bibliogr. p. 527-541.

Diss.--Philos. Fakultät--Universität Freiburg (Schweiz), 1989. / Bibliogr. p. 11-32. Index.

Inaug-Diss. : Literaturwissenschaft : Aachen : 1979. / Bibliogr. p. 200-249. Index.