L'objet de cette thèse est l'étude de deux méthodes de génération automatique de vecteurs de test pour les circuits intégrés digitaux. Après un rappel des problèmes actuels posés par le test des circuits VLSI (partie I), deux méthodes de génération automatique de vecteurs de test adressant deux types différents d'hypothèses de pannes sont présentées: une méthode heuristique de génération de vecteurs (partie II) et une méthode de test pseudo-exhaustif (partie III)

Cette thèse présente des contributions dans les domaines de l'architecture des ordinateurs réalisés sous la forme d'un Circuit Intégré. Un assembleur de silicium, appelé LUBRICK, permet de décrire, dans un langage de programmation, la constitution d'un assemblage hiérarchisé de cellules pour réaliser la description complète des masques d'un Circuit Intégré. La compilation du silicium, discipline qui consiste à déduire les masques d'un circuit en partant d'une description fonctionnelle, est ici abordée sous un angle pratique, avec la présentation d'un compilateur prototype d'une forme de partie contrôle et des présentations de modèles topologiques de parties opératives et de parties contrôle qui servent de cible au compilateur

Les contraintes imposées par les environnements extrêmes dans lesquels nous désirons aujourd'hui employer les spectromètres par transformation de Fourier, notamment pour la télédétection et l'exploration spatiale, motivent la mise au point d'algorithmes de traitement des données qui permettent de tirer profit au mieux des technologies en constante évolution. Cette thèse vise donc à faire progresser davantage la modélisation et l'algorithmique en spectrométrie par transformation de Fourier. Plus spécifiquement, nous nous sommes intéressé aux effets physiques et aux algorithmes ayant une incidence sur le profil d'une raie spectrale tel qu'il est restitué par l'instrument. Nous avons commencé notre étude en nous penchant sur le principal effet de convolution intervenant dans le traitement algorithmique des données: les fenêtres d'apodisation. Nous exposons une nouvelle méthode de contrôle flexible du profil spectral des fonctions d'apodisation. Nous introduisons ensuite les concepts propres à la déconvolution à l'aide de la correction de phase et de l'étalonnage complexe. Un modèle radiométrique rigoureux de la fonction d'appareil (ILS) de la source jusqu'au détecteur est présenté, tenant compte des pupilles du système optique. Il permet de déduire les conditions pour lesquelles la fonction d'appareil obéira à l'effet d'échelle, c'est-à-dire un élargissement de l'ILS au fur et à mesure que le nombre d'onde augmente. Nous établissons la forme discrète des équations liant la fonction d'appareil et les mesures sous une forme matricielle en tenant compte de la fonction de résolution sinus cardinal. Les propriétés propres à cette forme discrète mèneront à la construction efficace et précise d'une matrice d'ILS et à l'établissement des conditions d'inversion de la fonction d'appareil. Nous avons développé également un algorithme rapide qui permet d'intégrer numériquement la fonction d'appareil à une densité spectrale théorique pour reproduire la mesure d'un spectromètre. Finalement, nous poursuivons la modélisation de la fonction d'appareil par une étude de cas: le spectromètre par transformation de Fourier non compensé. Cette configuration de spectromètre nous permet d'introduire la phase due à la dispersion comme nouvelle caractéristique de la fonction d'appareil.

No description available.

Submitted by Fabiano Vassallo (fabianovassallo2127@gmail.com) on 2017-05-09T19:01:48Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese janeiro 2017 pronta.pdf: 1972713 bytes, checksum: f7eb7a75eb343405aeb9802405a17137 (MD5) / Approved for entry into archive by Josimara Dias Brumatti (bcgdigital@ndc.uff.br) on 2017-06-06T14:56:27Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese janeiro 2017 pronta.pdf: 1972713 bytes, checksum: f7eb7a75eb343405aeb9802405a17137 (MD5) / Made available in DSpace on 2017-06-06T14:56:27Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese janeiro 2017 pronta.pdf: 1972713 bytes, checksum: f7eb7a75eb343405aeb9802405a17137 (MD5) / Instituto Federal Fluminense, Diretoria de Ensino, Campos dos Goytacazes, RJ / Esta tese se propõe a discutir em que medida a literatura constitui um viés de resgate memorial de um indivíduo e, ao mesmo tempo, da sociedade em que se insere. Também pretende mostrar como as leituras constituem uma genealogia literária e colaboram para a formação da identidade de leitores e escritores. Para tal, serão consideradas quatro obras da escritora antilhana Maryse Condé: Le coeur à rire et à pleurer- souvenirs de mon enfance (1999), Victoire, les saveurs et les mots (2006), La vie sans fards (2012) e Mets et merveilles (2015). Entre Maryse Condé e seu leitor, que entra (ou não) no jogo proposto pela narrativa autobiográfica, estabelece-se uma espécie de “pacto” entre quem escreve e quem lê: de um lado, tem-se a autora, desejosa de escrever, de ser lida e reconhecida, que se compromete a dizer a (sua) verdade, esperando, em troca, um comprometimento afetivo por parte do leitor; do outro lado, encontra-se o leitor que, perante as vivências partilhadas com a narradora, dificilmente permanecerá incólume, manifestando reações diversas (da adesão à rejeição, da identificação ao distanciamento), podendo mesmo colocar-se a si próprio em causa. Esse jogo, aliás, é proposto em todo texto literário, mas no caso da narrativa autobiográfica, a cooperação textual é ainda mais premente, já que o sucesso da sua recepção depende da predisposição do leitor para pactuar com uma lógica discursiva que cria uma teia narrativa de ilusões, que parece ser uma coisa, mas que, na realidade, pode ser muitas outras. A escritora antilhana, nesses relatos, recorda, escreve e lê o passado, o que implica necessariamente a evocação de uma ausência recuperada pelo poder das palavras através da memória ou da imaginação transfiguradoras. Nesse sentido, os relatos (auto) biográficos de Condé são narrativas que representam um desafio face ao esquecimento e às traições da memória, uma possibilidade face às dificuldades enfrentadas na busca do autoconhecimento e uma confirmação das capacidades da linguagem para recuperar e recriar vivências e mundos possíveis. Eles constituem, afinal, um contributo literário para a busca de respostas em torno das inúmeras questões sobre a autobiografia, seus modos de fazer e seus modos de ler, sugestões de receitas (sempre mutáveis, é claro) sobre os modos possíveis de se contar a própria vida, sempre um compósito da vida dos seus, dos lugares pelos quais passou e também de suas leituras e incontáveis interpretações / Cette thèse se propose à discuter dans quelle mesure la littérature constitue un moyen de réappropriation mémorielle de l’individu ainsi que de la société dans laquelle il est inséré. Elle a également l'intention de montrer comment les lectures sont une généalogie littéraire et collaborent pour la formation de l'identité de lecteurs et d'écrivains. Quatre ouvrages de l'écrivaine antillaise Maryse Condé seront analysés: Le coeur à rire et à pleurer- souvenirs de mon enfance (1999), Victoire, les saveurs et les mots (2006), La vie sans fards (2012) et Mets et merveilles (2015). Entre Maryse Condé et son lecteur, qui entre (ou non) dans le jeu proposé par le récit autobiographique, se met en place une sorte de «pacte» entre celui qui écrit et celui qui lit: d'une part, nous avons l'auteur, désireux d'écrire, d'être lu et reconnu, qui se charge de dire (sa) vérité, en attendant, en échange, un engagement émotionnel du lecteur; d'autre part, nous trouvons le lecteur qui, vis-à-vis des expériences partagées avec le narrateur, ne pourra pas demeurer indemne, exprimant des réactions diverses (de l’adhésion au rejet, de l’identification à la distance) il peut même se remettre en question. Ce jeu est, d'ailleurs, présent dans tous les textes littéraires, mais dans le cas du récit autobiographique, la coopération textuelle est encore plus importante, puisque le succès de sa réception dépend de la volonté du lecteur de collaborer avec une logique discursive qui crée un tissu narratif d’illusions, qui paraît quelque chose, mais en fait, peut être beaucoup d'autres. L'écrivaine antillaise, dans ces récits, se souvient, écrit et lit le passé qui implique nécessairement l'évocation d'une absence récupérée par le pouvoir des mots par la mémoire ou l'imagination qui transfigurent. Dans ce sens, les rapports (auto) biographiques de Condé sont des récits qui représentent un défi contre l'oubli et les trahisons de la mémoire, une possibilité face aux difficultés de l'auto-recherche et la confirmation des capacités de la langue pour récupérer et reconstruire des expériences et des mondes possibles. Ils sont, après tout, une contribution littéraire à la recherche de réponses sur les nombreuses questions concernant l'autobiographie, les façons de faire et les manières de lire, des suggestions de recettes (toujours mouvantes, bien sûr) sur comment l’on peut raconter sa propre vie, toujours un composite de la vie des autres, des lieux parcourus et aussi de lectures et des innombrables interprétations

Durant ces dernières décennies, la communauté informatique a montré un intérêt grandissant pour les modèles de calcul non-standard, inspirés par des phénomènes physiques, biologiques ou chimiques. Les propriétés exactes de ces modèles ont parfois été l'objet de controverses: que calculent-ils? Et à quelle vitesse? Les enjeux de ces questions sont renforcés par la possibilité que certains de ces modèles pourraient transgresser les limites acceptées du calcul, en violant soit la thèse de Church-Turing soit la thèse de Church-Turing étendue. La possibilité de réaliser physiquement ces modèles a notamment été au coeur des débats. Ainsi, des considérations empiriques semblent introduites dans les fondements même de la calculabilité et de la complexité computationnelle, deux théories qui auraient été précédemment considérées comme des parties purement a priori de la logique et de l'informatique. Par conséquent, ce travail est consacré à la question suivante : les limites du calcul reposent-elles sur des fondements empiriques? Et si oui, quels sont-ils? Pour ce faire, nous examinons tout d'abord la signification précise des limites du calcul, et articulons une conception épistémique du calcul, permettant la comparaison des modèles les plus variés. Nous répondrons à la première question par l'affirmative, grâce à un examen détaillé des débats entourant la faisabilité des modèles non-standard. Enfin, nous montrerons les incertitudes entourant la deuxième question dans l'état actuel de la recherche, en montrant les difficultés de la traduction des concepts computationnels en limites physiques. / Recent years have seen a surge in the interest for non-standard computational models, inspired by physical, biological or chemical phenomena. The exact properties of some of these models have been a topic of somewhat heated discussion: what do they compute? And how fast do they compute? The stakes of these questions were heightened by the claim that these models would violate the accepted limits of computation, by violating the Church-Turing Thesis or the Extended Church-Turing Thesis. To answer these questions, the physical realizability of some of those models - or lack thereof - has often been put at the center of the argument. It thus seems that empirical considerations have been introduced into the very foundations of computability and computational complexity theory, both subjects that would have been previously considered purely a priori parts of logic and computer science. Consequently, this dissertation is dedicated to the following question: do computability and computational complexity theory rest on empirical foundations? If yes, what are these foundations? We will first examine the precise meaning of those limits of computation, and articulate a philosophical conception of computation able to make sense of this variety of models. We then answer the first question by the affirmative, through a careful examination of current debates around non-standard models. We show the various difficulties surrounding the second question, and study how they stem from the complex translation of computational concepts into physical limitations.

Le divorce comme objet d’étude littéraire, la proposition peut surprendre. La répartition distributive des champs et des domaines de pensée exigerait que l’on en fasse, au choix, le sujet d’une réflexion historique, politique, juridique, sociale ou morale. De littérature, il n’est en revanche point question. En 1884, la réhabilitation du divorce dans la législation française est pourtant l’œuvre d’une combinatoire inédite entre politique et littérature. Depuis les tribunes et les colonnes des journaux, dans les essais et dans les livres, la narration des malheurs matrimoniaux d’hommes et de femmes pris dans les tenailles de la loi, se débattant contre une fatalité civile qui contraint leur vie privée et conjugale, crie en faveur du démariage. Alors que les liens entre le récit et la revendication d’une désunion légale sont séculaires, noués notamment dans les œuvres de George Sand, le combat de plumes mené contre l’indissolubilité du mariage va significativement révolutionner la pensée de la littérature à thèse, encourager une réflexion sur la fonction de l’écrivain, sur son rapport au droit, et démontrer le pouvoir de la littérature sur les mœurs et sur la rédaction des lois. Outil d’analyse précieux pour comprendre le fait intellectuel, littéraire et narratif des débuts de la IIIe République, le motif du démariage sert de plus l’étude de la représentation de la conjugalité dans le récit français de la fin du XIXe siècle. Devenu légal, le divorce bouleverse en effet l’imaginaire du récit de mœurs privées et inaugure de nouvelles situations narratives : la rencontre avec l’ancien époux, la jalousie du nouveau mari, la seconde nuit de noces, le passé sexuel de la femme deviennent bientôt les lieux communs et les lois narratives du genre. La promulgation du divorce éprouve néanmoins rudement les coutumes narratives françaises : en offrant une solution au récit d’adultère, le divorce brise un modèle narratif séculaire, et oblige le récit à repenser ses fatalités et ses formes. / Divorce as an object of literary study, the proposal may surprise. The distinctiveness of fields and areas of research requires that a choice be made to study the question from a historical, political, legal, social or moral point of view. Literature, however, is never even considered. In 1884, the rehabilitation of divorce in French legislation was the result of an unusual combination of politics and literature. From the editorials and columns of the newspapers, in essays and in books, the narration of matrimonial misfortunes of men and women caught strangled by the law, wrestling against a civil inevitability that constrains their private and conjugal life, clamors for un-marriage. While the ties between literature and the claims for legal disunion are secular, linked in the works of George Sand, the battle of pens fighting against the indissolubility of marriage will significantly change the thinking of engaged literature and encourage a reasoning on the role of the writer, his relation to the law, and to demonstrate the power of literature on morals and the drafting of legislation.As a valuable analytical tool to understand the intellectual, literary and narrative aspects of the beginnings of the Third Republic, the un-marriage topic can be used to study the representation of conjugality in the French narrative of the end of the 19th century. Henceforth legal, divorce in fact transforms the imagination of literature on private morals and inaugurates new narrative situations: the encounter with the former husband, the jealousy of the new husband, the second wedding night, and the sexual past of the woman, all soon become common practice in the literary genre. The promulgation of divorce nevertheless rudely tests French narrative customs: by offering a solution to stories of adultery, divorce breaks a secular narrative model, and obliges literature to rethink its fatalities and its forms.

La propriété foncière du Code civil, unitaire par principe, s’accommode difficilement de l’ubiquité du droit de superficie, comme en attestent les incessants débats doctrinaux sur le sujet. Le volume immobilier moderne a répondu aux besoins de division du sol du corps social. Toutefois, en dématérialisant l’immeuble, le volume déstabilise fortement la théorie classique de la propriété. La présente thèse définit un concept de sol appropriable et divisible dans le sens de la hauteur, sans renier la propriété du code. Pour cela, le sol, incluant le dessous et le dessus, est perçu comme relevant du monde tangible. Ce bien est ensuite appréhendé en trois dimensions par un procédé de géométrisation. Le sol volumique correspond à une nouvelle phase plus abstraite de conceptualisation du sol. Cependant, la chose sensible signifiée par le concept, le sol ou fonds de terre selon les juristes demeure la même ; seule sa représentation a évolué. Dans cette perspective, le sol en volume devient individualisable et appropriable sur le modèle du sol parcellisé en deux dimensions, indispensable à une propriété individuelle et exclusive. Ainsi, la propriété du Code civil via ses dispositions actuelles, notamment les articles 552, 518 et 544, s’applique à un volume immobilier comme à une parcelle. Ce modèle de propriété passant de l’unité à la division, est complété par un droit de superficie simple, droit réel fondé sur les articles 553, 543 du Code civil et le droit de jouissance spéciale. Suivant la thèse moniste, la propriété du sol en volume, qui n’est autre que le concept de propriété du code appliqué à un sol tridimensionnel, concilie la théorie classique de la propriété et celle du doyen Savatier. / The concept of land property in the Civil Code, unitary by principle, has always been in difficulty when facing the ubiquitous “droit de superficie”, as evidenced by the never-ending doctrinal debates. The modern concept of property “volume” has responded to the social need for division of the land. However, with volume, real estate properties become incorporeal things and destabilize the classical theory of property, which is synonymous with corporeal things. This thesis defines a concept of land property appropriable and divisible relative to height, compatible with the Civil Code’s land law. For this, land, including the subjacent and superjacent domains, is perceived as part of the tangible world. This land is then comprehended in three dimensions via a geometrical approach. Land with three-dimensional significance corresponds to a new phase of conceptualization of the land that is more abstract. The physical part, however, which the concept refers to, ie the land, remains the same; only its representation has evolved. Applying this perspective, the land expressed as a volume becomes a unit appropriable on the model of land divided in two dimensions. Consequently, the concept of property in the Civil Code under its current wording, notably clause 552, but also 518 and 544, applies to land expressed as a volume as to a parcel. This property model able to divide the land vertically as well as horizontally is also capable to organize a land division comparable to a long lease. This complementary concept is based on clauses 553, 543 of the Civil Code. Developing the monistic thesis, the ownership of the land when seen as a volume reconciles the theory of the dean Savatier and the classical theory of property.

L’écrivain égyptien Yūsuf Zaydān s’inscrit dans la tradition - constituée à l’âge de la Nahḍa – de l’intellectuel “éducateur des consciences”. Depuis cette époque, face à un récit national contrôlé par le pouvoir politique ou religieux, la littérature arabe a souvent revisité l’histoire et l’actualité dans le but de rétablir - grâce à la liberté offerte par le discours fictionnel - la vérité occultée par le récit officiel. Dans ce processus de réécriture, Zaydān s’intéresse particulièrement à la relation entre religion, politique et violence. L’objectif de cette étude est d’explorer l’oeuvre littéraire de cet auteur, dans le but d’en dégager l’originalité. Celle-ci apparaît, d’une part, dans la capacité de Zaydān à mettre en valeur son double profil d’universitaire et de romancier, à travers une production très variée allant du roman à l’essai; d’autre part, dans les stratégies spécifiques qu’il emploie afin de s’adresser à son destinataire privilégié: le lecteur égyptien. Auteur controversé autant pour son oeuvre que pour sa personnalité, Zaydān n’en demeure pas moins un phénomène littéraire : illustration à la fois de l’éclatement du champ littéraire et d’une démocratisation exacerbée de la culture en Egypte, son cas permet de mieux comprendre la littérature arabe ultra contemporaine et ce qu’elle exprime sur les sociétés en recomposition - politique, économique et culturelle - desquelles elle émane. / The Egyptian writer Yūsuf Zaydān is part of the tradition – dating from the age of the Nahḍa – of intellectuals as "educators of consciousness". Since then, faced with a national narrative controlled by political or religious power, Arab literature has often revisited history and current affairs with the aim of restoring – through the freedom offered by fictional discourse – the truth overshadowed by official history. Through this rewriting process, Zaydān is particularly interested in discussing the relationship between religion, politics and violence. The objective of this thesis is to explore Zaydān’s literary work in order to identify its originality. This originality is manifested, first, through Zaydān's dual profile as both academic and novelist, engaged in varied production that ranges from novels to essays; second, in the specific strategies he employs in order to address his privileged audience: the Egyptian reader. A controversial author in both his work and his personality, Zaydān is above all a literary phenomenon. An example of the blossoming literary field and the exacerbated cultural democratisation in Egypt, his case allows us to better understand ultra-modern Arab literature and what it expresses about the (politically, economically, culturally) recomposed and changing society that have produced it.

La phase de dessin des circuits intégrés est aujourd'hui le goulot d'étranglement entre la demande et la production. On présente le générateur automatique d'architectures pour circuits intégrés de filtrage numérique. La description d'un algorithme de filtrage assortie d'une contrainte «temps réel» est fournie au générateur. L'architecture optimisée en un temps requis est fournie sous la forme d'une partie opérative et d'un graphe d'états donnant le séquencement à appliquer