• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • 1
  • Tagged with
  • 8
  • 8
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 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.
1

Définitions par réécriture dans le lambda-calcul confluence, réductibilité et typage /

Riba, Colin Kirchner, Claude Blanqui, Frédéric January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.
2

Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs /

Hardin-Accart, Thérèse, January 1900 (has links)
Th.--Informatique--Paris 7, 1987. / 1988 d'après la déclaration de dépôt légal. Bibliogr. p. 233-237. Index. Résumé en français.
3

Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques. / A Hybrid Fault-Tolerant Architecture for Robustness Improvement of Digital Integrated Circuits and Systems

Tran, Duc Anh 21 December 2012 (has links)
L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la présence des fautes, sont devenus indispensables dans la conception numérique. Ce thèse étudie une nouvelle architecture hybride tolérante aux fautes pour améliorer la robustesse des circuits et systèmes numériques. Elle s'adresse à tous les types d'erreur dans la partie combinatoire des circuits, c'est-à-dire des erreurs permanentes (« hard errors »), des erreurs transitoires (« SETs ») et des comportements temporels fautifs (« timing errors »). L'architecture proposée combine la redondance de l'information (pour la détection d'erreur), la redondance de temps (pour la correction des erreurs transitoires) et la redondance matérielle (pour la correction des erreurs permanentes). Elle permet de réduire considérablement la consommation d'énergie, tout en ayant une surface de silicium similaire comparée aux solutions existantes. En outre, elle peut également être utilisée dans d'autres applications, telles que pour traiter des problèmes de vieillissement, pour tolérer des fautes dans les architectures pipelines, et pour être combiné avec des systèmes avancés de protection des erreurs transitoires dans la partie séquentielle des circuits logiques (« SEUs »). / Evolution of CMOS technology consists in continuous downscaling of transistor features sizes, which allows the production of smaller and cheaper integrated circuits with higher performance and lower power consumption. However, each new CMOS technology node is facing reliability problems due to increasing rate of faults and errors. Consequently, fault-tolerance techniques, which employ redundant resources to guarantee correct operations of digital circuits and systems despite the presence of faults, have become essential in digital design. This thesis studies a novel hybrid fault-tolerant architecture for robustness improvement of digital circuits and systems. It targets all kinds of error in combinational part of logic circuits, i.e. hard, SETs and timing errors. Combining information redundancy for error detection, timing redundancy for transient error correction and hardware redundancy for permanent error corrections, the proposed architecture allows significant power consumption saving, while having similar silicon area compared to existing solutions. Furthermore, it can also be used in other applications, such as dealing with aging phenomenon, tolerating faults in pipeline architecture, and being combined with advanced SEUs protection scheme for sequential parts of logic circuits.
4

Les référentiels et opérateurs aspecto-temporels : définitions, formalisation logique et informatique / The referentials and aspecto-temporal operators : definitions, logical formalization and informatics

Ro, Hee-Jin 05 October 2012 (has links)
Le présent travail prend appui sur une synthèse de travaux déjà effectués dans l’équipe LaLIC (Langues,Linguistiques, Informatique, Cognition) ; il insiste sur l’articulation entre différents concepts, centrés sur la notion deréférentiel. Ma thèse fait partie d’une chaîne où sont approfondis certains concepts rendus de plus en plus opératoires.Mon travail prend appui sur les travaux sur le temps et l’aspect d’E. Benveniste, A. Culioli et J.-P. Desclés, enparticulier, il s’inscrit le développement de la théorisation du temps et de l’aspect entreprise par J.-P. Desclés et Z.Guentchéva. Dans cette approche, il existe cinq classes de concepts importants :1) Trois notions aspectuelles de base constitutives d’un procès : état, processus, événement ;2) Aspectualisation d’un procès sur un intervalle topologique d’instants ;3) Énonciation conceptualisée comme processus inaccompli ;4) Repérage par identification, différenciation et rupture ;5) Prise en compte de différents référentiels.Certains concepts avaient déjà reçus une formalisation rigoureuse. Au fil des analyses de plus en plus diversifiées, lanotion de référentiel est devenue de plus en plus importante dans le dispositif théorique et dans les descriptions associées.Il m’a donc été demandé de mieux préciser cette notion de référentiel en en proposant une approche formalisée quipermettrait ultérieurement des traitements informatiques. J’ai replacé cette notion dans le cadre théorique de latemporalité appréhendée par les langues en argumentant son introduction et en formalisant ses concepts. Afin de mieuxéprouver le caractère opératoire des concepts formalisés, il est apparu que leurs traductions dans un langage informatiquepermettraient de prouver leurs caractères réellement opératoires et de jeter des ponts solides orientés vers une utilisationopérationnelle des analyses linguistiques que nous proposons. / This dissertation support a synthesis of already accomplished works at the laboratory LaLIC(Languages, Linguistics, Informatics, Cognition) ; it emphasizes the articulation among different concepts, centered onthe notion of referential. My thesis forms a part of a chain where some rendered concepts are deepened more and moreoperatively. My work supports the works about the tense and the aspect of E. Benveniste, A. Culioli and J.-P. Desclés, inparticular, it is in line with the development of the theorization about the tense and the aspect proceeded by J.-P. Desclésand Z. Guentchéva. In this approach, there are five types of important concepts:1) Three basic aspectual notions constituent of a process (situation): state, process, event;2) Aspectualisation of a process (situation) on a topological interval of instants;3) Conceptualized enunciation as imperfective process;4) Reference by identification, differentiation and rupture;5) Recognition of different referentials.Some concepts are already received rigorous formalizations. Over the analyses being increasingly diversified, the notionof referential becomes more and more important in the theoretical plan and in the associated descriptions. It wasdemanded to me to improve the specification of this notion of referential while I proposed a formalized approach thatwould admit the computing treatments later. I put this notion within the theoretical framework of the temporality whichapprehended by the languages while arguing its introduction and while formalizing their concepts. To better perceive theoperative character of the formalized concepts, it was their translations in the computer language which enables to provetheir effectively operative characters and to dispose the solid link oriented towards an operational utilization of thelinguistic analyses that we propose.
5

Méthodes probabilistes d'analyse de fiabilité dans la logique combinatoire

Torras Flaquer, Josep 12 December 2011 (has links) (PDF)
Les circuits numériques utilisés dans des domaines aussi variés que le médical, spatial, automobile ou nucléaire ont besoin d'une très forte fiabilité. La réduction progressive de la tension d'alimentation et l'intégration croissante des produits électroniques affecte la sensibilité du système à l'apparition de fautes (permanentes ou transitoires). Les fautes transitoires ont été largement dominants dans le taux total de SER (Soft Error Rate) des mémoires et éléments de séquentiels. Ainsi, les techniques de correction et prévention pour ces éléments sont bien connues. Par contre, la contribution au SER due aux éléments de logique combinatoire est en croissance, et il est prévue qu'elle devient dominante avec la réduction progressive de la taille de la technologie CMOS. Ainsi, il y a un réel besoin de pallier le manque de modèles et méthodologies qui prennent en compte l'effet de la logique combinatoire dans la perte de fiabilité. Deux approches existe pour cette problématique : 1- Techniques d'injection de fautes 2 - Modèles analytiques Le travail présenté dans cette thèse pour sur l'approche analytique, ou approche probabiliste. D'abord, une analyse en profondeur de l'état de l'art est proposé, mettant en évidence les limitations principales de ce type d'approche. Deuxièmement, des nouvelles approches sont proposées, améliorant la performance des approches existants. Des nouvelles métriques concernant l'analyse FMDEA et durcissement séléctif sont aussi proposées. Finalement, les approches sont validées en comparant leur performance avec les principales techniques déjà existantes.
6

Problèmes morpho-syntaxiques analysés dans un modèle catégoriel étendu : application au coréen et au français avec une réalisation informatique / Morpho-syntactic problems analyzed in an extended categorial model : application to korean and to french with a development of a categorial parser

Choi, Juyeon 28 June 2011 (has links)
Ce travail de thèse vise à proposer les analyses formelles de phénomènes langagiers, tels que le système casuel, le double cas, la flexibilité de l'ordre des mots, la coordination, la subordination et la thématisation, dans deux langues structurellement très distinctes : le coréen et le français. Le choix théorique s'est porté sur le formalisme de la Grammaire Catégorielle Combinatoire Applicative, développée par Jean-Pierre Desclés et Ismail Biskri, en mettant en œuvre les combinateurs de la Logique Combinatoire de Curry et le calcul fonctionnel des types de Church. Le problème à résoudre est le suivant : en prenant une langue « à cas » comme le coréen, avec les constructions « à double cas » et la flexibilité dans l'ordre des mots, spécifiques à certaines langues extrêmes orientales, cette langue est-elle analysable avec un formalisme catégoriel et selon quelle stratégie de calcul ? Nous donnons un certain nombre d'exemples qui répondent à cette question. Les analyses formelles proposées dans ce travail permettent ensuite d'examiner la pertinence syntaxique de l'hypothèse « anti-anti relativiste » en dégageant certains invariants syntaxiques à partir des opérations de prédication, de détermination, de transposition, de quantification et de coordination. Nous proposons également un analyseur catégoriel, ACCG, applicable au coréen et au français, qui permet d'engendrer, de façon automatique, les calculs catégoriels, ainsi que les structures opérateur/opérande. / This dissertation aims at proposing the formal analysis of the linguistic phenomena, such as the case system, the double case, the flexible word order, the coordination, the subordination and the thematisation, in the two structurally distinct languages: Korean and French. The formalism of Applicative Combinatory Categorial Grammar, developed by Jean-Pierre Desclés and Ismail Biskri, allow us to analyze these problems by means of the combinators of the Combinatory Logic of Curry and the functional calculus of the Church's types. By taking account of these formal analysis applied to Korean and to French, we discuss on the « anti-anti relativist » hypothesis by finding some syntactic invariants from the different operations such as the predication, the determination, the quantification, the transposition and the coordination. We propose also a categorial parser, ACCG, applicable to Korean and French sentences, which generates automatically categorial calculus and the operator-operand structures.
7

Vers une logique du mouvement / Toward a logic of movement

Bergier, Hugolin 12 May 2016 (has links)
Depuis Frege (1893), les développements de la logique moderne ne se sont pas montrés à la hauteur de ses ambitions à l’égard de la détermination des objets, la temporalité, l’action, le langage et, d’une façon suréminente, le mouvement. Pour Rôdl (2012), la logique frégéenne et la logique moderne en général ne peuvent pas formaliser le mouvement parce que, comme il le démontre bien, elles reposent essentiellement sur un ordre logico-déductif. Nous voulons montrer que la source de cette faille n’est pas l’ordre logico-déductif de la logique moderne mais la thématisation de ses éléments selon les catégories pré-établies d’objet, de prédicat, de proposition et de valeur de vérité. La question suivante peut alors légitimement se poser : la logique peut-elle, tout en restant moderne, c’est-à-dire formaliste, symbolique et calculatoire, faire émerger la forme de la structure prédicative d’une proposition de façon à résoudre les fractures métaphysiques qui lui sont imputées dont, en premier lieu, celle du mouvement ? Nous proposons de répondre à l’affirmative sous la condition nécessaire d’une déthématisation de la logique, c’est-à-dire du passage d’une logique des prédicats à une logique des opérateurs. Les travaux de Déscles sur la théorie des opérateurs aspecto-temporels, formalisée dans le cadre de la logique combinatoire, répondent à cette condition. On montre comment il est alors possible de résoudre les fractures métaphysiques et de poser les jalons d’une nouvelle logique du mouvement. / Since Frege (1893), the developments of modern logic have not lived up to its ambitions with regard to the determination of objects, temporality, action, language and, priorly, movement. For Rödl (2012), Fregean logic, and modern logic in general, can not formalize the movement because, as he shows it well, they are essentially based on a logico-deductive order. We want to show that the source of the fault is not the logico-deductive order of modern logic but its pre-theming of its tokens according to the categories of object, predicate, proposition and truth value. The following question can then legitimately be asked: can logic, while remaining modern, that is to say, formal, symbolic and computational, exhibit the form of the predicative structure of a proposition in order to solve the metaphysical fractures that it is charged with including, in the first place, that of movement? We propose to answer that it is possible under the condition that logic be unthemed, that is to say going from a predicate logic to an operator logic. The work of Desclés on the theory of aspecto-temporal operators, formalized in the context of combinatorial logic, meet this condition. It shows how it is possible to solve metaphysical fractures and to lay the foundations of a new logic of movement.
8

Analyse sémantico-cognitive de prépositions en vue d'un traitement automatique / Semantico-cognitive analysis of prepositions for automatic processing

Rouabhi, Miloud 19 April 2019 (has links)
Cette étude vise à unifier dans une même approche les descriptions données par une sémantique cognitive et les représentations associées, et étudiées par une sémantique formelle. La sémantique cognitive a pour but d’associer des schèmes aux significations des unités analysées. La sémantique formelle consiste à étudier les modes de représentation de ces schèmes et les relations avec les observables. Notre étude s’appuie et s’insère dans le modèle général développé à l’université Paris-Sorbonne dans le groupe LaLIC (Langages, Logiques, Informatique et Cognition), il s’agit d’utiliser le modèle de la GAC (Grammaire Applicative et Cognitive) et de la GRACE (GRammaire Applicative Cognitive et Enonciative) ; ces deux modèles font appel d’une part à la topologie et d’autre part à la logique combinatoire en vue d’un traitement automatique de la signification. Nous avons choisi d’étudier le problème des prépositions et plus spécialement des trois prépositions : dans, sous et à du français et de leur équivalents en arabe ; cela nous à conduit à rechercher des invariants associés à ces trois prépositions ou relateurs, la préposition dans renvoie à l’intériorité d’un lieu, qu’il soit spatial, temporel, spatio-temporel, notionnel ou d’activité ; la préposition sous renvoie à un lieu déterminé ou engendré par un autre lieu dont on prend la fermeture ; quand à la préposition à renvoie à la fermeture d’un lieu. Le lieu est un lieu cognitif abstrait, suffisamment général qui, selon le contexte peut prendre des valeurs plus particulières. / This study aims to unify in a single approach the descriptions given by cognitive semantics and associated representations, studied by formal semantics. Cognitive semantics consists to associate the meanings of the analyzed with schemes. Formal semantics consists in studying the modes of representation of these schemes and the relations to the observables. Our study is based on the general model developed at the Paris-Sorbonne University in the LaLIC group, using the GAC model (Applicative and Cognitive Grammar) and GRACE (GRammar Applicative Cognitive and Enunciative), these two models use the one hand to the topology and on the other hand to the combinatory logic in order to an automatic processing of meanings. We have chosen to study the problem of the three prepositions: dans, sous and à of French and their equivalences in Arabic, this leads us to search for invariants associated with these three prepositions or relators, the preposition dans refers to the interiority of a place, be it spatial, temporal, spatial-temporal, notional or activity and the preposition sous refers to a specific place or generated by another place whose closing is taken. The preposition à refers to the closing of a place, here the place is cognitive or abstract place, sufficiently general that according to the context can take more particular values.

Page generated in 0.0796 seconds