Les problèmes de découpe/placement interviennent dans de nombreux domaines industriels tels que le transport, la logistique et la production. Ils apparaissent soit en tant que problème principal, soit en tant que sous-problèmes de problèmes plus complexes. Ce travail s'intéresse à la résolution approchée (heuristique et métaheuristique) de nombreuses variantes du problème de découpe/placement (Cutting & Packing, notée C&P). Le problème de placement de sphères dans un container parallélépipède ouvert représente la première variante du problème traitée dans cette thèse. Le placement de sphères dans un container parallélépipède fermé est la deuxième variante du problème traitée. Finalement, le placement de sphères dans un container sphérique, qui représente la troisième variante abordée dans cette thèse. Pour ces variantes, nous proposons quatre méthodes de résolution. La première méthode s'appuie sur une recherche dichotomique et une recherche arborescente par faisceaux. Le but est de minimiser la longueur du container ouvert tout en plaçant l'ensemble des sphères disponibles.La deuxième méthode peut être vue comme une amélioration de la première méthode pour résoudre la même variante du problème de placement. Elle s'appuie sur la recherche par faisceaux combinée à la recherche dichotomique et une nouvelle estimation de la borne inférieure pour ce problème. En effet, la notion d'estimation a été introduite afin d'explorer efficacement des espaces de recherche dans lesquelles la qualité des solutions est à privilégier. La troisième méthode s'appuie sur la recherche à voisinage large combinée à une méthode d'optimisation continue. Le but, étant de maximiser la densité du placement dans un container fermé. Cette approche démarre d'une configuration quelconque et converge vers une solution réalisable en s'appuyant sur une recherche par voisinage large pour la diversification et en appliquant une méthode d'optimisation continue. Finalement, nous proposons une méthode d'optimisation par essaims articulaires combinée avec une procédure d'optimisation continue pour résoudre le problème de placement de sphères identiques dans un container sphérique fermé ou un container de forme parallélépipède ouvert. La procédure d'optimisation continue est utilisée pour réparer les solutions non réalisables produites lors de la résolution. / Cutting and Packing (C&P) problems are encountered in numerous industrial domains such as transportation, logistics, reliability, and production. They appear either as standalone problems or as subproblems of more complex problems. The goal of the thesis is to investigate the use of heuristics and meta-heuristics for solving variants of cutting and packing problems. Packing spheres into an open container represents the first variant of the problem. Packing spheres into a closed container is the second variant. Finally, packing spheres into a spherical container is the third variant studied in the thesis.These variants are solved by using four solution methods. The first approach is based upon a dichotomous search and a truncated tree search (beam search). The goal is to determine the minimum length of the open container that contains all spheres without overlapping between all items. The second approach can be viewed as a modified version of the first one, for solving the same variant of the problem, where a tree search (beam search) combined with the dichotomous search and the estimate of the lower bound is proposed. Herein, the lower bound is used in order to guide the search process more efficiently where primarily the quality of the solutions is preferred. The third method is based upon the large neighborhood search combined with a continuous optimization algorithm for solving the problem of packing spheres into a close container. Starting from any configuration, the goal of the continuous optimization is to converge to a feasible solution whereas the large neighborhood search offers a diversification of the search space to enable convergence toward the solutions of best qualities. Finally, the particle swarm optimization combined with a continuous optimization algorithm is proposed to tackling the (identical) sphere packing problem into different containers.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Le but de cette thèse est de proposer quelques algorithmes permettant d'analyser la stabilité forte d'une matrice symplectiques. Le premier chapitre rassemble quelques propriétés spectrales des matrices symplectiques et leur lien avec la stabilité forte. En particulier, ce chapitre insiste sur les propriétés les plus importantes du point de vue de la stabilité numérique qui sont utilisées tout au long de la thèse. Dans le deuxième chapitre, on adapte les méthodes de dichotomie spectrale à des matrices symplectiques. Cette adaptation permet de trouver les projecteurs spectraux sur les sous-espaces invariants associés aux valeurs propres dans, sur et en dehors du cercle unité. Puis, on propose un algorithme basé encore sur la dichotomie spectrale afin d'analyser la stabilité forte. Dans le troisième chapitre, on propose un algorithme itératif de trichotomie spectrale permettant de trouver les projecteurs spectraux mentionnés ci-dessus. L'analyse théorique clarifie la convergence et donne la vitesse de convergence de cet algorithme. Ce chapitre se termine par une comparaison, en termes de précision et de coût de calcul, entre cette approche et celle du chapitre 2.

Vít Neznal’s PhD thesis begins by defining theatre as a specific sphere of media. According to the author, such notion is made possible by following up to the tradition of Czech theatre theory (immediacy as a specific feature of the medium, a synthetic basis, a non-substantial conception of a work, acting as a decisive art, a total three-dimensional feedback-based communication with cardinal impact on the specific nature of stage acting, and an active position of the spectator). On this basis, Neznal proceeds to explain why there is no justifiable reason for theatre theory to abolish the dichotomy between art and reality. His premise is that while theatre is rooted in life, it is at the same time automatically and irreversibly taken out of it as a medium. As a result, there is, from the point of view of theatre theory, a difference between an intensified “life” entering the stage and becoming the basis of expression (intensification of “life” is the basis of means of expression and is therefore made intentional) and between its integration with other pillars forming the constitutive basis of a theatre act as such on the actual level of media (the artificial pervaded by “life”).

Soit F une famille de sous-ensembles d'un espace polonais X. Soient A et B deux sous-ensembles de X. A est séparable de B par un ensemble de F s'il existe C dans F qui contient A et n'intersecte pas B. Lorsque A et B sont des sous-ensembles analytiques et F est une classe de Wadge de boréliens, la non séparabilité de A et B a été caractérisée par Louveau et Saint Raymond. Ils ont fourni un exemple minimum, pour un certain quasi-ordre, ce qui est connu sous le nom de dichotomie à la Hurewicz. Dans les espaces polonais produit, de nouvelles familles naturelles d'ensembles apparaissent. Un exemple, qui est lié à l'étude des graphes définissables, est la classe des produits de deux ensembles dans deux classes Borel F et F'. On caractérise separabilité des ensembles analytiques, lorsque F et F' sont des classes de Borel de petit rang. Une autre classe naturelle est celle des boréliens qui sont dans une certaine classe F si on affine les topologies originales en d'autres topologies polonaises. Nous appelons ces ensembles potentiellement dans F. Lecomte a caractérisé la séparabilité des ensembles analytiques par des ensembles potentiellement dans F, lorsque F est une classe de Wadge de boréliens. Une question naturelle est de se demander si nous pouvons avoir cette dichotomie pour un quasi-ordre plus fin qui utilise des fonctions injectives. Dans la deuxième partie du manuscrit, on caractérise la separabilité pour ce quasi-ordre lorsque A, B sont des ensembles analytiques et F est la classe des ensembles potentiellement dans C. Des hypothèses plus fortes sont nécessaires, de sorte que nous développons une notion qui généralise à la fois l'acyclicité et la locale dénombrabilité. / Let F be a family of subsets of a Polish space X. Given two subsets A and B of X, one says that A is separable from B by a set in F if there is C in F which contains A and does not intersect B. When A and B are analytic subsets and F is a Wadge class of Borel sets, the non separability of A and B was characterized by Louveau and Saint Raymond. They provided a minimum example, for some quasi-order, in what is known as a Hurewicz dichotomy. If we consider the product of two Polish spaces, new natural families of sets (and thus new separation problems) arise. An example, that is related to the study of definable graphs, is the class of products of sets in two Borel classes F and F'. We obtain a characterization of the separability when F and F' are Borel classes of low rank. Another natural class is the class of Borel sets which are in a certain class F if one refines the original topologies into other Polish topologies. We call these sets potentially in F. A dichotomy characterizing separability of analytic sets by sets potentially in F was proved by Lecomte when F is any Wadge class of Borel sets. However, a natural question is to ask whether we can have this dichotomy for a finer quasi-order, involving injective functions. In the second part of the manuscript, we give a characterization involving this other quasi-order when A,B are analytic sets and F is the class of sets potentially in C. Stronger hypothesis are needed, so we develop a notion that generalizes both acyclicity and local countability.

The diploma thesis folows up the analysis of the language of spanish speaking adolescents acros online discussion forums. The theoretic section mainly pursues the issues of the oral/written and colloquial/formal dichotomies which takes an important part in the resultant form of the language used on the internet. It also describes the general features of language, used on the internet, focusing spanish and adolescent users. The practical section analyses the graphic, morphosyntactical, semantic and pragmatic level of the language sample found on the internet discussion forums.

We consider a version of the pole placement problem for tempered one sided linear discrete time time varying linear systems. We prove a sufficient condition for assignability of the nonuniform dichotomy spectrum by linear feedback. The main result is that the nonuniform dichotomy spectrum is assignable if the system is completely controllable and certain lower asymptotic bound for the controllability Gramian holds.

The diploma thesis deals with topic of political-administrative relations in Czech Republic only a little elaborated. The main aim of the thesis is to understand and find characteristic features of political-administrative relations in the region with the smallest and largest fluctuation of the regional political leader in Czech Republic. The work in research exploits the information from the previous knowledge and the already established theory of politico-administrative relations, which are significantly differentiated and varied and also offers data from its own empirical research carried out at the regional offices. After the theories of J. D. Aberbach et al., F. Schreues et al., G. Peters and especially the main theory of P. E. Mouritzen and J. H. Svara are presented, the author presents the findings of the qualitative research in the last chapter and tries to include them into these theories and typologies, and to specify the nature of the relations examined at the regional level and to draw attention to their possible influences and consequences on the functioning of regional polity.

Actuellement, Mars n'a pas de champ magnétique global comme la Terre mais les traces d'aimantations rémanentes dans la croûte Martienne, révélées par Mars Global Surveyor dès 1998, montrent qu'un champ magnétique était présent dans le passé, et que celui-ci a disparu il y a environ 4 milliards d'années. Cependant, les travaux de Lillis et al. (2006) suggèrent que la dynamo dans le noyau, qui permet la présence d'un tel champ magnétique, a pu connaître un second épisode d'activité pendant une brève période, quelques centaines de millions d'années après la disparition du champ magnétique initial. C'est la compréhension des conditions de disparition et éventuellement de réapparition du champ magnétique qui a motivé mon travail de thèse. La présence d'un champ magnétique est liée à l'activité du noyau de la planète, et au transfert de la chaleur dans le manteau. C'est pourquoi ma thèse concerne l'étude de la dynamique interne, à l'aide du code de simulations numériques CITCOM2D. Ce code, initialement conçu pour l'étude du manteau terrestre, a été modifié et adapté pour le cas Martien, notamment pour prendre en compte le refroidissement du noyau et la présence de transitions de phase haute pression des silicates. La transition de phase endothermique spinelle-perovskite, tend à inhiber la convection. Sa profondeur peut augmenter avec le refroidissement du noyau, jusqu'à ce que la transition disparaisse et libère rapidement la chaleur, entraînant éventuellement une réactivation de la dynamo du noyau. Les incertitudes sur la taille du noyau de la planète, mais aussi la composition du manteau, m'ont amené à étudier la dynamique interne à l'aide de plusieurs modèles. Les résultats montrent qu'une réactivation du noyau est possible, mais qu'elle n'est pas liée à la présence d'une couche de perovskite proche du noyau. En effet, un manteau initialement froid et non convectif, ainsi qu'une viscosité peu dépendante de la température, permettent d'obtenir une réactivation du noyau vers 1 milliard d'années, lorsque la convection démarre dans le manteau. Dans des conditions de températures plus élevées, cette réactivation n'est pas possible car la convection démarre très vite. Cependant la transition spinelle-perovskite a des effets non négligeables puisqu'elle tend à réchauffer le noyau et le manteau. De plus, dans ces conditions, l'ajout d'un saut de viscosité entraîne rapidement une situation instable et un phénomène d'avalanche où un panache chaud ascendant se forme et permet au noyau de refroidir efficacement. En conclusion, les conditions initiales de température et la loi de viscosité s'avèrent des paramètres capitaux quant à l'évolution thermique de la planète.

[pt] Ao longo da história da Teologia as concepções escatológicas se sucederam. No entanto, na maioria das vezes, não souberam harmonizar perfeitamente a relação história e eternidade. Na atualidade, apesar do interesse que a escatologia desperta, as novas concepções desenvolvidas não têm contribuído satisfatoriamente para a resolução da requerida ruptura. A análise do conceito de história de Santo Agostinho subjacente em sua magnífica obra, A Cidade de Deus tem como objetivo a superação desta dicotomia. Se corretamente compreendidas as concepções do nosso doutor podem prestar uma valiosa contribuição para um perfeito entendimento da relação história e eternidade. Para o hiponense, a providência Divina tudo abrange e encontra na encarnação do Verbo sua máxima manifestação. A missão de Cristo é continuada na Igreja, a qual, institucionalmente, reúne em seu seio justos e pecadores, mas que espiritualmente é a comunidade dos justos que peregrinam neste mundo e constitui a comunhão dos predestinados. Agostinho simultaneamente distingue e une tempo e eternidade. Os mortos pertencem ainda ao tempo, o que favorece o entendimento da intercessão dos santos, a oração fúnebre e a comunhão entre a Igreja peregrina, padecente e triunfante. Como marca da simultânea distinção e união agostiniana entre tempo e eternidade tem-se a ressurreição dos corpos, o evento genuinamente escatológico, que está reservado ao fim dos tempos e ao início da eternidade. / [de] Im Laufe der theologischen Geschichte gab es immer wieder neue kartelogische Anschauungen. Meisten konnten diese jedoch nicht den Zusammenhang zwischen Geschichte und Ewigkeit harmonisieren. Diese zwei Realitäten (Geschichte und Ewigkeit) wurden fast immer in einer dikotomischen Form behandelt. Die Betonung der einen Form bedeutet jedoch praktisch die Verneinung der anderen. In unserer Epoche, die von vielen Denkern als postmoderne bezeichnet wird, obwohl die Kartelogie Interesse hervorruft, bringt die Theologen dazu, zu versichern, dass wir eine kartelogische Gärung erleben, denn die Verwechslung und das Schweigen bezüglich dieses Themas (kartelogisch) im seelsorgerischen Bereich sind alarmierend. Die neuen Auffassungen im akademisch-theologischen Bereich tragen nichts zur Resolution dieser Trennung bei. Durch die Herausforderung zur Überwindung der Dikotomie, die die eigentliche Kartelogie verneint und mit Hilfe der Theologie wird die Auffassung hinsichtlich der zugrundeliegenden Geschichte vom Heiligen Agustin analisiert und interpretiert, welche die Zeit und die Ewigkeit vereinigt, wodurch beide Realitäten aufgewertet werden. Wir sind in der Zeit und selbst die Toten gehören noch zu dieser Zeit, was das Verständnis der Fürsprache durch die Heiligen und der Gebete für die Toten begünstigt. Die Kommunion zwischen der pilgernden, duldenden und triumphierenden Kirche, denn alle sind noch immer ein Teil der Zeit. Doch die Zeit wird von der Ewigkeit fundamentiert und durchzogen und das ist ihr Ziel. Als Markierung der gleichzeitigen Unterscheidung und der augustinischen Vereinigung zwischen Zeit und Ewigkeit haben wir die Auferstehung der Körper, ein echtes kartelogisches Ereignis, eine Reserve für die Beendigung der Zeit und für den Beginn der Ewigkeit. Wenn jedoch die Auferstehung der Körper den Beginn der Ewigkeit markiert haben wir von ihr bereits eine Probe erhalten: die Auferstehung Jesus.