Dissertationen: „Calcul naturel“

1

Perrotin, Pacôme. „Simulation entre modèles de calcul naturel et modularité des réseaux d'automates“. Electronic Thesis or Diss., Aix-Marseille, 2021. http://www.theses.fr/2021AIXM0011.

Der volle Inhalt der Quelle

Annotation:

Nous explorons différentes généralisations concernant les modèles de calcul naturel. La plus théorique est la notion de simulation entre modèles, pour laquelle nous décrivons une série de propositions de définition, en discutant des intérêts et des failles de chacune d’elles. Nous profitons des définitions les plus prometteuses pour élargir le propos sur les possibles conséquences de la simulation en théorie de la complexité, comme la construction de nouvelles classes de complexité en proposant la substitution de la réduction polynomiale par la simulation. Notre approche plus appliquée consiste en la généralisation des réseaux d’auto-mates sous formes de modules, qui possèdent des entrées. Ce formalisme permet d’approcher les questions de la dynamique des réseaux d’interactions sous un nouvel angle : nous explorons son utilité en tant qu’outil modulaire propre à simuler de façon flexible de nombreux objets similaires, ainsi que l’expressivité des modules acycliques. Ceux-ci permettent la caractérisation de la dynamique des réseaux d’automates sous la forme de fonctions de sortie. Cette expressivité nous autorise la description d’un processus d’optimisation de réseaux d’automates, qui réduit certains réseaux en taille tout en conservant des attracteurs équivalents
We explore different generalisations about natural computation models. The mosttheoretical is the notion of simulation between models, for which we describe a seriesof proposed definitions, by discussing the interests and the flaws of each of them. Wetake advantage of the most promising definitions to broaden the discussion on thepossible consequences of simulation in complexity theory, such as the constructionof new complexity classes by proposing the substitution of polynomial reduction bysimulation.Our more applied approach consists in the generalisation of automata networks bymeans of modules that have inputs. This formalism makes it possible to approach thequestions of the dynamics of interaction networks from a new angle : we explore itsusefulness as a modular tool capable of flexibly simulating many similar objects, aswell as the expressiveness of acyclic modules. These allow the characterisation of thedynamics of automata networks in the form of output functions. This expressivenessallows us to describe a process for optimising automata networks that reduces certainnetworks in size while retaining equivalent attractors

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Dupont, Michel. „Une approche cognitive du calcul de le référence“. Caen, 2003. http://www.theses.fr/2003CAEN2084.

Der volle Inhalt der Quelle

Annotation:

Nous proposons des modèles qui correspondent aux différentes acceptions de l'expression calcul de la référence. Ce que nous appelons la construction du sens correspond au calcul de la référence au sens le plus large. Ce calcul résulte d'une interaction entre modules spécialisés et tient compte des anticipations que fait le lecteur. Nous estimons avoir validé l'aspect modulaire de ce modèle dans le cadre d'un travail d'équipe sur l'Extraction d'Information. Nous proposons aussi un modèle de l'identification des entités qui correspond au calcul de la référence dans un sens plus étroit. Nous voulons identifier une entité quand le système lit une marque linguistique qui y fait référence. Le modèle des attentes donne alors à tout moment le degré de mobilisation de l'attention portée par le lecteur sur les entités. C'est ce que nous appelons la saillance des entités que nous représentons par une valeur numérique. Nous avons conçu le logiciel Calcoref qui édite les chaînes de coréférences du texte qui lui est donné en entrée. Notre système réalise un score de 88% en f-mesure sur un texte contenant 54 relations de coréférences. L'évaluation qualitative débouche sur la spécification d'une prochaine version qui devrait amener une validation encore plus probante. Le développement incrémental de Calcoref est un projet à long terme qui vise des objectifs de recherche fondamentale en validant les grandes lignes d'une théorie et en permettant de la développer plus en détail. Calcoref est conçu pour mener des expériences et nous espérons qu'il aidera à mieux comprendre des phénomènes référentiels.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Silva-Julia, Rita da. „Un système hybride pour le traitement du langage naturel et pour la récupération de l'information“. Toulouse 3, 1995. http://www.theses.fr/1995TOU30255.

Der volle Inhalt der Quelle

Annotation:

Nous proposons dans ce memoire la mise en uvre d'un systeme hybride de liaison entre les ressources du calcul des predicats et celles de la logique terminologique. Ce systeme est capable de: ? produire une representation formelle d'exigences exprimees en langage naturel dans le cadre de specifications de logiciel. ? introduire dans une base de connaissances la representation formelle obtenue pour chaque exigence en prenant soin de detecter les possibles redondances et contradictions. ? repondre a des questions posees au systeme, par l'execution d'un mecanisme d'inference permettant la recuperation de l'information stockee dans la base de connaissances. Les exigences appartiennent a un sous-ensemble restreint du langage naturel qui se situe dans le contexte du domaine spatial. La representation formelle d'une exigence est obtenue par une analyse syntaxique et semantique. Elle correspond a une formule du calcul des predicats dont les variables sont annotees par des expressions de la logique terminologique qui les particularisent. L'analyseur syntaxico-semantique implemente est un systeme formel construit selon la theorie du structuralisme. Ce systeme formel definit une grammaire applicative dont le mecanisme d'application est guide par une methode heuristique de l'intelligence artificielle. Les reponses du systeme correspondent a l'evaluation partielle des questions par rapport a la base de connaissances. La recuperation de l'information est effectuee par un demonstrateur de theoreme base sur la technique de la resolution lineaire. Ce demonstrateur utilise la semantique de la logique terminologique pour guider son mecanisme d'inference. Les principales contributions de notre travail sont les suivantes: ? la mise en uvre d'un analyseur syntaxico-semantique qui engendre automatiquement des regles semantiques, ce qui dispense le linguiste de la tache de les definir. ? l'utilisation d'une methode heuristique de l'intelligence artificielle pour guider le processus d'analyse. ? l'utilisation d'une unification semantique pour lier les methodes d'inference du calcul des predicats et de la logique terminologique. ? l'utilisation de la subsomption pour simplifier la base de connaissances et le processus de recuperation de l'information

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Lagache, Marie. „La simulation de Monte-Carlo et l'industrie pétrolière : développement de potentiel pour les composés organomercurés : calcul de grandeurs thermodynamiques dérivées de gaz à condensat“. Paris 11, 2003. http://www.theses.fr/2003PA112049.

Der volle Inhalt der Quelle

Annotation:

L'étude des propriétés d'équilibre de phases de mélanges moléculaires tels que les hydrocarbures par simulation moléculaire est intéressante à plus d'un titre. Elle permet notamment de modéliser des fluides d'intérêts pétrolier et gazier et de fournir des données à l'industrie dans un domaine de température et de pression difficilement accessible par l'expérience ou lorsqu'il s'agit de composés toxiques où les expériences sont difficiles à réaliser. La détermination et l'utilisation de modèles numériques réalistes et prédictifs pour des systèmes réels restent aujourd'hui des problèmes encore non résolus. Outre les questions de potentiel d'interaction intermoléculaire, l'obtention d'une bonne statistique sur ces systèmes comprenant de nombreux degrés de libertés est très délicate. Ce travail de recherche s'est concentré dans trois directions. La première partie concerne la prédiction de propriétés d'équilibre de phase, par simulation moléculaire de Monte Carlo, de composés particulièrement toxiques présents à l'état de traces dans certains gaz naturels: les composés organomercurés. Sa mise en œuvre passe par le développement d'un potentiel intermoléculaire adapté à ces composés pour ensuite établir des diagrammes d'équilibre liquide-vapeur comme celui du mélange diméthylmercure-pentane. La deuxième partie du travail consiste à calculer les dérivées secondes du potentiel thermodynamique et plus particulièrement le coefficient de Joule-Thomson. Pour obtenir ces propriétés thermodynamiques dérivées, une méthode de calcul direct de ces grandeurs à partir de fluctuations statistiques de données microscopiques a été mise au point. Appliquée aux corps purs puis à des gaz naturels, cette méthode montre de bons résultats. Enfin, la troisième partie de ce travail concerne le calcul préliminaire de certaines grandeurs thermodynamiques, le but étant de reproduire qualitativement et quantitativement leur divergence au voisinage du point critique
Prediction by molecular simulations is planned to be a serious complement to experimental measurements. Indeed, the study of equilibrium properties of molecular mixtures, such as hydrocarbons, by molecular simulation enables to model fluids of petroleum and gas relevance and to give data to the industry especially when the desired range of temperature and pressure is not easy to access by experimental processes and when toxic compounds are studied. The determination and the use of realistic and predictive numerical models for real systems remain today an unsolved problem. Besides the question of intermolecular interaction potential, the achieving of a good statistic on these systems containing a lot of degrees of freedom is very delicate. This research work is concentrated on three directions. The first part is devoted to the prediction of phase equilibrium properties, by Monte Carlo simulation, of toxic compounds that are present in some natural gases : the organomercury compounds. Its implementation go through the development of a realistic intermolecular force field in order to determine liquid vapour diagrams for mixtures. The second part consists in calculating second order derivatives of the thermodynamic potential and particularly the Joule-Thomson coefficient. To obtain these thermodynamic derivatives properties, a method based on statistical fluctuations of microscopic quantities have been developed. This method was applied to pure molecular fluids and natural gas and leads to good agreement with available experimental data. Finally, the last part of the work is devoted to the prediction of these properties near the critical point in order to reveal their critical divergence qualitatively and quantitatively

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Maršík, Jiří. „Les effects et les handlers dans le langage naturel“. Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0322/document.

Der volle Inhalt der Quelle

Annotation:

Ces travaux s’intéressent à la modélisation formelle de la sémantique des langues naturelles. Pour cela, nous suivons le principe de compositionnalité qui veut que le sens d’une expression complexe soit une fonction du sens de ses parties. Ces fonctions sont généralement formalisées à l’aide du [lambda]-calcul. Cependant, ce principe est remis en cause par certains usages de la langue, comme les pronoms anaphoriques ou les présuppositions. Ceci oblige à soit abandonner la compositionalité, soit modifier les structures du sens. Dans le premier cas, le sens n’est alors plus obtenu par un calcul qui correspond à des fonctions mathématiques, mais par un calcul dépendant du contexte, ce qui le rapproche des langages de programmation qui manipulent leur contexte avec des effets de bord. Dans le deuxième cas, lorsque les structures de sens sont ajustées, les nouveaux sens ont tendance à avoir une structure de monade. Ces dernières sont elles-mêmes largement utilisées en programmation fonctionnelle pour coder des effets de bord, que nous retrouvons à nouveau. Par ailleurs, s’il est souvent possible de proposer le traitement d’un unique phénomène, composer plusieurs traitements s’avère être une tâche complexe. Nos travaux proposent d’utiliser les résultats récents autour des langages de programmation pour parvenir à combiner ces modélisations par les effets de bord. Pour cela, nous étendons le [lambda]-calcul avec une monade qui implémente les effects et les handlers, une technique récente dans l’étude des effets de bord. Dans la première partie de la thèse, nous démontrons les propriétés fondamentales de ce calcul (préservation de type, confluence et terminaison). Dans la seconde partie, nous montrons comment utiliser le calcul pour le traitement de plusieurs phénomènes linguistiques : deixis, quantification, implicature conventionnelle, anaphore et présupposition. Enfin, nous construisons une unique grammaire qui gère ces phénomènes et leurs interactions
In formal semantics, researchers assign meanings to sentences of a natural language. This work is guided by the principle of compositionality: the meaning of an expression is a function of the meanings of its parts. These functions are often formalized using the [lambda]-calculus. However, there are areas of language which challenge the notion of compositionality, e.g. anaphoric pronouns or presupposition triggers. These force researchers to either abandon compositionality or adjust the structure of meanings. In the first case, meanings are derived by processes that no longer correspond to pure mathematical functions but rather to context-sensitive procedures, much like the functions of a programming language that manipulate their context with side effects. In the second case, when the structure of meanings is adjusted, the new meanings tend to be instances of the same mathematical structure, the monad. Monads themselves being widely used in functional programming to encode side effects, the common theme that emerges in both approaches is the introduction of side effects. Furthermore, different problems in semantics lead to different theories which are challenging to unite. Our thesis claims that by looking at these theories as theories of side effects, we can reuse results from programming language research to combine them.This thesis extends [lambda]-calculus with a monad of computations. The monad implements effects and handlers, a recent technique in the study of programming language side effects. In the first part of the thesis, we prove some of the fundamental properties of this calculus: subject reduction, confluence and termination. Then in the second part, we demonstrate how to use the calculus to implement treatments of several linguistic phenomena: deixis, quantification, conventional implicature, anaphora and presupposition. In the end, we build a grammar that features all of these phenomena and their interactions

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Bennani, Amine. „Elaboration, comportement et durée de vie en fatigue du caoutchouc naturel renforcé de silice“. Phd thesis, École Nationale Supérieure des Mines de Paris, 2006. http://tel.archives-ouvertes.fr/tel-00136825.

Der volle Inhalt der Quelle

Annotation:

Les élastomères sont renforcés grâce à l'incorporation de charges telles que les noirs de carbone ou encore la silice.
Ce qui leur confère de meilleures propriétés (résistance à la rupture, abrasion, rigidité...). Actuellement, les charges
renforçantes les plus souvent utilisées sont les noirs de carbone. La substitution de cette charge classique par la silice constitue un challenge dans l'industrie pneumatique. En effet, il est admis que la silice diminue la résistance au roulement des pneus, de matrice synthétique, tout en conservant une bonne adhérence. La particularité de cette étude est d'analyser l'influence du renfort par la silice sur le comportement mécanique en endurance du caoutchouc naturel. Son principal objectif est de comprendre l'influence de la morphologie de la silice (surface développée en interaction avec le caoutchouc, dispersibilité, activité chimique) sur le comportement
mécanique et plus spécialement sur la durée de vie en fatigue du caoutchouc naturel ainsi chargé. L'élaboration de deux matériaux permettant d'établir l'influence de la morphologie de la silice constitue une première étape déterminante du travail. Elle se base sur l'incorporation de deux nuances de silice précipitée dans une matrice de caoutchouc naturel pouvant présenter des propriétés rhéologiques similaires. Les essais de caractérisation mécanique (monotones et cycliques) selon différents types de sollicitation (traction, compression, relaxation, traction cyclique, torsion) ainsi que des essais de traction in situ au MEB permettent d'identifier les mécanismes de déformation, de renfort et d'endommagement présents. L'interprétation des résultats de cette campagne expérimentale est basée sur une caractérisation microstructurale approfondie de l'état de dispersion de la silice ainsi que celui de la cristallisation de la matrice en caoutchouc naturel.. Les résultats des essais de fatigue ainsi que les observations microscopiques des mécanismes de propagation des fissures en fatigue permettent d'établir un critère de durée de vie prenant en compte les modes de sollicitation (traction, compression, et torsion). Celui-ci est capable de prévoir la durée de vie ainsi que le lieu d'amorçage des fissures. Il s'avère que, selon le mode de sollicitation appliqué, les propriétés de dispersion de la silice sont plus ou moins importantes dans le renforcement et l'endurance du caoutchouc naturel chargé de silice.
Ce travail fait donc appel à la physico-chimie, à la mécanique et aux observations microstructurales, en allant de l'élaboration des matériaux jusqu'à la modélisation mécanique du comportement et de la durée de vie.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Fontoynont, Marc. „Prise en compte du rayonnement solaire dans l'eclairage naturel de locaux : methode et perspectives“. Paris, ENMP, 1987. http://www.theses.fr/1987ENMP0022.

Der volle Inhalt der Quelle

Annotation:

Methode fondee sur une etude experimentale avec des maquettes de batiment. Emploi d'un heliodon de grandes dimensions pour le rayonnement solaire, en caracterisant la performance des ouvertures par un "facteur direct" fd, analogue au facteur de lumiere du jour fj pour le ciel. Pour le rayonnement diffus, mesures par soleil cache, en caracterisant le ciel par deux coefficients: tc (type de ciel) pour la clarte, et cac ("coefficient d'asymetrie du ciel") pour l'aspect contraste. Etude du cas d'un gymnase avec ouvertures equipees d'elements de reflexion

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Corvisier, Jérôme. „Implémentation des phénomènes de germination/mûrissement/croissance des phases solides secondaires dans un modèle de transport-réactif en milieu poreux géologique. Développement du code de calcul ARCHIMEDE“. Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2006. http://tel.archives-ouvertes.fr/tel-00102898.

Der volle Inhalt der Quelle

Annotation:

La connaissance des réservoirs géologiques et de leur évolution est cruciale pour toutes les applications les mettant en jeu (prospection/extraction de pétrole ou de gaz, stockage de gaz ou de déchets, réhabilitation de sites industriels, dépollution des sols et des nappes phréatiques). La complexité des phénomènes couplés de réaction chimique et transport, la non-linéarité des équations en découlant et la diversité des échelles d'observation (en espace et en temps) amènent à avoir recours à la modélisation. Lors des injections de gaz acides dans des structures géologiques potentiellement capables de les stocker, les minéraux présents primaires) les plus réactifs se dissolvent, du fait de l'acidification de l'eau en place. En conséquence, le fluide se charge en éléments issus de ces réactions jusqu'à atteindre un état de sursaturation par rapport à d'autres minéraux primaires, mais aussi par rapport à des minéraux jusque là absents de l'assemblage (secondaires) qui peut les amener à précipiter. Dans ces configurations, la justesse des prédictions du comportement du système, qui permettent de s'assurer de la pérennité du stockage du gaz et de se prémunir contre les risques mécaniques éventuels, va dépendre de l'aptitude du programme à bien choisir les solides qui précipitent et à connaître précisément à la fois les cinétiques de croissance des minéraux primaires et les cinétiques de formation des minéraux secondaires.
Dans le code ARCHIMEDE (développé à l'E.N.S.M-S.E, Ecole Nationale Supérieure des Mines de Saint-Etienne, en collaboration avec l'I.F.P, Institut Français du Pétrole), seule la partie géochimie est concernée. Outre quelques difficultés qui empêchaient de traiter les variations de volume occasionnées par les réactions et que nous nous sommes efforcés de résoudre en reprenant l'ensemble du programme, l'objectif principal de ce travail de thèse a été la conception et l'implémentation d'un modèle de germination/mûrissement/croissance pour les minéraux secondaires.
Notre démarche a consisté à analyser précisément l'apparition de nouveaux minéraux dans des assemblages naturels d'où ils sont absents initialement. Quelques simulations numériques ont permis de montrer les limites inhérentes à la représentation, inadaptée, de la précipitation de ce genre de minéraux par croissance cristalline. La mise en avant de ces faiblesses a défini alors le cadre pour un nouveau modèle de précipitation propre aux minéraux secondaires. Une étude détaillée de la phase de germination, à savoir l'apparition des premiers cristaux d'un minéral, a conduit à la construction d'un modèle pour sa cinétique. Par suite, la mise en compétition du processus de germination avec celui de croissance, destiné à prendre plus tard le relais de la production de volume du nouveau solide, a nécessité la prise en charge de cristaux de tailles variées et le recours au mûrissement d'Ostwald, via un calcul parallèle. Il en a résulté un algorithme élaboré pour gérer, pour chaque minéral secondaire, la phase initiale de germination/mûrissement et ensuite le passage à la phase de croissance cristalline. La sensibilité de ce nouveau modèle complet de germination/mûrissement/croissance vis-à-vis des différents paramètres qui le composent a pu être analysée moyennant de nouvelles simulations numériques. Son comportement, en terme d'acuité des prédictions, a également pu être mis à l'épreuve et finalement jugé satisfaisant.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Venant, Fabienne. „Représentation et calcul dynamique du sens : exploration du lexique adjectival du français“. Phd thesis, Ecole des Hautes Etudes en Sciences Sociales (EHESS), 2006. http://tel.archives-ouvertes.fr/tel-00067902.

Der volle Inhalt der Quelle

Annotation:

Ce travail de thèse présente un modèle de construction du sens d'un genre nouveau, défini dans le cadre des mathématiques du continu. Le langage y est vu comme un système morphodynamique, obéissant aux principes de base de la Gestalttheorie. Les unités linguistiques découpent leur sens dans un espace sémantique possédant une structure de variété différentiable. Nous avons implémenté ce modèle et l'avons testé sur le lexique adjectival français. Une méthode de construction automatique des espaces sémantiques, reposant sur l'analyse d'un graphe de synonymie, permet d'explorer le lexique adjectival dans son ensemble, ou de construire des espaces locaux. Les espaces sémantiques locaux servent de base à une méthode dynamique de calcul du sens, permettant de prendre en compte les différents facteurs de polysémie adjectivale. L'utilisation des espaces sémantiques globaux ouvre de belles perspectives, tant dans le domaine du calcul du sens que celui de l'exploration de graphes petit monde.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Lebranchu, Julien. „Étude des phénomènes itératifs en langue : Inscription discursive et Calcul aspectuo-temporel, vers un traitement automatisé“. Phd thesis, Université de Caen, 2011. http://tel.archives-ouvertes.fr/tel-00664788.

Der volle Inhalt der Quelle

Annotation:

Cette thèse s'inscrit dans le domaine du traitement automatique des langues, et concerne l'étude des phénomènes itératifs en langue. Il s'agit notamment de rendre compte de la sémantique de procès exprimant une répétition (d'événements ou d'états) au sein d'un même texte, tant du point de vue de l'aspect que du temps. Nous avons mené nos travaux dans le cadre d'un travail d'équipe pluridisciplinaire couvrant des orientations linguistiques, logiques et informatiques. Ces travaux reposent sur une double appréhension commune d'un énoncé itératif : une entité événementielle en quelque sorte générique qui est présentée comme répétée dans le temps, d'une part ; l'itération proprement dite, conçue comme ensemble des occurrences du modèle, d'autre part. Nous nous focalisons pour notre part sur deux facettes : l'inscription discursive, en nous reposant sur une modélisation objet de la construction du sens des itérations (Mathet, 2007) ; et le calcul aspectuo-temporel au travers de la Sémantique de la temporalité (SdT) (Gosselin, 2011). Nous menons en premier lieu une étude de corpus, sur des articles de journaux et des œuvres littéraires, qui vise à caractériser l'inscription discursive des phénomènes itératifs. Nous exposons sur cette base leurs propriétés discursives dans la perspective de circonscrire automatiquement les itérations, c'est-à-dire repérer la borne initiale et finale du segment textuel correspondant. Nous établissons également un modèle d'annotation pour cette automatisation permettant in fine d'instancier les itérations au sein du modèle objet. Dans un second temps, nous abordons les phénomènes itératifs sous l'angle du calcul aspectuo-temporel. Fondé sur les travaux de Laurent Gosselin sur le calcul aspectuel des procès semelfactifs, nous étudions les ajustements nécessaires pour l'appliquer aux procès itératifs, en intégrant la notion de double visée aspectuelle issue de la SdT, dans la perspective de l'automatisation du calcul. Enﬁn, nous complétons ces deux aspects de notre travail par l'intégration de nos résultats au sein de TimeML, un formalisme XML de structuration des connaissances temporelles.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Lemoisson, Philippe. „Construction collaborative de théorie : vers une machine abstraite conversationnelle“. Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2006. http://tel.archives-ouvertes.fr/tel-00128516.

Der volle Inhalt der Quelle

Annotation:

Cette thèse a pour objectif d'assister la construction collaborative d'une théorie ; chaque individu doit pouvoir formuler et tester empiriquement sa propre compréhension partielle, et sans aucun effort supplémentaire contribuer à une compréhension globale partagée par le groupe.
Une série d'explorations touchant aux mécanismes biologiques sous-tendant la cognition, au rôle du langage en tant que vecteur de partage et de formalisation et au cycle global de construction de théorie, conduisent à un cahier des charges pour une ‘machine abstraite' qui compose des théories partielles au sein d'une conversation.
La machine abstraite ‘Austin' est ensuite spécifiée de façon détaillée ; elle est fondée sur l'utilisation de trois types d'actes de langage : assertions, questions et promesses. Des ‘schémas conversationnels normalisés' y concourent au traitement de l'information. De bonnes propriétés sont démontrées : terminaison en temps fini, confluence (le résultat final n'est pas affecté par l'indéterminisme du aux échanges concurrents lors de la conversation), complexité raisonnable, composition naturelle des programmes reconnus par cette machine abstraite, facilité d'analyse graphique pour ces programmes. Une grammaire générative inspirée des graphes conceptuels est proposée pour les énoncés. La ‘résolution collaborative de Sudoku' est développée comme illustration du calcul basée sur cette grammaire, puis programmée sur un prototype Java de la machine abstraite.
Par comparaison à la ‘programmation logique concurrente', puis aux ‘systèmes multi-experts à architecture blackboard', ‘Austin' apparaît être un compromis entre le ‘modèle déclaratif' et le ‘modèle impératif', combinant la contrôlabilité du premier avec l'expressivité du second.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Lefeuvre, Anais. „Sémantique des temps du français : une formalisation compositionnelle“. Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0065/document.

Der volle Inhalt der Quelle

Annotation:

Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de récits de voyage du XIX ème et du début du XX ème siècle. Notre premier travail fut de caractériser le corpus comme échantillon du français, par une étude contrastive d’une part de données quantitatives et d’autre part de la structure des récits de voyage. Nous nous sommes ensuite consacrée à l’étude du temps, et plus particulièrement à l’analyse automatique de la sémantique des temps verbaux du français. Disposant d’un analyseur syntaxique et sémantique à large échelle du français, basé sur les grammaires catégorielles et la sémantique compositionnelle (λ-DRT), notre tâche a été de prendre en compte les temps des verbes pour reconstituer la temporalité des événements et des états, notions regroupées sous le termes d’éventualité. Cette thèse se concentre sur la construction d’un lexique sémantique traitant des temps verbaux du français. Nous proposons une extension et une adaptation d’un système d’opérateurs compositionnels conçu pour les temps du verbe anglais, aux temps et à l’aspect du verbe français du XIX ème siècle à nos jours. Cette formalisation est de facto opérationnelle, car elle est définie en terme d’opérateurs du λ-calcul dont la composition et la réduction, déjà programmées, calculent automatiquement les représentations sémantiques souhaitées, des formules multisortes de la logique d’ordre supérieur. Le passage de l’énoncé comportant une éventualité seule au discours, dont le maillage référentiel est complexe, est discuté et nous concluons par les perspectives qu’ouvre nos travaux pour l’analyse du discours
This work has been lead in the frame of the ITIPY project which goal was to automatically extract itineraries from travel novels from the XIX th century and from the beginning of the XX th. Our thesis work is close to the text understanding task in the information retrieval field and we aim at building a representation of meaning of linguistic utterances, leaning on the compositionnality principle. More precisely, the itinerary extraction supposes to temporally represent displacement and localization events or states (that we actually call eventualities) of a traveler as far as we understand it through discourse. Working on an automatic parser for syntax (in categorial grammars) and semantics (in λ-DRT), we focused on the building of an semantic lexicon for tense in French. We actually characterized our corpora as a sample of French language, by the means of a quantitative and qualitative analysis as well as a study of the internal structure of this genre. The main contribution of this work deals with tense and aspect semantic processing of the event expressed by tensed verbs, and with its modelling. In this respect, we propose an adaptation and an extension for French from XIX th century to nowadays of a lexicon originally produced to deal with English verbs. This formalisation is operational, for it is defined in λ-calculus which composition and réduction, already implemented, calculate automatically semantics représentations, high order logic formulas. Transition from a single event uterrance to a whole discourse which contains a complex referential network is discussed and allows us to define the limits of this hereby work

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Defratyka, Sara. „Characterizing methane (CH4) emissions in urban environments (Paris)“. Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASJ002.

Der volle Inhalt der Quelle

Annotation:

Le but de cette thèse est de mesurer les concentrations de méthane (CH4), sa signature isotopique en carbone (δ13CH4) et le ratio éthane/méthane (C2H6:CH4) de diverses sources en Île-de-France avec des mesures mobiles proche des sources en utilisant l’instrument CRDS G2201-i.Les tests en laboratoire ont montré que le CRDS G2201-i présentaient de bonnes performances, notamment un bon accord avec les mesures de δ13CH4 par IRMS. En effet, la précision du CRDS est moins élevée que celle de l’IRMS, mais elle s’améliore avec des concentrations plus élevées en méthane (chapitre 2). Les performances et les limites de l’instrument ont été également testées pour la mesure du ratio C2H6:CH4 au laboratoire et sur le terrain. Il est possible d’utiliser le G2201-i quand l’élévation de CH4 au-dessus des valeurs ambiantes est supérieure à 1pmm et que l’air mesuré est séché. Cela permet d’utiliser un seul instrument pour mesurer deux proxies des sources de méthane (δ13CH4 et C2H6:CH4 ) (chapitre 3).Ensuite, la plateforme de mesures mobiles a été adaptées pour des campagnes de mesure dans Paris et sa petite couronne. Là, trois sources de CH4 ont été trouvées: des fuites du réseau de gaz naturel, des fuites du réseau d’assainissement et des fuites au niveau de grilles d’aération associées à des chaudières. Cette dernière catégorie a été découverte lors de mesures à pied et n’était pas décrite précédemment dans la littérature. Par rapport à d’autres villes, en majorité américaine, les émissions parisiennes de CH4 sont relativement faibles et comparables à celles des villes ayant un réseau moderne de distribution de gaz. La comparaison avec les inventaires a montré que pour le secteur de l’énergie, les émissions estimées étaient quinze fois plus faibles que celles de d’AIRPARIF ajustées pour Paris (chapitre 4). Enfin, à l’échelle du site industriel, δ13CH4 et δDCH4 ont été déterminés et contribuent à enrichir la base de données de signatures isotopiques européenne pour CH4. Le ratio C2H6:CH4 mesuré sur les stations de compression de gaz sont comparables à celles observées dans d’autres études dans d’autres pays. Pour certains sites, les émissions sont été également estimées, soit avec un modèle Gaussien soit avec le méthode traceur (chapitre 5).Les résultats de cette thèse peuvent être utilisés comme support pour de futures campagnes de mesures en Île-de-France
This Ph.D. aimed to measure methane (CH4) mixing ratio, its carbon isotope (δ13CH4) and ethane to methane ratio (C2H6:CH4) of diverse Île-de-France sources using CRDS G2201-i during near-source mobile measurements.Laboratory tests showed good performances of CRDS2201-i, notably a good agreement between δ13CH4 determined using CRDS G2201-i and IRMS. Indeed, precision of CRDS is less good than for IRMS, but it improves with larger CH4 mixing ratio (chapter 2). Possibilities and limitation of using CRDS G2201-i instrument to determine C2H6:CH4 ratio were also verified in laboratory and field conditions. Using CRDS G2201-i to measure C2H6:CH4 ratio is possible when enhancement is higher than 1 ppm above background and dried air is measured, which allows to use only one instrument to measure two proxies of CH4 sources (δ13CH4 and C2H6:CH4 ) (chapter 3).Then, the mobile set-up was adapted for mobile surveys in Paris city. There, three main CH4 sources where found: natural gas leaks, sewage network leaks and venting grid leaks ascribed to leaking furnaces installations. The latest category was discovered during walking measurements and was not described in previous studies. Compared to other cities, mostly surveyed in the U.S., Paris CH4 emissions are relatively small and comparable to cities with modern pipeline system. Comparison with inventories showed that for the energy sector, CH4 emissions are about fifteen times smaller than downscaled AIRPARIF inventories (chapter 4). Finally, at the industrial site scale, δ13CH4 and δDCH4 were determined and contributed to extend the database of isotopic signatures of European CH4 emissions. C2H6:CH4 observed from gas compressor stations are comparable with those in previous studies in other countries. For part of the sites, emission rates were also estimated using a Gaussian model or the tracer dispersion method (chapter 5).Results of this Ph.D. can be used as a base for future mobile, near-source campaigns in IDF region

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Wrobel, Frédéric. „Elaboration d'une base de données des particules responsables des dysfonctionnements dans les composants électroniques exposés à des flux de protons ou de neutrons. Application au calcul des taux d'erreurs dans les mémoires sram en environnement radiatif naturel“. Montpellier 2, 2002. http://www.theses.fr/2002MON20064.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Maurer, Olivier. „Étude de la distribution des espèces soufrées et de la formation de l'hydrogène sulfuré dans les stockages de gaz naturel en aquifère“. Phd thesis, Ecole Nationale des Ponts et Chaussées, 1992. http://pastel.archives-ouvertes.fr/pastel-00569430.

Der volle Inhalt der Quelle

Annotation:

L'objectif de ce travail est d'étudier la formation de l'hydrogène sulfuré (H2S) dans les aquifères utilisés pour le stockage de gaz naturel. L'étude des données de qualité gaz disponibles au global des stations nous a tout d'abord montré que la production d'H2S était marginale à l'échelle des volumes mis en jeu. Puis le développement de méthodologies analytiques et un programme d'analyse du gaz en tête de puits d'exploitation ont permis de souligner le rôle majeur tenu par la périphérie du stockage saturée en eau. Enfin une approche géochimique pluridisciplinaire - minéralogique, bactériologique, statistique, thermodynamique (calculs d'équilibres au moyen du logiciel CHIMERE) et isotopique - a identifié les acteurs de la formation d'H2S. Il s'agit de la combinaison entre, d'une part la désulfuration naturelle induite par le mélange du gaz injecté pauvre en H2S avec une eau plus ou moins chargée en H2S, et d'autre part une production d'H2S directement induite par la qualité du gaz injecté. Cette production a plusieurs origines. Il s'agit d'une acidification qui enrichit le système en H2S dissous et en H2S gazeux. Cette acidification est générée par la dissolution instantanée d'une partie du dioxyde de carbone du gaz naturel injecté (C02g), par l'oxydation possible du méthane injecté (CH4), et par la précipitation de sulfures de fer (FeS-FeS2) D'autres transformations chimiques, minimes à l'échelle du Stockage, sont aussi responsables de la production de sulfures dissous. Il s'agit de l'hydrolyse totale et rapide de l'oxysulfure de carbone (COS) injecté, de la réduction d'une part infime mais suffisante des sulfates (SO42-), par biocatalyse ou bien directement mais lentement par le méthane injecté. Il peut s'agir aussi de la lixiviation lente des sulfures de fer. On observe alors dans la bulle de gaz un gradient en sulfures dissous opposant une zone centrale pratiquement désulfurée à une périphérie sulfurée. Les soutirages de gaz ramènent une proportion croissante de gaz chargé en H2S. La production d'H2S est en partie contrôlée au niveau de la zone de soutirage par une précipitation de sulfures de fer selon la disponibilité du fer ferreux et ce contrôle est en partie responsable en début de soutirage des teneurs nulles en H2S du gaz soutiré. La consommation de sulfates est suffisamment faible pour être indécelable par l'analyse physico-chimique des eaux de stockage lorsqu'elles sont riches en sulfates. Ainsi, suite au stockage de gaz naturel acide, les eaux contenant une quantité non négligeable de sulfures (> 4 mg/l) ou de sulfates, produiront suffisamment d'H2S pour nécessiter la désulfuration du gaz destocké. Cette production peut être minimisée au moyen d'une gestion optimisée du stockage du gaz, tel que par un équilibrage du rapport volume de gaz injecté sur volume de gaz soutiré : ce rapport doit rester supérieur à 1 pour éviter le déstockage de gaz "ancien", périphérique, chargé en H2S. La production d'H2S peut dans ce cas se concrétiser à terme par une désulfuration des eaux de la zone centrale du stockage. La phase d'acidification par le C02g est suivie par un tamponnage par les carbonates solides, plus ou moins importante selon la minéralogie des stockages et qui, avec la dissolution du C02g et l'oxydation potentielle du méthane, est directement responsable d'une carbonatation générale et significative des eaux de stockage. Par ailleurs, une synthèse isotopique sur l'ensemble des stockages de gaz du Bassin de Paris a montré que les aquifères d'âges Trias supérieur et Lusitanien sont affiliés : on observe que les sulfates de l'ensemble des aquifères de stockage étudiés ont la marque isotopique d'un sulfate triasique ayant subi une bioréduction croissante. Cette bioréduction a pris place dans un système qui a permis des réhomogénéisations isotopiques à chaque étape de l'écoulement du fluide porteur du sulfate originel triasique. On a aussi mis en évidence des phénomènes de mélange entre des fluides de minéralisation plus ou moins importante dans chacun des stockages étudiés. Ce mélange est le résultat de mouvements de fluides verticaux et horizontaux induits par la respiration du stockage. Cette étude a permis de souligner l'intérêt que représente pour son exploitant le suivi de la qualité de l'eau du Stockage de gaz naturel en aquifère. Ce suivi peut être réalisé au moyen d'outils adaptés : prélèvements et analyses d'eau et de gaz, en fond ou en tête de puits; constitution et traitement de fichiers de données; utilisation des méthodes isotopiques ... . Il a aussi été réalisé, pour la première fois en France, un prélèvement bactérien dans une carotte nouvellement échantillonnée dans un niveau saturé en gaz stocké. Il s'agit de la seule technique véritablement significative pour l'étude bactérienne de tels milieux.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Royauté, Jean. „Les groupes nominaux complexes et leurs propriétés : application à l'analyse de l'informatique“. Nancy 1, 1999. http://www.theses.fr/1999NAN10140.

Der volle Inhalt der Quelle

Annotation:

Je présente dans cette thèse, un ensemble de travaux explorant le concept d'analyse de l'information, dans le contexte de l'information scientifique et technique, pour lequel les groupes nominaux complexes jouent un rôle de premier plan. Ce mémoire est organisé autour de deux axes. Le premier repose sur l'étude de la variation et de la stabilité des groupes nominaux terminologiques et leur rôle dans le dispositif d'analyse de l'information. Alors que la stabilité d'un terme est la manifestation de la banalisation de la notion qu'il représente, sa variation, au contraire, traduit, dans un grand nombre de cas, une instabilité conceptuelle de la notion, mettant en évidence une activité du domaine, en émergence ou en forte croissance. Le second de ces axes est consacré à une autre classe de GN complexes : les GN prédicatifs formés à partir de déverbaux. Le principal intérêt de cette structure linguistique est qu'elle est porteuse des éléments d'information essentiels de la phrase : sujets, compléments et circonstants. Le fait que chaque prédicat nominal marque ces arguments sujets ou compléments, à partir d'un sous-ensemble de prépositions spécifiques, permet d'en faciliter l'identification et a conduit à en faire une typologie. Cette typologie est utilisée pour l'identification en corpus des entrées lexicales de ces prédicats, à partir de traitements automatiques sur les verbes et leur nominalisation. Une évaluation de la pertinence de ces entrées lexicales à repérer les bons arguments est faite. L’intérêt d'utiliser les structures prédicatives acquises pour l'interprétation de clusters de termes co-occurrents est montre par la suite.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Leroy, César. „Oxalates de calcium et hydroxyapatite : des matériaux synthétiques et naturels étudiés par techniques RMN et DNP“. Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066256.

Der volle Inhalt der Quelle

Annotation:

En France, environ 9,8% de la population souffre de lithiase urinaire. Nous proposons, ici, une nouvelle approche afin de caractériser ces matériaux et d'obtenir une meilleure compréhension de leur formation. Les médecins utilisent principalement des techniques FTIR pour déterminer les principales phases présentes dans une calcification pathologique donnée. Les méthodes de RMN semblent appropriées pour déterminer plus précisément la composition de ces calcifications pathologiques. Très peu d'analyses RMN de calculs rénaux et d'analogues synthétiques ont été réalisées à ce jour.Premièrement, les trois phases d'oxalate de calcium ont été synthétisées (CaC2O4?nH2O avec n = 1, 2, 3) en mettant en ¿uvre des protocoles originaux. L'analyse des spectres 1H, 13C CPMAS et 43Ca MAS à ultra-haut champ magnétique en abondance naturelle permet une identification précise des différentes phases et peut être interprétée en tenant compte du nombre d'inéquivalents des sites cristallographiques. L'hydroxyapatite a été étudiée en parallèle car pouvant également apparaître lors de lithiase urinaire.Enfin, nous montrons les résultats obtenus à partir de DNP MAS à 100 K sur les échantillons synthétiques. L'affinité de la combinaison biradical/solvant reste un facteur limitant pour les matériaux hétérogènes tels que ceux qui sont analysés dans cette étude. Nous devons être en mesure de trouver une combinaison appropriée pour les matériaux multi-composants complexes afin d'obtenir un gain équivalent sur tous les signaux. Finalement, il est démontré qu'il est possible de transposer l'approche méthodologique présentée ci-dessus à l'étude des calculs rénaux
In France, about 9.8% of the population suffer from urolithiasis. The treatment of kidney stones, composed of 72% of hydrated calcium oxalates (CaC2O4∙nH2O) with n = 1, 2, 3, represents almost 900 million euros in annual spending and it is therefore necessary to understand the in vivo formation of these stones. Here we propose a new approach in order to characterize kidney stones and have a greater understanding of their formation. Physicians primarily use FTIR techniques to determine the major phases present in a given pathological calcification. NMR methods appears suitable to determine more accurately the composition of these pathological calcifications. Very few NMR analyzes of kidney stones and synthetic analogues were conducted to date. In a first step, the three phases of calcium oxalate were synthesized by implementing original protocols. Analysis of the 1H, 13C CP MAS and MAS 43Ca ultra-high magnetic field spectra at natural abundance allow precise identification of the different phases and can be interpreted by taking into account the number of inequivalent crystallographic sites. The hydroxyapatite was studied in parallel as it may also appear in urolithiase. Finally, we show results obtained from DNP MAS at 100 K on the synthetic samples. The affinity of the biradical/solvent combination remains a limiting factor for heterogeneous materials such as those analyzed in this study. We have to be able to find a suitable combination for complex multi-component materials and to obtain an equivalent gain on all signals. In a last step, it is demonstrated that it is possible to transpose the methodological approach presented above to the study of kidney stones

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Leroy, César. „Oxalates de calcium et hydroxyapatite : des matériaux synthétiques et naturels étudiés par techniques RMN et DNP“. Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066256/document.

Der volle Inhalt der Quelle

Annotation:

En France, environ 9,8% de la population souffre de lithiase urinaire. Nous proposons, ici, une nouvelle approche afin de caractériser ces matériaux et d'obtenir une meilleure compréhension de leur formation. Les médecins utilisent principalement des techniques FTIR pour déterminer les principales phases présentes dans une calcification pathologique donnée. Les méthodes de RMN semblent appropriées pour déterminer plus précisément la composition de ces calcifications pathologiques. Très peu d'analyses RMN de calculs rénaux et d'analogues synthétiques ont été réalisées à ce jour.Premièrement, les trois phases d'oxalate de calcium ont été synthétisées (CaC2O4?nH2O avec n = 1, 2, 3) en mettant en ¿uvre des protocoles originaux. L'analyse des spectres 1H, 13C CPMAS et 43Ca MAS à ultra-haut champ magnétique en abondance naturelle permet une identification précise des différentes phases et peut être interprétée en tenant compte du nombre d'inéquivalents des sites cristallographiques. L'hydroxyapatite a été étudiée en parallèle car pouvant également apparaître lors de lithiase urinaire.Enfin, nous montrons les résultats obtenus à partir de DNP MAS à 100 K sur les échantillons synthétiques. L'affinité de la combinaison biradical/solvant reste un facteur limitant pour les matériaux hétérogènes tels que ceux qui sont analysés dans cette étude. Nous devons être en mesure de trouver une combinaison appropriée pour les matériaux multi-composants complexes afin d'obtenir un gain équivalent sur tous les signaux. Finalement, il est démontré qu'il est possible de transposer l'approche méthodologique présentée ci-dessus à l'étude des calculs rénaux
In France, about 9.8% of the population suffer from urolithiasis. The treatment of kidney stones, composed of 72% of hydrated calcium oxalates (CaC2O4∙nH2O) with n = 1, 2, 3, represents almost 900 million euros in annual spending and it is therefore necessary to understand the in vivo formation of these stones. Here we propose a new approach in order to characterize kidney stones and have a greater understanding of their formation. Physicians primarily use FTIR techniques to determine the major phases present in a given pathological calcification. NMR methods appears suitable to determine more accurately the composition of these pathological calcifications. Very few NMR analyzes of kidney stones and synthetic analogues were conducted to date. In a first step, the three phases of calcium oxalate were synthesized by implementing original protocols. Analysis of the 1H, 13C CP MAS and MAS 43Ca ultra-high magnetic field spectra at natural abundance allow precise identification of the different phases and can be interpreted by taking into account the number of inequivalent crystallographic sites. The hydroxyapatite was studied in parallel as it may also appear in urolithiase. Finally, we show results obtained from DNP MAS at 100 K on the synthetic samples. The affinity of the biradical/solvent combination remains a limiting factor for heterogeneous materials such as those analyzed in this study. We have to be able to find a suitable combination for complex multi-component materials and to obtain an equivalent gain on all signals. In a last step, it is demonstrated that it is possible to transpose the methodological approach presented above to the study of kidney stones

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Bertot, Yves. „Une automatisation de calcul des residus en semantique naturelle“. Nice, 1991. http://www.theses.fr/1991NICE4474.

Der volle Inhalt der Quelle

Annotation:

Cette these traite du suivi de sujet dans des systemes formels decrits par des systemes de semantique naturelle. Le chapitre un introduction, presente le probleme de suivi de sujet c'est-a-dire la recherche des expressions manipulees dans le programme execute. Le chapitre deux decrit le formalisme utilise pour representer les occurrences dans les arbres, les termes d'un systeme de reecriture et les arbres de preuve. Le chapitre trois etudie les systemes de reecriture lineaires gauches et principalement leur representation par des regles d'inferences. La notion de residu d'occurrences y est rappelee. Le chapitre quatre introduit la notion de marquage, qui permet d'etablir une fonction reliant les occurrences du terme final d'une derivation aux occurrences du terme initial. Un tel marquage permet de garder l'origine de toutes les expressions. Un langage de fonction de marquage est defini et les proprietes algebriques de ce langage sont etudiees. Le chapitre cinq decrit le calcul des fonctions de marquage simultanement au developpement des reductions d'un terme par un systeme d'inference. La methode utilisee consiste a enrichir les regles du systemes d'inference en associant aux reecritures les fonctions de marquage correspondantes. Plusieurs methodes sont presentees, dont la plus generale utilise des informations de flux de donnees pour calculer la provenance des expressions. La correction de ces methodes d'enrichissement est formellement etablie dans ce chapitre. Le chapitre six montre comment ces calculs sont effectivement mis en uvre dans le systeme centaur et dans le langage typol. Le chapitre sept decrit une extension non triviale du calcul des fonctions de marquage au lambda-calcul. Des applications aux langages de programmation sont ensuite decrites

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Bonato, Roberto. „An Integrated Computational Approach to Binding Theory“. Phd thesis, Université Sciences et Technologies - Bordeaux I, 2006. http://tel.archives-ouvertes.fr/tel-00418563.

Der volle Inhalt der Quelle

Annotation:

Les pronoms jouent un rôle primordial dans toutes les langues humaines en tant qu'éléments fondamentaux pour assurer la cohésion sémantique d'un texte. Le probl`eme de l'automatisation de la résolution d'anaphores (reconnaissance de leur contenu sémantique) est un défi majeur pour toute application informatique qui vise une analyse sémantique ?ne du langage humain. La théorie du liage (Binding Theory) est une partie de la linguistique générative dédiée à l'identi?cation des principes qui régissent la distribution et l'interpretation des pronoms dans une phrase. Nous proposons une procédure algorithmique pour intégrer les principes de la théorie du liage dans une sémantique computationnelle. Notre algorithme combine des éléments des trois plus importantes approches de la théorie du liage et les intègre dans une synthèse originale. Nous étudierons aussi les points de convergence et de divergence entre notre approche et celle purement sémantique récemment proposée par Philippe Schlenker.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Tisserand, Pierre-Jean. „Modélisation et calcul de ponts en maçonnerie assisée soumis aux aléas naturels“. Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPAST064.

Der volle Inhalt der Quelle

Annotation:

Le réseau ferré français est constitué de composants d'infrastructures, dont les ponts en maçonnerie assisée, qui sont parmi les plus anciens et les plus nombreux. Ces derniers sont vieillissants et subissent une évolution constante du trafic et des charges ferroviaires. De plus, les aléas naturels, comme les aléas sismiques, s'avèrent être des facteurs importants de risque pour les circulations ferroviaires et les usagers.Dans le but de construire des politiques de gestion des risques efficaces et cohérentes, il est nécessaire de comprendre et de modéliser le comportement et la dégradation des ponts en maçonnerie assisée sous sollicitations d'aléas naturels.La modélisation de ponts en maçonnerie assisée demande d'abord la formulation d'une loi de comportement représentant la maçonnerie assisée sous sollicitations cycliques complexes. Elle se base une élasticité orthotrope et un endommagement décomposé en trois plans orthogonaux, couplés à un frottement interne.Ensuite une méthodologie et des outils de modélisation des ponts en maçonnerie sont proposés. Après, des stratégies de calcul sous sollicitations d'aléas naturels sont présentées. Un premier développement montre l'application de calculs sur base modale pour déterminer le comportement et la dégradation de ponts en maçonnerie sous chargements sismiques.Pour cela, un modèle d'oscillateur simple représentant le comportement d'un pont en maçonnerie sous sollicitation modale est formulé. Un second développement montre comment d'autres sollicitations d'aléas naturels peuvent être considérées.Enfin, le calcul des fragilités est expliqué, illustrant ainsi les potentielles utilisations, pour l'ingénierie, de ces travaux
The railway network is composed of infrastructure components, in which masonry bridges are among the oldest and most numerous. These are aged and suffer from steadily increasing traffic and loadings. In addition, natural hazards, such as seismic hazards, represent important risk factors for rail transport and users.In order to build effective and coherent risk management policies, it is necessary to understand the behavior and degradation of running bond masonry bridges under natural hazards loadings.The modeling of masonry bridges first requires a material model to represent running bond masonry under complex cyclic loadings. It is based on orthotropic elastic relationships and a damage model decomposed on three orthogonal planes, coupled with internal sliding.Then a methodology and tools for modeling masonry bridges are presented. After, computation strategies for masonry bridges under different natural hazards loadings, overall under seismic ones, are determined. A first development shows the application of modal-based computation to determine the behavior and degradation of running bond masonry bridges under seismic loadings. A simple oscillator model is formulated in order to represent the behavior of a masonry bridge under modal loadings. A second development shows how other natural hazards loadings can be considered.Finally, the computation of fragility is explained, which illustrates potential engineering use

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Helfgott, Michel, und Darrell Moore. „Introductory Calculus for the Natural Sciences“. Digital Commons @ East Tennessee State University, 2013. http://amzn.com/1453880836.

Der volle Inhalt der Quelle

Annotation:

This textbook is intended for first-year college students in biology, chemistry, or physics. Its most distinctive feature is the central role played by applications to the natural sciences. Considering that nowadays students have access to graphing calculators that can solve complicated integrals, little or no space has been devoted in the book to integrals that require subtle changes of variables. Rather, we choose to concentrate on the basic techniques of integration and stress the solution of applied problems, especially those that use real data. We envision a calculus course where students not only learn to calculate derivatives or solve integrals, but are also able to discuss the validity of a model and estimate parameters.
https://dc.etsu.edu/etsu_books/1059/thumbnail.jpg

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Thévenon, Patrick. „Vers un assistant à la preuve en langue naturelle“. Chambéry, 2006. http://www.theses.fr/2006CHAMS036.

Der volle Inhalt der Quelle

Annotation:

Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle. L'architecture générale du système se décrit en 4 phases : 1. Analyse de la démonstration par des outils linguistiques ; 2. Traduction de la démonstration dans un langage restreint ; 3. Interprétation du texte traduit en un arbre de règles de déduction ; 4. Validation des règles de déduction à l'aide d'un démonstrateur automatique. Ce projet a mobilisé des équipes de linguistes et de logiciens, les deux premières phases étant la tâche des linguistes, et les deux dernières étant la tâche des logiciens. Cette thèse présente plus en détail ce projet et développe principalement les points suivants : - définition du langage restreint et de son interprétation ; - propriétés du type principal de termes d'un λ -calcul typé avec deux flèches entrant dans le cadre d'un outil linguistique, les ACGs ; - description du démonstrateur automatique
This Thesis is the conclusion of three years of work in a project named DemoNat. The aim of this project is to design a system able to analyse and validate mathematical proofs written in a natural language. The general scheme of the system is the following : 1. Analysis of the proof by means of linguistics tools ; 2. Translation of the proof in a restricted language ; 3. Interpretation of the translated text in a deduction rules tree ; 4. Validation of the deduction rules with an automatic prover. This project envolved teams of linguists and logicians, the first two phases being the task of the linguists, and the lasts ones being the task of the logicians. This thesis presents in more details the project and develops mainly the following points: - Definition of the restricted language and its interpretation ; - proprerties of the principal type of terms of a typed λ-calculus with two arrows, part of a linguistic tool, the ACGs ; - Description of the automatic prover

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Pompigne, Florent. „Modélisation logique de la langue et Grammaires Catégorielles Abstraites“. Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00921040.

Der volle Inhalt der Quelle

Annotation:

Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premier temps que le calcul résultant de cette extension bénéficie des propriétés de confluence et de normalisation, permettant d'identifier les termes beta-équivalents dans le formalisme grammatical. Nous réduisons de plus le même problème pour la beta-eta-équivalence à un ensemble d'hypothèse de départ. Dans un second temps, nous montrons comment cette introduction de structures de traits peut être appliquée au contrôle des dépendances à distances, à travers les exemples des contraintes de cas, des îlots d'extraction pour les mouvements explicites et implicites, et des extractions interrogatives multiples, et nous discutons de la pertinence de placer ces contrôles sur les structures de dérivation.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Alves, Daniel Durante Pereira 1968. „Normalização forte via ordinal natural“. [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280389.

Der volle Inhalt der Quelle

Annotation:

Orientador: Itala Maria Loffredo D'Ottaviano
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-24T13:30:02Z (GMT). No. of bitstreams: 1 Alves_DanielDurantePereira_D.pdf: 10917931 bytes, checksum: b3a281be70541ba02394f30b44bda708 (MD5) Previous issue date: 1999
Resumo: Não informado
Abstract: Not informed.
Doutorado
Doutor em Filosofia

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Walsh, Pamela Judith. „Natural calcium phosphate ceramics for tissue engineering application“. Thesis, Queen's University Belfast, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.486236.

Der volle Inhalt der Quelle

Annotation:

There is a great need for new bone graft materials. Bone related problems have increased considerably over the last few decades, owing to an ageing populate and the associated prevalence of bone disease. The traditional method of grafting to bridge bone defects are still widely used, despite a wide selection of new synthetic alternatives materials becoming available. These tend to lack the physical properties, such as porosity, interconnective and mechanical strength required for bone repair. Coral derived CaP ceramics have shown good potential, as substitute materials, offering the desirable physiochemical characteristics required for bone repair. This study investigated the development of a bioceramic from marine origins for use in bone tissue applications. Algae species were specifically selected to take account of their fast growth rate and aquaculture potential, which would minimise the environmental impact of harvesting. The conversion of alga was achieved through a novel technique, involving well controlled thermal processing followed by low pressure temperature hydrothermal synthesis technique. Using this technique, the original skeletal morphology of the alga was retained throughout processing. The resultant material was found to be a tri-phasic ceramic, with a > 90% composition of HA. Calcite and 13-TCP were the other two phases identified in the material. Cell studies confirmed the material to have good biocompatibility. A preliminary scaffold fabrication study incorporated the CaP material into a polymeric scaffold. The study found that the CaP material was robust and capable of withstanding rigorous processing. The work presented in this thesis indicates that this novel process is capable of synthesising a reproducible CaP material, which possesses suitable physiochemical properties for use in bone tissue engineering applications.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Moura, José Eduardo de Almeida. „Um estudo de C omega em calculo de sequentes e dedução natural“. [s.n.], 2001. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385.

Der volle Inhalt der Quelle

Annotation:

Orientador: Itala Maria Loffredo D'Ottaviano
Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001
Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal
Abstract: Following Raggio's 1968 and 1978 papers on Cn1w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition
Doutorado
Doutor em Filosofia

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Souza, Roberta Vieira Gonçalves de. „Iluminação natural em edificações : calculo de iluminancias internas-desenvolvimento de ferramenta simplificada“. reponame:Repositório Institucional da UFSC, 1997. http://repositorio.ufsc.br/xmlui/handle/123456789/77268.

Der volle Inhalt der Quelle

Annotation:

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
Made available in DSpace on 2012-10-17T02:29:36Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:26:06Z : No. of bitstreams: 1 108491.pdf: 14403028 bytes, checksum: 2f89829c828e263d06f081816ea59572 (MD5)
O trabalho tem como escopo a definição de uma metodologia para determinação de iluminâncias em plano horizontal no ambiente construído sob condições de céu encoberto e céu claro para diversas alturas solares através de procedimento gráfico simplificado. Propõe-se a implementação de um método gráfico para utilização em avaliações iniciais da quantidade de luz que se obtém por determinada abertura - para verificação e comparação de sistemas de iluminação natural ou para verificação da qualidade e eficiência do projeto de iluminação em códigos de obra.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Daudon, Vincent. „Construction d'un concept de temps mathématiquement manipulable en philosophie naturelle“. Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC241/document.

Der volle Inhalt der Quelle

Annotation:

En recherchant la loi de force centripète inscrite dans les Principes Mathématiques de la Philosophie Naturelle, Newton donna au temps un statut de grandeur privilégiée de la philosophie naturelle. Cependant, celui-ci apparaît de façon ambiguë, tantôt grandeur discrète, tantôt grandeur continue. Sa manipulation mathématique, qui repose essentiellement sur la Méthode des premières et dernières raison et sur la loi des aires, laisse, en outre, apparaître un temps de nature géométrique. Confronté, dans la proposition X du livre II, à la résolution du mouvement d'un mobile qui éprouve une résistance en raison du carré de sa vitesse, Newton ne parvient pas à résoudre cette proposition au moyen de la géométrie. Il est contraint de reprendre son raisonnement et de recourir à une méthode algébrique pour énoncer de manière juste, dans l'édition de 1713, la solution de cette proposition, dans laquelle le temps apparaît alors sous une forme algébrisée, représenté par une lettre. Ainsi, d'un temps géométrisé, figuré par un élément d'espace dans l'édition de 1687, Newton en fit un être per se représenté par une lettre dans la proposition X de l'édition de 1713. Cependant, c'est à Varignon, qui aborda les propositions des Principia de Newton à l'aide du calcul différentiel, que l'on doit la fin de la mathématisation et la finalisation du concept de temps mathématique
By looking for the law of centripetal force registered in the Mathematical Principles of the Natural Philosophy, Newton gave to time a status of privileged magnitude of natural philosophy. However, this one appears in a ambiguous way, sometimes discrete magnitude, sometimes continuous magnitude. Its mathematical manipulation, which rests essentially on the Method of first and last ratios and on the law of areas, lets appear a time of geometrical nature. Confronted, in the proposal x of the book II, with the resolution of the movement of a mobile which tests a resistance which is proportional in the square of its speed, Newton does not succeed in solving this proposal by means of the geometry. It is forced to resume its reasoning and to resort to an algebraic method in order to express in a just way the solution of this proposal, in which the time appears then under an algébraic shape, represented by a letter. So, from a geometrical time, represented by an element of space in the edition of 1687, Newton made an entity per se represented by a letter in proposal x of the 1713 edition. But it is to Varignon, who approached the proposals of the Principia by means of the differential calculus, that we owe the end of the "mathematization" and the finalization of the concept of mathematical time

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

LUSTOSA, CECILIA REIS ENGLANDER. „ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS“. PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2014. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302@1.

Der volle Inhalt der Quelle

Annotation:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam regras para um operador booleano arbitrário para uma dada lógica proposicional. Cada regra desse sistema corresponde a uma linha na tabela de verdade desse operador. Na primeira parte desse trabalho, mostramos uma extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e para lógicas não-determinísticas. Mantemos a ideia de definir um sistema de dedução cujas regras correspondam a linhas de tabelas verdade, mas ao invés de termos um tipo de regra para cada valor de verdade da lógica correspondente, usamos uma representação bivalente que usa a técnica de fórmulas separadoras definidas por Carlos Caleiro e João Marcos. O sistema definido possui tantas regras que pode ser difícil trabalhar com elas. Acreditamos que um sistema de cálculo de sequentes definido de forma análoga poderia ser mais intuitivo. Motivados por essa observação, a segunda parte dessa tese é dedicada à definição de uma tradução entre cálculo de sequentes e dedução natural, onde procuramos definir uma bijeção melhor do que as já existentes.
Segerberg presented a general completeness proof for propositional logics. For this purpose, a Natural Deduction system was defined in a way that its rules were rules for an arbitrary boolean operator in a given propositional logic. Each of those rules corresponds to a row on the operator s truth-table. In the first part of this thesis we extend Segerbergs idea to finite-valued propositional logic and to non-deterministic logic. We maintain the idea of defining a deductive system whose rules correspond to rows of truth-tables, but instead of having n types of rules (one for each truth-value), we use a bivalent representation that makes use of the technique of separating formulas as defined by Carlos Caleiro and João Marcos. The system defined has so many rules it might be laborious to work with it. We believe that a sequent calculus system defined in a similar way would be more intuitive. Motivated by this observation, in the second part of this thesis we work out translations between Sequent Calculus and Natural Deduction, searching for a better bijective relationship than those already existing.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Cauvin, Maxime Verdel Thierry. „Prise en compte des incertitudes et calcul de probabilité dans les études de risques liés au sol et au sous-sol“. S. l. : INPL, 2007. http://www.scd.inpl-nancy.fr/theses/2007_CAUVIN_M.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Mo, Jialin. „Soil Amended with Calcium-Magnesium Immobilizing Agent against Natural Arsenic Contamination“. Kyoto University, 2019. http://hdl.handle.net/2433/242786.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Ait, Kettout Ahcéne. „Influence de la nature des sulfates de calcium sur l'hydratation d'un ciment en présence d'adjuvants“. Toulouse 3, 1989. http://www.theses.fr/1989TOU30232.

Der volle Inhalt der Quelle

Annotation:

L'objectif principal de ce travail est de differencier l'action des sulfates de calcium-gypse et anhydrite - sur le controle du debut d'hydratation du clinker portland, en presence d'adjuvants organiques. L'etude du passage des ions sulfates en solution, a montre que la dissolution des sulfates depend du milieu. Ainsi, dans l'eau pure la quantite d'ions sulfates liberee par l'anhydrite est superieure a celle liberee par le gypse, et ceci en presence ou non de fluidifiants. Par contre dans une suspension de ciment, le gypse se dissout en plus grande quantite que l'anhydrite. Le controle de l'hydratation du ciment portland depend de la quantite d'ions sulfates en solution et de la teneur en aluminate tricalcique. A ciment a faible teneur en aluminate tricalcique (c#3a<9%) ; l'hydration est normale quelle que soit la nature du sulfate de calcium additionne et quel que soit le fluidifiant incorpore. Cela est du au fait que la quantite d'ions sulfates presents en solution, est suffisante pour le controle de la phase aluminate. B ciment a forte teneur en aluminate tricalcique (c#3a>9%) ; le controle de l'hydratation de ce type de ciment depend de la nature du sulfate de calcium utilise. * le gypse se dissout en quantite suffisante pour controler correctement l'hydratation de la phase aluminate meme en presence de fluidifiants. * par contre, l'anhydrite ne libere pas suffisamment d'ions sulfates pour controler l'hydratation des aluminates qui forment rapidement des aluminates de calcium hydrates. Le meme resultat a ete observe lors de l'incorporation de fluidifiants a base de condensat de naphtalene ou de melamine. En additionnant un fluidifiant a base de lignosulfonate gluconate de sodium, on a decele la formation de monosulfoaluminates de calcium et une mauvaise cristallisation des composes hydrates formes (ettringite et portlandite)

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Barrios, Piña Héctor Alfonso. „Développement d'un code de calcul non Boussinesq dédié aux écoulements de gaz chauffé de convection naturelle“. Aix-Marseille 3, 2010. http://www.theses.fr/2010AIX30015.

Der volle Inhalt der Quelle

Annotation:

L'analyse numérique des écoulements des gaz chauffés, particulièrement à faible vitesse, est souvent réalisée à partir d'hypothèses restrictives (approximation de Boussinesq et approximation à faible nombre de Mach). Ces hypothèses restrictives décrivent les écoulements d'un gaz plus ou moins tronqué de sa réalité physique et ne sont pas toujours faciles à valider. C'est pourquoi le principal objectif de ce travail est de mettre en œuvre un outil numérique qui permette de tester les hypothèses utilisées. Pour cela, un code de simulation numérique à masse volumique variable est entièrement développé pour l'étude des écoulements des gaz chauffés en régime de convection naturelle, forcée ou mixte, laminaire ou de transition. Les équations de bilan dynamique et énergétique sont résolues sans approximation restrictive, en milieu non radiatif et sans apport significatif de chaleur par dissipation de l'énergie cinétique. La loi des gaz parfaits est utilisée comme loi d'état. La résolution du système d'équations discrètes repose sur un algorithme de type prédiction-correction en utilisant des différences finies centrées pour la discrétisation spatiale et la méthode de Crank-Nicolson pour la discrétisation temporelle. La démarche numérique est validée à l'aide de solutions analytiques et de la cavité différentiellement chauffée. Ensuite, différents types d'écoulements présentant une difficulté croissante à la fois du point de vue numérique et physique sont traités et discutés. Ces configurations évoluent sur le plan de la physique d'un milieu confiné (cavité fermée différentiellement chauffée), puis un milieu semi-confiné (canal avec une marche), jusqu'à un milieu ouvert (jet plan libre)
Numerical analyses of heated gas flows, particularly at low speeds, are often performed with the aid of simplifying assumptions. These restrictive assumptions represent the flow of a gas somewhat truncated in its real state and are not easy to validate. Therefore, the main objective of this work is to develop a numerical tool to validate the commonly used approximations. For this reason, a numerical code for variable-density flows is fully developed to study heated gases in natural, forced or mixed convection, in both laminar and transitional flow regimes. The dynamic and energy conservation equations are solved without simplifying assumptions (such as the Boussinesq approximation and the low Mach number approximation), in a non-radiative field and with negligible viscous dissipation. The ideal gas law is used as state law. The coupled set of equations is solved with an iterative predictor-corrector algorithm, which uses a second-order finite difference formulation for the spatial discretization, and the Crank-Nicolson method for the time discretization. The numerical method is validated using analytical solutions as well as the differentially heated cavity problem. Three flows of increasing numerical and physical complexity are then investigated. These flows physically progress from a confined flow (differentially heated closed cavity), then a semi-confined flow (backward facing step) to an open flow (a free-plane jet)

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Huachin, Albujar Jacksey Américo. „Calculo y selección de instalaciones mecánicas de un establecimiento de venta de gas natural vehicular“. Bachelor's thesis, Universidad Nacional Mayor de San Marcos, 2016. https://hdl.handle.net/20.500.12672/12774.

Der volle Inhalt der Quelle

Annotation:

Describe el diseño de las instalaciones mecánicas de un establecimiento de venta de gas natural para uso vehicular (GNV) y la selección de equipos y accesorios que conforman dicha estación de propiedad de TRIGAM S.A.C.
Trabajo de suficiencia profesional

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Jackson, Marilyn E. „Relating creation spirituality to Lutheranism : viewed from the perspective of education for social change : this dissertation is submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy to the faculty and board of the Western Institute for Social Research (WISR), Berkeley, California /“. Electronic access available at, 2004. http://www.peacehost.net/EPI-Calc/Marilyn/.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Cermeño, Rodríguez Miguel Ángel. „Procedimientos para calcular la capacidad de producción de pozos de gas natural“. Universidad Nacional de Ingeniería. Programa Cybertesis PERÚ, 2005. http://cybertesis.uni.edu.pe/uni/2005/cermeno_rm/html/index-frames.html.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Cruz, Carlos Eduardo Braga. „Calcium anacardate as anacardic source in the feed of broilers“. Universidade Federal do CearÃ, 2015. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=16333.

Der volle Inhalt der Quelle

Annotation:

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior
A pesquisa foi desenvolvida com o objetivo de avaliar os efeitos da adiÃÃo do anacardato de cÃlcio (ACC), como fonte de Ãcido anacÃrdico na raÃÃo de frangos de corte sobre o desempenho, as caracterÃsticas de carcaÃa, qualidade e a estabilidade lipÃdica da carne, parÃmetros sanguÃneos, atividade enzimÃtica e peroxidaÃÃo lipÃdica do fÃgado e no crescimento, composiÃÃo e qualidade dos ossos. Para isso, 840 pintos machos de um dia da linhagem Ag Ross 308 foram distribuÃdos ao acaso em seis tratamentos, com sete repetiÃÃes de vinte aves. Os tratamentos consistiram em: raÃÃo sem promotor de crescimento (PC); raÃÃo com PC e, os demais, raÃÃes sem o PC e adiÃÃo de ACC nos nÃveis de 0,25; 0,50; 0,75 e 1%. A adiÃÃo de ACC na raÃÃo nÃo influenciou nos parÃmetros bioquÃmicos do sangue (Ãcido Ãrico, creatinina, alanina aminotransferase, aspartato aminotransferase, colesterol total, HDL, LDL e triglicerÃdeos), na atividade enzimÃtica (superÃxido dismutase, grupos sulfidrÃlicos nÃo-protÃicos) e peroxidaÃÃo dos lipÃdeos do fÃgado, no crescimento e qualidade Ãssea (peso, comprimento, diÃmetro, Ãndice de Seedor, resistÃncia, deformidade, matÃria seca e matÃria mineral), nas caracterÃsticas de carcaÃa (% de carcaÃa, peito e coxa+sobrecoxa) e na qualidade da carne ( L*, a*, b*, pH, perda de Ãgua por cocÃÃo e capacidade de retenÃÃo de Ãgua). No entanto, a adiÃÃo a partir de 0,75% de ACC reduziu o ganho de peso e prejudicou a conversÃo alimentar dos frangos atÃ 21 dias de idade, porÃm, a adiÃÃo de atÃ 1% nÃo afetou o desempenho quando se considerou o perÃodo total de criaÃÃo (1 a 42 dias de idade). Para os valores de TBARS da carne, os nÃveis de 0,75% e 1% proporcionaram os menores valores, enquanto, o tratamento sem promotor de crescimento proporcionou maior valor. O ACC pode ser adicionado na raÃÃo dos frangos de corte atÃ o nÃvel de 1%, sem que ocorram alteraÃÃes nos parÃmetros sanguÃneos, enzimÃticos do fÃgado, no desempenho ao final do perÃodo de criaÃÃo (42 dias de idade), nas caracterÃsticas de carcaÃa e no crescimento, composiÃÃo e qualidade dos ossos. Contudo, a qualidade da carne pode melhorar com a reduÃÃo da oxidaÃÃo lipÃdica a partir de 0,75%.
The research aims to evaluate the effects of adding calcium anacardic (CAC) as a source of anacardic acid in the feed of broiler about the performance, carcass characteristics, quality and lipid stability meat, blood parameters, enzyme activity and lipid peroxidation liver and growth, composition and quality of the bones. For this, 840 male chicks with a day Ross 308 line were randomly assigned to six treatments, with seven replicates of twenty birds. The treatments consisted of: diet without growth promoter (PC); diet with PC and the others without PC and adding CAC levels of 0.25; 0.50; 0.75 to 1%. The addition of CAC in the feed didnât affect the biochemical blood parameters (uric acid, creatinine, alanine aminotransferase, aspartate aminotransferase, total cholesterol, HDL, LDL and triglycerides) in the enzyme activity (superoxide dismutase, non-protein sulfhydryl groups) and peroxidation of liver lipids, growth and bone quality (weight, length, diameter, Seedor index, strength, deformity, dry matter and mineral matter), in the carcass characteristics (% of carcass, breast and thigh + drumstick) and quality meat (L *, a *, b *, pH, loss of water by cooking and water holding capacity). However, the addition of from 0.75% CAC reduced weight gain and feed conversion detracted from the chickens up to 21 days old, however, the addition of up to 1 % did not affect performance when considering the total period (1 to 42 days old). For TBARS values for beef, the levels of 0.75% to 1% have provided the lowest values while treatment without growth promoter yielded higher value. The CAC can be added in the feed of broilers to the level of 1 %, no changes occur in the blood parameters and enzyme of the liver, the performance at the end of the growing period (42 days old), carcass characteristics and growth, composition and quality of the bones. However, the quality of the meat can improve with reduced lipid oxidation from 0,75. The CAC can be added in the feed of broiler until the level of 1%, without change the blood parameters, enzymatic liver, the performance at the end of the growing period (42 days old), carcass characteristics and growth, composition and quality of the bones. However, the quality of the flesh can be improved by reducing lipid oxidation as 0.75%.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Saarela, T. (Timo). „Nephrocalcinosis in infants:incidence, risk factors, natural course and renal outcome in certain risk groups“. Doctoral thesis, University of Oulu, 1999. http://urn.fi/urn:isbn:951425404X.

Der volle Inhalt der Quelle

Annotation:

Abstract The aim of the present work was to elucidate the incidence, associated risk factors and natural course of nephrocalcinosis (NC) in very low birth weight (VLBW) infants, and to evaluate renal function in affected infants during early childhood. The occurrence and course of NC in full-term infants receiving furosemide and in infants with congenital lactase deficiency were also studied. A total of 129 VLBW infants were screened for NC by renal ultrasonography (US) at 2 and 6 weeks and 3 months, and ultrasonic follow-up was performed on the infants with NC at 6, 12, 18 and 24 months, and thereafter annually up to age 5-6 years or until ultrasonic resolution. NC was classified according to its pyramidal localisation and extent. Twenty VLBW children with neonatal NC and 20 control pairs without the condition were examined for renal function at 4.7 (SD 1.1) vs. 4.6 (0.9) years of age. Thirty-six full-term infants who had received furosemide treatment for congestive heart failure for at least 4 weeks and 36 control infants without any diuretic therapy were examined by renal US and by means of a random urine sample taken at a median age of 2.9 vs. 3.4 months. The case records of the 11 infants with congenital lactase deficiency were analysed for NC, and these children were re-evaluated at 2 to 10 years of age. NC was detected in 26 out of the 129 VLBW infants (20%). The infants with NC were sicker and smaller than the unaffected ones and had more often received furosemide, dexamethasone and theophylline treatment. NC was peripheral in 14 cases (54%), scattered in 7 (27%) and extensive in 5 (19%). All the casesof peripheral NC showed resolution at 12 months, but abnormal renal findings were seen in 3 out of the 7 with scattered NC and 3 out of the 4 surviving children with extensive NC at 24 months, in 2 of whom the condition persisted at age 5-6 years. The children with neonatal NC showed increased urinary calcium and μ2-microglobulin excretion as compared with the controls in early childhood, but there was no significant difference in distal tubular acidification capacity, nor in estimated creatinine clearance. Five out of the 36 full-term infants receiving long-term furosemide had NC, but none of the controls. The daily dose of furosemide and the urinary calcium concentration were both higher in the infants with NC. Abnormal renal findings were still visible in two of the cases at 24 months of age. Hypercalcaemia was found in 7 out of 10 infants with congenital lactase deficiency tested at the time of diagnosis, and NC was seen in 5 of the 7 cases examined by renal ultrasonography. No constant dysfunction in calcium homeostasis was seen at re-evaluation, but nephrocalcinotic changes were observable in 3 out of the 11 children. NC may complicate not only the course of VLBW infants, but also that of full-term infants with calciuric medication and diseases that involve hypercalcaemia. Some renal tubular dysfunction may result from NC in former preterm infants, but overall kidney function seems not to be seriously compromised in early childhood.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Coenen, Anja. „Inspired by nature. Investigating the reactivity of biogenic calcium oxide for CO2 capture“. Thesis, The University of Sydney, 2013. http://hdl.handle.net/2123/10027.

Der volle Inhalt der Quelle

Annotation:

Calcium oxide (CaO) can be used to absorb and desorp CO2, but the reactivity to form calcium carbonate (CaCO3) over multiple cycles declines rapidly making this process inefficient. Although various procedures have been investigated and some have enhanced the reactivity, no one sorbent has been found or synthesised that has a high reactivity over multiple cycles, is easy to synthesise and cheap to manufacture. Biogenic CaCO3 from various marine forms was tested for the potential to function as precursor for CaO-based CO2 sorbents. The porosity and elemental content were put in context with the reactivity reached and stability encountered during repeated carbonation-calcination cycles. CaCO3 templated on biopolymers exhibited various morphologies, but did not show an increased performance. Synthetic polymers were able to structure mesoporous CaO that gave rise to a sorbent with increased CO2 uptake capacity. The combination of mesoporous CaO and magnesium oxide (MgO) resulted in a sorbent with initial full conversion of CaO to CaCO3, making it a highly promising sorbent for CO2 capture. The impregnation of an inexpensive biologial silica scaffold (diatomaceous earth) with CaO resulted in a sorbent with conversion rates of above 80% in the first 10 cycles; much larger than the 20% conversion of CaO impregnated on SBA-15. The potential for CO2 capture using biogenic CaCO3 is limited. Artificial sorbents synthesised using synthetic polymers and inert elements as stabilisers have increased CO2 capture capacity. The impregnation of CaO onto a biogenic silica scaffold provides a low-cost approach to synthesise sorbents with enhanced reactivity. The latter two sorbents have the potential for application in large scale CO2 capture operations, as the synthesis route is easy, the materials costs are low, and both have enhanced CaO conversion.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Marquis, Gaétane. „Étude de caractéristiques cognitives et sociocognitives d'élèves de sciences de la nature dans le cours de Calcul différentiel et intégral I“. Mémoire, Université de Sherbrooke, 1996. http://hdl.handle.net/11143/10326.

Der volle Inhalt der Quelle

Annotation:

Dans l'introduction générale de cette recherche, nous présentons les facteurs qui causent des difficultés aux élèves en mathématiques. Nous avons constaté que le cours de Calcul différentiel et intégral I en est un qui apporte beaucoup de difficultés. Cette recherche s'est effectuée avec des élèves inscrits en première session au programme collégial de sciences de la nature. Bien qu'ils aient réussi leurs mathématiques au secondaire, ces élèves éprouvent-ils des difficultés reliées aux facteurs mentionnés dans l'introduction générale? Pour mieux comprendre le problème, nous avons réalisé une étude pilote et celle-ci nous a montré que nous n'étions probablement pas en face d'un problème de mathophobie, ce qui s'est d'ailleurs confirmé avec l'expérimentation. Après l'étude pilote, nous avons consulté les littératures québécoise et américaine sur des sujets qui ont un lien avec notre recherche. Par la suite, nous avons développé deux cadres théoriques : celui de l'apprentissage et celui des mathématiques. Notre question de recherche nous a amené à réaliser une recherche descriptive où nous avons développé deux objectifs. De plus, pour atteindre ces deux objectifs, nous avons fait une expérimentation qui consiste en une entrevue divisée en deux parties : la première comprend deux problèmes où l'élève dit à haute voix ce qu'il fait, et la deuxième constitue une entrevue où il y a des questions traitant du contenu du cours et des mathématiques du secondaire. Six élèves de sciences de la nature ont été sélectionnés : trois élèves trois forts et trois élèves faibles. Ces six entrevues nous ont permis, après l'analyse des verbatim, d'avoir six profils différents. À partir de ces profils, nous avons pu dégager des caractéristiques cognitives et sociocognitives d'élèves forts et d'élèves faibles. Nous croyons que nos deux objectifs ont été atteints. Cependant, tout ceci est complexe : il se dégage de l'analyse et de l'interprétation un ensemble de caractéristiques, et de celles-ci il ressort que certaines occupent une place plus importante que d'autres dans la réussite du cours de calcul. Nous avons donc fait ressortir des caractéristiques cognitives et sociocognitives et non les caractéristiques. Avec les caractéristiques considérées, nous avons pu poser une hypothèse de recherche. Qu'est-ce que cette recherche vient nous apporter? Évidemment, étant donné qu'il s'agit d'une recherche qualitative, nous ne pouvons généraliser. Cependant elle ouvre des portes pour l'enseignant et pour le chercheur...

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

MASTINO, COSTANTINO CARLO. „Modello di calcolo multifisico per la progettazione dei requisiti acustici, energetici ed illuminazione naturale degli edifici“. Doctoral thesis, Università degli Studi di Cagliari, 2013. http://hdl.handle.net/11584/266215.

Der volle Inhalt der Quelle

Annotation:

Multi physical calculation model for the design of acoustic requirements, energy and natural lighting of buildings interfaced with three-dimensional CAD architectural. The model calculates with single procedure the physical performance of buildings by taking the geometric information from the three-dimensional model generated in CAD.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Dearing, Kathryn Margaret. „Low-calcium pyroxene-melt equilibria at 1 bar : an experimental study in natural systems“. Thesis, University of Edinburgh, 1986. http://hdl.handle.net/1842/14762.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Robinson, Leanne. „Strategies to enhance the bioactive nature of peek polymer surfaces using calcium phosphate coatings“. Thesis, Ulster University, 2017. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.714495.

Der volle Inhalt der Quelle

Annotation:

This research investigated the potential to deliver substituted CaP thin films onto medically relevant substrates, in a one step process, via RFMS, so as to enhance the substrates surface topography and chemistry to stimulate an enhanced osteoblastic response. RFMS was utilised initially to sputter deposit (substituted-Sr and/ Zn) CaP onto Ti. Chemical and topographical surface properties in both the as-deposited and annealed state at 500 °C were investigated. Studies were undertaken which placed special emphasis on how the chemistry and morphology of (substituted) CaP coatings, sputter deposited onto PEEK, altered in relation to the deposition parameters. It was realised that a gradient interlayer was created between the PEEK substrate and the (substituted) CaP coating due to the calcium, phosphate and substituted ions being implanted within the PEEK to different depths in an erosion/ deposition process and that all of the coatings produced were amorphous, this created chemical and morphological changes to the PEEK substrate, but no damage to the bulk material. With the addition of impurity ion(s) the thin film formation took longer indicating a slower development rate. The chemical and morphological stability of the various (substituted) CaP coatings deposited onto PEEK were studied under physiological conditions, each coating had the ability to withstand this environment for 14 days. The in vitro response to the neat PEEK and (substituted) CaP surfaces was investigated up to 21 days, with all sample types proving their capability in supporting early cell attachment and proliferation. ALP measurements indicated high levels of initial differential potential on the Sr substituted CaP modified PEEK and the crystalline (substituted) CaP modified Si. By day 14 the (substituted) CaP modified PEEK samples maintained the highest levels of osteogenic differentiation. The Sr substituted CaP modified PEEK substrates promoted earlier and prolonged differentiation potential when compared to the CaP coated PEEK.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Ustriyana, Putu Ayu Ditta Sarita. „Natural and Synthetic Biomacromolecules in Biomineralization“. University of Akron / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=akron1573830824042347.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Barrientos, Melendez Edward Angel. „Calculo de la red interna de GN para la alimentación de una caldera pirotubular“. Bachelor's thesis, Universidad Nacional Mayor de San Marcos, 2016. https://hdl.handle.net/20.500.12672/6907.

Der volle Inhalt der Quelle

Annotation:

El documento digital no refiere asesor
Publicación a texto completo no autorizada por el autor
Se muestra al detalle el procedimiento correcto del suministro de gas natural al Centro Educativo Particular “San Agustín”, para el abastecimiento de una caldera pirotubular de 50 BHP y por consiguiente incentivar una mayor utilización de nuestras reservas de Gas Natural. Calcula y selecciona el centro de regulación y medición para el equipo instalado (Caldera Pirotubular), el dimensionamiento y el tipo de la tubería a instalar y la caída de presión en el recorrido de la red de gas natural desde el centro de regulación y medición hasta el punto del equipo instalado (Caldera Pirotubular).
Trabajo de suficiencia profesional

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Barrientos, Melendez Edward Angel, und Melendez Edward Angel Barrientos. „Calculo de la red interna de GN para la alimentación de una caldera pirotubular“. Bachelor's thesis, Universidad Nacional Mayor de San Marcos, 2016. http://cybertesis.unmsm.edu.pe/handle/cybertesis/6907.

Der volle Inhalt der Quelle

Annotation:

El documento digital no refiere asesor
Publicación a texto completo no autorizada por el autor
Se muestra al detalle el procedimiento correcto del suministro de gas natural al Centro Educativo Particular “San Agustín”, para el abastecimiento de una caldera pirotubular de 50 BHP y por consiguiente incentivar una mayor utilización de nuestras reservas de Gas Natural. Calcula y selecciona el centro de regulación y medición para el equipo instalado (Caldera Pirotubular), el dimensionamiento y el tipo de la tubería a instalar y la caída de presión en el recorrido de la red de gas natural desde el centro de regulación y medición hasta el punto del equipo instalado (Caldera Pirotubular).
Trabajo de suficiencia profesional

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Chmaissem, Wassim. „Mise au point d'un programme de calcul numérique aux éléments finis bidimensionnels appliqué à l'étude de la convection naturelle thermique laminaire et permanente dans des enceintes fermées“. Perpignan, 1998. http://www.theses.fr/1998PERP0291.

Der volle Inhalt der Quelle

Annotation:

L'auteur propose, valide et exploite un programme de calcul aux elements finis qui utilise les coordonnees cartesiennes, la fonction de courant, la vorticite, des elements triangulaires d'ordre unite et une technique iterative pour resoudre les equations de boussinesq de la convection naturelle thermique laminaire permanente bidimensionnelle dans des enceintes fermees. Le nombre de prandtl est fixe a 0,7 (cas de l'air) mais le nombre de rayleigh varie. Lorsque le nombre de grashof est assez grand, le code permet de deceler des ecoulements multicellulaires. Le role des facteurs de relaxation est alors essentiel puisque, suivant leurs valeurs, l'ecoulement peut apparaitre monocellulaire ou multicellulaire, ce qui semble signifier que, lorsque l'etat du fluide est pre-turbulent, leur role n'est pas seulement d'influer sur la vitesse de convergence mais aussi de permettre de trouver des solutions cachees. Etudier la sensibilite de la solution des equations de transfert aux facteurs de relaxation peut donc constituer un moyen de localiser les domaines d'existence des instabilites. Les instabilites sont les plus manifestes quand les conditions parietales possedent des elements de symetrie eu egard a la direction verticale. Les enceintes delimitees par deux cylindres horizontaux, l'un de section droite elliptique et l'autre de section droite circulaire sont particulierement interessantes car elles autorisent nombre de configurations. Notamment, une zone d'instabilites peut etre limitee du cote des grandes valeurs du nombre de rayleigh. Au-dela, les facteurs de relaxation n'influent alors plus sur la solution. Aux plus grandes valeurs du nombre de rayleigh, juste avant que divergent les calculs, selon la valeur des facteurs de relaxation, la valeur asymptotique en fonction du temps de la fonction de courant oscille entre deux valeurs.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Tansman, Gil Fils. „Exploring the nature of crystals in cheese through X-ray diffraction“. ScholarWorks @ UVM, 2014. http://scholarworks.uvm.edu/graddis/321.

Der volle Inhalt der Quelle

Annotation:

The optimization of powder x-ray diffraction (PXRD) for the study of cheese crystals was the focus of this study. A survey was conducted of various manifestations of calcium lactate crystals on the rindless surface and within mechanical openings of Cheddar cheese using PXRD. The diffraction reference card database contained a card that was entitled calcium lactate pentahydrate and corresponded to some of the crystalline material found on the cheeses. Diffractions patterns generated from other samples of crystalline material revealed the existence of an unknown crystal that resembled and behaved similarly to calcium lactate pentahydrate, but did not match the reference card. The existence of two enantiomeric variants of calcium lactate pentahydrate had been firmly established; an experiment was thus designed to determine if the unknown diffraction pattern represented one enantiomeric form, and if the ambiguously named reference card represented the other. This experiment demonstrated that the existing reference card corresponded to calcium DL-lactate pentahydrate and that the unknown diffraction pattern was generated from calcium L-lactate pentahydrate. This study resulted in the proposal of a new reference card for calcium L-lactate pentahydrate and the proposed renaming of the existing card to calcium DL-lactate pentahydrate. This discovery allows the rapid identification of both forms of calcium lactate that form in and on cheese. In order to conduct the survey and experiment that are described above, the PXRD method needed to be adjusted for use with cheese crystals. Samples of cheese crystals pose a particular challenge because they are often composed of high proportions of moisture, fat, protein, and other amorphous material; these all disrupt the efficient diffraction of crystals and thus needed to be removed or minimized. The removal of water from samples is a particular challenge because some cheese crystals contain water of hydration that may be driven off in the process, thereby destroying the crystals. A protocol for the preparation of cheese samples for PXRD was consequently developed.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Justice, Brad L. „Modelling of Calcium Carbonate Precipitation in Natural Karst Environments Under Hydrodynamic and Chemical Kinetic Control“. University of Akron / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=akron1145310619.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dissertationen zum Thema „Calcul naturel“

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an