Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

No description available.

本文主旨是在使用有限元素法（包括第一、第二、第三限元素法）對一個燃燒熱能模型之邊界值微分方程式，求其數值近似。 　　首先，由這些方法可到一些聯立方程式。其次，對各種有限元素法分別去分析它們解的存在性和誤差估計。最後，舉一個實例來討論其解的變化情形並圖示它們。 　　換句話說，從本文所得到的方程組或圖形，將可求得此微分方程式的解與個數。 / The main topic of this paper is to usee the finite element methods (contain F.E.1, F.E.2, and F.E.3) to find the numerical approximation of a model for thermal ignition. First, we obtain a system of equations for those methods. And then, we analyse the existence and the error estimate of solutions with each method. At last, we give an example to discuss those results and graph them. In a word, from those equations or graphs which are given in this paper, we will get the numerical solution and the number of solutions.

On s'intéresse dans ce travail à différents modèles de transfert radiatif, décrivant les interactions entre la matière et les photons. Les radiations sont décrites en termes d'énergie et flux d'énergie, dans le cas macroscopique, le flfluide environnant est quant à lui décrit par les équations d'Euler (modèle d'hydrodynamique radiative). Dans le cas microscopique, le champ radiatif est vu comme une collection des photons interagissant avec la matière par des mécanismes d'absorption-émission. Ces mécanismes dépendent des états d'excitation interne et d'ionisation de la matière. On commence par monter l'existence locale de solutions régulières pour un système couplant les équations d'Euler et l'équation du transfert radiatif. Ce système est obtenu à partir du bilan d'énergie et d'impulsion totale. Puis on fait une discussion asymptotique pour ce modèle dans le régime hors équilibre et on obtient un système simple couplant les équations d'Euler et une équation elliptique. On montre l'existence des profifils de choc (réguliers) pour ce système, et la régularité de ces profils en fonction de l'amplitude du choc. Puis on étudie la stabilité asymptotique de ces profifils. Enfifin, on présente une étude d'un système décrivant le champ radiatif et les états internes de la matière. On montre l'existence de solutions pour ce système et on établit rigoureusement la convergence vers l'équilibre statistique. Les résultats théoriques sont illustrés par des simulations numériques.

L'objet de cette thèse est l'étude de quelques propriétés de l'équation d'évolution de Schrödinger. Dans un premier temps, on s'intéresse à un problème inverse concernant cette équation posée en domaine borné, avec potentiel, lequel dépend uniquement de la variable d'espace, et donnée de Dirichlet sur le bord. On démontre, à l'aide d'une inégalité de Carleman, que le problème inverse de la détermination du potentiel à partir de la mesure du flux de la solution à travers une partie du bord est un problème bien posé. Dans un deuxième temps, il est question de l'équation de Schrödinger considérée dans $\mathbb R^3$ avec un potentiel coulombien, localement singulier, et un potentiel électrique non borné, tous deux dépendant des variables d'espace et de temps. On montre successivement l'existence d'une unique solution régulière pour l'équation linéaire et pour l'équation avec non-linéarité de Hartree. Ce sont des étapes préliminaires à l'étude d'un système couplant à travers le potentiel coulombien, cette équation de Hartree-Fock et une équation issue de la dynamique newtonienne. Les résultats obtenus ici sont indispensables à l'étude finale des problèmes de contrôle optimal bilinéaire posés à partir de ces différentes équation, le contrôle de la solution étant effectué par le potentiel électrique. On démontre l'existence d'un contrôle optimal et on donne la condition d'optimalité correspondante dans les cas appropriés\vspace(0,5cm)

Ce travail de thèse est consacré à l'étude d'un modèle viscoélastique avec des contraintes unilatérales, modélisé comme un matériau de Kelvin-Voigt. Le chapitre un est consacré au cas monodimensionnel: on approche la solution du problème par pénalisation, ce qui conduit à un théorème d'existence d'une solution faible. Un résultat de régularité des traces permet de montrer que la solution est forte. Le chapitre deux comporte un schéma numérique dont on montre la convergence vers une solution faible. Les chapitres trois et quatre permettent de construire une solution forte dans un milieu monodimensionnel semi-infini, pour laquelle on sait établir un bilan d'énergie: les pertes sont purement visqueuses. Le problème est réduit à une inégalité variationnelle au bord faisant intervenir un opérateur pseudodifférentiel dont le terme principal est une dérivation d'ordre 3/2. Les chapitres cinq et six comportent des théorèmes de trace pour une équation des ondes amorties et pour un opérateur de viscoélasticité dans un demi-espace, avec application aux solutions fortes.

Dans cette thèse, nous considérons des problèmes instationnaires en interaction fluide-structure. Nous nous plaçons en outre dans un cadre bidimensionnel. Dans un premier temps, nous nous attachons à étudier l'existence et l'unicité de solutions pour un problème d'élasticité en grands déplacements et petites perturbations. Nous introduisons ensuite ce modèle de structure dans un système de couplage avec un fluide visqueux: nous montrons l'existence de solutions pour ce problème. Par ailleurs, nous considérons des problèmes d'interaction fluide-structure en vue d'applications numériques. Ce travail est motivé par les écoulements sanguins dans un ventricule cardiaque artificiel. Nous effectuons deux approches distinctes: l'une à l'aide d'une méthode ALE simplifiée, et l'autre en utilisant la méthode de la frontière immergée. Concernant ce dernier point, nous abordons un problème de contrôle optimal par feedback.

Nous nous intéressons dans cette thèse à l'étude de systèmes couplés fluide-structure. Ces systèmes peuvent modéliser l'écoulement du sang dans un vaisseau large. La vitesse et la pression du sang sont alors décrites par les équations de Navier-Stokes incompressibles et le déplacement de la partie mobile de la frontière vérifie une équation des poutres/ plaques (selon la dimension du modèle). Dans la première partie, nous montrons l'existence de solutions fortes à deux systèmes (correspondant à un paramètre nul ou non) en deux ou trois dimensions. Plus précisément, nous prouvons l'alternative suivante. Nous avons soit l'existence globale pour des conditions initiales petites, soit l'existence locale pour des conditions initiales quelconques. Dans une seconde partie, nous étudions d'une part la contrôlabilité à zéro d'un système couplant les équations de Navier-Stokes à une équation différentielle ordinaire pour des conditions initiales petites en deux dimensions. D'autre part, nous montrons la stabilisation (pour tout taux de décroissance) d'un système couplant les équations de Navier-Stokes et deux équations des plaques par deux contrôles dans le cadre périodique pour des conditions initiales petites. Dans ce cas, les contrôles sont de dimension finie.

Cette thèse est consacrée à l'étude des équations des fluides de grade deux. Lorsque le coefficient matériel $\alpha$ est petit, ces équations peuvent etre considérées comme une perturbation singulière des équations de Navier-Stokes puisqu'elles font intervenir un terme de dérivée d'ordre trois. Dans une première partie, on considère les équations des fluides de grade deux en rotation rapide dans un tore tridimensionnel. On démontre deux résultats d'existence globale de solutions fortes . Dans le premier, on suppose que le coefficient matériel $\alpha$ est arbitraire et que les troisièmes composantes des moyennes verticales de la donnée initiale et du terme de force sont petites par rapport aux composantes horizontales. Dans le deuxième cas, on ne restreint pas la taille de la donnée initiale et du terme de force, mais on suppose que $\alpha$ est assez petit. Dans ces deux cas, on montre que le système des fluides de grade deux en rotation rapide converge vers un système limite couplé, composé d'un système linéaire et d'un système de fluides de grade deux à deux variables, mais à trois composantes. Une partie essentielle du travail consiste à démontrer l'existence globale des solutions de ce système limite à trois composantes. Dans la deuxième partie, on étudie le comportement asymptotique en temps grand du système des fluides de grade deux dans l'espace $\mathbb{R}^2$. En introduisant des changements de variables d'échelle et en écrivant des estimations d'énergie dans des espaces de Sobolev à poids polynomiaux, on démontre que, sous une condition de petitesse sur la donnée initiale, les solutions des fluides de grade deux convergent vers le tourbillon d'Oseen. On donne aussi une estimation du taux de convergence. La dernière partie de cette thèse porte sur la comparaison de la dynamique des équations des fluides de grade deux avec celle des équations de Navier-Stokes en dimension deux d'espace. On montre que, si $z_0$ est un point d'équilibre hyperbolique des équations de Navier-Stokes, le système des fluides de grade deux admet un unique point d'équilibre $z_{\alpha}$ dans un certain voisinage de $z_0$, si $\alpha$ est assez petit. Ensuite, on construit la variété locale instable de $z_{\alpha}$ et on la compare à celle de $z_0$.

<p>Sammanfattning</p><p>Både grundskolans och gymnasieskolans kursplaner i Idrott och hälsa, framhäver friluftsliv som ett obligatoriskt moment i undervisningen. Samtidigt visar forskning att det bedrivs relativt lite friluftsliv i de svenska skolorna. Syftet med studien har därför varit, att utifrån de uppfattningar lärarna har om friluftsverksamheten i skolan, utveckla en djupare förståelse för betydelsen av friluftsliv och därmed skapa bättre förutsättningar i friluftsliv för dagens elever.<em> </em>Genom kvalitativa intervjuer med tre verksamma lärare, en idrottslärarutbildare samt en före detta idrottslärare, har jag kommit fram till flera värdefulla resultat. De viktigaste förutsättningarna för friluftslivets existens i skolan, är att den aktuella läraren har ett intresse för att driva en friluftsverksamhet, att det finns ett samarbete med andra lärare och att ledningen driver mot samma håll. Friluftslivets syfte kan beskrivas som att sätta in kunskap i ett större sammanhang. Friluftslivet kan också ses som en arbetsmetod för att nå mål som faller inom hela skolans verksamhet. Det kan t.ex. gälla den sociala eller den personliga utvecklingen hos individen.</p> / <p>Abstract</p><p>The sport curriculum of the compulsory school as well as that of the upper secondary school emphasise outdoor education as an obligatory part of the education. At the same time research shows that a relatively low quantity of outdoor education is being carried out in Swedish schools. The aim of the study was therefore, according to the perceptions teachers have about outdoor education in school, develop a deeper understanding of the importance of outdoor education and hence create better conditions for outdoor education to today’s students. Through qualitative interviews with one former and three active teachers, and one teacher working with education of sport teachers, I have come to more than a few valuable conclusions. The most important conditions for the existence of outdoor education at school, is the teacher’s interest in carrying out outdoor education, the collaboration with other teachers and the directors wanting to achieve the same purpose. The aim of outdoor education can be described as putting knowledge in a bigger framework. Outdoor education can be seen as a method to achieve objectives the entire school is striving to reach. Such objectives are e.g. the personal or social development of an individual.   </p>