• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 777
  • 266
  • 192
  • 88
  • 52
  • 46
  • 33
  • 16
  • 14
  • 13
  • 13
  • 13
  • 13
  • 13
  • 13
  • Tagged with
  • 1775
  • 286
  • 276
  • 274
  • 265
  • 253
  • 250
  • 239
  • 237
  • 193
  • 155
  • 152
  • 151
  • 132
  • 118
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
121

Design, implementation, and testing of a software interface between the AN/SPS-65(V)1 radar and the SRC-6E reconfigurable computer /

Guthrie, Thomas G. January 2005 (has links) (PDF)
Thesis (M.S. in Electrical Engineering)--Naval Postgraduate School, March 2005. / Thesis Advisor(s): Douglas J. Fouts. Includes bibliographical references (p. 61). Also available online.
122

ADH, Aspect Described Hardware-Description-Language : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Engineering in Electrical and Electronic Engineering in the University of Canterbury /

Park, Su-Hyun. January 1900 (has links)
Thesis (M.E.)--University of Canterbury, 2006. / Typescript (photocopy). "March 2006." Includes bibliographical references (p. 145-151). Also available via the World Wide Web.
123

Révision d'ontologies fondée sur tableaux. / Tableaux-based revision of ontologies

Dong, Ngoc Nguyen Thinh 04 July 2017 (has links)
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èques. / The 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.
124

Variantes graphiques numériques dans le contexte libanais : Description sociolinguistique des pratiques et des représentations / Digital graphic variants in the Lebanese sociolinguistic context : sociolinguistic description of uses and representations

Skaf, Bariaa 11 July 2018 (has links)
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 VGN. / The 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.
125

A grammar of Hamar / Grammaire du Hamar

Petrollino, Sara 10 November 2016 (has links)
Cette étude est la toute première tentative de description complète de la grammaire du hamar, une langue parlée par environ 46.500 personnes dans le sud-ouest de l'Ethiopie (Lewis 2009). L'étude est basée sur des données collectées pendant 9 mois de travail sur le terrain entre 2013 et 2014 dans les territoires des Hamar. Les données sur la langue ont été recueillies auprès de 14 locuteurs natifs dans les villages hamar, et sont composées de 50 textes de longueurs et de genres différents. Cette grammaire décrit la phonologie, la morphologie, la syntaxe et certains aspects de la pragmatique et du discours du hamar et est organisée en 13 chapitres suivis par trois annexes : l'annexe A et B se composent d'un lexique sélectionné d’environ 1 400 entrées, l’annexe C contient trois textes hamar annotés. L'analyse qui sous-tend cette monographie grammaticale suit le cadre théorique Basic Linguistic Theory (la théorie linguistique de base - Dixon 1997, 2010, 2012). / This study is the first-ever attempt at a comprehensive grammatical description of Hamar, a language spoken in South West Ethiopia by approximately 46.500 people (Lewis 2009). The study is based on 9 months of fieldwork carried out between 2013and 2014 in Hamar territories. Language data was gathered from 14 native speakers in Hamar villages, and it amounts to 50 texts of varying lengths and genres. The grammar investigates the phonology, the morphology, the syntax and somepragmatic and discourse-related features of Hamar and it is organized in 13 chapters followed by three appendices: appendix A and B consist of a selected lexicon of circa 1400 entries, appendix C includes three annotated Hamar texts.The analysis underlying this monograph grammar follows the theoretical framework of Basic Linguistic Theory (Dixon 1997, 2010, 2012).
126

Adaptation and validation of the Organizational Description Questionnaire (Bass & Avolio, 1992). A study with civilian and military population. / Adaptación y validación del Organizational Description Questionnaire. Un estudio con población civil y militar

Nader, Martín, Lupano Perugini, María Laura, Castro Solano, Alejandro 25 September 2017 (has links)
Present data are gathered from a sample of civil population (n = 1003) and military cadets (n =488). The main objective of this study was to obtain the psychometric properties (reliability and validity) of the Organizational Description Questionnaire (Bass & Avolio, 1992). In reference to reliability, results show good levels of internal consistency for both dimensions, although they are a little bit lower for the transactional culture dimension for both populations. In reference to validity, the evidence allows affirming that the test is valid. The factorial analysis showed that the items group in 2 factors that respond to the theoretical proposal made by the authors of the test. Lastly, we have found differences between leaders and followers on the perception of organizatio-nal culture for both populations. / Se presentan datos correspondientes a un estudio realizado con población civil (n = 1003) y militar (n = 488) que tuvo como objetivo principal determinar las características psicométricas (fiabilidad y validez) del Organizational Description Questionnaire (Bass & Avolio, 1992). Con respecto a la fiabilidad, los resultados muestran buenos niveles de consistencia interna para ambas dimensiones aunque son algo bajos para la dimensión cultura transaccional para ambas poblaciones. Con respecto a la validez, se encontraron evidencias que permiten afirmar que la prueba es válida. El análisis factorial mostró que los ítems se agrupan en dos factores los cuales responden a la propuesta teórica hecha por los autores de la prueba. Por último, se encontraron diferencias en la percepción de la cultura organizacional que tienen líderes y seguidores de ambos contextos.
127

Des pouvoirs de l’ekphrasis : L’objet auratique dans l’oeuvre de Claude Simon / On Ekphrasis : Auratic Objects in Claude Simon’s writings

Hannart-Marmor, Yona 05 February 2013 (has links)
Notre travail consiste en une étude de l’ekphrasis dans l’écriture de Claude Simon. Il part de l’hypothèse selon laquelle la compréhension de sa nature et de son rôle permettrait d’éclairer des aspects fondamentaux du fonctionnement du texte, révélateurs de l’esthétique du roman simonien dans son ensemble. Pour ce faire, nous commençons par mettre en évidence le caractère ambivalent, paradoxal et subversif de l’ekphrasis simonienne, qui ne constitue pas systématiquement une interruption de la narration, ni une description d’oeuvre d’art. Tirant les conséquences du changement de perspective qu’impose le texte de Claude Simon, nous démontrons qu’il est tributaire du rôle crucial joué par le regard dans la détermination des objets ekphrastiques, objets investis de tout le punctum projeté en eux par le sujet. L’importance du motif du passage du temps, de son incidence sur l’ekphrasis en ce qu’il oriente le choix de ses objets et infléchit sa forme, constitue l’étape suivante de notre étude. Nous précisons le lien ontologique unissant temps et ekphrasis en analysant le caractère ruiniforme de cette dernière. Ce cheminement nous conduit enfin à faire apparaître les collisions entre différentes temporalités suscitées par l’ekphrasis, la nature auratique de l’objet ekphrastique ainsi que la façon dont l’ekphrasis crée tout un système de mises en résonnance entre différentes parties du roman. Ainsi se révèle le rôle essentiel de l’ekphrasis dans la structure, la dynamique et la forme du récit. / This work focuses on ekphrasis in Claude Simon’s writings. It is based on the assumption that by analyzing the nature and role of ekphrasis in Simon’s texts, one could reveal some fundamental aspects of the texts’ functioning and shed light on the esthetics of Simon’s novels as a whole. To do so, this thesis first analyzes the ambivalent, paradoxical and subversive nature of Simon’s ekphrasis, which does not necessarily consist in an interruption of the narrative flow or in the description of a work of art. The thesis goes on to try and identify how Simon’s writing forces us to depart from traditional perspectives on ekphrasis. The change is shown to reside in the importance of the subject’s eye when it comes to determining ekphrastic objects and to granting them a certain emotional load, the punctum. Subsequently, the motif of the passing of time is studied, from the point of view of how it impacts ekphrasis, influencing the choice of ekphrastic objects as well as its formal design. The essential relationship between time and ekphrasis is therefore investigated, with emphasis on its connection to ruins and decay. Finally, exploring the clashes between the various temporalities simultaneously called by ekphrasis allows us to identify the element of aura in the nature of ekphrastic objects. This reveals ekphrasis as a coherent system of echoes and relationships between different parts of the novel, a system which plays a crucial role in terms of the structure, the dynamic and the form of the narration.
128

Synthèse d’architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes / Synthesis of software architectures for systems-of-systems : an automated method by constraint solving

Margarido, Milena 27 September 2017 (has links)
Les systèmes-de-systèmes (Systems-of-Systems, SoS) interconnectent plusieurs systèmes indépendants qui travaillent ensemble pour exécuter une action conjointe dépassant leurs compétences individuelles. Par ailleurs, les descriptions architecturales sont des artefacts qui décrivent des architectures logicielles jouant dans le contexte SoS un rôle important dans la promotion de l’interaction des éléments constituants tout en favorisant la communication parmi les intéressés et en soutenant les activités d’inspection et d’analyse dès le début de leur cycle de vie. Le principal problème traité dans cette thèse est le manque de descriptions architecturales adéquates pour les SoS qui sont développés sans l’attention nécessaire à leur architecture logicielle. Puisque les systèmes constituants ne sont pas forcément connus pendant la conception du projet à cause du développement évolutionnaire des SoS, la description architecturale doit définir à la conception même du projet quelles coalitions entre les systèmes constituants seront possibles pendant son exécution. En outre, comme plusieurs de ces systèmes sont développés pour le domaine critique de sécurité, des mesures supplémentaires doivent être mises en place pour garantir l’exactitude et la complétude de la description architecturale. Afin de résoudre ce problème, nous nous servons du SosADL, un langage formel créé spécialement pour le domaine SoS et qui permet de décrire les architectures logicielles comme des associations dynamiques entre systèmes indépendants où les interactions doivent être coordonnées pour réaliser une action combinée. Notamment, une nouvelle méthode formelle, nommée Ark, est proposée pour systématiser les étapes nécessaires dans la synthèse d’architectures concrètes obéissant à cette description. Dans ce dessein, cette méthode crée un modèle formel intermédiaire, nommé TASoS, qui décrit l’architecture du SoS en tant que problème de satisfaisabilité de restrictions, rendant ainsi possible la vérification automatique d’un ensemble initial de propriétés. Le résultat obtenu par cette analyse peut s’utiliser en raffinements et révisions ultérieurs de la description architecturale. Un outil logiciel nommé SoSy a été aussi développé pour automatiser la génération de modèles intermédiaires et d’architectures concrètes, en cachant l’utilisation de solveurs de contraintes dans le projet de SoS. Particulièrement, cet outil intègre un environnement de développement plus important et complet pour le projet de SoS. Cette méthode et son outil ont été appliqués dans un modèle de SoS de surveillance de rivières urbaines où la faisabilité d’architectures abstraites a été étudiée. En formalisant et en automatisant les étapes requises pour la synthèse architecturale de SoS, Ark contribue à l’adoption de méthodes formelles dans le projet d’architectures SoS, ce qui est nécessaire pour atteindre des niveaux plus élevés de fiabilité. / Systems-of-Systems (SoS) encompass diverse and independent systems that must cooperate with each other for performing a combined action that is greater than their individual capabilities. In parallel, architecture descriptions, which are the main artifact expressing software architectures, play an important role in fostering interoperability among constituents by facilitating the communication among stakeholders and supporting the inspection and analysis of the SoS from an early stage of its life cycle. The main problem addressed in this thesis is the lack of adequate architectural descriptions for SoS that are often built without an adequate care to their software architecture. Since constituent systems are, in general, not known at design-time due to the evolving nature of SoS, the architecture description must specify at design-time which coalitions among constituent systems are feasible at run-time. Moreover, as many SoS are being developed for safety-critical domains, additional measures must be placed to ensure the correctness and completeness of architecture descriptions. To address this problem, this doctoral project employs SoSADL, a formal language tailored for the description of SoS that enables one to express software architectures as dynamic associations between independent constituent systems whose interactions are mediated for accomplishing a combined action. To synthesize concrete architectures that adhere to one such description, this thesis develops a formal method, named Ark, that systematizes the steps for producing such artifacts. The method creates an intermediate formal model, named TASoS, which expresses the SoS architecture in terms of a constraint satisfaction problem that can be automatically analyzed for an initial set of properties. The feedback obtained in this analysis can be used for subsequent refinements or revisions of the architecture description. A software tool named SoSy was also developed to support the Ark method as it automates the generation of intermediate models and concrete architectures, thus concealing the use of constraint solvers during SoS design and development. The method and its accompanying tool were applied to model a SoS for urban river monitoring in which the feasibility of candidate abstract architectures is investigated. By formalizing and automating the required steps for SoS architectural synthesis, Ark contributes for adopting formal methods in the design of SoS architectures, which is a necessary step for obtaining higher reliability levels.
129

Un framework formel pour les architectures logicielles dynamiques / A Formally Founded Framework for Dynamic Software Architectures

De Sousa Cavalcante, Everton Ranielly 10 June 2016 (has links)
Les architectures logicielles ont un rôle important dans le développement de systèmes à logiciel prépondérant afin de permettre la satisfaction tant des exigences fonctionnelles que des exigences extra-fonctionnelles. En particulier, les architectures logicielles dynamiques ont émergé pour faire face aux caractéristiques des systèmes contemporains qui opèrent dans des environnements dynamiques et par conséquent susceptibles de changer en temps d’exécution. Les langages de description architecturale (ADLs) sont utilisés pour représenter les architectures logicielles en produisant des modèles qui peuvent être utilisés pendant la conception ainsi que l’exécution. Cependant, la plupart des ADLs existants sont limités sur plusieurs facettes : (i) ils ne décrivent que les aspects structurels, topologiques de l’architecture ; (ii) ils ne fournissent pas un support adéquat pour représenter les aspects comportementaux de l’architecture ; (iii) ils ne permettent pas de décrire des aspects avancés de la dynamique de l’architecture ; (iv) ils sont limités en ce qui concerne la vérification automatisée des propriétés et des contraintes architecturales ; et (v) ils sont déconnectés du niveau d’implémentation et entraînent souvent des incohérences entre l’architecture et l’implémentation. Pour faire face à ces problèmes, cette thèse propose un framework formel pour les architectures logicielles dynamiques. Ce framework comprend : (i) .-ADL, un langage formel pour décrire des architectures logicielles dynamiques sous les perspectives structurelles et comportementales ; (ii) la spécification des opérations de reconfiguration dynamique programmée ; (iii) la génération automatique de code source à partir des descriptions architecturales ; et (iv) une approche basée sur la vérification statistique pour exprimer et vérifier formellement des propriétés des architectures logicielles dynamiques. Les contributions principales apportées par le framework proposé sont quatre. Premièrement, le langage .-ADL a été doté de primitives de niveau architectural pour décrire des reconfigurations dynamiques programmées. Deuxièmement, les descriptions architecturales dans .-ADL sont transformées vers le code source d’implémentation dans le langage de programmation Go, en contribuant à minimiser les dérives architecturales. Troisièmement, une nouvelle logique appelée DynBLTL est utilisée pour exprimer formellement des propriétés dans les architectures logicielles dynamiques. Quatrièmement, un outil basé sur SMC a été développé pour automatiser la vérification des propriétés architecturales en cherchant à réduire l’effort, les ressources computationnelles, et le temps pour réaliser cette tâche. Dans ce travail, deux systèmes basés sur réseaux de capteurs sans fil sont utilisés pour valider les éléments du framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) .-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the .-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in .-ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.
130

Gestion de l'incertitude dans le processus d'extraction de connaissances à partir de textes / Uncertainty management in the knowledge extraction process from text

Kerdjoudj, Fadhela 08 December 2015 (has links)
La multiplication de sources textuelles sur le Web offre un champ pour l'extraction de connaissances depuis des textes et à la création de bases de connaissances. Dernièrement, de nombreux travaux dans ce domaine sont apparus ou se sont intensifiés. De ce fait, il est nécessaire de faire collaborer des approches linguistiques, pour extraire certains concepts relatifs aux entités nommées, aspects temporels et spatiaux, à des méthodes issues des traitements sémantiques afin de faire ressortir la pertinence et la précision de l'information véhiculée. Cependant, les imperfections liées au langage naturel doivent être gérées de manière efficace. Pour ce faire, nous proposons une méthode pour qualifier et quantifier l'incertitude des différentes portions des textes analysés. Enfin, pour présenter un intérêt à l'échelle du Web, les traitements linguistiques doivent être multisources et interlingue. Cette thèse s'inscrit dans la globalité de cette problématique, c'est-à-dire que nos contributions couvrent aussi bien les aspects extraction et représentation de connaissances incertaines que la visualisation des graphes générés et leur interrogation. Les travaux de recherche se sont déroulés dans le cadre d'une bourse CIFRE impliquant le Laboratoire d'Informatique Gaspard Monge (LIGM) de l'Université Paris-Est Marne la Vallée et la société GEOLSemantics. Nous nous appuyons sur une expérience cumulée de plusieurs années dans le monde de la linguistique (GEOLSemantics) et de la sémantique (LIGM).Dans ce contexte, nos contributions sont les suivantes :- participation au développement du système d'extraction de connaissances de GEOLSemantics, en particulier : (1) le développement d'une ontologie expressive pour la représentation des connaissances, (2) le développement d'un module de mise en cohérence, (3) le développement d'un outil visualisation graphique.- l'intégration de la qualification de différentes formes d'incertitude, au sein du processus d'extraction de connaissances à partir d'un texte,- la quantification des différentes formes d'incertitude identifiées ;- une représentation, à l'aide de graphes RDF, des connaissances et des incertitudes associées ;- une méthode d'interrogation SPARQL intégrant les différentes formes d'incertitude ;- une évaluation et une analyse des résultats obtenus avec notre approche / The increase of textual sources over the Web offers an opportunity for knowledge extraction and knowledge base creation. Recently, several research works on this topic have appeared or intensified. They generally highlight that to extract relevant and precise information from text, it is necessary to define a collaboration between linguistic approaches, e.g., to extract certain concepts regarding named entities, temporal and spatial aspects, and methods originating from the field of semantics' processing. Moreover, successful approaches also need to qualify and quantify the uncertainty present in the text. Finally, in order to be relevant in the context of the Web, the linguistic processing need to be consider several sources in different languages. This PhD thesis tackles this problematic in its entirety since our contributions cover the extraction, representation of uncertain knowledge as well as the visualization of generated graphs and their querying. This research work has been conducted within a CIFRE funding involving the Laboratoire d'Informatique Gaspard Monge (LIGM) of the Université Paris-Est Marne la Vallée and the GEOLSemantics start-up. It was leveraging from years of accumulated experience in natural language processing (GeolSemantics) and semantics processing (LIGM).In this context, our contributions are the following:- the integration of a qualifation of different forms of uncertainty, based on ontology processing, within the knowledge extraction processing,- the quantification of uncertainties based on a set of heuristics,- a representation, using RDF graphs, of the extracted knowledge and their uncertainties,- an evaluation and an analysis of the results obtained using our approach

Page generated in 0.0717 seconds