Cette thèse présente un système de types pour le langage Prolog, intégrant la notion de mode, c'est-à-dire le degré d'instanciation des termes. Le type d'un prédicat est caractérisé par les types d'appel et de retour de ses arguments, ce qui permet d'en spécifier plus finement le comportement. Le système est déclaratif : l'utilisateur doit fournir les types de tous les prédicats. Un langage de types est défini, permettant d'exprimer la notion de polymorphisme paramétrique, ainsi que la relation d'inclusion entre types. Une condition suffisante de bon typage est présentée et validée théoriquement. Cette condition permet de vérifier qu'un programme a un comportement compatible avec les spécifications de types de ses prédicats. Un prototype du système a été réalisé, permettant une validation pratique de la condition de bon typage.

L'introduction de l'analyse modale dans le cadre de structures mécaniques non-linéaires semble paradoxale, car le domaine d'application des nombreuses méthodes regroupées sous ce terme, est limité aux systèmes qui peuvent être considérés comme linéaires. Cependant, l'obtention de bases modales par ces méthodes très répandues, est d'une très grande utilité dans le domaine de l'ingénierie à plusieurs égards : caractérisation dynamique des structures, prédiction des réponses, sous-structuration, recalage de modèles... La notion de mode de vibration a été étendue, dans les années 1960, à une certaine classe de systèmes non-linéaires. Les modes des systèmes linéaires sont alors un cas particulier des modes normaux non-linéaires définis comme des mouvements possédant des propriétés particulières et dont l'existence a été démontrée. Depuis, de nombreux développements, le plus souvent analytiques, ont été effectués dans l'étude des systèmes dynamiques à l'aide des modes normaux non-linéaires. Les structures réelles exhibent souvent des comportements non-linéaires et peuvent donc poser certains problèmes de modélisation et d'analyse. Il nous a semblé opportun de rechercher l'intérêt, les possibilités d'application et l'efficacité de méthodes basées sur des notions modales étendues au cas non-linéaire dans un contexte expérimental et industriel. Dans le cadre de ce travail, des méthodes de calcul des modes non-linéaires sont évaluées sur des modèles numériques de structures. Des techniques d'identification des modes non-linéaires dans le domaine fréquentiel sont proposées, appliquées à des cas expérimentaux puis industriels, sur lesquels auront été effectués des tests vibratoires adéquats. Nous montrons quelques possibilités dans le domaine de l'analyse expérimentale des structures vibrantes basée sur des notions modales non-linéaires.

<p>Under de senaste årtionden har Ryssland genomgått en rad reformer som har bidragit till att landet har gjort enorma ekonomiska framsteg. Den stora marknaden med hög vinstpotential lockar många utländska investerare. Syftet med denna studie är därmed att undersöka Swedbanks och Handelsbankens etableringsprocess på den ryska marknaden. Mer specifikt har en rad faktorer, motiv och val av strategi studerats som har kunnat påverka bankernas etablering i Ryssland.</p><p>Utifrån en rad teoretiska forskningsstudier har en sammanfattande modell utvecklats. För att därefter få svar på syftets frågor och testa teorin har en kvalitativ undersökning genomförts i form av intervjuer med två respondenter: en från ZAO Svenska Handelsbanken i Ryssland och en från Swedbank.</p><p>Uppsatsens slutsatser påvisar att bankernas historiska erfarenhet har varit den främsta faktorn som underlättat etableringen medan regleringar har utgjort ett hinder. Det främsta motivet för bankernas etablering i Ryssland var kunder som redan hade etablerat sig i landet och som efterfrågade bankernas internationella tjänster. För att kunna bedriva fullständig bankverksamhet var bankerna tvungna att öppna dotterbolag med tanke på den rådande lagstiftningen.</p>

The focus of this research is characterizing a new material system composed of carbon and graphite foams, which has potential in a wide variety of applications encompassing aerospace, military, offshore, power production and other commercial industries. The benefits of this new material include low cost, light weight, fire-resistance, good energy absorption, and thermal insulation or conduction as desired. The objective of this research is to explore the bulk material properties and failure modes of the carbon foam through experimental and computational analysis in order to provide a better understanding and assessment of the material for successful design in future applications. Experiments are conducted according to ASTM standards to determine the mechanical properties and failure modes of the carbon foam. Sandwich beams composed of open cell carbon foam cores and carbon-epoxy laminate face sheets are tested in the flexure condition using a four point setup. The primary failure mode is shear cracks developing in the carbon foam core at a critical axial strain value of 2,262 με. In addition to flexure, the carbon foam is loaded under tensile and shear loads to determine the respective material moduli. Computational analysis is undertaken to further investigate the carbon foam's failure modes and material characteristics in the sandwich beam configuration. Initial estimates are found using classical laminated plate theory and a linear finite element model. Poor results were obtained due to violation of assumptions used in both cases. Thus, an additional computational analysis incorporating three dimensional strain-displacement relationships into the finite element analysis is used. Also, a failure behavior pattern for the carbon foam core is included to simulate the unique failure progression of the carbon foam on a microstructure level. Results indicate that displacements, strains and stresses from the flexure experiments are closely predicted by this two parameter progressive damage model. The final computational model consisted of a bond line (interface) study to determine the source of the damage initiation, and it is concluded that damage initiates in the carbon foam, not at the bond line.

Lorsquil recourt à la technique de lhomologation en matière contractuelle, le législateur permet ou impose aux parties quaucun litige noppose (plus), de soumettre leur convention au contrôle dun juge. Bien que la décision que le juge rend à lissue de ce contrôle soit susceptible de modifier le rapport contractuel de base, le législateur na pas défini le régime et les effets de lhomologation. Lauteur tente de mettre au jour le corps des règles communes aux différentes homologations de contrats et de préciser, eu égard à ces règles, lincidence de lintervention judiciaire sur les relations des parties entre elles et vis-à-vis des tiers. Dans la première partie de létude, est développé le contexte dans lequel sinscrit lhomologation judiciaire des conventions. Cette partie est axée sur les deux aspects que comporte ce contexte; le premier titre est consacré au rôle du juge face au litige et le second au rôle du juge face au contrat. La seconde partie de létude contient les développements propres à la théorie de lhomologation judiciaire des conventions. Pour construire cette théorie, lauteur est amené à conjuguer la nature contractuelle de la convention soumise à homologation et la nature judiciaire de cette dernière. En définitive, il sagit de répondre à la question qui sous-tend le concept : lhomologation transmue-t-elle la convention qui lui est soumise ? Par lélaboration de la théorie générale, lauteur a cherché à faciliter la tâche des magistrats appelés, dans nombre dhypothèses, à homologuer des conventions, comme à éclairer les praticiens, sur les effets de lhomologation judiciaire des conventions.

No description available.

Under de senaste årtionden har Ryssland genomgått en rad reformer som har bidragit till att landet har gjort enorma ekonomiska framsteg. Den stora marknaden med hög vinstpotential lockar många utländska investerare. Syftet med denna studie är därmed att undersöka Swedbanks och Handelsbankens etableringsprocess på den ryska marknaden. Mer specifikt har en rad faktorer, motiv och val av strategi studerats som har kunnat påverka bankernas etablering i Ryssland. Utifrån en rad teoretiska forskningsstudier har en sammanfattande modell utvecklats. För att därefter få svar på syftets frågor och testa teorin har en kvalitativ undersökning genomförts i form av intervjuer med två respondenter: en från ZAO Svenska Handelsbanken i Ryssland och en från Swedbank. Uppsatsens slutsatser påvisar att bankernas historiska erfarenhet har varit den främsta faktorn som underlättat etableringen medan regleringar har utgjort ett hinder. Det främsta motivet för bankernas etablering i Ryssland var kunder som redan hade etablerat sig i landet och som efterfrågade bankernas internationella tjänster. För att kunna bedriva fullständig bankverksamhet var bankerna tvungna att öppna dotterbolag med tanke på den rådande lagstiftningen.

Perception is a fundamental function because it allows organisms to be in contact with the environment and adjust to environmental conditions. Humans also possess higher intellectual functions, which allow for elaborate handling of perceptually obtained information. The thesis concerns a distinction between an inferential ("cognitive") mode and a (direct-)perceptual mode of apprehension, and a notion of perceptual skill acquisition as a transition from the inferential to the perceptual mode. The mode distinction and the mode-transition model was formulated by Runeson, Juslin, and Olsson (2000) within the ecological direct-perception framework (Gibson, 1966, 1979). The modes of apprehension were investigated in an experimental paradigm that concerned visual perception of the relative mass of two colliding objects. The relative mass is specified by an optical variable in the collision movement pattern, which observers may pick up while functioning in the perceptual mode. However, novices often rely on other, nonspecifying, optical variables that may constitute cues that are used in the inferential mode (Runeson et al., 2000). Four tentative mode indicators were employed: participants' realism of confidence, introspective mode reports, amplitudes of brain event-related potentials, and response times. Generally, the results did not support the mode-transition model of skill acquisition. Furthermore, results suggested that reliance both on the specifying and nonspecifying variables might have occurred either in the inferential or in the perceptual mode. However, the mode indicators may not have captured mode as intended. For instance, the discriminability of used optical variables, and not the mode of apprehension, may have affected both amplitudes of event-related potentials and mode reports. It is argued that the mode-transition model and the distinction between two modes of apprehension should be further investigated employing other methodologies, and, furthermore, that the mode distinction has a place within an ecological framework.

The orbit of Phobos exhibits an along-track acceleration, which suggests energy dissipation in the Mars-Phobos system. We hypothesize that the inferred dissipation occurs within Mars. We explore the response of a layered, incompressible Maxwell viscoelastic Mars to tidal forcing by Phobos using normal mode relaxation theory. Our results elucidate the general behavior of a tidally forced viscoelastic body, and have implications for the viscoelastic structure of Mars. We find the real and imaginary part of the degree-two tidal Love number for Mars to be 0.168 and -9.32x10^−4 respectively. Models which satisfy these and other constraints have either: a fluid core with radius 2040 km and density 5410 kg/m^3; or an elastic inner core with radius 1200 km and density 6700 kg/m^3, along with a fluid outer core with thickness 850 km and density 4850 kg/m^3. These findings support previous hypotheses that Mars has at least a fluid outer core.

The orbit of Phobos exhibits an along-track acceleration, which suggests energy dissipation in the Mars-Phobos system. We hypothesize that the inferred dissipation occurs within Mars. We explore the response of a layered, incompressible Maxwell viscoelastic Mars to tidal forcing by Phobos using normal mode relaxation theory. Our results elucidate the general behavior of a tidally forced viscoelastic body, and have implications for the viscoelastic structure of Mars. We find the real and imaginary part of the degree-two tidal Love number for Mars to be 0.168 and -9.32x10^−4 respectively. Models which satisfy these and other constraints have either: a fluid core with radius 2040 km and density 5410 kg/m^3; or an elastic inner core with radius 1200 km and density 6700 kg/m^3, along with a fluid outer core with thickness 850 km and density 4850 kg/m^3. These findings support previous hypotheses that Mars has at least a fluid outer core.