Dissertations / Theses on the topic 'Descriptions (documents)'
To see the other types of publications on this topic, follow the link: Descriptions (documents).
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Descriptions (documents).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
McAliley, James Hodges. "Development of improved torsional potentials in classical force field descriptions of poly (lactic acid)." Connect to this title online, 2009. http://etd.lib.clemson.edu/documents/1252938067/.
Full textAbstract:
Thesis (Ph.D.) -- Clemson University, 2009.Contains additional supplemental file. Title from first page of PDF file. Document formatted into pages; contains xxxv, 339 p. ; also includes graphics (chiefly col.).
2
Diemert, Benjamin. "Description sémantique de documents audiovisuels structurés." Compiègne, 2012. http://www.theses.fr/2012COMP2064.
Full textAbstract:
Notre recherche porte sur la modélisation du document audiovisuel et des connaissances qui y sont associées au cours de son processus de production. Avec l'avènement du numérique et des pratiques amateurs, les documents se décomposent en fragments mobilisés dans des utilisations indépendantes du contexte initial. Une ontologie de ces fragments permettrait par indexation contrôlée une gestion autonome de leur production et réutilisation dans différents contextes de production (amateur-professionnel). A cette fin, nous avons développé un modèle conceptuel qui rend compte de l'évolution de chaque fragment d'un document audiovisuel tout au long de la chaîne de production. Ce travail s'est concrétisé en une ontologie noyau qui permet de représenter l'avancée d'un projet de production mais également de décrire les fragments audiovisuels à la manière d'un script audiovisuel (cadrage, composition) en détaillant les éléments filmés (personnes, objets, lieux). Ainsi, l'ontologie élaborée rend possible la représentation d'une commande de tournage (prescription) à un tiers (amateur professionnel), de même que la description de fragments existants. Cela fournit un moyen d'évaluer la conformité du résultat d'un tournage par rapport à la prescription. Elle intègre également une documentation (terme, définition, illustration) ce qui permet d'adapter l'expression des connaissances produites (une prescription de plan par exemple) à leur contexte d'exploitation (mission, utilisateur), facilitant l'échange de connaissances entre contributeurs de la chaîne. Nous avons expérimenté l'utilisation de notre ontologie par une chaîne applicative développée dans le cadre du projet européen MediaMapOur research deals with audiovisual document modeling as well as knowledge associated with it along its production process. The advent of digital and User-Generated content has induced a greater reuse of document fragments, often in a totally different perspective from their original creation context. An ontology of those fragments could provide through a controlled indexing an autonomous management of their production and reuse, even in mixed production (amateur-professionnal). Ta this end, we have developed a conceptual model which makes it possible to track the evolution of each audiovisual document fragment along its production chain. A core ontology has been created in order to represent the progress of a production project, as well as describe the audiovisual fragment in the way of a shooting script (composition, framing) which also refers to filmed elements such as persons, objects, locations. A semantic script representation enables thus the order of a shooting (specification) from a third party (amateur, professional), but also the description of existing fragments or materials, giving the opportunity to assess the conformity of a shot with its original specification. Our ontology also incorporates a documentation (term, definition, illustration) which allows us to adapt the knowledge expression (a shot specification for instance) depending on a context of access (task, user) and thus eases knowledge exchange between the contributors on the production chain. We have experimented the use of our ontology in software applications, as part of the european project MediaMap, and covering all the production chain (scripting, production, post-indexing, search)
3
Chauvet, Philippe. "Système d'analyse, reconnaissance et description de documents complexes /." Paris : Ecole nationale supérieure des télécommunications, 1993. http://catalogue.bnf.fr/ark:/12148/cb35562138m.
Full text
4
Goevert, Norbert Fuhr Norbert Lalmas Mounia. "A probabilistic description-oriented approach for categorising Web documents." Gerhard-Mercator-Universitaet Duisburg, 2004. http://www.ub.uni-duisburg.de/ETD-db/theses/available/duett-04232004-143024/.
Full textAbstract:
The automatic categorisation of web documents is becoming crucial for organising the huge amount of information available in the Internet. We are facing a new challenge due to the fact that web documents have a rich structure and are highly heterogeneous. Two ways to respond to this challenge are (1) to use a representation of the content of web documents that captures these two characteristics and (2) to use more effective classifiers. Our categorisation approach is based on a probabilistic description-oriented representation of web documents, and a probabilistic interpretation of the k-nearest neighbour classifier. With the former, we provide an enhanced document representation that incorporates the structural and heterogeneous nature of web documents. With the latter, we provide a theoretical sound justification for the various parameters of k-nearest neighbour classifier. Experimental results show that (1) using an enhanced representation of web documents is crucial for an effective categorisation of web documents, and (2) a theoretical interpretation of the k-nearest neighbour classifier gives us improvement over the standard k-nearest neighbour classifier.
5
Albuquerque, Ana Cristina de [UNESP]. "Catalogação e descrição de documentos fotográficos em bibliotecas e arquivos: uma aproximação comparativa dos códigos AACR2 e ISAD (G)." Universidade Estadual Paulista (UNESP), 2006. http://hdl.handle.net/11449/95536.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:27:48Z (GMT). No. of bitstreams: 0
Previous issue date: 2006-08-29Bitstream added on 2014-06-13T18:32:00Z : No. of bitstreams: 1
albuquerque_ac_me_mar.pdf: 686472 bytes, checksum: 7ab04ad9ec80fbdd40323054b2242ce2 (MD5)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
A presente pesquisa aborda o documento fotográfico no âmbito de sua descrição em arquivos e bibliotecas. Tem o objetivo de fazer uma possível comparação entre as normas AACR2, utilizadas para a descrição bibliográfica nas bibliotecas e a norma ISAD (G) que, por sua vez, é o conjunto de regras para que seja obtida a descrição arquivística. Para tanto, parte-se do conceito de documento, passando por seu papel nos arquivos e bibliotecas e transitando pela história da fotografia. Inicialmente o objeto é contextualizado para se passar à apresentação das regras do AACR2 e da ISAD (G), até a catalogação eletrônica que é possível através da utilização do formato MARC 21. Desse modo, são descritos alguns dos elementos que o documento fotográfico traz em sua composição e em seu suporte, pois é através de suas diversas características físicas que se encontram parte das peculiaridades que instigam inúmeras discussões a seu respeito. Diante da referida base teórica, uma análise panorâmica das regras expostas durante o trabalho é feita a partir dos modos de representação de cada uma: para a biblioteconomia, sua ficha que materializa o ato da descrição e disponibiliza o item no acervo e, para a arquivologia, seus instrumentos de pesquisa que, da mesma forma, oferecem aos usuários um quadro não só do material como de todo o contexto de seu acervo. Por fim, chega-se a uma aproximação de pontos nas duas normas que merecem atenção e aprofundamento por parte de pesquisadores e de profissionais que lidam com o documento fotográfico. Sob a luz dos princípios arquivísticos e da teoria do tratamento biblioteconômico, reflete-se sobre a descrição de forma geral e nesta quando aplicada a um documento que carrega particularidades e é alvo de debates que repercutem na sua disponibilização para os usuários e em seu estudo de forma geral.
This work boards the photographic document in the scope of its description in archives and libraries. The objective is to make possible the comparison between the AACR2 rules, utilized for bibliographic description in libraries and the ISAD (G) norm, which are the rules to obtain an archivist description. Departing from document concept, passing by his function in archives and libraries and passing by photography history. This is the object context in a first moment, leading to the presentation of AACR2 rules and ISAD (G), until the electronic cataloguing which is possible by the use of MARC 21 format. This way, some elements of photographic document bring in its composition and support is described, because through his various physical characteristics we found part of the particularities that instigate countless discussions about it. In front of the referred theoric basis, a panoramic analysis of the present rules is made following the representation ways for each one: for the librarianship, its cards materialize the description act and make available the item in the collection and, to archival science, its tools of research which, in the same way, offer to the users a view not only of the material but his context in the collection. At last, is reached an approach of points in the two norms worthily attention and a profound study by researchers and professionals working the photographic document. Under archivist's principles and librarian treatment theory, there is a consideration about description in general form and its application in a document with peculiarities and when the document is target of discussions that reflect in availability to the users an its studies generally.
6
Chaves, Elisa Maria Lopes. "Descrição arquivística de documentos fotográficos em sistemas informatizados." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/27/27163/tde-26022019-170852/.
Full textAbstract:
Nas instituições arquivísticas, as imagens estão cada vez mais acessíveis através da web. A pesquisa analisa a descrição dos documentos fotográficos digitais neste contexto, sejam eles produtos da digitalização da imagem física, isto é, produzida em processos analógicos, ou das imagens nato-digitais. Visa analisar o acesso em ambientes virtuais, através da padronização das normas de descrição arquivística. Para isso, foi utilizado o AtoM, software desenvolvido pelo Conselho Internacional de Arquivo (CIA), ferramenta totalmente voltada para web, que segue padrões de normas arquivísticas como a ISAD(G). Com o objetivo de complementar as especificidades do documento fotográfico, analisamos a ferramenta Sepiades, desenvolvida pelo CIA para descrever coleções fotográficas, atendendo às normas arquivísticas. Através da análise das duas ferramentas, realizada por meio de pesquisa bibliográfica e documental, verificamos que o AtoM é a ferramenta mais indicada para a descrição dos documentos. Como resultado, geramos um quadro para descrição de documentos fotográficos arquivísticos com base no AtoM, compatibilizado com os parâmetros do modelo Sepiades.In archival institutions, images are increasingly accessible through the web. The research analyzes the description of digital photographic documents in this context, whether they are products of physical image scanning, that is, produced in analogical processes, or of digital-born images. It aims to analyze access in virtual environments, through the standardization of the norms of archival description. For this purpose, AtoM was used, software developed by the International Archive Council (CIA), a web-based tool that follows the standards of archival standards such as ISAD(G). In order to complement the specificities of the photographic document, we analyzed the Sepiades tool, developed by the CIA to describe photographic collections, meeting archival standards. Through the analysis of the two tools, carried out through bibliographical and documentary research, we verified that the AtoM is the most suitable tool for the description of the documents. As a result, we generated a framework for describing archival photographic documents based on AtoM, compatible with the parameters of the Sepiades model
7
SUGIE, Noboru, Qin LUO, and Toyohide WATANABE. "Knowledge for Understanding Table-Form Documents." Institute of Electronics, Information and Communication Engineers, 1994. http://hdl.handle.net/2237/15026.
Full text
8
Martin, Jean-Pascal. "Description sémiotique de contenus audiovisuels." Paris 11, 2005. http://www.theses.fr/2005PA112297.
Full textAbstract:
Trois catégories d'éléments de description du contenu sont nécessaires pour la description d'un Document AudioVisuel (DAV) : les objets montrés, les procédés de mise en image et les relations diégétiques. L'identification des relations diégétiques (ie celles de l'univers spatio-temporel désigné par le récit) ne peut être automatisée. Les formalismes de la communauté utilisent des descripteurs sémantiques difficiles à sélectionner puisqu'ils dépendent d'éléments contextuels interprétés d'après des connaissances élaborées. Nous choisissons de garder l'homme dans la chaîne d'indexation pour répondre à ce constat. Deux éléments de réponse sont fournis. Premièrement, nous proposons une méthode d'indexation sémiotique fondée sur l'identification et l'explicitation des signes réifiés lors de l'analyse. Pour cela, nous définissions le signe tétraédrique qui est une représentation cognitive composée nécessairement d'un signifié et d'un signifiant et éventuellement de référents intensionnels et extensionnels. Nous définissions ensuite l'interprétation comme une réécriture sémiotique. Les graphes de signes sont proposés comme corrélats de l'activité mentale et peuvent être opérationnalisés par des schémas (RDF+OWL) servant d'extension à MPEG-7. Deuxièmement, nous préconisons un modèle d'interaction opérative entre l'homme et le système outillant la réification de l'interprétation. Une plateforme pour la construction de graphes de signes fondée sur le paradigme multi-agents permet la construction dynamique et négociée de signes exprimés selon une syntaxe et une grammaire fournie. Des schémas d'interprétation fournissent aux agents des micros interprétations activables en contexteThree categories of descriptors are necessary to describe an audiovisual content: objects shown, processes used for film direction, and diegetic relations. The identification of the diegetic relations (those of the space-time continuum of the narration) cannot be automated. The formalisms used by the community exploit semantic descriptors that are difficult to select since they depend on contextual elements interpreted according to sophisticated knowledge. We choose to keep the human in the center of indexation's process. Two kinds of answers are provided. First, we propose a method of semiotic indexing based on the identification and the clarification of the signs that are reified at the time of the analysis. For that, we define the tetrahedral sign as a cognitive representation necessarily made up of one meant and of one meaning and possibly intensional and extensional referents. We define then the process of interpretation as a semiotic rewriting. We propose a formalism for graphs of signs (expressed with RDF+OWL schema integrated as extensions of MPEG-7) to represent the mental activity of interpretation. Second, we recommend a model of operative interaction between the man and the system that makes the reification of interpretation easier. A platform for the construction of graphs of signs based on the multi-agents paradigm allows dynamic and negotiated construction signs. Those signs are expressed according to provided syntax and grammar. Diagrams of interpretation provide to the agents micro-interpretations that may be activated in context
9
Albuquerque, Ana Cristina de. "Catalogação e descrição de documentos fotográficos em bibliotecas e arquivos : uma aproximação comparativa dos códigos AACR2 e ISAD (G) /." Marília : [s.n.], 2006. http://hdl.handle.net/11449/95536.
Full textAbstract:
Orientador: Eduardo Ismael Murguia MarañonBanca: Solange Ferraz de Lima
Banca: Mariângela Spotti Lopes Fujita
Resumo: A presente pesquisa aborda o documento fotográfico no âmbito de sua descrição em arquivos e bibliotecas. Tem o objetivo de fazer uma possível comparação entre as normas AACR2, utilizadas para a descrição bibliográfica nas bibliotecas e a norma ISAD (G) que, por sua vez, é o conjunto de regras para que seja obtida a descrição arquivística. Para tanto, parte-se do conceito de documento, passando por seu papel nos arquivos e bibliotecas e transitando pela história da fotografia. Inicialmente o objeto é contextualizado para se passar à apresentação das regras do AACR2 e da ISAD (G), até a catalogação eletrônica que é possível através da utilização do formato MARC 21. Desse modo, são descritos alguns dos elementos que o documento fotográfico traz em sua composição e em seu suporte, pois é através de suas diversas características físicas que se encontram parte das peculiaridades que instigam inúmeras discussões a seu respeito. Diante da referida base teórica, uma análise panorâmica das regras expostas durante o trabalho é feita a partir dos modos de representação de cada uma: para a biblioteconomia, sua ficha que materializa o ato da descrição e disponibiliza o item no acervo e, para a arquivologia, seus instrumentos de pesquisa que, da mesma forma, oferecem aos usuários um quadro não só do material como de todo o contexto de seu acervo. Por fim, chega-se a uma aproximação de pontos nas duas normas que merecem atenção e aprofundamento por parte de pesquisadores e de profissionais que lidam com o documento fotográfico. Sob a luz dos princípios arquivísticos e da teoria do tratamento biblioteconômico, reflete-se sobre a descrição de forma geral e nesta quando aplicada a um documento que carrega particularidades e é alvo de debates que repercutem na sua disponibilização para os usuários e em seu estudo de forma geral.
Abstract: This work boards the photographic document in the scope of its description in archives and libraries. The objective is to make possible the comparison between the AACR2 rules, utilized for bibliographic description in libraries and the ISAD (G) norm, which are the rules to obtain an archivist description. Departing from document concept, passing by his function in archives and libraries and passing by photography history. This is the object context in a first moment, leading to the presentation of AACR2 rules and ISAD (G), until the electronic cataloguing which is possible by the use of MARC 21 format. This way, some elements of photographic document bring in its composition and support is described, because through his various physical characteristics we found part of the particularities that instigate countless discussions about it. In front of the referred theoric basis, a panoramic analysis of the present rules is made following the representation ways for each one: for the librarianship, its cards materialize the description act and make available the item in the collection and, to archival science, its tools of research which, in the same way, offer to the users a view not only of the material but his context in the collection. At last, is reached an approach of points in the two norms worthily attention and a profound study by researchers and professionals working the photographic document. Under archivist's principles and librarian treatment theory, there is a consideration about description in general form and its application in a document with peculiarities and when the document is target of discussions that reflect in availability to the users an its studies generally.
Mestre
10
Hall, Martha VanHook. "The Martha Washington Inn, 1830-1893 : a documented history with architectural descriptions /." Thesis, This resource online, 1985. http://scholar.lib.vt.edu/theses/available/etd-03172010-020302/.
Full text
11
Ruiloba, Rosario I. "Analyse et description du montage vidéo numérique." Paris 6, 2001. http://www.theses.fr/2001PA066528.
Full text
12
Cândido, Gilberto Gomes. "O ato narrativo e a ética na descrição do documento de arquivo /." Marília, 2020. http://hdl.handle.net/11449/192628.
Full textAbstract:
Orientador: João Batista Ernesto de MoraesResumo: A Descrição do Documento de Arquivo, como uma das funções de procedimento Arquivístico, é elaborada de modo a permitir a difusão e o acesso aos usuários; tal método procura proporcionar elementos/caracteres do conteúdo formal do documento de forma a se elaborar instrumentos de pesquisa. Assim sendo, a Descrição é um processo de representação dos elementos intrínsecos e extrínsecos ao Documento de Arquivo e deve ser fidedigna. Com isto, objetivou-se conhecer e como ocorrem o Ato Narrativo e a Ética na representação do documento de arquivo, demonstrando que tal ato representativo não é objetivo, mas sim subjetivo advindo de interpretações, de modo a contribuir para discussões e aprofundamento na área de Representação, bem como apresentar subsídios para compreensão da subjetividade sobre o processo de representação por meio da descrição do documento de arquivo, com intuito de descrever os procedimentos metodológicos; reproduzir interlocuções metodológicas e ilustrar a aplicação do processo de descrição sobre os dossiês da Comissão Pastoral da Terra, da CNBB - Conferência Nacional dos Bispos do Brasil - Norte 2 com reflexões dos procedimentos metodológicos e filosóficos apresentados. Assim, identificou-se como resultados que os processos descritivos são interpretativos e podem vir a atribuir juízos críticos valorativos e categóricos por meio da visão de mundo do profissional arquivista durante a representação. Dado que o procedimento de descrição aplicado pelo arquivista em sua a... (Resumo completo, clicar acesso eletrônico abaixo)
Abstract: The Archive Document description, as one of the Archival Procedure Functions, is elaborated to allow the diffusion and user’s access; this method seeks to provide elements/characters of documents formal contents in order to elaborate research tools. Therefore, description is a representation process of intrinsic and extrinsic of Archive Docmument elements should be trustworthy. With this, it was aimed to know about and how Narrative Act and Ethic occurs in archive document representation, demonstrating that such representative act is not objetive, but subjetive from intepretations, in order to contribute to discussions and deepening of representation area, well with presenting subsidies to subjetive comprehention about de representation process by the archive document descripition, in order to describe methodological procedures; reproduce metodological interlocutions and ilustrate this process application to description about the Comissão Pastoral da Terra dossiers, CNBB – Conferência Nacional dos Bispos do Brasil – Norte 2, with reflections about methodological and filosophical procedures presented. Thus, was identified as results that descriptive process are interpretative and may atribute valuable and categorical critical judgments, through archivist professional worldview during the representation. The description procedure applied by the in his professional performance uses cognitive aspects, based on his interpretations, which seeks to identify and extract the elements/... (Complete abstract click electronic access below)
Resumen: La representación descriptiva en archivología pasa por algunos procesos de creación de archivos correlacionados con sus funciones, tales como la evaluación y la clasificación, entre otros. En esta investigación, la función explorada fue la descripción del documento de archivo, conciliando teóricamente la práctica del “hacer” y del “cómo hacer”, desde el proceso de descripción hasta la representación del documento de archivo, siguiendo los estándares internacionales de descripción desde la concepción posmoderna. La investigación buscó comprender los aspectos del acto narrativo y la ética sobre el proceso de descripción, con el fin de contribuir a la comprensión de estos aspectos en el proceso. Con esto se enfatizó que los procesos descriptivos son interpretativos y atribuyen juicios críticos, valorativos y categorías fundamentados en la cosmovisión del archivista durante el acto de representación. El procedimiento de descripción aplicado por el archivero en su práctica profesional se apoya en aspectos cognitivos interpretativos, que buscan identificar y extraer los elementos y actores del contenido y el contexto del documento de archivo, de forma confiable. Por lo tanto, la representación surgida del proceso de descripción no es neutral ni objetiva, ya que usa percepciones cognitivas, es decir, es subjetiva. Por lo tanto, el acto narrativo en la descripción puede considerarse como el acto de contar o (re)contar una historia. La ética busca guiar la actuación profesional del ar... (Resumen completo clicar acceso eletrônico abajo)
Doutor
13
Law-To, Julien. "From genericity to distinctiveness of video content description : application to video copy detection." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0025.
Full textAbstract:
My PhD thesis presents a new approach for indexing large sets of videos by their content. The proposed concept is based on the extraction and the local description of different natures of points of interest and further on the estimation of their trajectories along the video sequence. Analyzing the low-level description obtained allows highlighting semantic labels of behaviors. Searching for copies in large video databases is a new critical issue. ViCopT is a system dedicated to video copy detection based on our video description. A complete evaluation on a large video database (1,000 hours) demonstrates the robustness and the discriminability of ViCopT and the relevance of our strategy. Comparative evaluations in European and international contexts present the high performances of our system facing other academic and industrial systemsMes travaux de thèse portent sur l’indexation et la recherche dans de grandes bases de vidéos. Partant d’une description visuelle de l’image basée sur plusieurs natures de points d’intérêt, notre approche aboutit à une représentation de plus haut niveau, associant descripteurs visuels locaux, leurs trajectoires ainsi qu’une interprétation en termes de comportement de ces descripteurs locaux au sein de la vidéo. Cette méthode permet une description fine de la vidéo tout en réduisant la redondance temporelle qui lui est intrinsèquement liée. Une application cruciale dans la gestion de patrimoines numériques est la traçabilité du catalogue vidéo. Dans ce contexte, nous proposons ViCopT, un système de détection de copie par le contenu. Une validationde sa robustesse et de sa discriminance a été réalisée sur une base de 1000h et a montrée la pertinence de nos choix. Les hautes performances de ViCopT ont été mesurées dans des évaluations comparatives tant au niveau européen qu'international
14
Soua, Mahmoud. "Extraction hybride et description structurelle de caractères pour une reconnaissance efficace de texte dans les documents hétérogènes scannés : Méthodes et Algorithmes parallèles." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1069/document.
Full textAbstract:
La Reconnaissance Optique de Caractères (OCR) est un processus qui convertit les images textuelles en documents textes éditables. De nos jours, ces systèmes sont largement utilisés dans les applications de dématérialisation tels que le tri de courriers, la gestion de factures, etc. Dans ce cadre, l'objectif de cette thèse est de proposer un système OCR qui assure un meilleur compromis entre le taux de reconnaissance et la vitesse de traitement ce qui permet de faire une dématérialisation de documents fiable et temps réel. Pour assurer sa reconnaissance, le texte est d'abord extrait à partir de l'arrière-plan. Ensuite, il est segmenté en caractères disjoints qui seront décrits ultérieurement en se basant sur leurs caractéristiques structurelles. Finalement, les caractères sont reconnus suite à la mise en correspondance de leurs descripteurs avec ceux d'une base prédéfinie. L'extraction du texte, reste difficile dans les documents hétérogènes scannés avec un arrière-plan complexe et bruité où le texte risque d'être confondu avec un fond texturé/varié en couleurs ou distordu à cause du bruit de la numérisation. D'autre part, la description des caractères, extraits et segmentés, se montre souvent complexe (calcul de transformations géométriques, utilisation d'un grand nombre de caractéristiques) ou peu discriminante si les caractéristiques des caractères choisies sont sensibles à la variation de l'échelle, de la fonte, de style, etc. Pour ceci, nous adaptons la binarisation au type de documents hétérogènes scannés. Nous assurons également une description hautement discriminante entre les caractères se basant sur l'étude de la structure des caractères selon leurs projections horizontale et verticale dans l'espace. Pour assurer un traitement temps réel, nous parallélisons les algorithmes développés sur la plateforme du processeur graphique (GPU). Nos principales contributions dans notre système OCR proposé sont comme suit :Une nouvelle méthode d'extraction de texte à partir des documents hétérogènes scannés incluant des régions de texte avec un fond complexe ou homogène. Dans cette méthode, un processus d'analyse d’image est employé suivi d’une classification des régions du document en régions d’images (texte avec un fond complexe) et de textes (texte avec un fond homogène). Pour les régions de texte on extrait l'information textuelle en utilisant une méthode de classification hybride basée sur l'algorithme Kmeans (CHK) que nous avons développé. Les régions d'images sont améliorées avec une Correction Gamma (CG) avant d'appliquer CHK. Les résultats obtenus d'expérimentations, montrent que notre méthode d'extraction de texte permet d'attendre un taux de reconnaissance de caractères de 98,5% sur des documents hétérogènes scannés.Un Descripteur de Caractère Unifié basé sur l'étude de la structure des caractères. Il emploie un nombre suffisant de caractéristiques issues de l'unification des descripteurs de la projection horizontale et verticale des caractères réalisantune discrimination plus efficace. L'avantage de ce descripteur est à la fois sa haute performance et sa simplicité en termes de calcul. Il supporte la reconnaissance des reconnaissance de caractère de 100% pour une fonte et une taille données.Une parallélisation du système de reconnaissance de caractères. Le processeur graphique GPU a été employé comme une plateforme de parallélisation. Flexible et puissante, cette architecture offre une solution efficace pour l'accélération des algorithmesde traitement intensif d'images. Notre mise en oeuvre, combine les stratégies de parallélisation à fins et gros grains pour accélérer les étapes de la chaine OCR. En outre, les coûts de communication CPU-GPU sont évités et une bonne gestion mémoire est assurée. L'efficacité de notre mise en oeuvre est validée par une expérimentation approfondieThe Optical Character Recognition (OCR) is a process that converts text images into editable text documents. Today, these systems are widely used in the dematerialization applications such as mail sorting, bill management, etc. In this context, the aim of this thesis is to propose an OCR system that provides a better compromise between recognition rate and processing speed which allows to give a reliable and a real time documents dematerialization. To ensure its recognition, the text is firstly extracted from the background. Then, it is segmented into disjoint characters that are described based on their structural characteristics. Finally, the characters are recognized when comparing their descriptors with a predefined ones.The text extraction, based on binarization methods remains difficult in heterogeneous and scanned documents with a complex and noisy background where the text may be confused with a textured background or because of the noise. On the other hand, the description of characters, and the extraction of segments, are often complex using calculation of geometricaltransformations, polygon, including a large number of characteristics or gives low discrimination if the characteristics of the selected type are sensitive to variation of scale, style, etc. For this, we adapt our algorithms to the type of heterogeneous and scanned documents. We also provide a high discriminatiobn between characters that descriptionis based on the study of the structure of the characters according to their horizontal and vertical projections. To ensure real-time processing, we parallelise algorithms developed on the graphics processor (GPU). Our main contributions in our proposed OCR system are as follows:A new binarisation method for heterogeneous and scanned documents including text regions with complex or homogeneous background. In this method, an image analysis process is used followed by a classification of the document areas into images (text with a complex background) and text (text with a homogeneous background). For text regions is performed text extraction using a hybrid method based on classification algorithm Kmeans (CHK) that we have developed for this aim. This method combines local and global approaches. It improves the quality of separation text/background, while minimizing the amount of distortion for text extraction from the scanned document and noisy because of the process of digitization. The image areas are improved with Gamma Correction (CG) before applying HBK. According to our experiment, our text extraction method gives 98% of character recognition rate on heterogeneous scanned documents.A Unified Character Descriptor based on the study of the character structure. It employs a sufficient number of characteristics resulting from the unification of the descriptors of the horizontal and vertical projection of the characters for efficient discrimination. The advantage of this descriptor is both on its high performance and its simple computation. It supports the recognition of alphanumeric and multiscale characters. The proposed descriptor provides a character recognition 100% for a given Face-type and Font-size.Parallelization of the proposed character recognition system. The GPU graphics processor has been used as a platform of parallelization. Flexible and powerful, this architecture provides an effective solution for accelerating intensive image processing algorithms. Our implementation, combines coarse/fine-grained parallelization strategies to speed up the steps of the OCR chain. In addition, the CPU-GPU communication overheads are avoided and a good memory management is assured. The effectiveness of our implementation is validated through extensive experiments
15
Monger, David M. "The human factors aspects of interactive document image description for OCR of handwritten forms." Thesis, University of Essex, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.238747.
Full text
16
Kabak, Yildiray. "Semantic Interoperability Of The Un/cefact Ccts Based Electronic Business Document Standards." Phd thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/12610689/index.pdf.
Full textAbstract:
The interoperability of the electronic documents exchanged in eBusiness
applications is an
important problem in industry. Currently, this problem is handled by
the mapping experts who understand the meaning of every element in the involved
document schemas and define the mappings among them which is a very costly and tedious process.
In order to improve electronic document interoperability,
the UN/CEFACT produced the Core Components Technical Specification (CCTS)
which defines a common structure and semantic properties for document artifacts.
However, at present, this document content information is available only through text-based search mechanisms and tools.
In this thesis, the semantics of CCTS based business document
standards is explicated
through a formal, machine processable language as an ontology.
In this way, it becomes possible to compute a harmonized
ontology, which gives
the similarities among document schema ontology classes of different document standards
through both the semantic properties they share and the semantic equivalences established
through reasoning. However, as expected, the harmonized
ontology only helps discovering the similarities of structurally and semantically equivalent elements.
In order to handle the structurally different but semantically similar document artifacts, heuristic rules are
developed describing the possible ways of organizing simple document artifacts
into compound artifacts as defined in the CCTS methodology.
Finally, the equivalences discovered among document schema ontologies
are used for the semi-automated generation of XSLT definitions
for the translation of real-life document instances.
17
Brooks, H. M. "An intelligent interface for document retrieval systems : Developing the problem description and retrieval strategy components." Thesis, City University London, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373324.
Full text
18
Djafer-Cherif, Ilyas. "Descriptions continues et stochastiques de la matière active." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS216/document.
Full textAbstract:
Le but de cette thèse est d'étudier des moodèles simples d'agents "auto-propulsés": capables de générer du mouvement en consommant de l'énergie provenant de leur environnement, sans forçage externe. Deux modèles de ce type ont été étudiés lors de cette thèse:-Dans un premier temps un modèle de type "Vicsek" a été étudié, c'est à dire que les particules représentées par un couple (position,vitesse) ont une évolution régie par des règles simples d'alignement et d'auto-propulsion à vitesse constante. Ici, l'alignement est nématique: les particlules s'alignent selon leur grand axe, au contraire d'un alignement polaire il se fait indiféremment tête à queue ou tête à tête. Par rapport aux précédents modèles de ce type la première nouveauté est l'introduction d'une pseudo répulsion (dans l'esprit Vicsek, modélisée par un terme de type couple) donnant une extension spatiale à ces particules. La seconde nouveauté est la présence d'un "taux de retournement" qui rend compte du temps de persistence de la direction de l'auto-propulsion. Dans cette partie nous décrivons divers diagrammes de phases de ce nouveau modèle qui montrent de nouvelles phases non répertoriées précédemment: les arches mais aussi des bandes "smectiques", quelques propriétés de ces structures ont été mesurées. Des équations hydrodynamiques obtenues via la méthode "Boltzmann-Ginzburg-Landau" ayant par ailleurs été dérivées nous effectuons une comparaison: la plupart des phases ainsi que certaines de leurs propriétés sont retrouvés dans le modèle hydrodynamique.-Dans un second temps, nous étudions la bactérie Neisseria Meningitidis qui présente la particularité de générer des "pili", filaments de plusieurs micromètres de long. En dépolymérisant ces structures, à vitesse constantes (~1 µm/s), elle est capable de en générer des forces gigantesques pour le vivant (~100 pN). Cette bactérie a tendance à former des aggrégats sphériques, présentant toutes les propriétés d'un liquide, pour coloniser l'organisme de l'hôte.Des mesures de viscosité et de tension de surface de ces aggrégats ont montré le rôle crucial du nombre de pili. Fort de ces constats nous avons bati un modèle microscopique dont la particularité est l'introduction de potentiels stochastiquement attractifs, c'est à dire que les particles transitent entre un état attractif et un état diffusif. Cette partie retranscrit l'évolution du modèle au cours du temps. Nous avons pu reproduire certaines propriétés des aggrégats, nous avons notamment mis en évidence une variation de la diffusion entre le centre et le bord des aggrégats qui recoupe les données expérimentalesThis thesis purpose is to study simple "self-propelled" agents models: they are able to generate motion by consumming energy comming from their environment, without external forcing. Two models of that kind have been studied:-In the first part a Vicsek-style model has been studied, that is we particles are modeled by a couple (position,velocity) which evolution is dictated by simple rules of alignment and self-propulsion at constant speed. Here the alignment is nematic particles align along their long axis and alignment is not polar, contrarily to a polar alignment particles don't discriminate between head and tail . Compared to previous models of this type, the first novelty is the introduction of a pseudo-repulsion (in the Vicsek-spirit, modelized by a torque-like term) providing spatial extension to these particles. The second addition is a flipping rate which renders the persistence time of the direction of self-propulsion. In this part we describe several phase diagrams of this new model which show new phases not previously classified: arches but also "smectic" bands, some propreties of these structures have been measured. Hydrodynamic equations from the "Boltzmann-Ginzburg-Landau" method have been also developped, comparisons are performed: the hydrodynamic model recovers most phases and some of their propreties.-In the second part we study Neisseria Meningitidis, a bacteria which particularity is to generate pili: filamentous structures several micrometers long. By depolymerizing these structures at constant speed (~1µm/s), it is able to generate gigantic forces for the living word (~ 100pN). This bacteria has a tendancy to form spherical aggregates, showing all propreties of a liquid, in order to colonize the host organism. Viscosity and surface tension measure of these aggregates have shown the crucial role of the pili number. Using these data we've built a microscopic model which particularity is the presence of a stochastically attractive potential, that is to say that particles are transiting between an attractive state and a diffusive one. This part relates the model evolution in time. We've ben able to reproduce some aggregate propreties, in particular we've highlighted a variation of the diffusion between aggregate center and edges which fits experimental data
19
Troncy, Raphaël. "Formalisation des connaissances documentaires et des connaissances conceptuelles à l'aide d'ontologies : application à la description de documents audiovisuels." Phd thesis, Grenoble 1, 2004. http://tel.archives-ouvertes.fr/tel-00005263.
Full textAbstract:
La nature temporelle de l'audiovisuel impose de passer par le biais de la description pour enrichir les documents et donc les exploiter. Nous soutenons qu'une représentation de la structure et du contenu des documents est nécessaire. Par structure, nous entendons la structure documentaire c'est-à-dire l'organisation méréologique des éléments qui composent le document, tandis que le contenu est une structure conceptuelle, c'est-à-dire une catégorisation de ces éléments. Après une revue des propositions actuelles de modélisation des documents audiovisuels, issues de l'ingénierie documentaire et de l'ingénierie des connaissances, nous montrons qu'aucun des langages étudiés ne permet de traiter ces deux aspects de manière satisfaisante. Nous proposons alors une architecture générale permettant la représentation formelle de la structure et du contenu des documents audiovisuels, qui engendrera une base de connaissances sur laquelle il est possible d'effectuer des raisonnements. Cette architecture se compose d'une ontologie de l'audiovisuel, dont on traduit une partie dans un langage documentaire pour contrôler la structure logique des documents, et d'une ontologie de domaine pour décrire formellement leur contenu. Nous avons développé l'outil DOE (Differential Ontology Editor), qui implémente la méthodologie de construction d'ontologies utilisée. Nous montrons finalement la pertinence de l'approche à l'aide de deux expérimentations utilisant un corpus de vidéos annoté, illustrant ainsi les types d'inférences possibles.
20
Zavoni, Ntondo. "Eléments de description du ngangela." Lyon 2, 2003. http://theses.univ-lyon2.fr/documents/lyon2/2003/zavoni_n.
Full textAbstract:
Cette étude donne une esquisse de la phonologie, de la majeure partie de la morphologie et de la syntaxe du ngangela, variété parlée à Kuvango (Sud-est de l'Angola) et classée K b12 par M. Guthrie. Elle comporte trois chapitres. Dans le premier chapitre, elle étudie les unités phonologiques de la langue sur le plan segmental et donne un aperçu sur le statut du système prosodique et sur sa morphophonologie segmentale. Dans le deuxième chapitre, elle aborde l'étude des morphèmes qui s'associent aux lexèmes nominal, verbal, adjectival et aux référents. Le troisième chapitre, consaré à la syntaxe, aborde les mécanismes de détermination. Il présente également les phrases à prédicat verbal et phrases sans prédicat verbal. Enfin, il dégage le type spécifique de construction passive et les mécanismes de topicalisation et de focalisation en usage dans la langueThis study deals with the structure of ngangela, Bantu language (k b12), spoken in Kuvango (South-eastern of Angola). In the first chapter, it studies the phonological units at segmental level of the language and examines briefly the tonal units. It analyses also the segmental morph phonological units. The second chapter is devoted to the morphemic study of the constitutive of the noun, the verb, the adjective and the determiners. The third chapter deals with the syntactic features of the language, particularly the determination mechanism and the way it works. It also presents the basic sentence structure of he language, the predication (both nominal and verbal), the topicalization and focalisation processes and the specific kind of passive construction (pseudo-passive construction) in the language
21
Bassene, Alain-Christian. "Description du Joola Banjal (Sénégal)." Lyon 2, 2006. http://theses.univ-lyon2.fr/documents/lyon2/2006/bassene_ac.
Full textAbstract:
Cette thèse présente une description générale et aussi complète que possible de la grammaire du jóola banjal, langue atlantique parlée par environ 7. 000 locuteurs en Casamance, au sud-ouest du Sénégal. Cette description passe en revue la phonologie, la morphophonologie, la morphologie et la syntaxe, d’un point de vue typologique et fonctionnel. Le jóola banjal compte deux types de voyelles selon le trait ±ATR et une structure syllabique de forme (C)V(C(C)). C’est une langue à classes nominales dans laquelle adjectifs, pronoms, démonstratifs, interrogatifs et verbes sont soumis à l’accord en classe imposé par le substantif. Cet accord se manifeste par la répétition du préfixe de classe devant chaque élément en relation syntaxique avec ce dernier. La présence de l’indice de sujet est généralement obligatoire, même en présence d’un constituant sujet. La partie syntaxique est organisée selon les rubriques suivantes : la prédication non verbale, les modifications de la valence verbale, l’expression de la localisation et du déplacement, les formes verbales non finies, la phrase complexe, la topicalisation, la focalisation et l’interrogation. D’une manière générale, le jóola banjal ne présente pas de particularités typologiques exceptionnelles par rapport aux langues les plus connues du groupe atlantique. Néanmoins, son étude offre des informations utiles pour une meilleure connaissance des langues atlantiques et pour leur étude comparativeThis dissertation presents a general description, as complete as possible, of Jóola Banjal, an Atlantic language spoken by almost 7,000 speakers in Casamance, in the South-west of Senegal. This description consists of a study of phonology, morphophonology, morphology, and syntax, in a typological and functional approach. Jóola Banjal has two types of vowels according to ±ATR feature and a syllabic structure of form (C)V(C(C)). It is a noun class language in which adjectives, pronouns, demonstratives, interrogatives and verbs agree in class with nouns. This agreement is marked by the prefixation of a class marker to every element in syntactic relation with the noun. The presence of the subject marker is generally obligatory, even when the subject noun is present. The syntactic part of the description is organized along the following topics: non verbal predication, changing valency, encoding location and motion, non-finite verb forms, complex constructions, topicalization, focalization, and interrogation. Generally speaking, Jóola Banjal does not present exceptional typological characteristics with regard to the best-known Atlantic languages. Nevertheless, its study provides information useful for a better knowledge of the Atlantic languages and for comparative studies
22
Zalamea, Federico. "Chasing individuation : mathematical description of physical systems." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC149/document.
Full textAbstract:
Résumé: Ce travail se veut une analyse conceptuelle de certains développements récents dans les fondements mathématiques de la Mécanique Classique et de la Mécanique Quantique qui ont permis de formuler ces deux théories dans un même langage. Du point de vue algébrique, l’ensemble des observables d’un système physique, soit-il classique ou quantique, est décrit par une algèbre de Jordan-Lie. Du point de vue géométrique, l’espace des états de tout système est décrit par un espace uniforme de Poisson avec transition de probabilité. Ces deux structures mathématiques sont ici interprétées comme une manifestation du double rôle constitutif des propriétés en physique : elles sont à la fois des quantités et des transformations. Il s’agit alors de comprendre l’articulation précise entre ces deux rôles. Au cours de l’analyse, il apparaîtra que la Mécanique Quantique peut être vue comme se distinguant de la Mécanique Classique par une condition de compatibilité entres les quantités et les transformations.D’autre part, cette thèse met en évidence l’existence d’une tension fondamentale entre une certaine façon abstraite de concevoir les structures mathématiques, présente dans la pratique de la physique mathématique, et la nécessité de spécifier des états ou des observables particulières. Il devient alors important de comprendre comment, dans le formalisme, se construit un schéma d’indexation. La “poursuite de l’individuation” est l’analyse de différentes techniques mathématiques vues comme tentatives de résolution ce problème. En particulier,nous discuterons comment la théorie des groupes permet d’y apporter une solution partielleThis work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures are here perceived as formal translations of the fundamental two fold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics canbe thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. Moreover, this dissertation shows the existence of a tension between a certain ‘abstractway’ of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chasefor Individuation” is the analysis of diferent mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution
23
Rodrigues, Camila Poerschke. "A UFSM NO PROJETO RONDON: ACESSO WEB AO PATRIMÔNIO DOCUMENTAL ARQUIVÍSTICO." Universidade Federal de Santa Maria, 2014. http://repositorio.ufsm.br/handle/1/11043.
Full textAbstract:
This work presents a study about the description of fund of documents Coordenação do Campos Avançado de Roraima Projeto rondon and its subsequent diffusion. This research is justified because this documents comprehend a relevant period of the institutional history, reporting the activities made by students and teachers participants throughout the lifetime of the campus, since its implementation, until complete disabling of the unit. In this way, they are part of the documentary heritage of the institution. The study was built from the outlined objetives: analysis of the situation found with regard to the arrangement and preservation of documentary set; documentary arrangement s adequacy; set of documents s description; development of a research tool, an inventory, based in the Norma Brasileita de Descrição Arquivística and and dissemination of this information through the ICA-AtoM software. The research held is of applied nature and qualitative. With regard to the instruments for data collection, were used observation and document analysis, particularly the Projeto de Implantação do Campus Avançado, the Regulamento interno do Campus, besides the Regimento Geral da UFSM and others University s documents. The description of the set of documents was held concurrently with the documentary inventory s preparation, which is the product resulting from professional máster and is divided according to the NOBRADE s area, which were used in the documentation s description. Lastly, the informations arising from the description was made available to research in web through ICA-AtoM software. Were inserted in the tool the data referring to the documentary fund, its series and respective subseries. Thus, an important part of the documentary UFSM s heritage is being preserved and disseminated to society.O presente trabalho apresenta um estudo sobre a descrição do fundo documental Coordenação do Campus Avançado de Roraima Projeto Rondon e sua posterior difusão. Esta pesquisa se justifica, pois estes documentos compreendem um período relevante da história institucional, relatando as atividades realizadas pelos alunos e professores participantes durante todo o período de existência do Campus, desde sua implantação, até a completa desativação da unidade. Deste modo, são parte do patrimônio documental da instituição. O estudo foi construído a partir dos objetivos traçados: análise da situação encontrada no que tange ao arranjo e à preservação do conjunto documental; adequação do arranjo documental; descrição do conjunto documental; elaboração de um instrumento de pesquisa, um inventário, com base na Norma Brasileira de Descrição Arquivística e difusão destas informações através do software ICA-AtoM. A pesquisa realizada é de natureza aplicada e de caráter qualitativo. No que tange aos instrumentos de coleta de dados, foram utilizadas a observação e a análise documental, em especial do Projeto de Implantação do Campus Avançado, o Regulamento interno do Campus, além do Regimento Geral da UFSM e outros documentos da Universidade. Após a análise da documentação foi possível propor uma adequação do arranjo. A descrição do conjunto documental foi realizada concomitantemente à elaboração do inventário documental, que é o produto resultante do mestrado profissional e está dividido de acordo com as áreas da NOBRADE que foram utilizadas na descrição da documentação. Por fim, as informações advindas da descrição foram disponibilizadas na web para pesquisa através do software ICA-AtoM. Foram inseridos na ferramenta os dados referentes ao fundo documental, suas séries e respectivas subséries. Deste modo, parte importante do patrimônio documental da UFSM estará sendo preservada e difundida para a sociedade.
24
Gruhier, Elise. "Spatiotemporal description and modeling of mechanical product and its assembly sequence based on mereotopology : theory, model and approach." Thesis, Belfort-Montbéliard, 2015. http://www.theses.fr/2015BELF0276/document.
Full textAbstract:
L’objectif de cette thèse est de d’écrire l’évolution du produit dans les trois dimensions (spatiale, temporelle et spatio-temporelle). Dans le contexte industriel actuel, les modèles produit sont considérés uniquement du point de vue spatial pendant la phase de conception et du point de vue temporel pendant la phase d’assemblage. Le manque de lien entre le produit et le process mène à des incompréhensions de définition de produit et entraine de mauvaises interprétations en conception. Cependant, le produit ´évolue à travers le temps et subit des changements tout au long des phases de conception et d’assemblage. L’aspect dynamique des activités de conception nécessite de lier ces deux dimensions afin de pouvoir représenter l’évolution du produit et avoir une cohérence des informations. Par conséquent, la dimension spatio-temporelle (i.e. permettant de lier l’espace et le temps) a besoin d’être ajoutée et les relations entre la modélisation du produit et sa séquence d’assemblage ont besoin d’être particulièrement étudiées. Cette thèse en mécanique et conception s’est inspirée de divers domaines comme la gestion des connaissances, les systèmes d’information géographique et la philosophie. Ici le produit est considéré d’un point de vue perdurantiste. Le perdurantisme considère l’objet comme étant compose de tranches temporelles et gardant toujours la même identité quelque soit le changement subi. D’après les précédentes déclarations, cette thèse introduit une nouvelle description du couple produit-process afin d’assurer la compréhension des intentions de conception aux acteurs projet. Dans le but d’atteindre cet objectif, une théorie mereotopologique, permettant de d´écrire le produit comme perçu dans la réalité, et de développée et implémentée dans un modèle ontologique pour être formalisée. La théorie JANUS d´écrit qualitativement l’évolution du produit à travers le temps dans un contexte de conception orientée assemblage, permettant l’intégration de la séquence d’assemblage d`es le début du processus de conception. La théorie permet la description formelle des relations liant les informations et connaissances du couple produit-process. Ces efforts ont pour but d’apporter une base concrète pour la description des changements d’entités spatiales (telles que les composants) et leurs relations `a travers l’espace et le temps. Cette théorie basée sur les régions lie les dimensions spatiale, temporelle et spatio-temporelle et apporte donc une vision perdurantiste en conception de produit. Ensuite, PRONOIA2 – une ontologie formelle basée sur la précédente théorie –développée. De ce fait, les informations liées à l’assemblage sont rendues accessibles et exploitables par des systèmes de gestion d’information et les outils de XAO afin de supporter les activités de l’architecte produit et du concepteur. En effet, les informations et connaissances liées à la conception de produit, ainsi que la séquence d’assemblage associée, ont besoin d’une fondation sémantique et logique afin d’être gérées de manière cohérente et proactive. Suite au développement de la théorie JANUS et de l’ontologie PRONOIA2, l’approche proposée permet d’associer les informations spatiales (gérées par le PDM) et les informations temporelles (gérées par le MPM) à travers des relations mereotopologiques spatio-temporelles. Par conséquent, de nouvelles entités doivent être gérées dans le PLM, en utilisant notamment l’ontologie et un système hub, afin d’assurer un maintien des principes d’ingénierie proactives et améliorer la compréhension de l’architecte produit et du concepteur concernant l’ évolution du produitThe major goal of this research is to describe product evolution in the three dimensions (i.e. spatial, temporal andspatiotemporal). In the current industrial context, product models are only considered from a purely spatial point ofview during the design stage and from a purely temporal point of view during the assembly stage. The lack of linkbetween product and process leads to misunderstanding in engineering definition and causes wrong designinterpretation. However, the product undergoes changes throughout the design and assembly phases. The dynamicaspect of design activities requires linking both dimensions in order to be able to represent product evolution andhave consistent information. As such, spatiotemporal dimension (i.e. linking space and time) needs to be added andrelationships between product modelling and assembly sequences need to be particularly studied.This PhD thesis in mechanical design draws inspiration from several domains such as mathematics, geographicinformation systems and philosophy. Here the product is considered from a perdurantist point of view. Perdurantismregards the object as being composed of temporal slices and always keeping the same identity whatever changesundergone. Based on this statement, this PhD thesis introduces a novel product-process description so as to ensureproduct architect's and designer's understanding of design intents at the early design stages. In order to achieve thisobjective, a mereotopological theory, enabling the product description as it is perceived in the real world, has beendeveloped and implemented in an ontology model to be formalized.The JANUS theory qualitatively describes product evolution over time in the context of AOD, integrating assemblysequence planning in the early product design stages. The theory enables the formal relationships description ofproduct-process design information and knowledge. The proposed efforts aim at providing a concrete basis fordescribing changes of spatial entities (i.e. product parts) and their relationships over time and space. This regionbasedtheory links together spatial, temporal and spatiotemporal dimensions, therefore leading to a perdurantistphilosophy in product design.Then, PRONOIA2 - a formal ontology based on the previous mereotopological theory - is developed. Assemblyinformation is accessible and exploitable by information management systems and computer-aided X tools in orderto support product architects and designer's activities. Indeed product design information and knowledge as well asthe related assembly sequence require a semantic and logical foundation in order to be managed consistently andprocessed proactively.Based on JANUS theory and PRONOIA2 ontology, the MERCURY approach enables associating spatial information(managed by PDM) and temporal information (managed by MPM) through spatiotemporal mereotopologicalrelationships. Therefore, new entities are managed through PLM, using ontology and hub system, so as to ensureproactive engineering and improve product architects' and designers' understanding of product evolution
25
Djoupee, Bertille. "Description du ɓaka, une langue oubanguienne du Cameroun." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCF034/document.
Full textAbstract:
Il s’agit d’une description grammaticale du ɓaka, une langue oubanguienne (Niger-Congo). L’analyse se fonde sur un corpus recueilli sur le terrain, dans la région de l’Est-Cameroun (département du Haut-Nyong). Le corpus représente 1h 36mn de paroles spontanées qui ont été traitées sous Toolbox, Elan et Praat puis analysées dans une perspective structurale fonctionnaliste. La thèse comprend trois parties. La première regroupe une introduction et l’analyse phonologique. La seconde partie est consacrée à l’établissement des catégories grammaticales. Le ɓaka étant une langue à faible morphologie, c’est à partir de critères syntaxiques que quinze catégories ont été identifiées : Verbe, Nom, Nom relationnel, Pronom personnel, Pronom, Adjectif, Adverbe, Numéral, Prédicatif, Préposition, Subordinatif, Coordinatif, Interjection, Onomatopée et Modalité. Je présente, pour chaque catégorie définie, une étude des formes et de son fonctionnement. La troisième partie qui porte sur la syntaxe présente le syntagme nominal, le syntagme verbal et la prédication non verbale qui sont les éléments fondamentaux de la structuration de cette langue. La prédication non verbale combine le recours à des prédicatifs non verbaux et à la construction d’énoncé sans prédicatif dédié fondée sur la juxtaposition de deux éléments dont j’analyse les caractéristiques. J’aborde ensuite l’énoncé complexe, et traite en particulier des connecteurs entre propositions que sont les coordinatifs et les subordinatifs, puis des procédés de topicalisation et de focalisation qui manifestent la hiérarchie dans l’énoncé. Une bibliographie et une annexe présentant la transcription de trois textes du corpus terminent ce travailƁaka is an Ubangian language of the Niger-Congo language family. The grammatical description is based on a text corpus that was collected during fieldwork in the department of Haut Nyong in the East Province of Cameroon. The corpus consists of recordings (1h and 36 min) of spontaneous speech, which were annotated in Toolbox, Elan and Praat and then analyzed from a structuralist-functionalist perspective. The thesis is divided into three parts. Part 1 contains the introduction and the phonological analysis. Part 2 is dedicated to defining the word classes. As Ɓaka is a language with little morphology, the following 15 word classes were identified through syntactic criteria: verb, noun, relational noun, personal pronoun, pronoun, adjective, adverb, numeral, predicator, preposition, subordinator, coordinator, interjection, onomatopoeia and modal. For each of these defined word classes, a study of their forms and functions is presented. Part 3 deals with the syntax of Ɓaka, more precisely with the noun phrase, the verb phrase and non-verbal predication, which are the fundamental structuring units of this language. Non-verbal predication encompasses both the use of non-verbal predicators as well as constructions that contain no dedicated predicators and are based on two juxtaposed elements, whose characteristic features are analyzed in detail. Part 3 is also concerned with complex sentences. It examines coordinating and subordinating connectors as well as topicalization and focalization strategies, which reflect hierarchical relations in the sentence. The thesis concludes with a bibliography and an appendix containing three transcribed texts from the corpus
26
Bouraoui, Zied. "Inconsistency and uncertainty handling in lightweight description logics." Thesis, Artois, 2015. http://www.theses.fr/2015ARTO0408/document.
Full textAbstract:
Cette thèse étudie la dynamique des croyances et la gestion de l’incertitude dans DL-Lite, une des plus importantes familles des logiques de description légères. La première partie de la thèse porte sur la gestion de l’incertitude dans DL-Lite. En premier lieu, nous avons proposé une extension des principaux fragments de DL-Lite pour faire face à l’incertitude associée aux axiomes en utilisant le cadre de la théorie des possibilités. Cette extension est réalisée sans engendrer des coûts calculatoires supplémentaires. Nous avons étudié ensuite la révision des bases DL-Lite possibilistes en présence d’une nouvelle information. Enfin, nous avons proposé un opérateur de fusion lorsque les assertions de ABoxsont fournies par plusieurs sources d’information ayant différents niveaux de priorité. La deuxième partie de la thèse traite le problème de la gestion d’incohérence dans les bases de connaissances DL-Lite. Nous avons étudié, tout d’abord, comment raisonner à partir d’une base DL-Lite standard avec des ABox multiples en introduisant les notions de modificateurs et de stratégies d’inférence. La combinaison des modificateurs et de stratégies d’inférence fournit une liste exhaustive des principales techniques de gestion de l’incohérence. Nous avons proposé ensuite une approche, basée sur un critère de cardinalité, de sélection des réparations, et nous avons identifié les stratégies appropriées pour la gestion de l’incohérence pour les bases DL-Lite stratifiées. Enfin, nous avons effectué une analyse comparative, suivie par des étudesexpérimentales, des différentes techniques de gestion d’incohérence proposées. Finalement, un outil de représentation et de raisonnement à partir des bases DL-Lite possibiliste est réaliséThis thesis investigates the dynamics of beliefs and uncertainty management in DL-Lite, one of the most important lightweight description logics. The first part of the thesis concerns the problem of handling uncertainty in DL-Lite. First, we propose an extension of the main fragments of DL-Lite to deal with the uncertainty associated with axioms using a possibility theory framework without additional extra computational costs. We then study the revision of possibilistic DL-Lite bases when a new piece of information is available. Lastly, we propose a min-based assertional merging operator when assertions of ABox are provided by several sources of information having different levels of priority. The second partof the thesis concerns the problem of inconsistency handling in flat and prioritized DL-Lite knowledge bases. We first propose how to reason from a flat DL-Lite knowledge base, with a multiple ABox, which can be either issued from multiple information sources or resulted from revising DL-Lite knowledge bases. This is done by introducing the notions of modifiers and inference strategies. The combination of modifiers plus inference strategies can be mapped out in order to provide a principled and exhaustive list of techniques for inconsistency management. We then give an approach based on selecting multiple repairs using a cardinality-based criterion, and we identified suitable strategies for handling inconsistencyin the prioritized case. Lastly, we perform a comparative analysis, followed by experimental studies, of the proposed inconsistency handling techniques. A tool for representing and reasoning in possibilistic DL-Lite framework is implemented
27
Bilen, Melhem. "Description of the human gut microbiota by culturomics." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0177/document.
Full textAbstract:
Le microbiote intestinal humain a été fortement corrélé avec la santé humaine et les maladies et a montré un potentiel dans les développements thérapeutiques. La métagénomique a déjà montré qu'elle était capable de générer beaucoup de données, dont certaines sont dénuées de sens et constituaient la "matière noire". Alors culturomics a été développée pour compléter la métagénomique en ciblant des espèces bactériennes précédemment non cultivées. En utilisant la culturomics, nous avons décrit le microbiote intestinal humain des Pygmées et réussi à isoler un nombre significatif d'espèces bactériennes parmi lesquelles 38 étaient de nouvelles espèces. En comparant les résultats métagénomiques aux données culturomics, on constate que seulement 26% des espèces isolées ont été récupérées par métagénomique et que jusqu'à 59% des Operational taxonomic units détectées correspondaient à de nouvelles espèces bactériennes isolées par culturomique dans cette étude ou dans les précédentesThe human gut microbiota has been correlated in general health and diseases. Thus its description became mandatory to better understand its role and therapeutic potential. However, metagenomics has previously showed to be able to generate a lot of data, of which some are meaningless and constituted the “Dark matter”. Thus, culturomics was developed to complement metagenomics by targeting previously uncultured bacterial species. Using culturomics, we described the human gut microbiota of Pygmy people and succeeded in isolating a significant number of bacterial species out of which 38 were new species. Comparing metagenomics results to culturomics data, we see that only 26% of the isolated species were recovered by metagenomics and that up to 59% of the Operational taxonomic units detected corresponded to new bacterial species isolated by culturomics either in this study or in previous ones
28
Blanc, Katy. "Description de contenu vidéo : mouvements et élasticité temporelle." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4212/document.
Full textAbstract:
La reconnaissance en vidéo atteint de meilleures performances ces dernières années, notamment grâce à l'amélioration des réseaux de neurones profonds sur les images. Pourtant l'explosion des taux de reconnaissance en images ne s'est pas directement répercuté sur les taux en reconnaissance vidéo. Cela est dû à cette dimension supplémentaire qu'est le temps et dont il est encore difficile d'extraire une description robuste. Les réseaux de neurones récurrents introduisent une temporalité mais ils ont une mémoire limitée dans le temps. Les méthodes de description vidéo de l'état de l'art gèrent généralement le temps comme une dimension spatiale supplémentaire et la combinaison de plusieurs méthodes de description vidéo apportent les meilleures performances actuelles. Or la dimension temporelle possède une élasticité propre, différente des dimensions spatiales. En effet, la dimension temporelle peut être déformée localement : une dilatation partielle provoquera un ralentissement visuel de la vidéo sans en changer la compréhension, à l'inverse d'une dilatation spatiale sur une image qui modifierait les proportions des objets. On peut donc espérer améliorer encore la classification de contenu vidéo par la conception d'une description invariante aux changements de vitesse. Cette thèse porte sur la problématique d'une description robuste de vidéo en considérant l'élasticité de la dimension temporelle sous trois angles différents. Dans un premier temps, nous avons décrit localement et explicitement les informations de mouvements. Des singularités sont détectées sur le flot optique, puis traquées et agrégées dans une chaîne pour décrire des portions de vidéos. Nous avons utilisé cette description sur du contenu sportif. Puis nous avons extrait des descriptions globales implicites grâce aux décompositions tensorielles. Les tenseurs permettent de considérer une vidéo comme un tableau de données multi-dimensionnelles. Les descriptions extraites sont évaluées dans une tache de classification. Pour finir, nous avons étudié les méthodes de normalisation de la dimension temporelle. Nous avons utilisé les méthodes de déformations temporelles dynamiques des séquences. Nous avons montré que cette normalisation aide à une meilleure classificationVideo recognition gain in performance during the last years, especially due to the improvement in the deep learning performances on images. However the jump in recognition rate on images does not directly impact the recognition rate on videos. This limitation is certainly due to this added dimension, the time, on which a robust description is still hard to extract. The recurrent neural networks introduce temporality but they have a limited memory. State of the art methods for video description usually handle time as a spatial dimension and the combination of video description methods reach the current best accuracies. However the temporal dimension has its own elasticity, different from the spatial dimensions. Indeed, the temporal dimension of a video can be locally deformed: a partial dilatation produces a visual slow down during the video, without changing the understanding, in contrast with a spatial dilatation on an image which will modify the proportions of the shown objects. We can thus expect to improve the video content classification by creating an invariant description to these speed changes. This thesis focus on the question of a robust video description considering the elasticity of the temporal dimension under three different angles. First, we have locally and explicitly described the motion content. Singularities are detected in the optical flow, then tracked along the time axis and organized in chain to describe video part. We have used this description on sport content. Then we have extracted global and implicit description thanks to tensor decompositions. Tensor enables to consider a video as a multi-dimensional data table. The extracted description are evaluated in a classification task. Finally, we have studied speed normalization method thanks to Dynamical Time Warping methods on series. We have showed that this normalization improve the classification rates
29
Beal, Aurélie. "Description et sélection de données en grande dimension." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4305/document.
Full textAbstract:
L'évolution des technologies actuelles permet de traiter un grand nombre d'expériences (ou de simulations) et d'envisager un nombre important de paramètres. Cette situation conduit à des matrices de grande, voire très grande, dimension et nécessite le développement de nouveaux outils pour évaluer et visualiser ces données et, le cas échéant, en réduire la dimension. L'évaluation de la qualité de l'information apportée par l'ensemble de points constituant une base de données ou un plan d'expériences peut se faire au travers de critères basés sur des calculs de distance, qui renseigneront sur l'uniformité de la répartition dans l'espace multidimensionnel. Parmi les méthodes de visualisation, l'Analyse en Composantes Curvilignes a l'avantage de projeter des données en grande dimension dans un espace bidimensionnel en préservant la topologie locale, ce qui peut aider à détecter des amas de points ou des zones lacunaires. La réduction de dimension s'appuie sur une sélection judicieuse de sous-ensembles de points ou de variables, via des algorithmes. Les performances de ces méthodes ont été évaluées sur des cas d'étude issus des études QSAR, de la spectroscopie et de la simulation numériqueTechnological progress has now made many experiments (or simulations) possible, along with taking into account a large number of parameters, which result in (very) high-dimensional matrix requiring the development of new tools to assess and visualize the data and, if necessary, to reduce the dimension. The quality of the information provided by all points of a database or an experimental design can be assessed using criteria based on distances that will inform about the uniformity of repartition in a multidimensional space. Among the visualization methods, Curvilinear Component Analysis has the advantage of projecting high-dimensional data in a two-dimensional space with respect to the local topology. This also enables the detection of clusters of points or gaps. The dimensional reduction is based on a judicious selection of subsets of points or variables, via accurate algorithms. The performance of these methods was assessed on case studies of QSAR, spectroscopy and numeric simulation
30
Skaf, Bariaa. "Variantes graphiques numériques dans le contexte libanais : Description sociolinguistique des pratiques et des représentations." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAL006/document.
Full textAbstract:
Les technologies numériques et multimédia favorisent, dans divers contextes sociolinguistiques, l’apparition de modes de communication écrite présentant des spécificités linguistiques et graphiques (Crystal, 2001) que nous nommons, dans le cadre de notre recherche, variantes graphiques numériques (VGN). Les échanges écrits électroniques que nous analysons ont été menés par des préadolescents (8 à 11 ans), des adolescents (14 à 16 ans), de jeunes adultes qui poursuivent leurs études universitaires (18 à 26 ans) et des adultes (28 à 63 ans). Tous ces scripteurs utilisent majoritairement le dialecte libanais, le translittèrent au moyen de graphèmes latins et complètent ces derniers par des chiffres pour représenter les phonèmes qui n’ont pas de correspondance dans ce système graphique. Ils enrichissent leur messagerie instantanée multilingue en recourant à des abréviations, des sigles, des rébus basés sur une écriture phonétique et à bien d'autres procédés graphiques qui miment l’oralité. Ils partagent un même code, celui de l’écrit, mais leurs échanges électroniques se font dans une forme qui rappelle l'oral spontané, comme le montrait déjà Anis (1999). Ils se servent de divers moyens pour rendre compte de la multimodalité inhérente aux échanges verbaux en face-à-face et constitutive de l’interaction.En raison du trilinguisme du contexte libanais de notre étude, ces usages numériques sont associés également à des pratiques plurilingues (Lüdi et Py 2002,) ou translanguaging (Garcia, 2009). Nous analysons également les implications et les modalités de contact entre l’arabe, le français et l’anglais.Parallèlement à ces descriptions formelles, nous documentons la diversité des contextes et des modalités d’usage des VGN au nord Liban. Cette étude permet de montrer la distribution des VGN et des formes de contacts dans différents types d’écrits comme les messages numériques et non numériques, privés et publics, synchrones et asynchrones, formels et informels sur Facebook. Nous complétons ces analyses d’échanges par des écrits d’élèves, recueillis auprès de 13 étudiant.e.s fréquentant des écoles et des universités privées et publiques. Ces derniers écrits montrent la diffusion des VGN de la communication électronique dans les écrits papier à usage privé.Notre corpus contient enfin des enseignes et des menus de restaurants et de cafés-trottoirs, des publicités, des captures d'écran, des titres de chansons de chanteurs libanais, des programmes télévisés de chaines libanaises, des manuels de parler libanais, un roman, des articles de presse et aussi des photos prises dans un jardin publique et dans une école publique. Notre thèse démontre que les VGN ont acquis une visibilité importante dans la société libanaise, devenant selon la formule d’Henri Boyer « un objet linguistique médiatiquement identifié » (Boyer, 1997) et qu’elles se diffusent maintenant indépendamment des supports. Ces VGN témoignent d'un mode d’écrit vernaculaire reconnu et utilisé par la société libanaise dans des contextes autres que numériques. Ainsi, notre enquête montre que les VGN ne sont plus limitées aux adolescents et à la jeunesse qui les ont véhiculées au départ mais concernent toutes les tranches d'âge. Elles sont désormais un moyen de communication recherché pour atteindre un public de plus en plus large.Nous avons également mené une enquête par questionnaire auprès des scripteurs qui ont fourni des messages numériques et/ou non numériques, et d’enseignants et de professeurs des secteurs publique et privé confrontés aux VGN. Ces questionnaires ont été complétés par des entretiens réalisés avec 11 scripteurs appartenant aux différentes catégories d'âge considérées. Cette enquête nous a permis d'étudier les représentations des scripteurs, utilisateurs ou non des outils numériques, usagers ou non des VGN. Elle révèle l'importance de la variation interindividuelle et situationnelle et les représentations ambivalentes que les Libanais ont de ces VGNThe digital and multimedia technologies favor, in various sociolinguistic contexts, the emergency of written communication modes presenting linguistic and graphic specificities (Crystal, 2001) that we name, in our research, digital graphic variants (VGN). The electronic written exchanges that we are studying were conducted by writers from different age groups (pre-teens, adolescents, young adults students, and adults from 28 to 63 years old). All these writers mainly use the Lebanese dialect; they transliterate it through the means of Latin graphemes and add numbers to transcribe Arabic phonemes that have no match in this writing system. They enrich their instant multilingual messages by using abbreviations, acronyms, phonetic-based rebuses and many other graphic process that mimic orals. They share the same code, that of written, but their electronic exchanges are conducted in a form that evokes the spontaneous oral, as it has already been shown by Anis (1999). They use different means to compensate the lack of multimodality, which is known to be so relevant for face-to-face interaction.Due to the trilingualism of the Lebanese context, these digital usages are also associated with multilingual practices (Lüdi and Py 2002,) or translanguaging (Garcia, 2009). We also analyze the implications and modalities of contact between Arabic, French and English.In parallel with these formal descriptions, we are provide new descriptions of wide range of contexts and modalities of the use of VGN in the north of Lebanon. This study shows the distribution of VGN and forms of contact in different types of writing such as digital and non-digital messages, private and public, synchronous and asynchronous, formal and informal on Facebook. We complete these exchange analyzes with student writings, done by 13 students attending private and public schools and universities. These last writings show the diffusion of the VGN from the electronic communication towards the paper writings for private use.Our open corpus finally includes different kinds of public writing as signs and menus of restaurants and sidewalk cafes, commercials, screen shots, Lebanese singers' song titles, Lebanese channel television programs, Lebanese textbooks, a novel, press articles and also photos taken in a public garden and in a public school. Our dissertation demonstrates that VGN have gained significant visibility in Lebanese society, becoming, as Henri Boyer (1997) writes, “a linguistic object under the scope of the media”, and that they are now widespread regardless of the media. These VGN testify a mode of vernacular writing recognized and used by the Lebanese society in contexts other than digital. Thus, our survey shows that VGN are no longer limited to adolescents and youth who initially used them, but include all age groups. They are now a means of communication sought to reach a wider audience.We also conducted a questionnaire survey of script writers who provided digital and / or non-digital messages, and teachers and professors from the public and private sectors facing VGN. These questionnaires were supplemented by interviews with 11 writers belonging to different age group. This survey allowed us to study the representations and attitudes of the writers, users or not of the digital tools, users or not VGN. This reveals the importance of the interindividual and situational variation and the ambivalent representations that the Lebanese have of these VGN
31
Jarrín, Oscar. "Descriptions déterministes de la turbulence dans les équations de Navier-Stokes." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLE010/document.
Full textAbstract:
Cette thèse est consacrée à l'étude déterministe de la turbulence dans les équations de Navier-Stokes; et elle est divisée en quatre chapitres indépendants.Le premier chapitre s'agit d'une discussion rigoureuse sur l'étude la loi de dissipation d'énergie, proposée par théorie de la turbulence K41, dans le cadre déterministe des équations de Navier-Stokes homogènes et incompressibles, avec une force externe stationnaire (la force ne dépende que de la variable spatiale) et posées sur l'espace tout entier. Le but de ce chapitre est de mettre en évidence le fait que si nous considérons les équations de Navier-Stokes posées sur l'espace alors certains quantités physiques, nécessaires pour l'étude de la loi de dissipation de Kolmogorov, n'ont pas une définition rigoureuse et alors pour donner un sens à ces quantités on propose de considérer les équations de Navier-Stokes mais avec un terme additionnel d'amortissement . Dans le cadre de ces équations de Navier-Stokes amorties, on obtient des estimations du taux de dissipation d'énergie selon la loi de dissipation de Kolmogorov.Dans le deuxième chapitre on s'intéresse à l'étude des solutions stationnaires des équations de Navier-Stokes amorties introduites dans le chapitre précédent. Ces solutions stationnaires correspondent à un type particulier des solutions qui ne dépendent que de la variable d'espace: la motivation pour étudier ces solutions stationnaires étant donné que la force externe que nous considérons tout au long de cette thèse est une fonction stationnaire. Dans ce chapitre on étudie essentiellement deux propriétés des solutions stationnaires: la première propriété correspond à la stabilité de ces solutions où on montre que si l'on contrôle la force externe des équations de Navier-Stokes amorties alors toute solution non stationnaire (qui dépend de la variable d'espace et aussi de la variable de temps) converge vers une solution stationnaire lorsque le temps tend à l'infini. La deuxième propriété porte sur l'étude de la décroissance en variable spatiale des ces solutions stationnaires.Dans le troisième chapitre on continue à étudier les solutions stationnaires des équations de Navier-Stokes, mais cette fois-ci on considère les équations de Navier-Stokes classiques (sans aucun terme d'amortissement) . Le but de ce chapitre est d'étudier un tout autre problème relié à l'étude déterministe de la turbulence et qui porte sur la décroissance de la transformée de Fourier des solutions stationnaires. En effet, selon la théorie de la turbulence K41, si le fluide est en régime laminaire on s'attend à observer une décroissance exponentielle de la transformée de Fourier des solutions stationnaires et cette décroissance à lieu dès les bases fréquences, tandis que si le fluide est en régime turbulent alors on s'attend à observer cette même décroissance exponentielle mais seulement aux hautes fréquences. Ainsi, à l'aide des outils de l'analyse de Fourier, dans ce chapitre on donne des descriptions précises sur cette décroissance exponentielle fréquentiel (dans le régime laminaire et dans le régime turbulent) des solutions stationnaires.Dans le quatrième et dernier chapitre on revient aux solutions stationnaires des équations de Navier-Stokes (on considère toujours les équations classiques) et on étude l'unicité de ces solutions dans le cas particulier où la force externe est nulle. En suivant essentiellement quelques idées des travaux précédents de G. Seregin, on étudie l'unicité des ces solutions tout d'abord dans les cadres des espaces de Lebesgue et ensuite dans le cadre plus général des espaces de MorreyThis PhD thesis is devoted to deterministic study of the turbulence in the Navier-Stokes equations. The thesis is divided in four independent chapters.The first chapter involves a rigorous discussion about the energy's dissipation law, proposed by theory of the turbulence K41, in the deterministic setting of the homogeneous and incompressible Navier-Stokes equations, with a stationary external force (the force only depends of the spatial variable) and on the whole space. The energy's dissipation law, also called the Kolmogorov's dissipation law, characterizes the energy's dissipation rate (in the form of heat) of a turbulent fluid and this law was developed by A.N. Kolmogorov in 1941. However, its deduction (which uses mainly tools of statistics) is not fully understood until our days and then an active research area consists in studying this law in the rigorous framework of the Navier-Stokes equations which describe in a mathematical way the fluids motion and in particular the movement of turbulent fluids. In this setting, the purpose of this chapter is to highlight the fact that if we consider the Navier-Stokes equations on the whole space then certain physical quantities, necessary for the study of the Kolmogorov's dissipation law, have no a rigorous definition and then to give a sense to these quantities we suggest to consider the Navier-Stokes equations with an additional damping term. In the framework of these damped equations, we obtain some estimates for the energy's dissipation rate according to the Kolmogorov's dissipation law.In the second chapter we are interested in study the stationary solutions of the damped Navier-Stokes introduced in the previous chapter. These stationary solutions are a particular type of solutions which do not depend of the temporal variable and their study is motivated by the fact that we always consider the Navier-Stokes equations with a stationary external force. In this chapter we study two properties of the stationary solutions: the first property concerns the stability of these solutions where we prove that if we have a control on the external force then all non stationary solution (with depends of both spatial and temporal variables) converges toward a stationary solution. The second property concerns the decay in spatial variable of the stationary solutions. These properties of stationary solutions are a consequence of the damping term introduced in the Navier-Stokes equations.In the third chapter we still study the stationary solutions of Navier-Stokes equations but now we consider the classical equations (without any additional damping term). The purpose of this chapter is to study an other problem related to the deterministic description of the turbulence: the frequency decay of the stationary solutions. Indeed, according to the K41 theory, if the fluid is in a laminar setting then the stationary solutions of the Navier-Stokes equations must exhibit a exponential frequency decay which starts at lows frequencies. But, if the fluid is in a turbulent setting then this exponential frequency decay must be observed only at highs frequencies. In this chapter, using some Fourier analysis tools, we give a precise description of this exponential frequency decay in the laminar and in the turbulent setting.In the fourth and last chapter we return to the stationary solutions of the classical Navier-Stokes equations and we study the uniqueness of these solutions in the particular case without any external force. Following some ideas of G. Seregin, we study the uniqueness of these solutions first in the framework of Lebesgue spaces of and then in the a general framework of Morrey spaces
32
Jebali, Fatma. "Formal framework for modelling and verifying globally asynchronous locally synchronous systems." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM036/document.
Full textAbstract:
Un système GALS (Globalement Asynchrone, Localement Synchrone) est un ensemble de composants synchrones qui évoluent en même temps, chacun à propre rythme, et qui communiquent de manière asynchrone. Cette thèse propose un environnement formel de modélisation et de vérification dédié aux systèmes GALS, en se focalisant sur le comportement asynchrone.Notre environnement s’appuie sur un langage formel que nous avons conçu nommé GRL (GALS Représentation Language). GRL permet la spécification comportementale des composants synchrones, de la communication asynchrone, et des contraintes sur les rythmes des composants ainsi que sur les valeurs que prennent les entrées des composants. Pour analyser les spécifications GRL, nous utilisons CADP, une boîte à outils logicielle permettant la vérification de processus concurrents asynchrones par des techniques d'exploration d’espaces d’états. Dans ce but, nous avons défini une traduction de GRL vers LNT, un langage de spécification supporté par CADP. La traduction est implémentée dans un outil appelé GRL2LNT, permettant ainsi la génération automatique d’espaces d'états à partir de spécifications GRL.Pour permettre la vérification formelle des spécifications GRL, nous avons conçu un langage de propriétés nommé muGRL, qui est interprété sur les espaces d’états de GRL. Le langage muGRL est basé sur un ensemble de patrons qui capturent les propriétés des systèmes concurrents et des systèmes GALS, réduisant ainsi la complexité d'utiliser les logiques temporelles classiques. La sémantique de muGRL est définie par traduction vers MCL, le langage de logique temporelle fourni par CADP. Enfin, nous illustrons l’usage de GRL, muGRL et CADP pour la modélisation et la vérification d’applications GALS concrètes, comprenant des études de cas industriellesA GALS (Globally Asynchronous, Locally Synchronous) system consists of several synchronouscomponents that evolve concurrently, each with its own pace, and communicatealtogether asynchronously. This thesis proposes a formal modelling and verificationframework dedicated to GALS systems, with a focus on the asynchronous behaviour.As a cornerstone of our framework, we have designed a formal language, named GRL(GALS Representation Language). GRL enables the behavioural specification of synchronouscomponents, asynchronous communication, and constraints involving bothcomponent paces and the data carried by component inputs. To analyse GRL specifications,we took advantage of the CADP software toolbox for the verification of asynchronousconcurrent processes, using state space exploration techniques. For this purpose,we defined a translation from GRL to the LNT specification language supportedby CADP. The translation was implemented by a tool named GRL2LNT, thus enablingstate spaces to be automatically derived from GRL specifications.To enable the formal verification of GRL specifications, we designed a property specificationlanguage, named muGRL, which is interpreted on GRL state spaces. The muGRLlanguage is based on a set of patterns capturing properties of concurrent and GALSsystems, which reduces the complexity of using full-fledged temporal logics. The semanticsof muGRL are defined by a translation into the MCL temporal logic supported byCADP. Finally, we illustrated how GRL, muGRL, and CADP can be applied to modeland verify concrete GALS applications, including industrial case-studies
33
Iwaza, Lana. "Joint Source-Network Coding & Decoding." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112048/document.
Full textAbstract:
Dans les réseaux traditionnels, la transmission de flux de données s'effectuaient par routage des paquets de la source vers le ou les destinataires. Le codage réseau (NC) permet aux nœuds intermédiaires du réseau d'effectuer des combinaisons linéaires des paquets de données qui arrivent à leurs liens entrants. Les opérations de codage ont lieu dans un corps de Galois de taille finie q. Aux destinataires, le décodage se fait par une élimination de Gauss des paquets codés-réseau reçus. Cependant, dans les réseaux sans fils, le codage réseau doit souvent faire face à des erreurs de transmission causées par le bruit, les effacements, et les interférences. Ceci est particulièrement problématique pour les applications temps réel, telle la transmission de contenus multimédia, où les contraintes en termes de délais d'acheminement peuvent aboutir à la réception d'un nombre insuffisant de paquets, et par conséquent à des difficultés à décoder les paquets transmis. Dans le meilleurs des cas, certains paquets arrivent à être décodés. Dans le pire des cas, aucun paquet ne peut être décodé.Dans cette thèse, nous proposons des schémas de codage conjoint source-réseau dont l'objectif est de fournir une reconstruction approximative de la source, dans des situations où un décodage parfait est impossible. L'idée consiste à exploiter la redondance de la source au niveau du décodeur afin d'estimer les paquets émis, même quand certains de ces paquets sont perdus après avoir subi un codage réseau. La redondance peut être soit naturelle, c'est-à-dire déjà existante, ou introduite de manière artificielle.Concernant la redondance artificielle, le codage à descriptions multiples (MDC) est choisi comme moyen d'introduire de la redondance structurée entre les paquets non corrélés. En combinant le codage à descriptions multiples et le codage réseau, nous cherchons à obtenir une qualité de reconstruction qui s'améliore progressivement avec le nombre de paquets codés-réseau reçus.Nous considérons deux approches différentes pour générer les descriptions. La première approche consiste à générer les descriptions par une expansion sur trame appliquée à la source avant la quantification. La reconstruction de données se fait par la résolution d'un problème d' optimisation quadratique mixte. La seconde technique utilise une matrice de transformée dans un corps de Galois donné, afin de générer les descriptions, et le décodage se fait par une simple éliminationde Gauss. Ces schémas sont particulièrement intéressants dans un contexte de transmission de contenus multimédia, comme le streaming vidéo, où la qualité s'améliore avec le nombre de descriptions reçues.Une seconde application de tels schémas consiste en la diffusion de données vers des terminaux mobiles à travers des canaux de transmission dont les conditions sont variables. Dans ce contexte, nous étudions la qualité de décodage obtenue pour chacun des deux schémas de codage proposés, et nous comparons les résultats obtenus avec ceux fournis par un schéma de codage réseau classique.En ce qui concerne la redondance naturelle, un scénario typique est celui d'un réseau de capteurs, où des sources géographiquement distribuées prélèvent des mesures spatialement corrélées. Nous proposons un schéma dont l'objectif est d'exploiter cette redondance spatiale afin de fournir une estimation des échantillons de mesures transmises par la résolution d'un problème d'optimisation quadratique à variables entières. La qualité de reconstruction est comparée à celle obtenue à travers un décodage réseau classiqueWhile network data transmission was traditionally accomplished via routing, network coding (NC) broke this rule by allowing network nodes to perform linear combinations of the upcoming data packets. Network operations are performed in a specific Galois field of fixed size q. Decoding only involves a Gaussian elimination with the received network-coded packets. However, in practical wireless environments, NC might be susceptible to transmission errors caused by noise, fading, or interference. This drawback is quite problematic for real-time applications, such as multimediacontent delivery, where timing constraints may lead to the reception of an insufficient number of packets and consequently to difficulties in decoding the transmitted sources. At best, some packets can be recovered, while in the worst case, the receiver is unable to recover any of the transmitted packets.In this thesis, we propose joint source-network coding and decoding schemes in the purpose of providing an approximate reconstruction of the source in situations where perfect decoding is not possible. The main motivation comes from the fact that source redundancy can be exploited at the decoder in order to estimate the transmitted packets, even when some of them are missing. The redundancy can be either natural, i.e, already existing, or artificial, i.e, externally introduced.Regarding artificial redundancy, we choose multiple description coding (MDC) as a way of introducing structured correlation among uncorrelated packets. By combining MDC and NC, we aim to ensure a reconstruction quality that improves gradually with the number of received network-coded packets. We consider two different approaches for generating descriptions. The first technique consists in generating multiple descriptions via a real-valued frame expansion applied at the source before quantization. Data recovery is then achieved via the solution of a mixed integerlinear problem. The second technique uses a correlating transform in some Galois field in order to generate descriptions, and decoding involves a simple Gaussian elimination. Such schemes are particularly interesting for multimedia contents delivery, such as video streaming, where quality increases with the number of received descriptions.Another application of such schemes would be multicasting or broadcasting data towards mobile terminals experiencing different channel conditions. The channel is modeled as a binary symmetric channel (BSC) and we study the effect on the decoding quality for both proposed schemes. Performance comparison with a traditional NC scheme is also provided.Concerning natural redundancy, a typical scenario would be a wireless sensor network, where geographically distributed sources capture spatially correlated measures. We propose a scheme that aims at exploiting this spatial redundancy, and provide an estimation of the transmitted measurement samples via the solution of an integer quadratic problem. The obtained reconstruction quality is compared with the one provided by a classical NC scheme
34
Dong, Ngoc Nguyen Thinh. "Révision d'ontologies fondée sur tableaux." Thesis, Paris 8, 2017. http://www.theses.fr/2017PA080048/document.
Full textAbstract:
L'objectif de cette thèse est d'étendre des opérateurs de révision d'ontologie existants en respectant les postulats AGM (priorité aux nouvelles connaissances, cohérence de connaissances et minimalité des changements) pour des ontologies d'expressivité SHIQ et de proposer de nouveaux algorithmes palliant les inconvénients inhérents à ces opérateurs.Après étude de l'existant, nous avons proposé un nouvel algorithme de tableau pour la révision des ontologies exprimées en SHIQ. En créant ce nouvel algorithme de tableau, nous avons défini la notion des modèles de graphe finis (des modèles d'arbre ou des modèles de forêt) afin de représenter un ensemble éventuellement infini de modèles d'une ontologie en SHIQ. Ces structures finies équipées d'un pré-ordre total permettent de déterminer la différence sémantique entre deux ontologies représentées comme deux ensembles de modèles. Nous avons mis en œuvre les algorithmes proposés dans notre moteur de révision OntoRev, intégrant des techniques d'optimisation pour (i) réduire des non-déterminismes lors de l'application de l'algorithme de tableau, (ii) optimiser le temps du calcul de distance entre des modèles d'arbre ou entre des modèles de forêt, (iii) éviter de construire des forêts ou des arbres non nécessaires à la révision. De plus, nous avons examiné la possibilité d'améliorer la méthode de tableau par une approche permettant de compresser les modèles d'arbres. Enfin, nous avons effectué des expérimentations avec des ontologies du monde réel qui ont mis en exergue la difficulté à traiter des axiomes non déterministes intrinsèquesThe objective of this PhD thesis is to extend existing ontology revision operators in accordance with the postulates AGM (priority on new knowledge, knowledge coherence and minimal change) for ontologies in SHIQ and propose new algorithms to overcome the disadvantages in these operators.After studying the existing approaches, we have proposed a new tableau algorithm for the revision of ontologies expressed in SHIQ. Together with this new tableau algorithm, we have defined the notion of finite graph models (tree models or forest models) in order to represent a possibly infinite set of models of an ontology in SHIQ. These finite structures equipped with a total pre-order make it possible to determine the semantic difference between two ontologies represented as two sets of models.We have implemented the proposed algorithms in our revision engine OntoRev, by integrating optimization techniques for (i) reducing non-determinisms when applying the tableau algorithm, (ii) optimizing the computation time of the distance between tree models or between forest models, (iii) avoiding the construction of unnecessary forests or trees in the revision. In addition, we examined the possibility of improving the tableau method using an approach for compressing tree models. Finally, we carried out experiments with real-world ontologies which highlighted the difficulty to deal with intrinsic non-deterministic axioms
35
Le, Naour Nelly. "(D)écrire La Havane : les représentations de la ville dans la littérature cubaine de fiction (XIXe-XXIe siècles)." Thesis, Cergy-Pontoise, 2014. http://www.theses.fr/2014CERG0725/document.
Full textAbstract:
Cette étude a pour ambition d'analyser les descriptions littéraires de La Havane dans la diachronie. Il s'agit d'appréhender la ville comme une entité narrative à part entière, dans les nouvelles et les romans cubains du XIXème siècle à nos jours. Occupant une place privilégiée dans la littérature nationale, la capitale cubaine s'est chargée de représentations et de fonctions multiples qui ont évolué au fil des décennies, variant selon les points de vue esthétiques ou les partis pris descriptifs. Notre projet consiste à mettre en évidence les différentes manières d'appréhender l'espace urbain dans notre corpus mais aussi d'établir des ponts entre les époques pour ainsi faire dialoguer les œuvres entre elles. En étudiant les caractéristiques de La Havane littérarisée, nous prétendons assembler les différentes pièces d'un puzzle encore en construction afin de dresser le portrait kaléidoscopique d'une ville devenue espace littéraire. Envisagée comme un cadre référentiel renvoyant à une réalité géographique et socio-historique précise, la cité mise en fiction est aussi un espace symbolique fortement connoté. En tant qu'objet d'écriture, elle est également un espace poétique qui, en se détachant complètement de son référent réel, fait naître de multiples imaginaires urbainsThe object of this study is to present a diachronic analysis of the descriptions of Havana in Cuban literature. We have defined the city's status as a narrative object among Cuban novels and short stories from the 19th century to the present day. Central to the national literature, the Cuban capital city had gradually been endowed with multiple functions and representations, which vary depending on the aesthetic viewpoints or descriptive stances adopted by different authors. Our project consists not only in analysing the ever-changing physiognomy of this particular urban landscape within the scope of our corpus, but also in drawing bridges between different eras in order to outline the dialectic dynamics which exist between these stories. By paying close attention to the characteristics of literary Havana, we have begun assembling the pieces of a puzzle that is still in the making, thus reflecting the kaleidoscopic image of a city which has become a literary landscape. Used as the frame of reference for a precise geographical and socio-historical reality, the Havana of Cuban fictions also bears a strong and complex symbolic quality. As the object of these writings, it is also a poetic space which, by detaching itself from its actual referent, creates a multiplicity of imaginary urban landscapes
36
Gourdin, Simon. "Description analytique des phénomènes acoustophorétiques, en solutions et suspensions." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066720/document.
Full textAbstract:
Cette thèse de doctorat porte sur la description analytique des phénomènes acoustophorétiques, en solutions et suspensions. L'acoustophorèse est la création d'un champ électrique par une onde acoustique.La première partie porte sur les solutions d'électrolytes, et est basée sur l'analyse critique de la littérature. A partir des différents articles, un modèle original, basé sur la résolution des équations de la dynamique pour les ions est trouvé, lequel permet la prédiction, sans paramètres ajustables, de l'acoustophorèse des sels simples pour des solutions allant de très diluées à assez concentrées. Ce modèle est ensuite étendu aux cas de solutions avec trois espèces ioniques différentes, et un programme informatique calculant l'acoustophorèse en fonction de la concentration est en annexe. Une seconde extension est faite pour les liquides ioniques, et permet de déduire le volume des ions. Des tentatives d'extension du modèle sont faites pour les micelles et les colloïdes, en précisant les écueils. Une deuxième approche, basée sur la thermodynamique irréversible et les relations de réciprocité d'Onsager, est faite dans le cas des suspensions colloïdales. Les principaux résultats sont la proportionnalité entre l'acoustophorèse et la mobilité électrique des colloïdes, et donc l'applicabilité de cette technique à la caractérisation des suspensions, y compris concentrées ; le lien rigoureux entre l'acoustophorèse et son corollaire, la création d'une onde acoustique et son champ électrique ; enfin une procédure pour séparer le signal des colloïdes du signal de l'électrolyte support dans l'acoustophorèse des suspensions réellesThis Ph.D. thesis is on the analytical description of acoustophoretic phenomena, in solutions and suspensions. Acoustophoresis is the creation of an electric field by an acoustic wave.First part is on electrolytic solutions, and it begins by a critical review of literature, from Debye first paper to a recent Ph.D. thesis on the same subject. Hypotheses are carefully selected, and a new model is deduced. This model, using pressure, friction, electric, inertia and corrective force, allows the prediction of acoustophoresis up to 0,3 molar for a simple salt, without any fitting parameter. An extension to solutions with three ionic species is done, and a Fortran program to compute the acoustophoresis as a function of the concentration is given in annex. Extension of the model, in the case of ionic liquid, allows the measurement of the volume of ions. A brief point is done on micellar and colloidal suspensions. A second part is on the application of non-equilibrium thermodynamic, especially Onsager reciprocal relation, to the acoustophoresis of suspensions. Acoustophoresis is shown to be proportional to the electric mobility, which allows the measurement of the latter in dark and concentrated suspensions. A link between acoustophoresis and the creation of acoustic wave by an electric field is also found, and a process to isolate contributions of colloids in real suspensions, with a supporting electrolyte, is proposed
37
Martinat, Isaac. "Conception d'un langage de description de strutures tabulaires et du système de reconnaissance associé : Application aux tableaux dans les documents d'archives." Rennes, INSA, 2009. http://www.theses.fr/2009ISARA002.
Full textAbstract:
De nos jours une numérisation en masse de documents permet une large diffusion de ceux-ci. Pour faciliter l’accès aux informations contenues dans certains de ces documents, nous nous intéressons à la reconnaissance d’une classe de documents structurés, les tableaux. Cette thèse présente un langage de description de tableaux associé à un système de reconnaissance. Ce langage simple et intuitif permet de décrire des descriptions de structures tabulaires complexes et variables ainsi que des descriptions plus précises. Celles-ci permettent à l’analyseur de compenser les informations manquantes et d’absorber le bruit Pour concevoir l’analyseur et l’utilisation des informations des descriptions, nous proposons une représentation interne et introduisons le concept d’intersections finales. Celles-ci aident à caractériser la structure des tableaux. Pour valider notre système, nous présentons des résultats sur des structures de tableaux très variées et sur plus de 50 000 documents d’archivesANowadays, a mass digitization of documents gives access to a large quantity of documents. To give better access to the information in some of these documents, we focus on the recognition of a structured document class, tables. This dissertation presents a table description language linked to a recognition system This simple and intuitive language enables to describe complex and variable table structures as well as more precise descriptions to allow the analyzer compensate for lacking information, and to better absorb noise. To design this analyzer and the use of information from the descriptions, we propose an internal representation and introduce the concept of final intersections. These intersections help to characterize table structures. To validate our system, we present results on very variable table structures and on over 50,000 old documents
38
Oteski, Ludomir. "Transition vers le chaos en convection naturelle confinée : descriptions lagrangienne et eulérienne." Thesis, Paris 11, 2015. http://www.theses.fr/2015PA112084/document.
Full textAbstract:
Cette thèse est une étude numérique d'un écoulement d'air dans une cavité différentiellement chauffée bidimensionnelle en présence de gravité. Pour un rapport hauteur/largeur de deux et des parois horizontales supposées adiabatiques, l'écoulement de base correspond à une recirculation autour de la cavité avec un coeur stratifié et des couches limites verticales. Les équations de Navier-Stokes sont résolues par un code de simulation numérique directe spectrale instationnaire basé sur l’hypothèse de Boussinesq couplé à un algorithme de suivi de particules avec interpolation. Le nombre de Rayleigh basé sur la différence de température est choisi comme paramètre de contrôle de l’écoulement. La transition vers le chaos au sein de cet écoulement est explorée à la fois du point de vue eulérien (développement de l’instationnarité) et lagrangien (mélange chaotique).L'approche lagrangienne considère le mélange de traceurs passifs infinitésimaux non diffusifs. L'étude se base sur l'identification d'objets invariants de la dynamiques : points fixes, orbites périodiques et leurs variétés stable/instable, connections homoclines et hétéroclines, trajectoires toroïdales. Le mélange des traceurs est partiel lorsque l'écoulement subit une première bifurcation de Hopf. La dispersion globale des traceurs résulte d'un compromis entre la présence de tores Kolmogorov-Arnold-Moser qui jouent le rôle de barrières au mélange, et d'enchevêtrements homoclines/hétéroclines responsables du chaos lagrangien. L'étude statistique des temps de retour et du taux d'homogénéisation révèle la présence de zones où la dynamique est non hyperbolique. En augmentant le nombre de Rayleigh, le mélange devient progressivement complet avant que l'écoulement ne devienne quasi-périodique en temps. L'approche eulérienne considère les divers scénarios de transition vers le chaos par l'identification numérique d'attracteurs et des bifurcations associées lorsque le nombre de Rayleigh varie. Deux routes principales se distinguent en fonction des symétries associées aux deux premières bifurcations de Hopf du système, contenant chacune plusieurs branches hystérétiques. Trente trois régimes différents sont identifiés et analysés depuis l'écoulement stationnaire jusqu'à un écoulement chaotique voire hyperchaotique. Parmi ceux-ci, des branches de tores à deux et trois fréquences incommensurables, ainsi que des régimes intermittents sont examinés. Des diagrammes de bifurcations qualitatifs et quantitatifs sont proposés pour résumer l'ensemble des dynamiques observéesThis thesis is about the numerical study of an air flow inside a two dimensionally heated cavity. The aspect ratio height/width is set to two. Boundary conditions on horizontal walls are taken as adiabatic. In this case, the base flow consists of a recirculation around the stratified core of the cavity and of boundary layers along the vertical walls. The Navier-Stokes equations are solved using a spectral direct numerical simulation code under the Boussinesq assumption coupled with a particle tracking scheme based on interpolation. The Rayleigh number, based on the temperature difference is chosen as the control parameter of the system. The transition to chaos in this flow is considered both from the Eulerian and Lagrangian point of view.The Lagrangian point of view considers the mixing of point-wise non-diffusive passive tracers. The study is based on the identification of invariant objects: fixed points, periodic orbits and their stable/unstable manifolds,homoclinic and heteroclinic connections, toroidal trajectories.The mixing of tracers is partial when the flow undergoes the first Hopf bifurcation. The complete mixing of tracers results from a compromise between Kolmogorov-Arnold-Moser's tori, which act as barriers to mixing, and homoclinic/heteroclinic tangles which are responsible for the mixing.The statistical study of return times and the homogenisation rate shows regionswhere the dynamics is non-hyperbolic. When the Rayleigh number is increased, mixing is increasingly complete before the flow becomes quasi-periodic in time.The Eulerian description considers the transition to chaos via the numerical identification of attractors and their associated bifurcations when the Rayleigh number is varied. Two main routes are found depending on the symmetries associated with the first two Hopf bifurcations of the system. A total of thirty three different regimes are identified from steady to hyperchaotic, among which two- and three-frequency tori as well as intermittent dynamics. Both quantitative and qualitative bifurcation diagrams are suggested for the system
39
Mavridou, Evanthia. "Robust image description with laplacian profile and radial Fourier transform." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM065/document.
Full textAbstract:
L'objectif de cette thèse est l'étude d'un descripteur d'images adapté à une grande variété d'applications. Nous cherchons à obtenir un descripteur robuste et discriminant, facile à adapter et peu coûteux en calcul et en mémoire.Nous définissons un nouveau descripteur, composé de valeurs du Laplacien à différentes échelles et de valeurs d'une transformée de Fourier radiale, calculées à partir d'une pyramide Gaussienne. Ce descripteur capture une information de forme multi-échelle autour d'un point de l'image. L'expérimentation a montré que malgré une taille mémoire réduite les performances en robustesse et en pouvoir discriminant de ce descripteur sont à la heuteur de l'état de l'art.Nous avons expérimenté ce descripteur avec trois types de tâches différentes.Le premier type de tâche est la mise en correspondance de points-clés avec des images transformées par rotation, changement d'échelle, floutage, codage JPEG, changement de point de vue, ou changement d'éclairage. Nous montrons que la performance de notre descripteur est au niveau des meilleurs descripteurs connus dans l'état de l'art. Le deuxième type de tâche est la détection de formes. Nous avons utilisé le descripteur pour la création de deux détecteurs de personnes, construits avec Adaboost. Comparé à un détecteur semblable construit avec des histogrammes de gradients (HOG) nos détecteurs sont très compétitifs tout en utilisant des descripteurs sensiblement plus compacts. Le dernier type de tâche est la détection de symétries de réflexion dans des images "du monde réel". Nous proposons une technique de détection d'axes potentiels de symétries en miroir. Avec cette tâche nous montrons que notre descripteur peut être genéralisé à des situations complexes. L'expérimentation montre que cette méthode est robuste et discriminante, tout en conservant un faible coût en calcul et en mémoireIn this thesis we explore a new image description method composed of a multi-scale vector of Laplacians of Gaussians, the Laplacian Profile, and a Radial Fourier Transform. This method captures shape information with different proportions around a point in the image. A Gaussian pyramid of scaled images is used for the extraction of the descriptor vectors. The aim of this new method is to provide image description that can be suitable for diverse applications. Adjustability as well as low computational and memory needs are as important as robustness and discrimination power. We created a method with the ability to capture the image signal efficiently with descriptor vectors of particularly small length compared to the state of the art. Experiments show that despite its small vector length, the new descriptor shows reasonable robustness and discrimination power that are competitive to the state of the art performance.We test our proposed image description method on three different visual tasks. The first task is keypoint matching for images that have undergone image transformations like rotation, scaling, blurring, JPEG compression, changes in viewpoint and changes in light. We show that against other methods from the state of the art, the proposed descriptor performs equivalently with a very small vector length. The second task is on pattern detection. We use the proposed descriptor to create two different Adaboost based detectors for people detection in images. Compared to a similar detector using Histograms of Oriented Gradients (HOG), the detectors with the proposed method show competitive performance using significantly smaller descriptor vectors. The last task is on reflection symmetry detection in real world images. We introduce a technique that exploits the proposed descriptor for detecting possible symmetry axes for the two reflecting parts of a mirror symmetric pattern. This technique introduces constraints and ideas of how to collect more efficiently the information that is important to identify reflection symmetry in images. With this task we show that the proposed descriptor can be generalized for rather complicated applications. The set of the experiments confirms the qualities of the proposed method of being easily adjustable and requires relatively low computational and storage requirements while remaining robust and discriminative
40
Brau, Guillaume. "Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués." Thesis, Toulouse, ISAE, 2017. http://www.theses.fr/2017ESAE0004/document.
Full textAbstract:
L'ingénierie des systèmes embarqués repose sur deux activités complémentaires : la modélisation d'une part permet dereprésenter le système, l'analyse d’autre part permet d'évaluer les diverses propriétés non-fonctionnelles (par exemple despropriétés temporelles via l'analyse d’ordonnancement temps réel). Cette thèse s'intéresse à l'intégration entre ces modèleset analyses: comment appliquer une analyse sur une modèle ? Comment gérer le processus d’analyse ? La première partie de cette thèse présente une approche globale afin de répondre à ces questions. Cette approche s'organise autour de quatre couches applicatives: (1) les modèles qui représentent le système, (2) les accesseurs qui permettent d'extraire des données à partir d'un modèle, (3) l'analyse qui traite des données en entrée pour produire des données ou propriétés en sortie, (4) des contrats qui décrivent les interfaces d'une analyse et permettent d'orchestrer le processus d'analyse. La seconde partie de cette thèse est dédiée à l'expérimentation de cette approche sur des systèmes réels provenant du domaine aérospatial : un drone, un robot explorateur et un système de gestion de vol. Nous montrons que les accesseurs permettent d’appliquer diverses analyses d’ordonnancement temps réel sur des modèles architecturaux hétérogènes, par exemples décrits avec le standard industriel AADL (Architecture Analysis and Design Language) ou le nouveau langage dirigé par le temps CPAL (Cyber-Physical Action Language). En outre, nous montrons que les contrats peuvent être utilisés afin d’automatiser des procédures d'analyse complexes : quelle analyse peut être appliquée sur unmodèle ? Quelles analyses remplissent les objectifs visés ? Peut-on combiner des analyses ? Y-a-t-il des interférences entreles analyses ? EtcThe engineering of embedded systems relies on two complementary activities: modeling on the one hand enables torepresent the system, analysis on the other hand makes it possible to evaluate the various non-functional properties (forexample, temporal properties with the real-time scheduling analysis). This thesis deals with the integration between thesemodels and analyses: how to apply an analysis on a model? How to manage the analysis process? The first part of this thesis presents a comprehensive approach to answer these questions. This approach is based on four application layers: (1) models to represent the system, (2) accessors to extract data from a model, (3) analyses to computeoutput data and/or properties from input data (4) contracts to represent the analysis interfaces and orchestrate the analysisprocess. The second part of this thesis deals with the experimentation of this approach with concrete systems coming fromthe aerospace: a drone, an exploratory robot and a flight management system. We demonstrate that the accessors enable toapply various real-time scheduling analyses on heterogeneous architectural models, for example written with the industrystandard AADL (Architecture Analysis and Design Language) or the new time-triggered language CPAL (Cyber-PhysicalAction Language). In addition, contracts make it possible to automate complex analysis procedures: which analysis can beapplied on a given model? Which are the analyses that meet a given goal? Are there analyses to be combined? Are thereinterferences between analyses? Etc
41
Botheron, Pierre. "Approches classique, quantique et bohmienne de la dynamique électronique de systèmes atomiques en champ fort." Thesis, Bordeaux 1, 2010. http://www.theses.fr/2010BOR14201/document.
Full textAbstract:
On s'intéresse à la dynamique électronique de systèmes atomiques soumis à une impulsion laser brève et intense ou à l'impact d'un ion positivement chargé. On procède alors à une comparaison détaillée des descriptions classique et quantique de ces interactions. Sur la base de cette comparaison, on développe une méthode auto-cohérente de trajectoires quantiques, basée sur l'approche hydrodynamique de Bohm. Cette méthode permet d'obtenir des observables très précises tout en conservant le caractère illustratif des méthodes de trajectoires classiquesWe are interested in the electronic dynamic of atomic system under influence of a short and intense laser pulse or induced by impact of positively charged ion. We then proceeds in a deeper comparative study of classical and quantal description of these interactions. On the basis of this study, we developped a self-consistent quantum trajectory method, based on the hydrodynamical formulation of Bohm. This method allow to obtain very precise observable while retaining the illustrative character of classical trajectory method
42
Taddei, Anais. "Quelle description pour détecter efficacement une personne parmi d'autres ? : approche expérimentale et modélisation socio-cognitive de la description verbale à des fins d’identification judiciaire." Thesis, Paris 8, 2016. http://www.theses.fr/2016PA080043/document.
Full textAbstract:
La présente thèse s’intéresse à l’efficacité de la description verbale d’un suspectpour le détecter parmi d’autres personnes dans le cadre de délits de fuite oude flagrants délits. Cette approche permet de connaître l’identité du suspect recherchélorsque les enquêteurs ne détiennent aucun autre indice à leur disposition.La description constitue la technique la plus couramment utilisée sur le terrainpar les professionnels, il semble donc nécessaire de comprendre son usage et sonimpact sur le terrain lors de la détection des suspects. Pour cela, une série desept expériences visant à tester quelle description apparaît la plus optimale pourdétecter le suspect a été conçue. Les études ont montré que plus la descriptioncontient d’indices sur le suspect, plus elle aide les enquêteurs à affiner la liste desuspects (expérience 1 ). Néanmoins, contrairement aux théories sur la recherchevisuelle indicée, il semblerait que l’ajout de nouvelles informations concernant leportrait du suspect n’améliore pas la détection de la cible recherchée ; certainsdescripteurs physiques n’étant pas utiles pour détecter la cible (expérience 2 )etce quel que soit leur ordre d’apparition dans la description physique (expérience3 ). En outre, l’ajout d’indices invalides sur le portrait physique du suspect a unimpact variable sur la détection selon le type de descripteurs (généraux, faciauxessentiels ou faciaux secondaires)(expérience 4 ). Par ailleurs, l’ajout d’indices nonphysiquesn’aide pas forcément les enquêteurs à détecter plus facilement leur cible(expériences 5 et 6 ). Enfin, nous avons montré que des facteurs contextuels et lescaractéristiques personnelles pouvaient modifier la prise de décision des enquêteurs(expérience 7 et 7 bis). Les analyses montrent que si les descriptions physiques lesplus complètes aident les enquêteurs à affiner la liste de suspects potentiels, elle n’améliore pas forcément la détection du criminel. Le système cognitif étant limité,toutes les informations de la description ne sont pas utilisées, l’individu va chercherà sélectionner l’information en se focalisant sur certains descripteurs physiquesjugés plus efficaces pour retrouver le suspectThis thesis focuses on the efficiency of suspects’ verbal description to detect himin hit and run or obvious offense contexts. This approach allows agents to know thesuspect’s identity when the officer does not detains any other available evidences.Description is the most commonly applied technique used by professionals in thefield, so it seems necessary to understand its use and impact on suspects’ detection.To achieve this goal, we designed a set of seven studies in order to test the mostefficient description to detect suspects. Our studies revealed that the more physicalclues of the criminal is given in the description, the more it helps officers to narrowsuspects (experiment 1 ). However, unlike theories of visual search, it seems thatadding information about suspect’s portrait does not improve detection ; somephysical descriptors are not useful to detect the target (experiment 2 ) regardlessof their rank order in the description’s list (experiment 3 ). Furthermore, adding"invalid clues" modulates detection depending on their properties (general, facialprimary, facial secondary experiment 4 ). In addition, inserting non-physical cluesin the description list do not necessarily help investigators to ease target detection(experiments 5 and 6 ). Finally, we showed that contextual factors and personalcharacteristics could change the officer’s decision (experiments 7 and 7bis). Ouranalyzes emphasised that the richer or the longer the list might not always be thebetter to reduce the number of suspects. In other words, while the most completeand detailled physicial descriptions help officers to narrow potential suspect’s list,it does not necessarily improve the criminal detection. As our cognitive systemis limited,the indivual must select information by focusing on specific physicaldescriptors thought to be more efficient to find the suspect
43
Français, Vincent. "Description and simulation of the physics of Resistive Plate Chambers." Thesis, Université Clermont Auvergne (2017-2020), 2017. http://www.theses.fr/2017CLFAC035/document.
Full textAbstract:
Le siècle dernier a vu le développement de la physique des particules, avec la fondation du célèbre modèle Standard de la physique des particules. Plus spécifiquement, durant les 70 dernières années de nombreuses particules ont été détecté et étudié. Parallèlement à ces découvertes, les moyens expérimentaux et les détecteurs ont grandement évolué. de la simple chambre à bulles de l'expérience Gargamel, qui a posé la première brique expérimentale du modèle standard, aux détecteurs complexes d'aujourd'hui tel que le LHC. Durant le développement de nouveaux détecteurs, nous pouvons distinguer deux grandes catégories: les détecteurs dits Solid State et les détecteurs gazeux. La première englobe les détecteurs tels que les Cherenkov ou les scintilateurs tandis que les derniers utilisent un gaz comme moyen de détection.Les détecteurs gazeux ont aussi grandement évolué durant le siècle dernier, des tubes Geiger-Muller au chambres à étincelles ou Pestov, qui peuvent faire face aux taux de détections toujours grandissant des accélérateurs de particules. The Parallel Plate Avalanche Chamber est un détecteur gazeux similaire mais fonctionne en mode avalanche, où les signaux électriques sont produits par une multiplication contrôlée des électrons dans le gaz. Les autres détecteurs susmentionnées fonctionnent eux en mode étincelle, où le signal détectée est produit par une décharge électrique dans le gaz.Le mode avalanche permets un taux de détection encore supérieur mais au prix de signaux électriques beaucoup plus faibles. Au début des années 80 un nouveau type de détecteur gazeux commence à se développer, les Resistive Plate Chambers. Ce détecteur présente la particularité de pouvoir fonctionner en mode étincelle ou avalanche, selon le design. Utilisé en mode avalanche, ils présentent un taux de détection particulièrement intéressant au prix de signaux électriques faibles, nécessitant un circuit d'amplification dédié. De nos jours les Resistive Plate Chambers sont très largement utilisés dans de nombreuses expériences de physique des particules, notamment pour leurs performances intéressantes et leur prix contenu. Malgré leur usage répandu, les Resistive Plate Chambers n'ont pas été beaucoup étudié d'un point de vue modélisation et simulation. La simulation d'un détecteur est un outil essentiel pour leur développement et leur fabrication, permettant de tester un design et calculer les performances que l'on est en droit d'attendre. Dans les travaux présentés dans ce document nous nous sommes intéressés à la description des différents phénomènes physiques se produisant durant une avalanche électronique au sein d'un Resistive Plate Chambers fonctionnant en mode avalanche, dans le but de les modéliser et simuler. Nous décrivons un modèle détaillé pour le processus d'ionisation, qui est l'évènement fondamental pour tout détecteur gazeux. Nous décrivons aussi un modèle mis au point par Riegler-Lippmann-Veenhof pour le développement d'avalanche électronique. Une simulation C++ a été produite dans le contexte de cette étude et quelques résultats sont présentésThe 20th century saw the development of particle physics research field, with the fundationof the famous Standard Model of particle physics. More specifically during the past 70 years numerous particles have been detected and studied. Alongside those discoveries, the experimental means and detectors has greatly evolved. From the simple Gargamel bubble chamber, which lay the first brick to the Standard Model theory, to the nowadays complex detectors such as the LHC. In the development of newer particles detector, one can distinguish two big categories:the solid state detectors et the gaseous detectors. The former encompass detectors suchas Cherenkov and scintillator counters while the later make use of gases as detection medium. The gaseous detectors have also greatly evolved during the past century from theGeiger-Muller tube to the spark or Pestov chambers, which can cope with the increasing detection rate of particles accelerator. The Parallel Plate Avalanche Chamber is a similar gaseous detector but operates in avalanche mode, where the detected signal is producedby a controlled multiplication of electrons in the gas. The aforementioned detectors were operated in spark mode, where the detection is made through a spark discharge in the gas.The avalanche mode allows even greater detection rates at the expense of signal amplitude. In early 80s a new gaseous detector design began to emerge: the Resistive Plate Chambers.This detector has the particularity to operates in spark or avalanche mode depending on its design. Operated in avalanche mode, they present an impressing detection rates at the expense of very small electric signals, requiring dedicated amplification circuitries. Nowadays the Resistive Plate Chambers are widely used in numerous experiments worldwide,because of their interesting performances and relatively small price. Despite their widespread usage, the Resistive Plate Chambers have not been extensively studied from a simulation and modelisation point of view. Simulation of a detectoris an essential tool for its development and construction, as it allows to test a design and predict the performances one may get. In this work we focused on the description of the physics phenomenons occuring during an electronic avalanche inside a Resistive Plate Chambers operated in avalanche mode, in order to properly modelise and simulate them. We review a detailed model of the ionisation process, which is the fundamental event in any gaseous particle detector, alongside theRiegler-Lippmann-Veenhof model for the electronic avalanche. A C++ simulation has been produced in the context of this work and some results are presented
44
Delmont, Tom. "Description des communautés microbiennes du sol par une approche métagénomique." Thesis, Ecully, Ecole centrale de Lyon, 2011. http://www.theses.fr/2011ECDL0048/document.
Full textAbstract:
Les données présentées dans ce manuscrit de thèse sont principalement basées sur l'analyse de séquences d'ADN extraites directement de l'environnement (et en particulier du sol) en les comparant aux données cumulées au fil des siècles sur les microorganismes cultivés en laboratoire. Les objectifs, difficultés, résultats et perspectives de cette approche, que l'on nomme « métagénomique », sont décrits. Un métagénome représente la diversité génétique d'un habitat défini (par exemple un sol du champ agricole) dans sa globalité. Ainsi, générer un métagénome a notamment pour but d’accéder à la diversité génétique de la majorité d'espèces récalcitrantes à la culture. Elle permet aussi d'estimer le potentiel fonctionnel d'un jeu de données métagénomiques représentant un écosystème, puis de le comparer à d'autres jeux de données, représentant quant à eux d'autres environnements. Enfin, un autre intérêt de cette approche est la possibilité, dans certains cas, d'assembler partiellement ou entièrement un métagénome, et ainsi de permettre la reconstruction de structures génétiques complexes, qu'elles représentent des plasmides ou des génomes, circulaires ou non. Ce manuscrit de thèse présente ces aspects de la métagénomique (extraction, séquençage, annotation, comparaison, assemblage) sur l'environnement sol, en se basant sur une prairie anglaise (Park Grass, Rothamsted Research) étudiée depuis plus de 150 ans. Les communautés microbiennes prédominantes ont été partiellement caractérisées, leur potentiel fonctionnel comparé à d'autre environnements majeurs de notre planète (océans, sédiments, neige, etc.). Parce que l'assemblage de ces données est très limité dû à une trop grande diversité, des expérimentations ont été faites en microcosmes afin de stimuler une partie de la communauté avant de générer de nouveaux jeux de données, hautement simplifiés. Cette approche a permis l'assemblage et l'étude structurelle de génomes correspondant à des espèces résistant à des conditions extrêmes (par exemple un apport considérable de mercure, ou de métaux lourds).Lorsque l'on regarde la métagénomique dans sa globalité, les perspectives apparaissent clairement : usant d'outils de plus en plus performants (séquençage, annotation, assemblage, etc.), les microbiologistes peuvent d'ores et déjà récolter le fruit de plus de trois milliards d'années d'évolution et d'adaptation microbienneMicrobial ecology is beginning to interact with metagenomics and many microbiologists are attracted to metagenomics in the hope of discovering novel relationships between microorganisms and/or confirming that work done on isolates applies to the remaining uncultured members of the different ecosystems. With a growing number of available metagenomic datasets, metagenomes can be intensively mined by microbial ecologists in search of previously undetected correlations (both structural and functional). Here, we provide a preliminary exploration of 77 publically available metagenomes corresponding to DNA samples extracted from oceans, atoll corals, deep oceans, Antarctic aquatic environments, Arctic snows, terrestrial environments (sediments, soils, sludges, microbial fuel cell anode biofilms, acid mine drainage biofilms), polluted air, and animal and human microbiomes (human feces, mouse and chicken cecum, and cow rumen). Results show well-defined environmental specificities that emphasize microbial adaptation and evolution capabilities. Unexpected observations were also made for several ecosystems, thus providing new hypotheses about the life style of their microbial communities. Available metagenomes are a gold mine of underexploited information that could be used to explore specific microbial structural and functional relationships. The statistical analysis provided here depends in part on replicates from the different ecosystems. With the continued emphasis on metagenomic sequencing, future analyses should support rigorous statistical treatment. This preliminary metagenomic decryption could represent a pilot-scale test for a future Earth microbiome global comparison
45
Ardonne, Eddy. "A conformal field theory description of fractional quantum Hall states." [S.l. : Amsterdam : s.n.] ; Universiteit van Amsterdam [Host], 2002. http://dare.uva.nl/document/61221.
Full text
46
Arafailova, Ekaterina. "Functional description of sequence constraints and synthesis of combinatorial objects." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0089/document.
Full textAbstract:
A l’opposé de l’approche consistant à concevoir aucas par cas des contraintes et des algorithmes leur étant dédiés, l’objet de cette thèse concerne d’une part la description de familles de contraintes en termes de composition de fonctions, et d’autre part la synthèse d’objets combinatoires pour de telles contraintes. Les objets concernés sont des bornes précises, des coupes linéaires, des invariants non-linéaires et des automates finis ; leur but principal est de prendre en compte l’aspect combinatoire d’une seule contrainte ou d’une conjonction de contraintes. Ces objets sont obtenus d’une façon systématique et sont paramétrés par une ou plusieurs contraintes, par le nombre de variables dans une séquence, et par les domaines initiaux de ces variables. Cela nous permet d’obtenir des objets indépendants d’une instance considérée. Afin de synthétiser des objets combinatoires nous tirons partie de la vue déclarative de telles contraintes, basée sur les expressions régulières, ainsi que la vue opérationnelle, basée sur les automates à registres et les transducteurs finis. Il y a plusieurs avantages à synthétiser des objets combinatoires par rapport à la conception d’algorithmes dédiés : 1) on peut utiliser ces formules paramétrées dans plusieurs contextes, y compris la programmation par contraintes et la programmation linéaire, ce qui est beaucoup plus difficile avec des algorithmes ; 2) la synergie entre des objets combinatoires nous donne une meilleure performance en pratique ; 3) les quantités calculées par certaines des formules peuvent être utilisées non seulement dans le contexte de l’optimisation mais aussi pour la fouille de donnéesContrary to the standard approach consisting in introducing ad hoc constraints and designing dedicated algorithms for handling their combinatorial aspect, this thesis takes another point of view. On the one hand, it focusses on describing a family of sequence constraints in a compositional way by multiple layers of functions. On the other hand, it addresses the combinatorial aspect of both a single constraint and a conjunction of such constraints by synthesising compositional combinatorial objects, namely bounds, linear inequalities, non-linear constraints and finite automata. These objects are obtained in a systematic way and are not instance-specific: they are parameterised by one or several constraints, by the number of variables in a considered sequence of variables, and by the initial domains of the variables. When synthesising such objects we draw full benefit both from the declarative view of such constraints, based on regular expressions, and from the operational view, based on finite transducers and register automata.There are many advantages of synthesising combinatorial objects rather than designing dedicated algorithms: 1) parameterised formulae can be applied in the context of several resolution techniques such as constraint programming or linear programming, whereas algorithms are typically tailored to a specific technique; 2) combinatorial objects can be combined together to provide better performance in practice; 3) finally, the quantities computed by some formulae cannot just be used in an optimisation setting, but also in the context of data mining
47
Kamil, Mohamed Hassan. "L'afar : description grammaticale d'une langue couchitique (Djibouti, Erythrée et Ethiopie )." Thesis, Sorbonne Paris Cité, 2015. http://www.theses.fr/2015INAL0008/document.
Full textAbstract:
Cette description grammaticale de l’afar s’appuie essentiellement sur des données recueillies sur le terrain auprès de très nombreux locuteurs afarophones, vivant à Djibouti, en Erythrée et en Ethiopie. La richesse des données a permis de prendre en compte les variantes dialectales tout au long de la description. Celle-ci s’organise autour de plusieurs parties : système phonologique et phonétique, système nominal, système verbal, et syntaxe de l’énoncé. Cette étude a permis de mieux évaluer l’originalité de certains traits connus mais aussi de mettre en valeur des traits peu connus voire ignorés jusqu’à présent. Citons entre autres : redéfinition du statut de la rétroflexe ; approfondissement des valeurs sémantiques et syntaxiques attachées aux différents procédés de dérivation nominale et verbale ; illustration du rôle primordial de la relative dans une langue où il n’y a pas de catégorie « adjectif » ; étude détaillée de la polarité de genre et de l’accord du verbe en genre non en nombre (accord au singulier avec un nom marqué comme pluriel) ; distinction entre noms adverbiaux et adverbes sur des critères syntaxiques; mise en valeur de la portée syntaxique et sémantique des quatre postpositions; meilleure définition de la catégorie des idéophones sur le plan morphophonologique, syntaxique et sémantique ; mise en lumière des procédés de topicalisation. En apportant un nouvel éclairage sur l’afar, à l’intérieur du couchitique et de la famille afro-asiatique, cette thèse se veut aussi une contribution à la typologie des languesThis grammatical description of Afar is mostly based on fieldwork data collected from a great number of Afar speakers living in Djibouti, Eritrea and Ethiopia. The wealth of data has allowed us to embrace dialectal variations in the description. This description has been built around several components: the phonological and phonetic system, the nominal system, the verbal system, and the syntax.This study leads us to better assess the originality of some features that are already known, and also to bring out other features that were not well known or unknown until now: redefinition of the status of retroflex consonants ; enhanced understanding of semantic and syntactic values of different processes of nominal and verbal derivation ; illustration of the crucial role of the relative clause in a language without adjectives ; detailed study of gender polarity and verb agreement in gender – and not in number – (agreement in the singular with a name marked in the plural) ; differentiation between adverbial names and adverbs on the basis of syntactic criteria ; highlight of the syntactic and semantic significance of four postpositions ; better definition of ideophones from the morphophonological, syntactic and semantic aspects ; highlight of topicalization processes. By shedding new light on Afar within the Cushitic and Afro-Asian family, this thesis aims also to contribute to language typolog*y
48
Verscheure, Leslie. "Description symbolique d’une arborescence vasculaire : application au réseau vasculaire cérébral." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10090/document.
Full textAbstract:
Cette thèse s’intéresse à la description symbolique d’arborescences vasculaires issues d’images 3D multimodales. Ce travail vise à fournir un cadre méthodologique global pour l’analyse de telles structures et plus particulièrement pour l’arbre vasculaire cérébral. Le domaine d’application clinique visé est la neurochirurgie, notamment pour la planification du geste du praticien. Notre principale contribution est le développement d’une méthode de squelettisation 3D, adaptée aux formes tubulaires et judicieuse pour la description symbolique. Nous proposons de baser la méthode de squelettisation sur la construction de l’arbre de des plus courts chemins de Dijkstra. Ainsi, nous extrayons la branche principale qui correspond à la branche la plus longue de l’arbre de Dijkstra, puis, nous détectons de manière itérative chaque branche annexe en conservant les branches de l’arbre de longueur supérieure à un seuil fixé. Puisque notre squelettisation se réalise de manière itérative, nous possédons les informations locales à chacune des branches. De cette manière, la description symbolique est facilitée et consiste alors en un partitionnement du squelette permettant la collecte de ces informations. Les algorithmes ont été implémentés sous la plateforme logicielle du laboratoire, ArtiMed, et évalués sur données simulées et cliniques. L’évaluation des méthodes de squelettisation et de description symbolique a fait l’objet de l’élaboration d’un plan d’expérience spécifique consistant en une comparaison des résultats sur une série de 18 rotations du volume initialThis thesis describes the methodology and the evaluation of a symbolic description method applied on vascular trees from multimodal 3D images. This work aims to supply a global methodological framework for the analysis of such structures and, more particularly, for the cerebral vascular tree. The clinical application field is neurosurgery and particularly neurosurgery planning. Our method is based on the application of the minimum cost-spanning tree using Dijkstra’s algorithm and seems well appropriate to tubular objects. We skeletonize the structure in two stages: first, we extract the main branch which corresponds to the longest branch of the Dijkstra’s tree, then, we detect iteratively every secondary branch by keeping the branches of the tree which length is superior to a fixed threshold. Since our skeletonization works in an iterative way, we possess local information for each branch. In this way, the symbolic description is facilitated and consists in a partitioning of the skeleton to collect the descriptive characteristics. Algorithms were implemented on the laboratory software platform (ArtiMED) developed in Borland C++ and estimated on digital and clinical data. The evaluation scheme adopts a specific experiment approach consisting in a comparison of the results of a series of 18 rotations of the initial volume
49
Antipov, Grigory. "Apprentissage profond pour la description sémantique des traits visuels humains." Thesis, Paris, ENST, 2017. http://www.theses.fr/2017ENST0071/document.
Full textAbstract:
Les progrès récents des réseaux de neurones artificiels (plus connus sous le nom d'apprentissage profond) ont permis d'améliorer l’état de l’art dans plusieurs domaines de la vision par ordinateur. Dans cette thèse, nous étudions des techniques d'apprentissage profond dans le cadre de l’analyse du genre et de l’âge à partir du visage humain. En particulier, deux problèmes complémentaires sont considérés : (1) la prédiction du genre et de l’âge, et (2) la synthèse et l’édition du genre et de l’âge.D’abord, nous effectuons une étude détaillée qui permet d’établir une liste de principes pour la conception et l’apprentissage des réseaux de neurones convolutifs (CNNs) pour la classification du genre et l’estimation de l’âge. Ainsi, nous obtenons les CNNs les plus performants de l’état de l’art. De plus, ces modèles nous ont permis de remporter une compétition internationale sur l’estimation de l’âge apparent. Nos meilleurs CNNs obtiennent une précision moyenne de 98.7% pour la classification du genre et une erreur moyenne de 4.26 ans pour l’estimation de l’âge sur un corpus interne particulièrement difficile.Ensuite, afin d’adresser le problème de la synthèse et de l’édition d’images de visages, nous concevons un modèle nommé GA-cGAN : le premier réseau de neurones génératif adversaire (GAN) qui produit des visages synthétiques réalistes avec le genre et l’âge souhaités. Enfin, nous proposons une nouvelle méthode permettant d’employer GA-cGAN pour le changement du genre et de l’âge tout en préservant l’identité dans les images synthétiques. Cette méthode permet d'améliorer la précision d’un logiciel sur étagère de vérification faciale en présence d’écarts d’âges importantsThe recent progress in artificial neural networks (rebranded as deep learning) has significantly boosted the state-of-the-art in numerous domains of computer vision. In this PhD study, we explore how deep learning techniques can help in the analysis of gender and age from a human face. In particular, two complementary problem settings are considered: (1) gender/age prediction from given face images, and (2) synthesis and editing of human faces with the required gender/age attributes.Firstly, we conduct a comprehensive study which results in an empirical formulation of a set of principles for optimal design and training of gender recognition and age estimation Convolutional Neural Networks (CNNs). As a result, we obtain the state-of-the-art CNNs for gender/age prediction according to the three most popular benchmarks, and win an international competition on apparent age estimation. On a very challenging internal dataset, our best models reach 98.7% of gender classification accuracy and an average age estimation error of 4.26 years.In order to address the problem of synthesis and editing of human faces, we design and train GA-cGAN, the first Generative Adversarial Network (GAN) which can generate synthetic faces of high visual fidelity within required gender and age categories. Moreover, we propose a novel method which allows employing GA-cGAN for gender swapping and aging/rejuvenation without losing the original identity in synthetic faces. Finally, in order to show the practical interest of the designed face editing method, we apply it to improve the accuracy of an off-the-shelf face verification software in a cross-age evaluation scenario
50
Schumm, Marion. "L’intrigue anthropologique : conceptions, descriptions et narrations de l’homme dans l’œuvre de Hans Blumenberg." Thesis, Paris 10, 2017. http://www.theses.fr/2017PA100111/document.
Full textAbstract:
L’œuvre de Hans Blumenberg, reçue d’abord pour son apport au débat sur la sécularisation et sa proposition d’une « métaphorologie », trouve son centre de gravité dans une anthropologie philosophique originale et complexe. C’est à celle-ci que notre thèse se consacre, en prenant acte du fait qu’« anthropologie » et « homme » sont les noms de deux problèmes avant d’être ceux d’un champ de savoir et de son objet. Si la pensée de Blumenberg s’élabore en premier lieu dans un dialogue critique avec la phénoménologie, ce n’est pas pour lui adjoindre le chapitre anthropologique qu’elle aurait omis, mais pour réformer de fond en comble ses thèses, sa méthode et ses principes implicites. Il ne s’agit pas non plus de retourner simplement aux questions et réponses traditionnelles que la philosophie a formulées à propos de l’homme. S’interrogeant, dans la lignée de l’anthropologie philosophique allemande, sur la possibilité de l’homme, Blumenberg oriente sa réflexion dans une voie « négative », dont notre travail s’attache à rendre raison autant qu’à interroger les limites. Avec l’image d’un homme fondamentalement « démuni », un être lacunaire, que les descriptions et narrations de l’auteur mettent en scène, ne retrouve-t-on pas une conception « prométhéenne », qui reconduit les présupposés qu’elle critiquait pourtant ? Notre interprétation vise, dans une analyse des procédures discursives que l’auteur met en œuvre et une discussion des thèses qu’il propose, à faire valoir leurs ambivalences, tout autant que leur fécondité. Ce qui est à lire, en dernière instance, dans l’œuvre de l’auteur, c’est un ensemble d’approches historiques et philosophiques de la « seconde nature » de l’homme, qui décrit les inquiétudes inhérentes à sa condition culturelle, autant que les intermittences du sujetFirst appreciated for the contribution made to the ‘Secularisation’ debate, along with its conception of ‘Metaphorology’, the work of Hans Blumenberg represents a complex and original philosophical anthropology, the core reflections of which form the central focus of this dissertation. We begin from a point of questioning whether “anthropology” and “man” are not simply terms used to describe a field of academic practice and it’s topic of study, but rather two distinct issues to be examined. The dominant motive of Blumenberg’s thought is to be found in a critical dialogue with phenomenology, but he is not interested in simply contributing an anthropological ‘chapter’ to the field, rather he works to criticise and seek a total reform of the theses, methodology and implicit principles therein. He similarly refuses to rerun the familiar philosophical debates regarding man, instead questioning the possibility of man, inspired by the German philosophical tradition. This thesis will assess and critically consider this ‘negative’ turn in Blumenberg’s thought. Do his descriptions and narrative conveying the human as a fundamentally lacking being not tend to invoke a ‘promethean’ conception of man, the very assumptions of which they seek to criticise?Through analysis of Blumenberg’s discursive procedures and consideration of his theses, our interpretation intends to demonstrate their sense of ambivalence as well as their considered abundance. Ultimately, what is to be found in the work of this author is a collection of approaches to the ‘second nature’ of man which together describe the unease inherent in the cultural condition, as well as the intermittencies of the subject