• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 118
  • 34
  • 16
  • Tagged with
  • 165
  • 79
  • 25
  • 23
  • 22
  • 21
  • 21
  • 16
  • 14
  • 14
  • 14
  • 13
  • 12
  • 12
  • 11
  • 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.
81

Problèmes aux limites pour les systèmes elliptiques / Boundary value problems for elliptic systems

Stahlhut, Sebastian 30 September 2014 (has links)
Dans cette thèse, nous étudions des problèmes aux limites pour les systèmes elliptiques sous forme divergence avec coefficients complexes dans L^{infty}. Nous prouvons des estimations a priori, discutons de la solvabilité et d'extrapolation de la solvabilité. Nous utilisons une transformation via des équations Cauchy-Riemann généralisées due à P. Auscher, A. Axelsson et A. McIntosh. On peut résoudre les équations Cauchy-Riemann généralisées via la semi-groupe engendré par un opérateur différentiel perturbé d'ordre un de type Dirac. A l'aide du semi-groupe, nous étudions la théorie L^{p} avec une discussion sur la bisectorialité, le calcul fonctionnel holomorphe et les estimations hors-diagonales pour des opérateurs dans le calcul fonctionnel. En particulier, nous développons une théorie L^{p}-L^{q} pour des opérateurs dans le calcul fonctionnel d'opérateur de type Dirac perturbé. Les problèmes de Neumann, Régularité et Dirichlet se formulent avec des estimations quadratiques et des estimations pour la fonction maximale nontangentielle. Cela conduit à à démontrer de telles estimations pour le semi-groupe d'opérateur de Dirac Pour cela, nous utilisons les espaces Hardy associés et les identifions dans certains cas avec des sous-espaces des espaces de Hardy et Lebesgue classiques. Nous obtenons enfin des estimations a priori pour les problème aux limites via une extension utilisant des espaces de Sobolev associés. Nous utilisons les estimations a priori pour une discussion sur la solvabilité des problèmes aux limites et montrer un théorème d'extrapolation de la solvabilité. / In this this thesis we study boundary value problems for elliptic systems in divergence form with complex coefficients in L^{\infty}. We prove a priori estimates, discuss solvability and extrapolation of solvability. We use a transformation to generalized Cauchy-Riemann equations due to P. Auscher, A. Axelsson, and A. McIntosh. The generalized Cauchy-Riemann equations can be solved by the semi-group generated by a perturbed first order Dirac/differential operator. In relation to semi-group theory we setup the L^p theory by a discussion of bisectoriality, holomorphic functional calculus and off-diagonal estimates for operators in the functional calculus. In particular, we develop an L^p-L^q theory for operators in the functional calculus of the first order perturbed Dirac/differential operators. The formulation of Neumann, Regularity and Dirichlet problems involve square function estimates and nontangential maximal function estimates. This leads us to discuss square function estimates and nontangential maximal function estimates involving operators in the functional calculus of the perturbed first order Dirac/differential operator. We discuss the related Hardy spaces associated to operators and prove identifications by subspaces of classical Hardy and Lebesgue spaces. We obtain the a priori estimates by an extension of the square function estimates and nontangential maximal function estimates to Sobolev spaces associated to operators. We use the a priori estimates for a discussion of solvability and extrapolation of solvability.
82

Amélioration des solutions de test fonctionnel et structurel des circuits intégrés / Improving Functional and Structural Test Solutions for Integrated Circuits

Touati, Aymen 21 October 2016 (has links)
Compte tenu de la complexité des circuits intégrés de nos jours et des nœuds technologiques qui ne cessent pas de diminuer, être au rendez-vous avec les demandes de design, test et fabrication des dispositifs de haute qualité est devenu un des plus grands défis. Avoir des circuits intégrés de plus en plus performants devrait être atteint tout en respectant les contraintes de basse consommation, de niveaux de fiabilité demandés, de taux de défauts acceptables ainsi que du bas coût. Avec ce fascinant progrès de l’industrie des semi-conducteurs, les processus de fabrication sont devenus de plus en plus difficile à contrôler, ce qui rend les puces électroniques de nos jours plus disposés aux défauts physiques. Le test était et restera l’unique solution pour lutter contre l’occurrence des défauts de fabrication ; même il est devenu un facteur prédominant dans le coût totale de fabrication des circuits intégrés. Même si des solutions de test, qui existent déjà, étaient capables de satisfaire ce fameux compromis coût-qualité ces dernières années, il arrive d’observer encore des mécanismes de défauts malheureusement incontrôlables. Certains sont intrinsèquement reliés au processus de fabrication en lui-même. D’autres reviennent sans doute aux pratiques de test et surtout quand on analyse le taux de défauts détectés et le niveau de fiabilité atteint.L’objectif principal de cette thèse est d’implémenter des stratégies de test robustes et efficaces qui répondent aux lacunes des techniques de tests classiques et qui proposent des modèles de fautes plus réalistes et répondent au mieux aux attentes des fournisseurs. Dans l’objectif d’améliorer l’efficacité de test en termes de coût, capacité de couverture de faute, nous présentons divers contributions significatives qui touchent différents domaines entre-autres le test sur le terrain, les tests à hautes fréquences sous contraintes de puissance et finalement le test des chaines de scan.La partie majeure de cette thèse était consacrée pour le développement de nouvelles techniques de tests fonctionnels ciblant les systèmes à processeurs.Les méthodologies appliquées couvrent les problèmes de test sur terrain aussi bien que les problèmes de test de fabrication. Dans le premier cas, la techniques adoptée consiste à fusionner et compacter un ensemble initial de programmes fonctionnels afin d’atteindre une couverture de faute satisfaisante tout en respectant les contraintes du test sur terrain (temps de test réduit et ressource mémoire limitée). Cependant dans le deuxième cas, comme nous avons assez d’informations sur la structure du design, nous proposons un nouveau protocole de test qui va exploiter l’architecture de test existante. Dans ce contexte, nous avons validé et confirmé la relation complémentaire qui joint le test fonctionnel avec le test structurel. D’autres part, cette prometteuse approche assure un test qui respecte les limites de la consommation fonctionnelle et donc une fiabilité meilleure.La dernière contribution de cette thèse accorde toute l’attention à l’amélioration de test de la structure DFT « Design For Test » la plus utilisée qui est la chaîne de scan. Nous présentons dans cette contribution une approche de test qui cible les défauts physiques au sein de la cellule en elle-même.Cette approche représente une couverture de défauts meilleure et une longueur de test plus réduit si nous la comparons avec l’ATPG classique ciblant les mêmes défauts « Intra-cell defect ATPG ».Comme résultat majeur de cette efficace solution de test, nous avons observé une amélioration de 7.22% de couverture de défaut accompagné d’une réduction de 33.5% du temps de test en comparaison avec la couverture et le temps du test atteints par le « Cell-awer ATPG ». / In light of the aggressive scaling and increasing complexity of digital circuits, meeting the demands for designing, testing and fabricating high quality devices is extremely challenging.Higher performance of integrated circuits needs to be achieved while respecting the constraints of low power consumption, required reliability levels, acceptable defect rates and low cost. With these advances in the SC industry, the manufacturing process are becoming more and more difficult to control, making chips more prone to defects.Test was and still is the unique solution to cover manufacturing defects; it is becoming a dominant factor in overall manufacturing cost.Even if existing test solutions were able to satisfy the cost-reliability trade-off in the last decade, there are still uncontrolled failure mechanisms. Some of them are intrinsically related to the manufacturing process and some others belong to the test practices especially when we consider the amount of detected defects and achieved reliability.The main goal of this thesis is to implement robust and effective test strategies to complement the existing test techniques and cope with the issues of test practices and fault models. With the objective to further improve the test efficiency in terms of cost and fault coverage capability, we present significant contributions in the diverse areas of in-field test, power-aware at-speed test and finally scan-chain testing.A big part of this thesis was devoted to develop new functional test techniques for processor-based systems. The applied methodologies cover both in-field and end-of manufacturing test issues. In the farmer, the implemented test technique is based on merging and compacting an initial functional program set in order to achieve higher fault coverage while reducing the test time and the memory occupation. However in the latter, since we already have the structure information of the design, we propose to develop a new test scheme by exploiting the existing scan chain. In this case we validate the complementary relationship between functional and structural testing while avoiding over as well under-testing issues.The last contribution of this thesis deals with the test improvement of the most used DFT structure that is the scan chain. We present in this contribution an intra-cell aware testing approach showing higher intra-cell defect coverage and lower test length when compared to conventional cell-aware ATPG. As major results of this effective test solution, we show that an intra-cell defect coverage increase of up to 7.22% and test time decrease of up to 33.5 % can be achieved in comparison with cell-aware ATPG.
83

Continuous linear and bilinear Schur multipliers and applications to perturbation theory / Multiplicateurs de Schur linéaires et bilinéaires continus et applications à la théorie de la perturbation

Coine, Clément 30 June 2017 (has links)
Dans le premier chapitre, nous commençons par définir certains produits tensoriels et identifions leur dual. Nous donnons ensuite quelques propriétés des classes de Schatten. La fin du chapitre est dédiée à l’étude des espaces de Bochner à valeurs dans l'espace des opérateurs factorisables par un espace de Hilbert. Le deuxième chapitre est consacré aux multiplicateurs de Schur linéaires. Nous caractérisons les multiplicateurs bornés sur B(Lp, Lq) lorsque p est inférieur à q puis appliquons ce résultat pour obtenir de nouvelles relations d'inclusion entre espaces de multiplicateurs. Dans le troisième chapitre, nous caractérisons, au moyen de multiplicateurs de Schur linéaires, les multiplicateurs de Schur bilinéaires continus à valeurs dans l'espace des opérateurs à trace. Dans le quatrième chapitre, nous donnons divers résultats concernant les opérateurs intégraux multiples. En particulier, nous caractérisons les opérateurs intégraux triples à valeurs dans l'espace des opérateurs à trace puis nous donnons une condition nécessaire et suffisante pour qu'un opérateur intégral triple définisse une application complètement bornée sur le produit de Haagerup de l'espace des opérateurs compacts. Enfin, le cinquième chapitre est dédié à la résolution des problèmes de Peller. Nous commençons par étudier le lien entre opérateurs intégraux multiples et théorie de la perturbation pour le calcul fonctionnel des opérateurs autoadjoints pour finir par la construction de contre-exemples à ces problèmes. / In the first chapter, we define some tensor products and we identify their dual space. Then, we give some properties of Schatten classes. The end of the chapter is dedicated to the study of Bochner spaces valued in the space of operators that can be factorized by a Hilbert space.The second chapter is dedicated to linear Schur multipliers. We characterize bounded multipliers on B(Lp, Lq) when p is less than q and then apply this result to obtain new inclusion relationships among spaces of multipliers.In the third chapter, we characterize, by means of linear Schur multipliers, continuous bilinear Schur multipliers valued in the space of trace class operators. In the fourth chapter, we give several results concerning multiple operator integrals. In particular, we characterize triple operator integrals mapping valued in trace class operators and then we give a necessary and sufficient condition for a triple operator integral to define a completely bounded map on the Haagerup tensor product of compact operators. Finally, the fifth chapter is dedicated to the resolution of Peller's problems. We first study the connection between multiple operator integrals and perturbation theory for functional calculus of selfadjoint operators and we finish with the construction of counter-examples for those problems.
84

Comment améliorer la qualité de la prise en charge des personnes âgées vivant en établissements d'hébergement pour personnes âgées dépendantes (EHPAD) ? / How to improve the quality of care for elderly people living in nursing homes ?

Laffon de Mazières, Clarisse 21 November 2018 (has links)
Améliorer la qualité de la prise en charge des personnes âgées vivant en EHPAD est un impératif. L'influence des caractéristiques organisationnelles des EHPAD sur la qualité de la prise en charge des résidents est mal connue. Nos travaux de recherche ont porté sur trois objectifs : 1) Rechercher les facteurs organisationnels en EHPAD qui ont un impact sur les prescriptions potentiellement inappropriées de neuroleptiques, ces médicaments faisant l'objet d'une attention particulière chez les personnes âgées en EHPAD ; 2) Déterminer la valeur ajoutée de l'intervention d'un gériatre au sein d'EHPAD pendant 18 mois par rapport à la restitution simple d'un audit qualité, sur les prescriptions potentiellement inappropriées de neuroleptiques ; 3) Proposer des actions concrètes d'amélioration de la prise en charge globale des résidents d'EHPAD concernant notamment les transferts inappropriées des résidents d'EHPAD vers les urgences, et la prévention du déclin fonctionnel des résidents. Pour répondre aux deux premiers objectifs, nous avons utilisé les données de l'étude IQUARE (Impact d'une démarche QUAlité sur l'évolution des pratiques et le déclin fonctionnel des Résidents en EHPAD) un essai multicentrique comparatif ayant pour objectif d'évaluer l'impact d'une intervention globale d'éducation gériatrique pour le personnel d'EHPAD sur des indicateurs de qualité. Pour le troisième objectif, nous proposons d'une part la structuration d'un hôpital de jour ayant pour vocation de ne recevoir que des résidents d'EHPAD avec la possibilité de les prendre en charge dans des délais courts afin de limiter les transferts inappropriés des résidents d'EHPAD vers les urgences. D'autre part, nous avons participé à une task force d'experts composée de médecins gériatres cliniciens et chercheurs dont l'objectif était de proposer des actions de prévention du déclin fonctionnel des résidents d'EHPAD. Sur les 6275 résidents inclus dans IQUARE, 1532 (24.4%) avaient au moins une prescription de neuroleptique parmi lesquels 1019 (66.5%) étaient potentiellement inappropriées. Nous avons montré que les résidents d'EHPAD dans lesquels intervenait un nombre important de médecins généralistes différents (plus de 30 pour 100 lits), étaient plus à risque de recevoir une prescription inappropriée de neuroleptiques que ceux vivant dans des EHPAD avec moins de 10 médecins généralistes pour 100 lits. Dans cette même étude IQUARE, nous n'avons pas mis en évidence d'effet positif de l'intervention d'un gériatre au sein d'EHPAD pendant 18 mois par rapport à la restitution simple d'un audit qualité, sur la réduction des prescriptions inappropriées de neuroleptiques 18 mois plus tard. [...] / Improving the quality of care for nursing home residents is a real concern. A better understanding of the factors determining a good quality of care in nursing homes (NH) is necessary. This thesis deals with three aims: 1) Determining whether facility characteristics - and in particular the number of attending general practitioners (GPs) in NH - are associated with inappropriate neuroleptic prescribing ; 2) Studying the effect of a quality assurance approach in a NH, with or without the intervention of a geriatrician, on potentially inappropriate neuroleptics prescription at 18 months (T18); 3) Offering practical actions improving medical care in NH in order to reduce potentially avoidable transfers to emergency rooms and to prevent disability and functional decline for NH residents. To meet the two first objectives, we used the data from the Impact of a QUAlity exercise study on the change in practices and the functional decline of Residents in EHPAD (IQUARE), a comparative multicenter trial aiming at assessing the impact of a global education intervention for NH staff based on quality indicators. As for the third objective, on the one hand, we implemented a new day hospital characterized by its being exclusively dedicated to NH residents and its ability to provide patient care within a short period of time. On the other hand, we took part in a Task Force discussion of experts in NH care and research, to implement strategies to prevent or to slow disability and functional decline for NH residents.Among the 6275 residents included in IQUARE study, 1532 (24.4%) had at least one prescription for a neuroleptic drug. Compared with nursing homes with <10 GPs/100 beds, nursing homes with more than 30 GPs/100 beds were exposed to a greater risk of potentially inappropriate neuroleptic prescribing. We have not shown the added benefit of geriatrician intervention in a global effort to decrease potentially inappropriate neuroleptic prescribing. This result can be explained by the strong impact of the quality assurance audit restoration at each NH with a 20% decrease of the potentially inappropriate neuroleptic prescribing for the two study groups. Over this thesis, we have opened a responsive day hospital dedicated to NH residents. This day hospital could be a practical response to the problem of inappropriate and avoidable transfers of NH residents to emergency rooms. Improving the quality of care for nursing home residents also means preventing and/or slowing the functional decline of residents. A Task Force of experts emphasized the need for cultural change to incorporate physical activity for nursing home residents and implement multidomain interventions to delay disability. To conclude, this work has identified factors having an influence on potentially inappropriate care and suggests simple areas to improve the quality of care.
85

Photopolymérisation radicalaire contrôlée pour la micro-nanostructuration de polymères fonctionnels / Controlled radical photopolymerization for micro-nanostructured functional polymers

Telitel, Siham 07 October 2015 (has links)
La fabrication de surfaces polymères complexes avec des chimies et des topographies contrôlées à l’échelle micro et nanométrique est en pleine expansion en raison de la large gamme d'applications. Une nouvelle méthode prometteuse consiste à utiliser la photopolymérisation radicalaire contrôlée par les nitroxydes (NMP2) qui exploite une alcoxyamine photosensible (AA).Pour démontrer le potentiel de fabrication de surfaces de polymères complexes, un film de polymère a d'abord été formé en irradiant avec une formulation contenant un mélange de monomère acrylique et l’alcoxyamine. Ensuite, le dépôt d'un second monomère acrylique sur ce film durci peut redémarrer une nouvelle réaction de photopolymérisation du fait de la présence d'alcoxyamines à la surface. Les radicaux peuvent être réactivés par exposition aux lampes UV et permettent de commencer un nouveau procédé de polymérisation. Une autre alternative est d'utiliser l’écriture directe par laser pour produire des structures en 2D ou 2.5D de polymère, en déplaçant le faisceau laser sur la surface de l'échantillon.Un soin particulier a été axé sur l'impact de paramètres photoniques et chimiques sur le processus de repolymérisation. Les mécanismes moléculaires qui régissent la repolymérisation pourraient être déduits de cette étude.Certaines applications montrent le potentiel de l'alcoxyamine pour générer des surfaces hydrophiles / hydrophobes ou fluorescentes pour des applications avancées. / The fabrication of complex polymer surfaces with controled chemistry and topography at the micro and nanoscale has drawn a huge attention during the last years due to the wide range of applications. A promising new method consists in using the nitroxide mediated photopolymerization (NMP2). this method exploits a photosensitive alkoxyamine (AA) that creates latent reactive radical species.To demonstrate the potential for fabrication of complex polymer surfaces, a polymer film was first formed by irradiating with a formulation containing a mixture of acrylic monomer and alkoxyamine. Then, depositing a second acrylic monomer over this cured film can reboot a new photopolymerization reaction due to the presence of alkoxyamines at the surface. The radicals can be reactivated by exposure to UV and start a new polymerization process. Another alternative is to use UV-laser direct writing to produce 2D or 2.5D polymer structure by displacing the laser beam at the surface of the sample.A special care was focused on investigating the impact of photonic and chemical parameters on the extend of the repolymerization process. The molecular mechanisms governing the repolymerization could be deduced from this study.Some applications are provided showing the potential of the alkoxyamine for generating hydrophilic/hydrophobic or fluorescent surfaces for advanced applications.
86

On the link between saccadic adaptation and visuospatial attention / Adaptation oculomotrice comme outils d'étude de l'attention spatiale

Nicolas, Judith 13 March 2019 (has links)
L’attention et l’Adaptation Saccadique (AS) sont des composants essentiels de la perception visuelle, le premier renforce le traitement sensoriel des items sélectionnés, le second maintient la précision des mouvements des yeux vers ceux-ci. Ils partagent aussi une dichotomie : les saccades volontaires et l’orientation endogène de l’attention suivent nos buts internes tandis que les saccades réactives et l’orientation exogène répondent aux changements soudains dans l’espace visuel. Leurs substrats neuronaux se superposent en partie. Enfin, chacun impacte l’autre au niveau comportemental. Ce travail de doctorat étudie l’hypothèse d’un couplage fonctionnel entre attention et AS.Toutes nos études chez l’humain sain reposent sur la mesure des performances attentionnelles avant et après l’exposition à l’AS (ou contrôle). Dans la première nous avons exploré les bases neurophysiologiques du couplage réactif/exogène en magnétoencéphalographie. Dans la suivante nous avons comparé l’orientation exogène mesurée par un paradigme de Posner avant et après AS réactive. La dernière, basée sur le même modèle, explorait la modalité volontaire/endogène. Nos résultats montrent que l’AS augmente l’activité oscillatoire gamma et renforce l’orientation de l’attention spatiale. Nous proposons que le couplage repose sur la co-activation de populations neuronales par la plasticité oculomotrice et l’attention au niveau du Cortex Pariétal Postérieur (CPP). Cette activation émerge initialement d’un double effet du cervelet qui inhibe le CPP gauche et active le CPP droit. Cet effet augmente la dominance hémisphérique droite et le biais attentionnel vers la gauche. Notre travail ouvre des perspectives de rééducation des déficits visuo-attentionels / Attention and Saccadic Adaptation (SA) are critical components of visual perception, the former enhancing sensory processing of selected objects, the latter maintaining the eye movements accuracy towards them. Also, a similar dichotomy could be applied to both: voluntary saccades and endogenous attentional shifts follow internal goals while reactive saccades and exogenous shifts are elicited by sudden changes in the environment. Further, their neural substrates partially overlap and they impact each other behaviorally. This PhD work investigates the hypothesis of a functional coupling linking attention and SA in healthy humans. Our experimental contributions all rely on the measurement of attentional performances before and after an exposure to SA (or control). In the first study, we recorded brain magnetic fields to investigate neurophysiological bases of the reactive/exogenous coupling. In the second study, we compared exogenous orienting measured in a Posner-like paradigm before and after reactive SA. Finally, using the same design, the third experiment investigated the voluntary/endogenous modality. We found that SA increased gamma band activity and boosted the orienting of spatial attention. We thus propose that this functional coupling relies on neuronal populations co-activated by both oculomotor plasticity and attention in the Posterior Parietal Cortex (PPC). The initial activation would emerge from a dual effect of the cerebellum inhibiting the left PPC and activating the right PPC. This effect would increase the right hemispheric dominance and the leftward attentional bias. This work opens new perspectives for the rehabilitation of visuoattentional deficits
87

Théorèmes limites fonctionnels et estimation de la densité spectrale pour des suites stationnaires.

Dede, Sophie 26 November 2009 (has links) (PDF)
L'objet de ma thèse est l'étude du comportement de certaines distances entre la mesure empirique d'un processus stationnaire et sa loi marginale (distance de type Cramér-Von Mises ou de type Wasserstein), dans le cas de variables aléatoires dépendantes au sens large, incluant par exemple, certains systèmes dynamiques. Nous établissons, dans un second chapitre, un principe de déviations modérées, sous des conditions projectives, pour une suite stationnaire de variables aléatoires bornées à valeurs dans un espace de Hilbert H, que ce soit pour un processus adapté ou non. Parmi les applications, nous avons travaillé, non seulement à l'étude de la statistique de Cramér-Von Mises, mais aussi sur les fonctions de processus linéaires (importantes dans les problèmes de prédiction) et les chaines de Markov stables. Dans le troisième chapitre, nous donnons un Théorème Limite Central pour des suites stationnaires ergodiques de différences de martingales dans L^1. Puis, par une approximation par des différences de martingales, nous en déduisons un Théorème Limite Central pour des suites stationnaires ergodiques de variables aléatoires à valeurs dans L^1, et satisfaisant des conditions projectives. Ceci nous permet d'obtenir des résultats sur le comportement asymptotique de statistiques du type distance de Wasserstein pour une importante classe de suites dépendantes. En particulier, les résultats sont appliquées à l'étude de systèmes dynamiques, ainsi qu'à celle des processus linéaires causaux. Pour finir, afin de construire des intervalles de confiance asymptotiques pour la moyenne d'une suite stationnaire à partir du Théorème Limite Central, nous proposons un estimateur lissé de la densité spectrale. Dans ce dernier chapitre, nous donnons des critères projectifs pour la convergence dans L^1 d'un estimateur lissé de la densité spectrale. Cela nous permet via un Théorème Limite Central d'avoir des régions de confiance pour les paramètres dans un modèle de régression paramétrique.
88

Génération de test de circuits intégrés fondée sur des modèles fonctionnels

Karam, Margot 23 October 1991 (has links) (PDF)
Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur les modèles machine juste machine fausse. La deuxième partie est consacrée au test hiérarchisé de circuits complexes. Les vecteurs de test locaux aux blocs sont justifies vers les entrées primaires et propages en avant vers les sorties primaires en utilisant des variables symboliques et des modèles fonctionnels pour les blocs traverses. Des techniques originale de propagation retardée permettent de restreindre le nombre d'échecs des propagations. Un prototype en prolog a été expérimenté
89

Conception d'une structure de données dans les environnements de bases de données

Leonard, Michel 09 May 1988 (has links) (PDF)
Étude de bases de données ayant des structures complexes avec l'objectif de rendre plus efficace le processus de leur conception et de leur réalisation, de les faire évoluer et d'améliorer leur compréhension autant par leur utilisateurs que par leurs responsables
90

Comparaison des comportements des processus communicants : application au langage FP2

Rogé, Sylvie 22 November 1986 (has links) (PDF)
Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

Page generated in 0.0801 seconds