Ces travaux de recherche s'intéressent à la caractérisation des transferts thermiques dans les milieux fluide-particules, et en particulier, les lits fluidisés au sein desquels un solide divisé est mis en suspension par un fluide. La grande diversité d'échelles spatiales et temporelles dans ces procédés nécessite d'étudier les interactions hydrodynamiques, thermiques et/ou chimiques entre les particules et le fluide à l'aide d'une approche multi-échelles. Une étude des transferts thermiques dans des lits fixes puis fluidisés, est réalisée à deux échelles : locale (Particle Resolved Simulation) et moyennée (Discrete Element Method-Computional Fluids Dynamics). L'étude PRS permet de caractériser les couplages locaux des transferts thermiques entre particules ainsi que la dynamique de ces transferts dans les configurations fluidisées. Une étude comparative entre les échelles met en évidence les limites du modèle DEM-CFD à capter les fluctuations des transferts thermiques observées dans les simulations PRS. Dans un dernier temps, les fermetures du modèle DEM-CFD sont améliorées de manière à réintroduire les fluctuations perdues par le changement d'échelles.

Le théorème de Burke est un résultat classique en théorie des files d'attente. Il établit que le processus de départ d'une file M/M/1 est un processus de Poisson de même intensité que le processus des arrivées. Nous présentons des extensions de ce résultat à la file d'attente et au modèle de stockage. Nous abordons ensuite l'étude de ces systèmes en tandem et en régime transitoire. Nous prouvons que les équations qui régissent la dynamique des deux systèmes (file d'attente et modèle de stockage) sont les mêmes alors que les variables pertinentes sont différentes selon le modèle qui nous intéresse. En utilisant des analogies entre ces systèmes et l'algorithme de Robinson-Schensted-Knuth, nous donnons une preuve élégante de la propriété de symétrie de chacun des deux systèmes. Nous nous intéressons également aux corrélations entre les services des clients successifs au sein d'une période d'activité. Nous revenons par la suite au théorème de Burke que l'on peut voir comme étant un résultat de point fixe: le processus de Poisson est un point fixe pour la file d'attente avec des lois de service exponentielles. Nous prouvons des résultats de points fixes dans le cadre des grandes déviations où les variables d'entrée sont décrites par le biais de leurs fonctions de taux.

Cette étude concerne les pratiques comptables des entreprises françaises sur une période allant du ministère de Colbert à 1914. Elle a pour matériau essentiel les archives d'entreprises et la littérature technique. Dès la fin du XVIIe siècle, des entrepreneurs intègrent le dépérisse¬ment des immobilisations dans leurs calculs. Certains en donnent une traduction comptable. Fin XVIIIe - début XIXe, on rencontre des écritures qui combinent constat de dépréciation et intérêt du capital. L'industrialisation et le développement des sociétés par actions ont favorisé l'émergence du concept, mais le lien n'est pas aussi direct qu'on a pu le penser. D'ailleurs la pratique reste limitée, car l'actif durable échappe souvent à la représentation comptable. Il n'est pour beaucoup qu'un effet mort, son acquisition est assimilée à une consommation. En outre, en dehors du textile, secteur lié au capital marchand, l'industrie ne connait sou¬vent que la comptabilité en recettes et dépenses, mode traditionnel des finances publiques. On se contente d'enregistrer les flux, sans organiser le suivi des stocks. Durant les années 1820 à 1840, l'usage de la partie double se généralise. On impose à certaines des premières sociétés anonymes de prévoir l'amortissement des immobilisations dans leurs statuts. La préoccupation de reconstitution du capital investi se manifeste par la formation de fonds d'amortissement. C'est alors que le procédé comptable prend sa dénomination actuelle, utilisée jusque-là pour désigner le remboursement d'un emprunt. Les compagnies de chemin de fer s'abstiennent d'amortir, notamment car elles ont massivement recours à l'emprunt et que l'Etat garantit leurs dividendes. Tout aussi éloignées du standard patrimonial, des entreprises industrielles font du mécanisme l'auxiliaire actif d'une politique d'autofinancement intensif. Ceci déclenche parfois d'âpres conflits entre administrateurs et actionnaires. Malgré quelques velléités de réglementation, on ne réussira guère à discipliner les pratiques avant que n'intervienne l'imposition des bénéfices en 1914.

Dans cette thèse, nous nous intéressons à la détection d'objets mobiles dans des séquences vidéo. En particulier, nous proposons une nouvelle méthode d'estimation du fond qui peut s'adapter aux différentes variations de la scène (ex. changements d'illumination, du fond). Cette méthode est composée d'un algorithme de soustraction du fond pour détecter les pixels du fond et d'un algorithme de post-traitement pour éliminer les changements d'illumination tels que les ombres des objets mobiles. Pour que cette méthode puisse s'adapter à une scène dynamique, nous proposons un contrôleur avec deux stratégies d'adaptation. La première stratégie supervise l'algorithme de soustraction du fond pour mettre à jour la représentation du fond en fonction du type d'objets détectés et des conditions d'illumination. Cette stratégie permet aux algorithmes de soustraction du fond de résoudre des problèmes concernant des petits bruits, des changements soudains d'illumination, la gestion des objets stationnaires, et aussi la détection des objets d'intérêt quand ils s'arrêtent de bouger. La deuxième stratégie règle les valeurs des paramètres de l'algorithme de soustraction du fond pour qu'il puisse s'adapter aux conditions courantes de la scène telles que le niveau de bruit. Pour atteindre ces objectifs, le contrôleur utilise les résultats des tâches de classification et de suivi, les informations diverses des algorithmes (ex. la sémantique des paramètres), ainsi que la nature de la scène observée (ex. scènes intérieures ou extérieures) . L'algorithme de soustraction du fond proposé est une extension du modèle de Mélange de Gaussiennes et il prend en compte les caractéristiques de la scène tels que les mouvements du fond et les changements dynamiques du fond. Cet algorithme propose également une nouvelle méthode pour mieux estimer la moyenne et l'écart type des distributions gaussiennes dans la représentation du fond. L'étape de post-traitement consiste en un algorithme pour supprimer les changements d'illumination à l'aide d'un nouvel espace de couleurs. Cet espace de couleurs est robuste aux changements d'illumination, ainsi que des irrégularités de caméras (la balance de blanc, la transformation non-linéaire lorsque l'intensité de lumière est faible par exemple). Cette méthode a été validée dans la base de données publiques ETISEO et dans une vidéo d'une heure du projet GERHOME.

Ce travail de thèse a pour objectif de proposer un modèle général d'annotation automatique d'images pour la recherche d'information.La recherche d'information sur les documents images nécessite des représentations abstraites symboliques des images (termes, concepts) afin de satisfaire les besoins d'information des utilisateurs. Si de nombreux travaux ont pour objectif de définir un processus d'apprentissage automatique sur des descripteurs visuels extraits des régions d'images, les questions liées aux choix et aux regroupements des régions descriptives et représentatives des différentes classes d'objets sont peu étudiées. Les variations visuelles des objets d'une classe donnée posent de sérieux problèmes pour l'annotation par classes d'objets. Ces variations sont causées par plusieurs facteurs : changements d'échelle, rotation et changements de luminosité, en sus de la variabilité de forme et de couleur propre à chaque type d'objet. Notre travail vise aussi à minimiser l'impact négatif de ce phénomène. Dans ce travail, le passage du signal au sens se fonde sur une représentation intermédiaire appelée "Phrases Visuelles" qui représentent des ensembles de régions d'intérêt regroupées selon un critère topologique prédéfini. Un processus d'apprentissage permet de détecter les relations entre les Phrases Visuelles et les classes d'objets. Ce modèle d'annotation a fait l'objet de nombreuses évaluations sur le corpus VOC2009. Les résultats obtenus montrent l'impact significatif du mode de regroupement des régions d'intérêt, et qu'un regroupement prenant en compte les relations spatiales entre ces régions donne des meilleurs résultats en terme de précision moyenne.

This presentation is intended to inform about news of Creo Simulate.

Un nombre important d'outils d'expérimentation permettent aujourd'hui l'étude de problématiques pour les réseaux fixes et mobiles multi sauts. En s'appuyant sur un état de l'art faisant état des différentes fonctionnalités et caractéristiques propres aux outils et méthodes d'expérimentation les plus couramment utilisés, cette thèse vise à évaluer des outils d'expérimentations innovants. Concernant l'étude des réseaux fixes, nous proposons VIRCONEL, un outil permettant la définition de topologies réseaux virtuelles ainsi que la réalisation de scénario dans des conditions réalistes. Pour l'étude des réseaux mobiles multi sauts, nous proposons tout d'abord SILUMOD, un langage qui permet de définir aisément à l'aide de mots clés et d'opérateurs spécifiques les caractéristiques du mouvement d'un nœud mobile. Nous proposons ensuite VIRMANEL, un outil permettant la gestion des connexions entre des nœuds mobiles multi sauts représentés par des machines virtuelles, à l'aide d'un algorithme optimisant la mise à jour des liens effectifs entre ces nœuds mobiles. En associant SILUMOD et VIRMANEL, nous obtenons ainsi un outil capable de simuler les déplacements d'un nœud mobile tout en évaluant et établissant les connections potentielles entre ces nœuds mobiles. Les évaluations de ces outils montrent que si la virtualisation est effectivement un outil pertinent et utile pour l’expérimentation des réseaux, elle a aussi ses limites et le réalisme des résultats dépend des conditions d’expérimentation. Nous discutons de cette problématique et proposons, à l’issue de cette thèse, quelques critères permettant d’évaluer le degré de confiance à accorder à un résultat. / A significant number of experimental tools now allow the study of problems for fixed and mobile multi -hop networks. Based on a state of the art reporting different features and characteristics specific to different testing methods, this thesis aims to provide some assessment of these innovative experiments tools. Concerning the study of fixed networks , we propose and evaluate VIRCONEL , a tool for the definition of virtual network topologies as well as the realization of scenario under realistic conditions. For the study of mobile multi-hop networks , we first propose SILUMOD , a language that allows using specific keywords and operators to easily define characteristics of the movement of a mobile node. We then propose VIRMANEL , a tool for managing connections between mobile nodes represented by virtual machines, using an algorithm optimizing the update of effective links between mobile nodes. By combining SILUMOD and VIRMANEL , we obtain a tool to simulate the movement of a mobile node while evaluating and establishing potential connections between mobile nodes. Evaluations of these tools show that if virtualization is indeed a relevant and useful tool for network experiments , it also has its limitations and the realism of results depends on experimental conditions. We discuss this problem and propose at the end of this thesis , some criteria for assessing the degree of trust to give a result.

La présente recherche porte sur l'analyse des relations pouvant exister entre l'activité exploratoire visuelle, quatre (4) opérations intellectuelles définies par D'Hainaut A 1980) et certaines structures filmiques spécifiques que Jacquinot (1979) appelle "syntagmes". Nous y avons également réalisé une étude comparative entre certaines formes d'organisation d'images statiques et des séquences filmiques qui leur correspondent. Les images statiques et les séquences furent extraites du film intitulé "La feuille verte". Ce film fut produit par l'Office national du film en 1954. Finalement, nous avons décrit de façon schématique l'influence de chacun des formats de présentation, de même que celle de chacun des syntagmes filmiques et statiques, sur l'activité oculaire de nos sujets. Il en a découlé huit (8) modèles ou prototypes de stratégie visuelle. / Québec Université Laval, Bibliothèque 2016

Dans les années quatre-vingts dix du siècle dernier, R. W. Thomason a démontréun théorème de concentration pour la K-théorie équivariante algébrique sur lesschémas munis d’une action d’un groupe algébrique G diagonalisable. Comme d’habitude,un tel théorème entraîne une formule des points fixes de type Lefschetz qui permetde calculer la caractéristique d’Euler-Poincaré équivariante d’un G-faisceau cohérent surun G-schéma propre en termes d’une caractéristique sur le sous-schéma des points fixes.Le but de cette thèse est de généraliser les résultats de R.W. Thomason dans le contextede la géométrie d’Arakelov. Dans ce travail, nous considérons les schémas arithmétiquesau sens de Gillet-Soulé et nous tout d’abord démontrons un analogue arithmétiquedu théorème de concentration pour les schémas arithmétiques munis d’une action duschéma en groupe diagonalisable associé à Z/nZ. La démonstration résulte du théorèmede concentration algébrique joint à des arguments analytiques. Dans le dernier chapitre,nous formulons et démontrons deux types de formules de Lefschetz arithmétiques. Cesdeux formules donnent une réponse positive à deux conjectures énoncées par K. Köhler,V. Maillot et D. Rössler. / In the nineties of the last century, R. W. Thomason proved a concentrationtheorem for the algebraic equivariant K-theory on the schemes which are endowed withan action of a diagonalisable group scheme G. As usual, such a concentration theoreminduces a fixed point formula of Lefschetz type which can be used to calculate theequivariant Euler-Poincaré characteristic of a coherent G-sheaf on a proper G-schemein terms of a characteristic on the fixed point subscheme. It is the aim of this thesis togeneralize R. W. Thomason’s results to the context of Arakelov geometry. In this work,we consider the arithmetic schemes in the sense of Gillet-Soulé and we first prove anarithmetic analogue of the concentration theorem for the arithmetic schemes endowedwith an action of the diagonalisable group scheme associated to Z/nZ. The proof is acombination of the algebraic concentration theorem and some analytic arguments. Inthe last chapter, we formulate and prove two kinds of arithmetic Lefschetz formulae.These two formulae give a positive answer to two conjectures made by K. Köhler, V.Maillot and D. Rössler.

Cette thèse se propose d’étudier la discrimination des comportements par les quantités de réponses itérées. Ce champ de recherche s’inscrit dans celui, plus large, de la discrimination des comportements par les quantités. Nous avons tout d’abord cherché à explorer la façon dont les comportements peuvent être discriminés par des quantités différentes d’itérations de réponses et de quelle façon l’installation ou non de cette discrimination peut être mise en correspondance avec une évolution de l’entropie du débit des réponses itérées. Ensuite, nous avons exploré la dynamique des réponses itérées en fonction de la quantité des itérations requises. Après cela, nous avons cherché à savoir s’il était possible de mettre en correspondance l’existence de dynamiques de réponses propres à des quantités avec l’installation ou non d’une discrimination des comportements par des couples différents composés de ces mêmes quantités. Enfin, en vue d’explorer en quoi l’installation d’’une dynamique des réponses permettait l’installation d’une discrimination des comportements, nous avons perturbé, en modifiant la topographie des réponses requises, l’installation de cette dynamique de réponses, et en avons mesuré les effets sur l’installation de la discrimination de comportements par ces quantités de réponses itérées. Les résultats montrent que l’évolution de l’entropie des débits de réponses itérées est orientée en fonction de l’installation ou non d’une discrimination des comportements par des quantités différentes d’itérations de réponses requises : l’entropie diminue lorsque la discrimination par des quantités de réponses itérées est installée, et augmente dans le cas contraire. Ce résultat n’est vrai que pour les participants ayant atteint au moins une fois le critère de décision que nous nous étions fixé pour juger de l’installation de la discrimination. L’analyse de la dynamique des réponses itérées en fonction de chaque quantité d’itérations requise montre qu’il existe presque systématiquement une dynamique propre à chaque quantité d’itérations de réponses requise, pour tous les participants, cette dynamique de réponses étant également propre à la topographie de la réponse requise. La perturbation de l’installation de la dynamique des réponses a, en outre, un effet sur l’installation de la discrimination des comportements par les quantités d’itérations de réponses. Au regard de ces résultats, nous pouvons conclure qu’il existe une correspondance entre l’installation ou non de la discrimination par des quantités de réponses itérées et l’évolution de l’entropie des débits de ces réponses itérées. Néanmoins, tandis que nous pouvons conclure à la pertinence d’analyser la dynamique des réponses itérées pour en étudier la complexité, la mise en correspondance entre celle-ci et la façon dont chaque quantité d’itérations de réponses prend ou non le contrôle de comportements spécifiques n’est pas possible à ce stade, bien que des pistes vers de futures études aient été proposées, pour explorer plus avant cette relation / This dissertation focuses on discrimination of behaviors by iterated responses, which falls in the scope of field of discrimination by quantities. First, we investigate how discrimination by several couples of iterated responses quantities could be related with the evolution of instantaneous rates of iterated responses entropy. Then, iterated responses dynamic was analyzed for several iterated responses quantities, and response topographies. The third experiment investigates the correspondence between specific dynamics of responses exhibited in fixed-ratio schedules and discrimination by couples of quantities of iterated responses. At last, effects of the disruption of the installation of the dynamic of responses on discrimination by these quantities of iterated responses have been measured. Results show that discrimination by quantities of iterated responses is possible, and that specific dynamics of responses match specific quantities of iterated responses. Although correspondence between such dynamics and discrimination have not been demonstrated, effects of disruption of dynamic of responses installation have been observed suggesting that a link between dynamic of responses and discrimination exists.