[pt] Esta tese visa propor uma delimitação ontológica entre eventos, fatos e estados de coisas, a partir de uma ontologia realista/platonista, e relacionar a ontologia lógica à linguagem em uso, a partir da análise da referência a essas entidades. Eventos, fatos e estados de coisas têm estado presentes na discussão analítica desde os tempos de Frege; no entanto, a discussão ainda continua. Eventos têm sido reduzidos a objetos, a fatos e a estados de coisas; fatos têm sido reduzidos a estados de coisas e a proposições; estados de coisas e fatos têm sido considerados como a mesma entidade, e assim por diante. Essas três entidades estão associadas à linguagem desde os tempos de Russell (1918). Os fatos eram relacionados às afirmações verdadeiras, sendo compreendidos como as entidades às quais apontavam essas afirmações. Os eventos eram relacionados com as sentenças de ação. De acordo com Davidson (1981a), temos sentenças de ação porque há eventos no mundo. Embora esta tese vise relacionar a ontologia à linguagem em uso, ela as desvincula num primeiro momento; por isso define a ontologia independentemente da linguagem. Propõe que a diferença entre eventos, fatos e estados de coisas é que os primeiros são concretos e os últimos, abstratos, entre outras características. Uma vez definida a ontologia, a relacionamos, a partir da referência, com a linguagem em uso. Analisamos se é possível referir a essas entidades a partir da análise de certas construções linguísticas, e vemos se é possível estabelecer tal relação a partir dessa análise. / [en] This thesis proposes an ontological delimitation between events, facts and states of affairs. It does so from a Platonist/realist perspective. It also relates the logic ontology to language use through the analysis of reference to these entities. Events, facts, and states of affairs have been present in the discussion of analytical philosophy from the times of Frege. However, the discussion still continues, and nothing has been defined. Events have been reduced to objects, facts and states of affairs. Facts have been reduced to states of affairs and propositions. States of affairs and facts have been considered as the same entity by some authors, and so forth. These three entities have been associated to language since the times of Russell (1918). Facts were related to true statements, and were understood as entities to which those statements pointed. Events were related to action sentences. According to Davidson (1981a), we have action sentences because there are events in the world. Though this thesis relates ontology to language, it defines ontology independent of language use. That is, ontology is defined without taking language use into account. It proposes that the difference between events, facts, and states of affairs is that the first are concrete, and the last abstract. Among other characteristics. Once we define the ontology, we relate it to language use through reference. We analyze whether it s possible to refer to events, facts, and states of affairs, because we understand that it is through reference that we may establish the relationship between ontology and linguistics.

This study is conducted to compare the effect of practicing a multilingual approach to a monolingual approach in teaching the English article system for students with multilingual backgrounds. Through a structured experiment in light of sociolinguistic and second language acquisition theories, two different discourses (complexes of signs and practices that organize social existence and social reproduction) structuring different legitimate languages are implemented in each respective approach. In the multilingual approach, all languages in the participants’ language repertoire are legitimized and encouraged, while only Standard English is legitimized in the monolingual approach. Three groups of informants participated in the experiment. Two groups of young informants with low English proficiency, and one group of adult informants with intermediate English proficiency participated in the experiment. The majority of the participants have more than two languages in their language repertoires. The multilingual approach was adopted in one of the young groups and the adult group. The study shows that all informants improved in their use of the English article system, regardless of the different approaches. The informants with lower English proficiency level and with a strongest [-ART] language (language with no articles) improved 40.9% in the multilingual approach, which is almost twice as much as the improvement in the monolingual approach. However, the young informants in both groups tend to be confused about the use of the indefinite article a/an after the exercise. The improvements tend to remain in a longer period of time with the multilingual approach in both the adult group and the young group. In addition, the participants tend to show higher rates of concentration, positive emotional feelings and engagement during and after the multilingual approach. The results suggest that it is beneficial to deploy the multilingual approach, through intentional structuring of the legitimized languages in classroom.

Ce travail s'inscrit dans le contexte des techniques de renforcement des sols, permettant d'améliorer les performances mécaniques de terrains de qualité médiocre. Parmi ces techniques, l'utilisation d'inclusions souples prenant la forme de colonnes ou de tranchées croisées connaît une diffusion croissante. Même si les aspects relatifs à leur procédé de construction sont aujourd'hui bien maîtrisés, les méthodes de dimensionnement de ces ouvrages en sols renforcés restent à améliorer. Dans cette thèse, nous proposons d'utiliser la méthode d'homogénéisation afin d'analyser le comportement global des ouvrages en sols renforcés, dans le cadre de la théorie de l'élasticité (propriétés de rigidité) aussi bien que dans celle du calcul à la rupture (propriétés de résistance). Tenant compte de la périodicité géométrique des différentes configurations de renforcement, nous déterminons le comportement des sols renforcés tout d'abord au niveau local puis à l'échelle de l'ouvrage. Pour évaluer les capacités de résistance des ouvrages en sols renforcés, les approches statique et cinématique du calcul à la rupture sont mises en œuvre analytiquement ou numériquement selon la nature du matériau de renforcement utilisé. Par des formulations numériques innovantes adaptées à cette théorie, nous parvenons notamment à évaluer les domaines de résistance macroscopiques des sols renforcés par colonnes ou tranchées croisées, qui peuvent ensuite être pris en compte dans le comportement à la rupture des ouvrages en sols renforcés. Deux exemples d'application de cette procédure, relatifs au problème de capacité portante d'une semelle de fondation reposant sur un sol renforcé d'une part et à l'analyse de la stabilité d'un remblai d'autre part, sont effectués / This work takes place in the context of soil reinforcement techniques, aimed at improving the mechanical performances of poor quality grounds. Among these techniques, the use of soft inclusions taking the form of columns or cross trenches has known important developments. Even if the aspects relative to their construction process are presently well mastered, the design methods of such reinforced soil structures still remain to be greatly improved. The present work advocates the use of the homogenization method for assessing the global behavior of reinforced soil structures, both in the context of linear elasticity (stiffness properties) and in the framework of yield design (strength properties). Taking into account the geometrical periodicity of the various reinforcement configurations, we thus determine the behavior of the reinforced soils first locally and then at the global scale. To assess the strength capacities of reinforced soil structures, the static and kinematic approaches of the yield design theory are performed analytically or numerically depending on the kind of reinforcing material which is used. Adopting innovative numerical formulations dedicated to this theory, we can notably evaluate the macroscopic strength domains of column as well as cross trench reinforced soils which can then be introduced in the yield design of reinforced soil structures. Two illustrative applications of this procedure are performed relating to the bearing capacity problem of a reinforced soil shallow foundation on the one hand, the stability analysis of an embankment on the other hand

My thesis consists of two parts. First part is theoretical in which I´m introducing meanings of reference and determinant as described by eminent authors, followed by description of the main uses of definite and indefinete articles and I´m finishing the first part by introducing the current Sentence Segmentation. The second part of the Thesis is practical and here I´m working on quantitative analysis of determination and its translation itno Czech. I´m analyzing a tale called La tortuga gigante from the book Cuentos de la Selva written by Horacio Quiroga and its further Czech translation by Ada Vesela. Determinants are my main focus, articles in particular and their translation into Czech.

Les systèmes critiques comme les commandes de vol peuvent entraîner des désastres en cas de dysfonctionnement. D'où l'intérêt porté à la fois par le monde industriel et académique aux méthodes de preuve formelle capable d'apporter, plus ou moins automatiquement, une preuve mathématique de correction. Parmi elles, cette thèse s'intéresse particulièrement à l'interprétation abstraite, une méthode efficacepour générer automatiquement des preuves de propriétés numériques qui sont essentielles dans notre contexte.Il est bien connu des automaticiens que les contrôleurs linéaires sont stables si et seulement si ils admettent un invariant quadratique(un ellipsoïde, d'un point de vue géométrique). Ils les appellent fonction de Lyapunov quadratique et une première partie propose d'encalculer automatiquement pour des contrôleurs donnés comme paire de matrices. Ceci est réalisé en utilisant des outils de programmation semi-définie. Les aspects virgule flottante sont pris en compte, que ce soit dans les calculs effectués par le programme analysé ou dans les outils utilisés pour l'analyse. Toutefois, le véritable but est d'analyser des programmes implémentant des contrôleurs (et non des paires de matrices), incluant éventuellement des réinitialisation ou des saturations, donc non purement linéaires. L'itération sur les stratégies est une techniqued'analyse statique récemment développée et bien adaptée à nos besoins. Toutefois, elle ne se marrie pas facilement avec lestechniques classiques d'interprétation abstraite. La partie suivante propose une interface entre les deux mondes.Enfin, la dernière partie est un travail plus préliminaire sur l'usage de l'optimisation globale sur des polynômes basée sur les polynômes deBernstein pour calculer des invariants polynomiaux sur des programmes polynomiaux. / Critical Systems such as flight commands may have disastrous results in case of failure. Hence the interest of both the industrial and theacademic communities in formal methods able to more or less automatically deliver mathematical proof of correctness. Among them, this thesis will particularly focus on abstract interpretation, an efficient method to automatically generate proofs of numerical properties which are essential in our context.It is well known from control theorists that linear controllers are stable if and only if they admit a quadratic invariant (geometrically speaking, an ellipsoid). They call these invariants quadratic Lyapunov functions and a first part offers to automatically compute such invariants for controllers given as a pair of matrices. This is done using semi-definite programming optimization tools. It is worth noting that floating point aspects are taken care of, whether they affectcomputations performed by the analyzed program or by the tools used for the analysis.However, the actual goal is to analyze programs implementing controllers (and not pairs of matrices), potentially including resets or saturations, hence not purely linears. The policy iteration technique is a recently developed static analysis techniques well suited to that purpose. However, it does not marry very easily with the classic abstract interpretation paradigm. The next part tries to offer a nice interface between the two worlds.Finally, the last part is a more prospective work on the use of polynomial global optimization based on Bernstein polynomials to compute polynomial invariants on polynomials systems.

Dans ce travail, nous abordons les problèmes de l'analyse de la stabilité et de la synthèse de contrôleur pour une Equation aux Dérivées Partielles (EDP) parabolique linéaire de dimension 1. Ces problèmes sont résolus avec des méthodologies analogues au cadre des inégalités matricielles linéaires (LMI) pour les équations différentielles ordinaires (EDO). Nous développons une méthode pour EDP paraboliques dans laquelle nous testons la faisabilité de certaines LMIs utilisant la programmation semi-définie (SDP) pour construire des fonctions de Lyapunov quadratiques et des contrôleurs. Le cœur de notre démarche est la construction de fonctions de Lyapunov quadratiques paramétrées par les opérateurs définis positifs sur les espaces de Hilbert de dimension infinie. Contrairement aux matrices positives, il n'y a pas de méthode unique paramétrisant l'ensemble des opérateurs positifs sur un espace de Hilbert. Bien sûr, nous pouvons toujours paramétrer un sous-ensemble des opérateurs positifs en utilisant, par exemple, des scalaires positifs. Cependant, nous devons nous assurer que le paramétrage des opérateurs positifs ne doit pas être conservatif. Notre contribution est de construire une paramétrisation qui a seulement une petite quantité de conservatisme comme indiqué par nos résultats numériques. Nous utilisons des polynômes en somme des carrés (SOS) pour paramétrer l'ensemble des opérateurs positifs, linéaire et bornés sur les espaces de Hilbert. Comme son nom l'indique, un polynôme SOS est celui qui peut être représenté comme une somme de polynômes carrés. La propriété la plus importante d'un polynôme SOS est qu'il peut être représenté au moyen d'une matrice (semi-)définie positive. Cela implique que, même si le problème de polynôme (semi-)positif est NP-difficile, le problème de vérifier si polynôme est SOS (et donc (semi-)positif) peut être résolu en utilisant la SDP. Par conséquent, nous nous efforçons de construire des fonctions de Lyapunov quadratiques paramétrées par les opérateurs positifs. Ces opérateurs positifs sont à leur tour paramétrés par des polynômes SOS. Cette paramétrisation SOS nous permet de formuler le problème de faisabilité pour l'existence d'une fonction de Lyapunov quadratique comme un problème de faisabilité LMI. Le problème de la faisabilité LMI peut alors être adressé à l'aide de SDP. Dans la première partie de la thèse nous considérons analyse de stabilité et la synthèse de contrôleur aux frontières pour une large classe d'EDP paraboliques. Les EDP ont des coefficients de transport distribués spatialement. Ces EDP sont utilisés pour modéliser les processus de diffusion, de convection et de réaction de quantités physiques dans les milieux anisotropes. Nous considérons la synthèse de contrôleurs limite à la fois pour le cas de retour d'état et le cas de retour de sortie (à l'aide d'un observateur). Dans la deuxième partie de la thèse, nous concevons un contrôleur distribué pour la régulation du flux magnétique poloïdal dans un tokamak (procédé de fusion thermonucléaire par confinement magnétique). Tout d'abord, nous concevons un contrôleur régulant la pente des lignes de champ magnétique (le facteur de sécurité). La régulation du profil du facteur de sécurité est importante pour supprimer les instabilités MHD dans un tokamak. Ensuite, nous concevons un contrôleur maximisant la densité de courant bootstrap généré en interne. Une proportion accrue du courant bootstrap conduirait à une réduction des besoins énergétiques exogènes pour l'exploitation d'un tokamak. / In this work we address the problems of stability analysis and controller synthesis for one dimensional linear parabolic Partial Differential Equations (PDEs). To achieve the tasks of stability analysis and controller synthesis we develop methodologies akin to the Linear Matrix Inequality (LMI) framework for Ordinary Differential Equations (ODEs). We develop a method for parabolic PDEs wherein we test the feasibility of certain LMIs using SDP to construct quadratic Lyapunov functions and controllers. The core of our approach is the construction of quadratic Lyapunov functions parametrized by positive definite operators on infinite dimensional Hilbert spaces. Unlike positive matrices, there is no single method of parametrizing the set of all positive operators on a Hilbert space. Of course, we can always parametrize a subset of positive operators, using, for example, positive scalars. However, we must ensure that the parametrization of positive operators should not be conservative. Our contribution is constructing a parametrization which has only a small amount of conservatism as indicated by our numerical results. We use Sum-of-Squares (SOS) polynomials to parametrize the set of positive, linear and bounded operators on Hilbert spaces. As the name indicates, an SOS polynomial is one which can be represented as a sum of squared polynomials. The most important property of an SOS polynomial is that it can be represented using a positive (semi)-definite matrix. This implies that even though the problem of polynomial (semi)-positivity is NP-hard, the problem of checking if polynomial is SOS (and hence (semi)-positive) can be solved using SDP. Therefore, we aim to construct quadratic Lyapunov functions parametrized by positive operators. These positive operators are in turn parametrized by SOS polynomials. This parametrization using SOS allows us to cast the feasibility problem for the existence of a quadratic Lyapunov function as the feasibility problem of LMIs. The feasibility problem of LMIs can then be addressed using SDP. In the first part of the thesis we consider stability analysis and boundary controller synthesis for a large class of parabolic PDEs. The PDEs have spatially distributed coefficients. Such PDEs are used to model processes of diffusion, convection and reaction of physical quantities in anisotropic media. We consider boundary controller synthesis for both the state feedback case and the output feedback case (using and observer design). IN the second part of thesis we design distributed controllers for the regulation of poloidal magnetic flux in a tokamak (a thermonuclear fusion devise). First, we design the controllers to regulate the magnetic field line pitch (the safety factor). The regulation of the safety factor profile is important to suppress the magnetohydrodynamic instabilities in a tokamak. Then, we design controllers to maximize the internally generated bootstrap current density. An increased proportion of bootstrap current would lead to a reduction in the external energy requirements for the operation of a tokamak.

Neste trabalho analisamos a positividade definida estrita de núcleos contínuos sobre um espaço compacto 2-homogêneo. R. Gangolli (1967) apresentou uma caracterização completa para os núcleos que são contínuos, isotrópicos e positivos definidos sobre um espaço compacto 2-homogêneo Md: a parte isotrópica do núcleo é uma série de Fourier uniformemente convergente, com coeficientes não negativos, em relação a certos polinômios de Jacobi atrelados a Md. Uma das contribuições de nosso trabalho é uma caracterização para a positividade definida estrita de tais núcleos, complementando a caracterização apresentada por Chen et al. (2003) no caso em que Md é uma esfera unitária de dimensão maior ou igual a 2. Outra contribuição do trabalho é uma extensão do resultado de Gangolli para núcleos sobre produtos cartesianos de espaços compactos 2-homogêneos, e a consequente caracterização para núcleos estritamente positivos definidos neste mesmo contexto. Por fim, a última contribuição do trabalho envolve a análise do grau de diferenciabilidade da parte isotrópica de um núcleo contínuo, isotrópico e positivo definido sobre Md e a aplicabilidade de tal análise em resultados envolvendo a positividade definida estrita. / In this work we analyze the strict positive definiteness of continuous kernels on compact two-point homogeneous spaces Md. R. Gangolli (1967) presented a complete characterization for continuous, isotropic and positive definite kernels on Md: the isotropic part of the kernel is a uniformly convergent Fourier series of certain Jacobi polynomials associated to Md, with nonnegative coefficients. One of the contributions of our work is a characterization for the strict positive definiteness of such kernels, completing that one presented by Chen et al. (2003) in the case Md is the unit sphere of dimension at least 2. Another contribuition of this work is an extension of Gangolli\'s result for kernels on a product of compact two-point homogeneous spaces, and the subsequent characterization of strict positive definiteness in this same context. Finally, the last contribution in this work involves the analysis of the differentiability of the isotropic part of a continuous, isotropic and positive definite kernel on Md and the applicability of such analysis in results involving the strict positive definiteness.

Apresentamos uma caracterização das funções positivas definidas em esferas complexas, generalizando assim, um resultado de Schoenberg ([41]). Como no caso real, uma classe importante dessas funções é aquela composta pelas funções estritamente positivas definidas de uma certa ordem; estas podem ser utilizadas para resolver certos problemas de interpolação de dados arbitrários associados a pontos distintos distribuídos nas esferas. Com esse objetivo, obtivemos algumas condições necessárias e suficientes (separadamente) para que funções positivas definidas sejam estritamente positivas definidas. Os resultados apresentados fornecem uma caracterização final elementar para funções estritamente positivas definidas de todas as ordens em quase todas as esferas complexas. Funções estritamente positivas definidas de ordem 2 são caracterizadas em todas as esferas complexas. Analisamos também a relação entre funções estritamente positivas definidas em esferas complexas e funções estritamente positivas definidas em esferas reais. / We characterize positive definite functions on complex spheres, generalizing a famous result due to I. J. Schoenberg ([41]). As in the real case, we study the so-called strictly positive definite functions. They can be used to perform interpolation of scattered data on those spheres. We present (separated) necessary and sufficient conditions for a positive definite function to be strictly positive definite of a certain order. These conditions produce a final characterization for those positive definite functions which are strictly positive definite of all orders, on almost all spheres. Strictly positive definite functions of order 2 are identified. Finally, we study a connection between strictly positive definite functions on real spheres and strictly positive definite functions on complex spheres.

Este trabalho é dedicado ao estudo de propriedades teóricas dos operadores integrais positivos em \'L POT. 2\' (X; u), quando X é um espaço topológico localmente compacto ou primeiro enumerável e u é uma medida estritamente positiva. Damos ênfase à análise de propriedades espectrais relacionadas com extensões do Teorema de Mercer e ao estudo dos espaços de Hilbert de reprodução relacionados. Como aplicação, estudamos o decaimento dos autovalores destes operadores, em um contexto especial. Finalizamos o trabalho com a análise de propriedades de suavidade das funções do espaço de Hilbert de reprodução, quando X é um subconjunto do espaço euclidiano usual e u é a medida de Lebesgue usual de X / In this work we study theoretical properties of positive integral operators on \'L POT. 2\'(X; u), in the case when X is a topological space, either locally compact or first countable, and u is a strictly positive measure. The analysis is directed to spectral properties of the operator which are related to some extensions of Mercer\'s Theorem and to the study of the reproducing kernel Hilbert spaces involved. As applications, we deduce decay rates for the eigenvalues of the operators in a special but relevant case. We also consider smoothness properties for functions in the reproducing kernel Hilbert spaces when X is a subset of the Euclidean space and u is the Lebesgue measure of the space

Neste trabalho analisamos o papel das funções layout de um núcleo positivo definido K sobre um espaço topológico de Hausdor E com relação a duas propriedades específicas: a universalidade de K e a ortogonalidade no espaço de Hilbert de reprodução de K a partir de suportes disjuntos. As funções layout sempre existem mas podem não ser únicas. De uma maneira geral, a função layout e uma aplicação que transfere, convenientemente, informações do espaço E para um espaço com produto interno de dimensão alta, onde métodos lineares podem ser usados. Tanto a universalidade quanto a ortogonalidade pressupõem a continuidade do núcleo. O primeiro conceito exige que para cada compacto não vazio X de E, o conjunto de \"seções\" {K(., y) : y \'PERTENCE\' X} seja total no espaço de todas as funções contínuas com domínio X, munido da topologia da convergência uniforme. Um dos resultados principais do trabalho caracteriza a universalidade de um núcleo K através de uma propriedade de universalidade semelhante da função layout. A ortogonalidade a partir de suportes disjuntos almeja então a ortogonalidade de quaisquer duas funções do espaço de Hilbert de reprodução de K quando seus suportes não se intersectam / We analyze the role of feature maps of a positive denite kernel K acting on a Hausdorff topological space E in two specific properties: the universality of K and the orthogonality in the reproducing kernel Hilbert space of K from disjoint supports. Feature maps always exist but may not be unique. A feature map may be interpreted as a kernel based procedure that maps the data from the original input space E into a potentially higher dimensional \"feature space\" in which linear methods may then be used. Both properties, universality and orthogonality from disjoint supports, make sense under continuity of the kernel. Universality of K is equivalent to the fundamentality of {K(. ; y) : y \'IT BELONGS\' X} in the space of all continuous functions on X, with the topology of uniform convergence, for all nonempty compact subsets X of E. One of the main results in this work is a characterization of the universality of K from a similar concept for the feature map. Orthogonality from disjoint supports seeks the orthogonality of any two functions in the reproducing kernel Hilbert space of K when the functions have disjoint supports