To see the other types of publications on this topic, follow the link: Contrainte temporelle.
Dissertations / Theses on the topic 'Contrainte temporelle'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Contrainte temporelle.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Verle, Alexandre. "Développement d'une méthode de distribution de la contrainte temporelle sur les circuits combinatoires CMOS." Montpellier 2, 2005. http://www.theses.fr/2005MON20066.
Full text
2
Besseau, Romain. "Analyse de cycle de vie de scénarios énergétiques intégrant la contrainte d’adéquation temporelle production-consommation." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEM068.
Full textAbstract:
Ces travaux de thèse portent sur l’évaluation des impacts environnementaux de l’énergie. Le modèle énergétique actuel, qui supporte l’ensemble des activités économiques mondiales, cause d’importants impacts environnementaux en contribuant au changement climatique et à l’épuisement de ressources, mais aussi en dégradant la biodiversité et la santé humaine. Les impacts environnementaux de l’énergie sont évalués, non pas en considérant la seule phase de production d’énergie, mais l’intégralité de leur cycle de vie : de l’extraction des matières premières jusqu’à la fin de vie. La production d’énergie renouvelable étant météo-dépendante, des systèmes de stockage d’énergie peuvent devenir nécessaires pour assurer l’adéquation temporelle entre la production et la consommation lorsque les taux de pénétration d’énergies renouvelables deviennent importants. Dans un premier temps, des modèles paramétrés d’inventaires de cycle de vie ont été développés pour chaque filière de production et de stockage d’énergie. Ils permettent de tenir compte de la variabilité technologique, spatiale et temporelle de la performance environnementale de ces systèmes qui peut être importante. Dans un second temps, une approche reposant sur le développement et le couplage de modèles paramétrés de séries temporelles de production et de consommation a été mise au point. Elle permet d’estimer les besoins de stockage induits par la météo-dépendance de la production mais aussi de la consommation. La méthode globale dynamique et paramétrique d’évaluation d’impacts environnementaux par Analyse de Cycle de Vie (ACV) alors développée a été appliquée à des scénarios d’autoconsommation puis au territoire insulaire de La Réunion. Ces travaux démontrent que, même en tenant compte des besoins de stockage induits par la variabilité de la production, les énergies renouvelables présentent, sur leur cycle de vie, une empreinte environnementale qui reste nettement inférieure aux alternatives fossiles qu’elles cherchent à substituer<br>This research work deals with the environmental impact assessment of energy. The current energy model, which supports the global economy, leads to major environmental impacts by contributing to climate change and resource depletion,and by degrading biodiversity and human health. The environmental impacts of energy systems are assessed, not only considering the energy generation phase, but the whole life-cycle of energy systems : from raw material extraction to end of life. As renewable energies are weather dependent, storage systems may become required to ensure the temporal balance between the production of energy and consumption when renewable energies reach high penetration rates. As a first step, parameterized life-cycle inventory models have been developed for the main energy technologies to produce orstore energy. Those models enable to account for the technological, spatial and temporal variability that can be important. As a second step, an approach based on times-series to model energy production as well as energy consumption has been developed. It allows assessing the energy storage needs induced by the weather dependency of the production and consumption.The global dynamic and parametric method to assess the life cycle environmental impact here developed has been appliedto self-consumption scenarios and then, to the insular territory of La Réunion. Those applications reveal that, even when accounting for the storage need induced by the weather dependency of the production, renewable energies present an environmental footprint significantly lower than the fossil counterparts they aim to substitute
3
Ilmane, Nabil Larue Jacques. "Effets de la contrainte temporelle sur la coordination posture/mouvement particularité d'une situation d'anticipation-coïncidence /." S. l. : S. n, 2009. ftp://ftp.univ-orleans.fr/theses/nabil.ilmane_1798.pdf.
Full text
4
Ilmane, Nabil. "Effets de la contrainte temporelle sur la coordination posture/mouvement : particularité d'une situation d'anticipation-coïncidence." Phd thesis, Université d'Orléans, 2009. http://tel.archives-ouvertes.fr/tel-00456144.
Full textAbstract:
Les mouvements volontaires sont accompagnés par des ajustements posturaux anticipateurs (APAs). Leur rôle consiste à prévenir et à compenser de possibles perturbations du corps provoquées par l'exécution du mouvement. Des études antérieures ont montré que la coordination posture / mouvement est modifiée selon que le mouvement est exécuté le plus rapidement possible en réponse à un signal externe (réactif :TRS), ou que le mouvement est auto-initié (prédictif :AI). L'objectif de ce travail est d'examiner le mode de coordination posture / mouvement impliqué dans une situation d'anticipation-coïncidence (AC) lors de l'exécution de mouvements simples et complexes, et ensuite, comparer ce mode aux modes TRS et AI. Trois études expérimentales ont été menées pour vérifier si : (1) les modes de coordination, obtenus sur des gestes simples, s'étendent à des mouvements complexes ; (2) le mode de coordination en AC dépend des caractéristiques temporelles du mobile utilisé dans la tâche ; (3) les commandes impliquant les APAs et le mouvement focal sont associées ou dissociées en fonctions des contraintes temporelles TRS et AC. Ainsi, nous avons démontré que : (1) les stratégies de coordination posture / mouvement s'appliquent sur les mouvements complexes ; (2) la prédictibilité du moment de déclenchement dans la condition AC rapproche celle-ci de la situation AI ; (3) les différences de coordination entre les conditions réactive (TRS) et prédictives (AC, AI) sont liées à des différences dans les mécanismes de préparation consistant à dissocier les commandes posturales et focales en situation prédictive et à associer ces commandes dans la situation réactive. Les implications théoriques qui émergent de ces résultats sont discutées.
5
Ilmane, Nabil. "Effets de la contrainte temporelle sur la coordination posture/mouvement : particularité d'une situation d'anticipation-coïncidence." Electronic Thesis or Diss., Orléans, 2009. http://www.theses.fr/2009ORLE2006.
Full textAbstract:
Les mouvements volontaires sont accompagnés par des ajustements posturaux anticipateurs (APAs). Leur rôle consiste à prévenir et à compenser de possibles perturbations du corps provoquées par l’exécution du mouvement. Des études antérieures ont montré que la coordination posture / mouvement est modifiée selon que le mouvement est exécuté le plus rapidement possible en réponse à un signal externe (réactif :TRS), ou que le mouvement est auto-initié (prédictif :AI). L’objectif de ce travail est d’examiner le mode de coordination posture / mouvement impliqué dans une situation d’anticipation-coïncidence (AC) lors de l’exécution de mouvements simples et complexes, et ensuite, comparer ce mode aux modes TRS et AI. Trois études expérimentales ont été menées pour vérifier si : (1) les modes de coordination, obtenus sur des gestes simples, s’étendent à des mouvements complexes ; (2) le mode de coordination en AC dépend des caractéristiques temporelles du mobile utilisé dans la tâche ; (3) les commandes impliquant les APAs et le mouvement focal sont associées ou dissociées en fonctions des contraintes temporelles TRS et AC. Ainsi, nous avons démontré que : (1) les stratégies de coordination posture / mouvement s’appliquent sur les mouvements complexes ; (2) la prédictibilité du moment de déclenchement dans la condition AC rapproche celle-ci de la situation AI ; (3) les différences de coordination entre les conditions réactive (TRS) et prédictives (AC, AI) sont liées à des différences dans les mécanismes de préparation consistant à dissocier les commandes posturales et focales en situation prédictive et à associer ces commandes dans la situation réactive. Les implications théoriques qui émergent de ces résultats sont discutées<br>Voluntary movements are generally accompanied by anticipatory postural adjustments (APAs). They are centrally generated as a feedforward mechanism to counteract the mechanical effects of predicted balance perturbations. Previous studies showed that the coordination between posture and movement is modified depending on whether the movement is performed in a reactive temporal pressure (TRS) or in a self-initiated (AI) manner. The aim of this thesis is to examine the coordination of posture and movement in anticipation-coincidence (AC) timing tasks in simple and complex movements, and then to compare this mode to the TRS and AI modes. Three experiments was achieved to verify : (1) whether simple movement coordination modes can be extended to complex movements ; (2) whether the temporal characteristics of the mobile used in the task modifies the coordination in AC condition ; (3) to which extent the motor commands of APAs and the focal movement are coupled in response to the TRS and AC temporal pressures. Results show that: (1) the different strategies of coordination between posture and movement are extended to the complex tasks; (2) the predictable timing of movement execution in the AC condition generates behaviours closer to those observed in AI condition; (3) the differences in the coordination between the reactive (TRS) and the predictive (AC, AI) conditions are related to the difference in the preparatory processes which consists on the dissociation of postural and focal commands in the predictive situations, and the association of this motor commands in the reactive situation. Theoretical implications emerging from these results are discussed
6
Fromantin, Jonathan. "Modélisation hybride temporelle et analyse par contraintes des réseaux de régulation biologiques." Ecole Centrale de Nantes, 2009. http://www.theses.fr/2009ECDN0009.
Full text
7
Allioux-Guérin, Myriam. "Etude de la réponse cellulaire à un différentiel de tensions mécaniques : étude spatio-temporelle à l'aide de pinces optiques multiples." Paris 7, 2008. http://www.theses.fr/2008PA077234.
Full textAbstract:
De plus en plus d'études mettent en évidence l'importance des tensions mécaniques dans le devenir cellulaire. Une cellule est capable de sentir les modifications mécaniques de son environnement et d'y répondre. Cependant, les mécanismes de régulation de ces phénomènes sont encore peu connus. Mon projet de thèse a analysé l'impact de faibles tensions mécaniques sur la réponse cellulaire. En utilisant des billes fonctionnalisées avec de la fibronectine et piégées à l'aide de pinces optiques multiples, nous avons appliqué de faibles tensions mécaniques sur le cortex d'une cellule unique mimant ainsi des points d'adhésions de rigidité accrue. Ce système couplé à la microscopie de fluorescence, nous permet une étude quantitative et spatio-temporelle de la réponse cellulaire. Dans un premier temps, nous montrons qu'une cellule ressent un différentiel de faibles tensions et y répond en régulant temporellement et, proportionnellement à la rigidité extérieure, la création de forces cellulaires de traction et le recrutement de complexes d'adhésion et de protéines d'acto-myosine. Cette régulation résulte en la conservation du déplacement de la matrice extracellulaire à chaque instant. Dans un second temps, nous avons étudié la manière dont l'environnement mécanique peut influencer le processus de polarisation cellulaire. Pour cela nous avons travaillé sur des cellules non adhérentes sur lesquelles nous avons appliqué des points d'adhésion de faible rigidité. Nous observons une modification de la forme cellulaire et un déplacement du centrosome vers la zone sous contraintes indiquant une possible influence des tensions mécaniques sur l'établissement de la polarisation<br>The mechanical environment crucially influences cells life. Cells feel external mechanical stimuli and adapt to it. However how all these mechanisms are regulated remains unclear. In this context, the aim of my project was to analyze how weak external mechanical tensions influence cell response. Beads functionalized with fibronectin and trapped by multiple optical tweezers are applied on the cortex of a single cell. With this method, we mimic cell adhesions of increased rigidity. This System is coupled with fluorescence microscopy allowing quantitative and spatio-temporal study of the cell response. First, we show that a single cell feel a weak rigidity differential. It locally adapts to it developing cell traction forces on beads and recruiting adhesion complexes and acto-myosin proteins. All these process are temporally regulated proportionally to the external rigidity. This results in the conservation of the extracellular matrix displacement created by the cell forces at each time. In a second part, we study the influence of mechanical tensions on the cell polarization process. We use non adherent cells upon which we apply adhesion points of weak rigidities. We highlight a deformation of the cellular cortex and a displacement of the centrosome upon the area under constrain. It indicates a possible influence of mechanical tensions on the establishment of cell polarization
8
Koubaa, Anis. "Gestion de la qualité de service temporelle selon la contrainte (m,k)-firm dans les réseaux à commutation de paquets." Vandoeuvre-les-Nancy, INPL, 2004. http://www.theses.fr/2004INPL087N.
Full textAbstract:
Le cadre d'application de ce travail vise principalement les réseaux assurant le transport des flux temps-réel tolérant les pertes telles que la voix sur Ir, la transmission de la vidéo MPEG, les flux audio. . . L'apport principal de cette thèse réside dans la proposition dun nouvel algorithme d'ordonnancement pour fournir une QdS acceptablement dégradable et la validation de cette proposition en combinant les techniques de vérification: analyse mathématique, simulation et implémentation sur une plateforme. Notre approche de QdS acceptablement dégradable est basée sur deux concepts: (1) la garantie de bande passante (WFQ), (2) le respect de la contrainte temporelle (m,k)-firm. Nous avons combiné ces deux notions pour proposer l'algorithme d'ordonnancement (m,k)-WFQ assurant un partage équitable des ressources et respectant la contrainte (m,k)-firm de chaque flux<br>This work focuses on the definition of a novel approach of real-time QoS using the (m,k)-firm constraints into packet switched networks. We define the concept of loss-tolerant QoS with graceful degradation that consists in guaranteeing an acceptable level of QoS for loss-tolerant real-time applications in overload situation. Our approach is mainly applied to multimedia networks assuring the delivery of real-time loss-tolerant multimedia flows such as MPEG video broadcast, Voice over Ir, audio streams. . . The contribution presented in this work is (1) to propose a novel scheduling algorithm to provide loss-tolerant QoS with graceful degradation, (2) validate the proposai through different and complementary techniques: mathematical analysis, simulation and implementation in test bed platform. Our approach of gracefully degraded QoS is based two concepts: (1) Bandwidth guarantee, (2) meeting the (m,k)-firm timing constraints. We have combined both concept to propose our scheduling algorithm, called (m,k)-WFQ, that performs fair resources sharing as dos WFQ while taking into account the (m,k)-firm timing constraints of each stream
9
Perfettini, Hugo. "Frottement sur une faille : influence des fluctuations de la contrainte normale." Paris 6, 2000. http://www.theses.fr/2000PA066568.
Full textAbstract:
Le but de cette thèse est d'examiner l'influence des fluctuations de contrainte normale sur le comportement frictionnel d'une faille, ces variations ayant un rôle primordial sur le déclenchement des tremblements de terre. Dans le premier chapitre, nous présentons le critère de Coulomb et certaines de ses applications. En particulier, nous étudions l'effet des séismes de Lake Elsman sur la rupture de Loma Prieta et montrons que ces deux évènements ont diminué la contrainte normale en un site correspondant à la zone de plus fort glissement du séisme de Loma Prieta. Le second chapitre traite des modèles physiques de frottement. Il est montré en particulier que les lois de frottement à variable d'état, abondamment utilisées dans la suite de cette thèse, semblent bien adaptées à la description du frottement d'une faille. Un modèle permettant d'incorporer les variations de la contrainte normale a ce formalisme est également présenté. Les chapitres III et IV présentent une étude détaillée de l'effet de fluctuations temporelles de la contrainte normale (et cisaillante) et ses effets sur la déstabilisation du glissement. Il est montré que de très faibles fluctuations du chargement peuvent avoir des effets dramatiques sur la stabilité d'une faille. Ces résultats nous permettent d'étudier l'effet des marées terrestres sur le déclenchement des séismes. Nous montrons qu'un tel processus est possible bien que limité à une gamme de paramètres restreinte. Avant de conclure, nous examinons dans le chapitre V l'effet de fluctuations spatiales du seuil de frottement sur une faille en glissement stable. Nous montrons que les corrélations du champ de glissement sont très sensibles à ces faibles hétérogénéités frictionnelles. Nous discutons enfin au vu de nos résultats la prédictibilité des séismes à court et long terme.
10
Delfieu, David. "Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs." Phd thesis, Université Paul Sabatier - Toulouse III, 1995. http://tel.archives-ouvertes.fr/tel-00142512.
Full textAbstract:
La spécification des systèmes temps réel pose le problème de l'expression du temps et des contraintes temporelles pour lesquels nous proposons dans ce mémoire, une nouvelle représentation. Cette représentation est basée sur l'hypothèse que l'écoulement du temps est modélisé par l'occurrence d'un événement spécifique. Cette conception nous permet de considérer les contraintes temporelles comme des propriétés de séquences d'événements observables. En relation avec une notation simple, basée sur la notion de grammaire, les propriétés temporelles deviennent des propriétés syntaxiques. Ces considérations nous ont amenés à proposer une nouvelle méthode d'analyse des contraintes temporelles qui a pour objet de vérifier que toutes les contraintes temporelles d'un cahier des charges ont bien été prises en compte dans l'étape de spécification. Pour réaliser cette vérification, on élabore un analyseur de traces temporisées dont la construction se fait en deux étapes. On extrait d'abord les contraintes temporelles en suivant une décomposition structurée. Cette décomposition permet d'identifier un ensemble d'opérateurs (périodique, sporadique, de disjonction ou de conjonction) liant les contraintes temporelles. On exprime ensuite ces contraintes, sous la forme de grammaires «types». La seconde étape est la recomposition de ces grammaires, par l'ensemble des opérateurs précédemment identifiés. Pour cela, on a redéfini chacun de ces opérateurs pour qu'ils puissent s'appliquer sur des grammaires. Le résultat final de cette recomposition produit une grammaire globale qui constitue un analyseur syntaxique, capable de vérifier si une trace temporisée vérifie ou non, toutes les contraintes temporelles du cahier des charges.
11
Bernard, Sophie. "Evolution temporelle du méthane et du protoxyde d'azote dans l'atmosphère : contrainte par l'analyse de leurs isotopes stables dans le neve et la glace polaires." Université Joseph Fourier (Grenoble), 2004. http://www.theses.fr/2004GRE10200.
Full textAbstract:
L'ANALYSE DES RAPPORTS ISOTOPIQUES REVET UNE IMPORTANCE CROISSANTE DANS L'ETUDE DES SOURCES ET PUITS DES GAZ TRACES ATMOSPHERIQUES ET DANS LA DETERMINATION DES DIVERSES REACTIONS CHIMIQUES MISES EN JEU. DANS LE CADRE DE CETTE THESE, LA COMPOSITION ISOTOPIQUE DU METHANE ET DE L'OXYDE NITREUX A ETE MESUREE A PARTIR DE L'AIR PIEGE DANS LE NEVE ET LA GLACE D'UN SITE ARCTIQUE ET D'UN SITE ANTARCTIQUE. A PARTIR DES PROFILS OBTENUS ET GRACE A L'APPLICATION RECURSIVE D'UN MODELE DE TRANSPORT DIFFUSIF DES GAZ A TRAVERS LE NEVE, L'EVOLUTION DU d13CH4 A PU ETRE RECONSTRUITE. LA COMPILATION DE DONNEES EXISTANTES AVEC LES RESULTATS DE CETTE ETUDE A PERMIS DE DEDUIRE UNE EVOLUTION DU d13CH4 DE L'ORDRE DE +O. 03%0/AN DANS L'HEMISPHERE SUD ET +O. OO7%0/AN DANS L'HEMISPHERE NORD, DEPUIS 1950 AD. DE LA MEME FAÇON, EN COUPLANT LES RESULTATS OBTENUS POUR LES DEUX SITES, L'EVOLUTION DU d15N20, 1d15N2O, 2d15N2O ET d18(O)N2O A PU ETRE DEDUITE: ELLE EST DE L'ORDRE DE -2. 7%0, -2. 4%0, -3. 0%0 ET -2. 0%0 DEPUIS 1700 AD RESPECTIVEMENT. UNE TENDANCE SUR LE SIGNAL DEPUIS 1970 AD A EGALEMENT PU ETRE OBTENUE. L'ALOURDISSEMENT DU SIGNAL ISOTOPIQUE OBSERVE DANS LE CAS DU METHANE ET L'ALLEGEMENT OBTENU DANS LE CAS DE L'OXYDE NITREUX CONFIRMENT UNE RESPONSABILITE PRIMORDIALE DES SOURCES D'ORIGINE ANTHROPIQUE DANS L'AUGMENTATION EXPONENTIELLE DE LA TENEUR DE CES GAZ DEPUIS LA REVOLUTION INDUSTRIELLE ET PERMETTENT DE PROPOSER DES SCENARII PLUS RESTRICTIFS SUR LES SOURCES ET PUITS IMPLIQUES<br>THE ANAL YSIS OF ISOTOPIC RATIOS IS OF INCREASING IMPORTANCE TO STUDY THE SOURCES AND SINKS OF ATMOSPHERIC TRACE GASES AND TO INVESTIGATE THEIR CHEMICAL REACTION PATHWAYS. IN THE FRAME OF THIS THESIS, THE ISOTOPIC COMPOSITION OF METHANE AND NITROUS OXIDE TRAPPED IN FIRN AND ICE AIR FROM AN ARCTIC SITE AND AN ANTARCTIC SITE HAS BEEN MEASURED. FROM EXPERIMENTAL PROFILES, AND THANKS TO THE RECURSIVE USE OF A PHYSICAL MODEL OF DIFFUSIVE GAS TRANSPORT THROUGH THE FIRN, THE EVOLUTION OF d13CH4 COULD BE RECONSTRUCTED. THE COMPILATION OF EXISTING DATA WITH THIS STUDY RESULTS MAKES IT POSSIBLE TO INFER A d13CH4 EVOLUTION OF ABOUT +0. 03%0/YR IN THE SOUTHERN HEMISPHERE AND +0. 007%0/YR IN THE NORTHERN HEMISPHERE, SINCE 1950 AD. ON THE SAME WAY, BY COMBINING BOTH SITES RESULTS, THE EVOLUTION OF d15N20, 1d15N2O, 2d15N2O ET d18(O)N2O COULD BE INFERRED: IT IS ABOUT -2. 7%0, -2. 4%0, -3. 0%0 AND -2. 0%0 SINCE 1700 AD, RESPECTIVELY. A TREND SINCE 1970 AD COULD ALSO BE DEDUCED. THE ISOTOPIC ENRICHMENT OBSERVED lN THE CASE OF METHANE AND THE ISOTOPIC DEPLETION DEDUCED FOR NITROUS OXIDE CONFIRM A MAJOR ANTHROPOGENIC SOURCES RESPONSIBILITY IN THE EXPONENTIAL GROWTH OF THESE GAS ES CONCENTRATION SINCE PRE-INDUSTRIAL TIMES AND ALLOW TO SUGGEST MORE RESTRICTIVE SCENARIOS ABOUT INVOLVED SOURCES AND SINKS
12
Barragan-Jason, Gladys. "La dynamique du traitement des visages : du percept à la familiarité." Phd thesis, Université Paul Sabatier - Toulouse III, 2013. http://tel.archives-ouvertes.fr/tel-00803163.
Full textAbstract:
Reconnaître rapidement les visages familiers est une fonction fondamentale qui joue un rôle important dans nos interactions sociales. D'un point de vue évolutionniste, il semble en effet crucial de pouvoir rapidement déterminer si la personne qui nous fait face est amie ou ennemie pour adapter son comportement en conséquence. C'est sans doute pour cela que, dans l'opinion publique, mais également dans la littérature scientifique, la reconnaissance des visages est supposée être un processus très rapide, efficace et exécuté sans effort. Cependant, la reconnaissance des visages familiers est-elle réellement si rapide ? Ne serait-ce pas simplement une idée reçue ? Rapide, admettons, mais à quelle vitesse ? En adaptant des protocoles de catégorisation visuelle rapide (tâche de go/no-go) développés initialement pour étudier la rapidité du système visuel et en mettant en place de nouveaux protocoles de catégorisation ultra-rapide (" Speed and Accuracy Boosting procedure " ; SAB), nous avons pu déterminer les latences comportementales et électrophysiologiques les plus précoces pour reconnaître explicitement un visage célèbre. Nous nous sommes intéressés d'une part à la reconnaissance de type " bottom-up " (reconnaître plusieurs visages célèbres sans savoir au préalable de qui il s'agit) et d'autre part à la reconnaissance " top-down " (reconnaître une personne en particulier parmi des inconnus). Le temps de réaction minimum pour reconnaître des visages célèbres parmi des inconnus (reconnaissance " bottom-up ") est d'environ 360-390 ms, ce temps de réponse ne pouvant être amélioré ni par un apprentissage intensif des stimuli (Article 1), ni par un protocole de catégorisation ultra-rapide (Article 2). Ce temps de réaction est environ 100 ms plus tardif que lors d'une tâche de détection de visage (Article 1) ou de genre (Article 1). Ces latences sont très différentes lorsque la procédure SAB est appliquée à une reconnaissance de type " top-down ", descendant à environ 300 ms contre 270 ms dans une tâche de détection de visages (Article 3). De plus, en appliquant une méthode de MVPA (Multi-Variate Pattern Analysis) à des données d'EEG de surface, nous avons montré que l'activité neuronale liée à la reconnaissance des visages célèbres était disponible dès 230 ms après la présentation du stimulus (voire 200 ms pour le sujet les plus rapides) alors que l'activité neuronale liée à a détection d'un visage humain parmi des visages d'animaux était disponible dés 80 ms (Articles 4 et 5). L'activité neuronale était de plus fortement corrélée aux temps de réponses minimales en reconnaissance, confirmant ainsi son rôle dans la prise de décision. Nous discutons ces latences au regard des modèles de la voie visuelle ventrale et des modèles de la reconnaissance des visages. Nous distinguons trois modèles différents pouvant théoriquement être à l'origine de la familiarité et en favorisons un en particulier.
13
Chleq, Nicolas. "Contribution à l'étude du raisonnement temporel : résolution avec contraintes et application à l'abduction en raisonnement temporel." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1995. http://tel.archives-ouvertes.fr/tel-00529412.
Full textAbstract:
Ce travail présente notre contribution au domaine du raisonnement temporel (RT) en intelligence artificielle. Nous avons défini et mis en oeuvre un mécanisme de raisonnement abductif (génération d'hypothèses) pour le RT. Un tel mode de raisonnement présente en particulier l'intérêt d'être une alternative possible au raisonnement par défaut pour prendre en compte la non monotonie inhérente au RT. Une autre motivation est que le raisonnement abductif appliqué au RT est une approche possible pour la planification. Préalablement à la présentation de la procédure d'abduction, nous étudions l'intérêt pour le raisonnement temporel du principe de résolution avec contraintes de Bürckert. Ce principe s'avère être un cadre formel intéressant pour décrire l'intégration des systèmes de contraintes temporelles dans des systèmes déductifs utilisant le principe de résolution comme règle d'inférence. Dans la deuxième partie, nous proposons une procédure de génération d'hypothèses qui est basée conjointement sur des travaux de Kakas et Mancarella sur l'abduction en programmation logique, et sur l'idée de la résolution avec contraintes. La procédure que nous proposons possède des mécanismes originaux facilitant en premier lieu son application au raisonnement temporel, et permettant ensuite de ramener la conservation de la consistance des hypothèses déjà générées à des tests de satisfaction de contraintes temporelles. Nous présentons des exemples d'utilisation, en particulier pour la planification en utilisant le Calcul d'Evénements de Sergot et Kowalski comme formalisme de représentation. Le cadre de la programmation logique avec contraintes, sous jacent à notre travail, nous permet d'étendre notre procédure à d'autres systèmes de contraintes. Nous décrivons en particulier l'utilisation de contraintes sur domaines finis, ce qui permet de décrire et gérer des ressources finies en planification. L'implantation de la procédure utilise, en plus des contraintes temporelles et des contraintes sur domaines finis, des contraintes sur le typage des termes, ce qui nous permet de proposer un cadre logique avec types et sous-typage qui facilite la description du formalisme temporel et des problèmes à résoudre.
14
Sénégond, Nicolas. "APPROCHE TEMPORELLE DE LA SIMULATION ET DE LA CARACTÉRISATION DES TRANSDUCTEURS ULTRASONORES CAPACITIFS MICRO-USINÉS." Phd thesis, Université François Rabelais - Tours, 2010. http://tel.archives-ouvertes.fr/tel-00738359.
Full textAbstract:
Les transducteurs ultrasonores capacitifs micro-usinés (cMUT : capacitive Micromachined Ultrasound Transducers) sont aujourd'hui une nouvelle alternative à la transduction d'ondes ultrasonores. En comparaison avec la technologie piézoélectrique, ils offrent de nombreuses potentialités en termes de fiabilité, de production, de miniaturisation et d'intégration, d'une électronique associée mais aussi en termes de performances acoustiques. Les voies d'application de ces dispositifs, dédiés initialement à l'imagerie médicale, sont aujourd'hui étendues à de nombreux domaines tels que la thérapie, les capteurs biochimiques ou encore l'émission paramétrique d'ondes sonores. Néanmoins, leur mise en œuvre n'en est encore qu'à ses balbutiements et la compréhension de leurs comportements à la fois statique et dynamique nécessite d'être approfondie. C'est dans ce cadre que s'inscrit le présent travail de thèse. Ce mémoire adresse deux aspects majeurs de ces micro-systèmes : leur caractérisation mécanique et l'impact de la non-linéarité des forces électrostatiques sur la réponse temporelle. La caractérisation des micro-systèmes, notamment en termes de contraintes initiales et de modules d'élasticité, est une problématique récurrente de ces dispositifs. Dans le contexte des technologies cMUT, fabriquées par procédé de micro-usinage de surface, nous avons souhaité reposer les bases de cette étape de mesure et proposer des méthodes de caractérisation basées sur l'utilisation de dispositifs fonctionnels plutôt que s'appuyer sur des structures dédiées (micro-poutre, ponts, structures rotatives). L'impact de la non-linéarité sur la dynamique dans le fluide d'une cellule, puis d'un réseau de cellules, est ensuite étudié en s'appuyant à la fois sur des mesures d'interférométrie laser et sur un modèle temporel intégrant les effets du fluide. Nous exposons ici une étude à plusieurs échelles, allant de la cellule unitaire du dispositif à la pression rayonnée par un élément de barrette. Une optimisation de l'excitation dans l'objectif de réduire l'effet de la non-linéarité tout en conservant des niveaux de pressions optimum est proposée. En fin, à travers l'étude dynamique effectuée, un nouveau régime de fonctionnement des cMUTs est identifié et vérifié. Celui-ci s'appuie sur l'exploitation du régime forcé dans l'air ou dans l'eau de ces dispositifs pour la génération d'ondes ultrasonores basse-fréquence.
15
Wang, Feng. "Abstraction temporelle de signal ECG, apprentissage inductif de contraintes temporelles et reconnaissance des arythmies cardiaques." Rennes 1, 2002. http://www.theses.fr/2002REN10123.
Full textAbstract:
Ce travail a pour objectif la caractérisation automatique des arythmies cardiaques. Jusqu'à présent, les approches proposées reposaient sur une démarche classique associant le traitement du signal et la classification des événements mesurés sur le signal. L'approche adoptée dans ce travail se différencie et associe le traitement du signal, l'apprentissage inductif et la reconnaissance de motifs d'événements temporellement contraints appelés chroniques. Le traitement du signal permet de transformer ou d'abstraire l'ECG numérique en une suite de données symbolique à reconnaître. L'apprentissage inductif produit automatiquement les règles de description des troubles du rythme. La reconnaissance en ligne, fondé sur un système de supervision industriel, réalise la caractérisation des troubles du rythme observés à partir des caractéristiques clefs extraites à l'étape d'apprentissage. Les résultats obtenus démontrent la souplesse et l'efficacité de l'approche.
16
Vega, Luis. "Modèles de coopération et de communication entre processus temps réel repartis : expression de contraintes de temps pour la vérification de propriétés temporelles dans la communication." Vandoeuvre-les-Nancy, INPL, 1996. http://www.theses.fr/1996INPL092N.
Full textAbstract:
La vérification du respect des contraintes temporelles dans la communication temps réel est une activité qui se réalise tant sur des modèles pour aider la conception que lors de l'exécution de l'application avec un but de sureté de fonctionnement. Ces vérifications requièrent une identification précise et une expression claire des contraintes temporelles sur les services de communication. Ce mémoire présente une approche pour spécifier les contraintes temporelles sur les services de communication afin d'identifier précisément les intervalles de temps qui doivent être pris en compte dans le respect de contraintes. Ces intervalles doivent être estimés pour une vérification sur des modèles ou mesures et contrôles à l'exécution pour une verification en ligne. Notre approche consiste à caractériser les échanges de messages entre processus repartis communicants par transmission de messages et les services de communication utilisés pour réaliser ces échanges. Nous spécifions les contraintes temporelles sur les transmissions de messages à partir du type de service de communication et du type d'échange entre les utilisateurs de ce service. Le but est de garantir, sur des modèles et à l'exécution, que les services supportent les besoins temporels des échanges. Cette spécification se base sur les notions d'événement et de séquence d'événement. Les contraintes sont exprimées à l'aide d'une logique temporelle quantifiée. Ces concepts sont assez généraux pour que la spécification puisse se traduire sur des formalismes afin de faire des verifications a priori sur des modèles. Notre approche d'expression de contraintes nous a aussi permis de spécifier et d'analyser les propriétés temporelles qui sont contrôlées à l'exécution par un mécanisme de verification en ligne
17
Jouvray, Christophe. "Modélisation et intégration de capteurs intelligents dans des systèmes temps-réel embarqués." Paris 11, 2006. http://www.theses.fr/2006PA112250.
Full text
18
Isli, Amar. "Automates alternants et logiques temporelles, satisfaction de contraintes temporelles." Paris 13, 1993. http://www.theses.fr/1993PA132021.
Full textAbstract:
Le travail de cette thèse se scinde en deux parties: une partie automates alternants et logiques temporelles; et une partie satisfaction de contraintes temporelles. Dans la première partie, nous commençons par la proposition d'une construction effective d'un automate non déterministe usuel de Buchi équivalent à un automate alternant de Buchi. Ensuite, et toujours avec les automates de Buchi, nous proposons un algorithme de construction pas a pas, en profondeur d'abord, d'un automate non déterministe usuel équivalent à un alternant, algorithme s’arrêtant a la première rencontre d'un mot accepté. Cet algorithme de construction en profondeur d'abord d'un premier mot accepté découle d'un résultat de théorie des graphes que nous montrons. A l’étape suivante, nous proposons une construction effective d'un automate alternant de Buchi acceptant les modèles d'une formule de la logique temporelle propositionnelle linéaire (ltpl), ramenant ainsi le problème de satisfiabilité de la formule à celui du vide de l'automate alternant associé. Cette première partie sera terminée par une description d'un vérificateur de formules de ltpl, implanté en c sous unix. La deuxième partie traite des problèmes de satisfaction de contraintes temporelles. Il sera présenté les formalismes temporels les plus connus dans la littérature. Notre proposition consiste en l'extension d'un de ces formalismes, qui est l’algèbre des points de Vilain et Kautz. Contrairement au formalisme qu'elle étend, la nouvelle algèbre, l’algèbre des points étendue, permet d'exprimer de l'information métrique. Le formalisme de Vilain et Kautz est traitable, et nous montrons que son extension le reste, et que les résultats connus sur le premier sont extensibles au second.
19
Baki, Bassam. "Planification et ordonnancement probabilistes sous contraintes temporelles." Phd thesis, Université de Caen, 2006. http://tel.archives-ouvertes.fr/tel-00127880.
Full textAbstract:
Cette thèse est consacrée au problème de la planification et de l'ordonnancement des tâches sous contraintes temporelles et incertitude. Les contraintes temporelles que nous traitons sont de deux types : qualitatives et quantitatives. L'incertitude sur la durée des tâches se traduit par une distribution de probabilités sur un ensemble fini.<br />Les tâches et les contraintes sont représentées à l'aide d'un graphe ET/OU et les durées des tâches sont pondérées par des probabilités d'exécution. Celles-ci expriment une incertitude sur la connaissance exacte des durées d'exécution des tâches qui ne seront réellement connues que lors de l'exécution effective. Ainsi, une tâche s'exécute durant l'une de ses durées d'exécution possibles avec la probabilité associée à celle-ci. Étant donné ce graphe, notre objectif est de déterminer un plan de tâches qui satisfait toutes les contraintes et qui répond aux critères de choix exigés par l'utilisateur en terme de temps, de coût et de probabilité. L'application de ce plan doit garantir le monde de façon que le but soit atteint tout en satisfaisant les contraintes du domaine.<br />Nous avons appliqué notre méthode de planification à un cas pratique relativement complexe qui concerne la planification d'un ensemble d'agents travaillant ensemble dans un lieu afin d'atteindre un but donné tout en respectant les délais et les contraintes du domaine (temps, coût, probabilité, disponibilité, spécialité,...).
20
Deppner, Freddy. "Ordonnancement d'atelier avec contraintes temporelles entre opérations." Vandoeuvre-les-Nancy, INPL, 2004. http://docnum.univ-lorraine.fr/public/INPL_T_2004_DEPPNER_F.pdf.
Full textAbstract:
Cette thèse traite des problèmes d'ordonnancement d'atelier avec contraintes temporelles d'écart minimal et maximal entre opérations. Une contrainte d'écart minimal stipule qu'une opération ne peut débuter son exécution avant qu'un laps de temps ne se soit écoulé depuis le début ou la fin d'une opération précédente. Une contrainte d'écart maximal impose au contraire que l'opération débute son exécution dans un délai imparti. Bien que de nombreux cas industriels soient soumis à ce genre de contraintes, la littérature sur le sujet reste réduite. Une explication possible tient au fait qu'en présence d'écarts maximaux, le problème de la construction d'une solution valide est NP-complet, dans les cas les plus généraux, même pour une machine. Pour obtenir une solution faisable nous généralisons les algorithmes de construction à base de règles de priorité ou de liste d'ordre strict. Nous étudions un algorithme utilisant une partition des opérations en sousensembles définis à partir des composantes fortement connexes du graphè conjonctif. Nous démontrons que, sous certaines hypothèses, nos algorithmes convergent et produisent des ordonnancements actifs. Qui dit ordonnancement sous-entend optimisation d'un objectif. Nous nous intéressons à l'optimisation de la durée totale (makespan) pour des problèmes de machines en série (flowshop) avec contraintes d'écart minimal et maximal, organisation d'atelier rencontrée le plus fréquemment au cours de nos études de cas. Nous développons une approche génétique dont l'originalité consiste à travailler avec un pool d'opérateurs de croisement et à utiliser une méthode d'autodétermination qui sélectionne l'opérateur le plus approprié à la problématique et à l'état courant de la population. Nous hybridons notre méthode avec un algorithme d'optimisation locale de plus forte pente après avoir étudié et généralisé les voisinages en présence d'écarts maximaux<br>In this thesis we study scheduling problems with minimal and maximal time lags between operations. A minimal time lag specifies that an operation can't start its execution before a given amount of time has elapsed since the beginning or the end of a previous operation. Conversely, with a maximal time lag, the operation must start its execution within a given delay. Despite many industrial processes are subjected to such time constraints, publications on the topic rernain poor. A possible éxplanation could be that the proble:rn of designing a feasible solution with maximal time lags is NP-complete for sorne cases including single machine problems. In order to obtain a feasible solution, we generalize various priority rule construction algorithms. We design an algorithm using a decomposition of the set of operations into clusters defined as the strong components of the conjunctive graph. We demonstrate that under sorne realistic hypotheses, our algorithms converge and generate active schedules. In a second part, we study the minimization of the makespan for flow shop problems. For this purpose, we develop a genetic algorithm. The main feature is that we are working with a pool of crossover operators and a selection method that automatically chooses the most adapted operator according to the problem and the current state of the population. We finally couple our genetic algorithm with a local search procedure
21
Ramadasan, Datta. "SLAM temporel à contraintes multiples." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22653/document.
Full textAbstract:
Ce mémoire décrit mes travaux de thèse de doctorat menés au sein de l’équipe ComSee (Computers that See) rattachée à l’axe ISPR (Image, Systèmes de Perception et Robotique) de l’Institut Pascal. Celle-ci a été financée par la Région Auvergne et le Fonds Européen de Développement Régional. Les travaux présentés s’inscrivent dans le cadre d’applications de localisation pour la robotique mobile et la Réalité Augmentée. Le framework réalisé au cours de cette thèse est une approche générique pour l’implémentation d’applications de SLAM : Simultaneous Localization And Mapping (algorithme de localisation par rapport à un modèle simultanément reconstruit). L’approche intègre une multitude de contraintes dans les processus de localisation et de reconstruction. Ces contraintes proviennent de données capteurs mais également d’a priori liés au contexte applicatif. Chaque contrainte est utilisée au sein d’un même algorithme d’optimisation afin d’améliorer l’estimation du mouvement ainsi que la précision du modèle reconstruit. Trois problèmes ont été abordés au cours de ce travail. Le premier concerne l’utilisation de contraintes sur le modèle reconstruit pour l’estimation précise d’objets 3D partiellement connus et présents dans l’environnement. La seconde problématique traite de la fusion de données multi-capteurs, donc hétérogènes et asynchrones, en utilisant un unique algorithme d’optimisation. La dernière problématique concerne la génération automatique et efficace d’algorithmes d’optimisation à contraintes multiples. L’objectif est de proposer une solution temps réel 1 aux problèmes de SLAM à contraintes multiples. Une approche générique est utilisée pour concevoir le framework afin de gérer une multitude de configurations liées aux différentes contraintes des problèmes de SLAM. Un intérêt tout particulier a été porté à la faible consommation de ressources (mémoire et CPU) tout en conservant une grande portabilité. De plus, la méta-programmation est utilisée pour générer automatiquement et spécifiquement les parties les plus complexes du code en fonction du problème à résoudre. La bibliothèque d’optimisation LMA qui a été développée au cours de cette thèse est mise à disposition de la communauté en open-source. Des expérimentations sont présentées à la fois sur des données de synthèse et des données réelles. Un comparatif exhaustif met en évidence les performances de la bibliothèque LMA face aux alternatives les plus utilisées de l’état de l’art. De plus, le framework de SLAM est utilisé sur des problèmes impliquant une difficulté et une quantité de contraintes croissantes. Les applications de robotique mobile et de Réalité Augmentée mettent en évidence des performances temps réel et un niveau de précision qui croît avec le nombre de contraintes utilisées<br>This report describes my thesis work conducted within the ComSee (Computers That See) team related to the ISPR axis (ImageS, Perception Systems and Robotics) of Institut Pascal. It was financed by the Auvergne Région and the European Fund of Regional Development. The thesis was motivated by localization issues related to Augmented Reality and autonomous navigation. The framework developed during this thesis is a generic approach to implement SLAM algorithms : Simultaneous Localization And Mapping. The proposed approach use multiple constraints in the localization and mapping processes. Those constraints come from sensors data and also from knowledge given by the application context. Each constraint is used into one optimization algorithm in order to improve the estimation of the motion and the accuracy of the map. Three problems have been tackled. The first deals with constraints on the map to accurately estimate the pose of 3D objects partially known in the environment. The second problem is about merging multiple heterogeneous and asynchronous data coming from different sensors using an optimization algorithm. The last problem is to write an efficient and real-time implementation of the SLAM problem using multiple constraints. A generic approach is used to design the framework and to generate different configurations, according to the constraints, of each SLAM problem. A particular interest has been put in the low computational requirement (in term of memory and CPU) while offering a high portability. Moreover, meta-programming techniques have been used to automatically and specifically generate the more complex parts of the code according to the given problem. The optimization library LMA, developed during this thesis, is made available of the community in open-source. Several experiments were done on synthesis and real data. An exhaustive benchmark shows the performances of the LMA library compared to the most used alternatives of the state of the art. Moreover, the SLAM framework is used on different problems with an increasing difficulty and amount of constraints. Augmented Reality and autonomous navigation applications show the good performances and accuracies in multiple constraints context
22
Belhadji, Saïd. "Réseaux de contraintes temporels satisfaction de contraintes, ordonnancement des tâches." Paris 13, 1998. http://www.theses.fr/1998PA132025.
Full textAbstract:
Notre travail s'inscrit dans le cadre de la resolution de problemes d'ordonnancement de taches par des techniques de satisfaction de contraintes temporelles (tcsp) et discretes (csp binaires). Plus precisement, il concerne l'etude de deux problemes classiques d'ordonnancement de taches : le job shop et les problemes a fenetres de temps fixes (fsp). Aussi apres avoir evoque quelques modeles et techniques de resolution de ces problemes nous proposons une modelisation de contraintes disjonctives et la situons par rapport a d'autres modeles de la litterature (partie 1). Nous definissons dans la partie 2 une restriction des tcsp suffisamment expressive pour modeliser tout probleme d'ordonnancement d'ateliers et proposons un algorithme original de resolution du job shop. La partie 3 concerne l'etude du probleme d'ordonnancement de taches a fenetres de temps fixes (fsp). Nous le modelisons en un probleme de satisfaction de contraintes binaires (au sens csp classique). Sa resolution est faite par un algorithme qui hybride les techniques de csp avec la recherche de stables dans les graphes. Des experiences realisees sur des instances classiques de la litterature valident l'ensemble des algorithmes proposes.
23
Amari, Saïd. "Commande des graphes d'événements temporisés sous contraintes temporelles." Nantes, 2005. http://www.theses.fr/2005NANT2110.
Full textAbstract:
Nous considérons une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles strictes. Ces graphes sont déterministes, au sens où leur évolution ne dépend que du marquage initial et des commandes qui leur sont appliquées. Un tel graphe est modélisé par un système d'équations aux différences qui est linéaire dans l'algèbre Min-Plus, ou Max-Plus. Les contraintes temporelles à valider se traduisent, quant à elles par des inéquations qui sont également linéaires dans l'algèbre Min-Plus, ou Max-Plus. Nous proposons une méthode pour la synthèse de commandes garantissant le respect des contraintes temporelles. La commande est un retour d'état causal retardé , qu'on peut effectivement calculer dès lors que deux conditions suffisantes sont vérifiées. Les méthodes proposées sont illustrées sur l'exemple d'un atelier de production<br>We consider a class of controlled timed event graphs subject to strict temporal constraints. Such a graph is deterministic. Its behavior only depends on the initial marking and on the control inputs that are applied. This behavior can be represented by a system of difference equations that are linear in the Min-Plus, or Max-Plus algebra. The temporal constraints are represented by inequations, that are also linear in the Min-Plus, or Max-Plus algebra. We propose a method for the synthesis of a control law ensuring the validity of the constraints. This control law is a causal retarded state feedback. It can effectively be calculated if two sufficient conditions are satisfied. All the methods are illustrated on the example of manufacturing system
24
Praud, Sébastien. "Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques." Paris 11, 2002. http://www.theses.fr/2002PA112036.
Full textAbstract:
La première partie de ce travail consiste en l'étude de la logique temporelle linéaire du premier ordre avec temps fini (ltl_fin ). Nous montrons que le problème de la validité des formules de ltl_fin n'est pas semi décidable. La preuve est faite par réduction du problème du non arrêt des machines de turing au problème de la validité des formules de ltl_fin. Nous introduisons alors la notion de validité bornée, la k-validité, qui permet d'affirmer qu'une formule est vraie sur toutes les interprétations ayant un cadre temporel fini. Par la suite, nous présentons un système de preuve par tableaux pour ltl_fin. Notre système est correct pour la validité standard mais bien sur incomplet. Par contre, il correct et complet par rapport à la k-validité. Dans la deuxième partie, nous étudions le problème de vérifier statiquement, à la compilation, si l'exécution d'une mise à jour donnée m préserve une contrainte dintégrité dynamique donnée c, dans le contexte d'une base de données orientées objets. à cette fin, nous formalisons la base de données et les contraintes dynamiques en logique temporelle linéaire du premier ordre avec temps fini (ltl_fin ) et nous utilisons deux "transformateurs de prédicats" à la dijkstra, combinés avec le système de preuve par tableaux que nous avons défini dans la première partie<br>THE FIRST PART OF THIS WORK IS THE STUDY OF LINEAR TEMPORAL LOGIC OVER FINITE TINE FRAMES (LTL_fin ). WE SHOW THAT THE VALIDITY PROBLEM FOR SUCH A LOGIC IS NOT RECURSIVELY ENUMERABLE. THE PROOF IS A REDUCTION OF THE CO-HALTING PROBLEM OF TURING MACHINES TO THE VALIDITY PROBLEM OF LTL_fin FORMULAS. WE INTRODUCE THE NOTION OF BOUNDED VALIDITY, THE K-VALIDITY. A FORMULA IS DEFINED TO BE K-VALID IF IT IS TRUE IN ALL TEMPORAL MODELS WHOSE UNDERLYING TIME FRAME IS BOUNDED BY K. WE DEFINE A TABLEAU CALCULUS FOR LTL_fin. THIS CALCULUS IS SOUND WITH RESPECT TO STANDARD VALIDITY BUT EVIDENTLY NOT COMPLETE. HOWEVER, OUR SYSTEM IS SOUND AND COMPLETE WITH RESPECT TO BOUNDED VALIDITY. IN THE SECOND PART, WE ADDRESS THE PROBLEM OF STATICALLY PROVING, AT COMPILATION TIME, WHETHER THE EXECUTION OF A GIVEN UPDATE M IS SAFE WITH RESPECT TO A DYNAMICAL INTEGRITY CONSTRAINT IN THE FRAMEWORK OF OBJECT ORIENTED DATABASE SYSTEMS. TO DO SO, WE FORMALIZE THE DATABASE AND THE DYNAMICAL CONSTRAINTS IN FIRST ORDER LINEAR TEMPORAL LOGIC AND WE USE TWO PREDICATE TRANSFORMER "LA DIJKSTRA", COMBINED WITH THE TABLEAU CALCULUS WE DEFINED IN THE FIRST PART
25
Loukil, Zied. "Intégration des ressources en planification temporelle optimale." Artois, 2008. http://www.theses.fr/2008ARTO0402.
Full textAbstract:
Dans cette thèse, nous avons pour objectif d’intégrer la gestion des ressources consommables et renouvelables dans la planification temporelle en choisissant comme critère d’optimalité le temps d’exécution totale du plan trouvé. D’un point de vue pratique, nous cherchons à améliorer le planificateur CPT, qui ne gère pas les ressources dans sa version initiale. Nous tenons aussi à conserver les performances initiales de ce planificateur pour résoudre les problèmes de planification temporelle. Pour réaliser ce but nous avons établi un formalisme permettant d’exprimer les contraintes liées aux ressources dans le planificateur CPT. Ce formalisme est en relation étroite avec le formalisme utilisé par ce planificateur pour exprimer les contraintes temporelles. Nous avons proposé deux méthodes différentes pour la gestion des ressources dans le planificateur CPT. La première, basée sur les liens de ressources, exige des contraintes additionnelles pour les ressources qui doivent être respectées. Elle permet de résoudre des problèmes de planification temporelle avec ressources dans des délais très intéressants. La deuxième méthode est basée sur les actions de synchronisation. Elle est moins restrictive que la première méthode et les contraintes qu’elle exige sont moins sévères. Plusieurs règles de propagations des contraintes liées aux ressources ont été introduites avec cette méthode pour accélérer la recherche. Dans beaucoup de cas, cette méthode permet de calculer des plans valides optimaux d’une qualité meilleure que celle de la méthode basée sur les liens de ressources<br>In this thesis, we aim at introducing the management of consumable and renewable resources in temporal, parallel and domain-independent planning. As an application of our work, our purpose is to improve the temporal parallel planner named CPT which is not able to manage resources in its original version. In addition, we want to preserve all the original performances of this planner on temporal planning problems. We focus on the total duration of the plan as the optimization criterion. To express resource constrains, we develop a resource-based formalism in relation of the mutual-exclusion-based one introduced by Smith and Weld and used by the CPT planner to express temporal constraints. We propose two different methods to manage resources in the CPT planner: The first one, based on resource links, requires additional resource constraints which must be respected and can resolve temporal planning problems under resources within remarkable search delays. The second one is based on synchronization actions; it is less restrictive than the first method but it requires many additional propagation rules to speed up the search process. In many cases, the synchronization actions-based method finds temporal optimal parallel plans with better quality than the ones found by the resource links-based method
26
Rit, Jean-François. "Modélisation et propagation de contraintes temporelles pour la planification." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00326573.
Full textAbstract:
La définition et la résolution d'un problème d'occurrences contraintes sont abordées. Celui-ci est pose en considérant un graphe dont les nœuds sont des domaines d'occurrences possibles et les arcs des relations temporelles symboliques entre intervalles et disjonctives. Résoudre le problème c'est éliminer, en réduisant les domaines, les occurrences rendues impossibles par les contraintes relationnelles. Ceci peut être fait partiellement au moyen d'un algorithme de propagation de contraintes, dit de dérivation locale
27
Farhat-Gissler, Jocelyne. "Ordonnancement automatique d'applications présentant des contraintes de QoS temporelles /." Paris : École nationale supérieure des télécommunications, 1996. http://catalogue.bnf.fr/ark:/12148/cb35857495s.
Full text
28
Rit, Jean-François. "Modélisation et propagation de contraintes temporelles pour la planification." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37618009m.
Full text
29
Rit, Jean-François Latombe Jean-Claude Veillon Gérard. "Modélisation et propagation de contraintes temporelles pour la planification." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00326573.
Full text
30
Rizk, Aurélien. "Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques." Paris 7, 2011. http://www.theses.fr/2011PA077063.
Full textAbstract:
La logique temporelle est utilisée avec succès pour formaliser les propriétés de circuits électroniques, de logiciels, et plus récemment de systèmes biologiques. Décrire de manière formelle un modèle biologique mais aussi ses propriétés biologiques ouvre de grandes possibilités de conception d'outils automatisés aidant le modélisateur à concevoir et valider ses modèles. De plus les logiques temporelles procurent un niveau de description adapté aux données biologiques quantitatives incomplètes et imprécises. Cependant l'évaluation booléenne classique de formules de logique temporelle n'est pas adaptée à de nombreux problèmes comme la recherche de paramètres ou l'analyse quantitative de la robustesse. Nous montrons que la résolution de contraintes de logique temporelle permet la définition d'un degré de satisfaction continu de formules de logique temporelle adapté à ces problèmes. En particulier l'utilisation de ce degré de satisfaction continu comme fonction objectif ouvre la voie à l'utilisation de méthodes d'optimisation continues pour chercher de manière efficace des paramètres cinétiques satisfaisant des propriétés biologiques formalisées en logique temporelle. Ainsi après avoir étendu le model-checking en problème de résolution de contraintes de logique temporelles et permis la définition d'un degré de satisfaction continu de formules nous présentons les applications à la biologie des systèmes au travers de la recherche de paramètres, l'analyse de robustesse et l'analyse de sensibilité. Ces méthodes sont enfin évaluées sur plusieurs exemples biologiques<br>Temporal logics have proven useful as specification languages for describing the behavior of a broad variety of Systems ranging from electronic circuits to software programs, and more recently biological Systems. Finding mathematical models satisfying a specification built from the formalization of biological experiments is a common task of the modeler. We show that the formalization of biological temporal properties of Systems, as observed in experiments, in temporal logics specifications enable the transposition of programming concepts and tools, like model-checking, to the analysis of living processes at the cellular level. Also as temporal logics allow one to express both qualitative and quantitative information they are well suited to the increasingly quantitative, yet incomplete, uncertain and imprecise information now accumulated in the field of quantitative Systems biology. However the usual binary evaluation of temporal logic formulas is not adapted to several problems such as parameter search and quantitative robustness analysis. We show that temporal logic constraint solving enables the definition of a continuous degree of satisfaction of temporal logic formula and how it can be used as a fitness function for continuous optimization methods to provide an efficient parameter search procedure for biochemical reaction networks with respect to temporal specifications. Then we describe how we can use such a satisfaction measure for the robustness analysis and sensitivity analysis of biological models. Finally we apply these methods on several biological problems
31
Tolba, Hany. "Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes." Nancy 1, 1992. http://www.theses.fr/1992NAN10394.
Full textAbstract:
Nous avons choisi un nouveau modèle de représentation des informations temporelles fondé sur la logique réifiée (l'algèbre d'intervalles). Nous avons étendu cette algèbre pour qu'elle intègre aussi bien les informations numériques que les informations symboliques. Cette représentation se base sur un domaine discret du temps ainsi que sur la notion de multi-granularité pour représenter les différentes granularités du temps. Les différentes tâches de raisonnement à effectuer par un gestionnaire de graphes temporels (TMM), ainsi que la nature hétérogène des contraintes temporelles nous ont amené à implanter une nouvelle méthode de propagation de contraintes temporelles. Elle consiste à séparer la propagation de ces deux types de contraintes et à échanger leurs résultats via un module de communication. Notre choix s'est porté sur l'algorithme optimal GAC4 que nous avons étendu pour prendre en compte le raisonnement temporel. Cependant, GAC4 souffre d'inconvénients tels que la consommation importante d'espace mémoire pendant le processus d'énumération. Nous avons implanté l'algorithme ANGEL pour vérifier la cohérence d'arcs. C'est un algorithme dynamique capable de faire face à un monde évolutif. Grâce à son aspect fonctionnel, un compromis entre l'espace mémoire, la vitesse d'exécution et la complexité a été trouvé. Un outil de raisonnement, TemPro, a été construit à partir de ces principes. Nous avons aussi défini un langage afin de gérer et d'interroger le graphe temporel. TemPro fonctionne en tant que boîte noire et ce langage sert d'interface entre l'outil et un moteur d'inférences. TemPro peut être utilisé pour des applications telles que l'ordonnancement de tâches, l'allocation de ressources, etc.
32
Fromentin, Jonathan. "Modélisation hybride temporelle et analyse par contraintes des réseaux de régulation biologiques." Phd thesis, Ecole centrale de nantes - ECN, 2009. http://tel.archives-ouvertes.fr/tel-00443781.
Full textAbstract:
Les réseaux de régulation biologiques sont des systèmes complexes dans lesquels les entités biologiques interagissent entre elles, faisant ainsi émerger des comportements particuliers. Dans cette thèse, nous proposons une méthodologie générale afin de mieux comprendre les mécanismes en jeux dans ces réseaux de régulation et tout particulièrement dans ceux ayant un comportement oscillatoire. De façon générale, les différentes parties de cette méthodologie ont pour but, soit d'analyser des systèmes biologiques de plus en plus grands, soit de raffiner les analyses sur des modèles moins conséquents. Ces travaux utilisent les propriétés temporelles des modèles biologiques qui sont souvent abondantes mais encore relativement peu exploitées. Pour parvenir à intégrer les données temporelles, nous avons développé des modélisations hybrides qui combinent dans leurs comportements des aspects purement qualitatifs ainsi que des aspects continus (dans les notions temporelles quantitatives). La première partie de cette méthodologie générale consiste à utiliser une modélisation hybride nommée TEM (pour modélisation d'évolution temporelle) qui permet une pré-analyse du système biologique. L'avantage de cette modélisation est qu'elle utilise des paramètres qui sont très proches des données biologiques et qu'elle peut fournir des résultats d'intérêt à partir d'un nombre réduit d'hypothèses simples. Néanmoins, plus nous fournissons de données sur le modèle biologique dans l'approche TEM et plus les résultats obtenus sont précis. La seconde partie de notre méthodologie générale consiste à reprendre des modélisations existantes et couramment utilisées (la modélisation par équations différentielles par morceaux (PLDE) et la modélisation discrète de R. Thomas) et d'y ajouter de nouvelles méthodes conjointes. La première méthode permet d'obtenir l'ensemble des contraintes nécessaires et suffisantes pour le paramétrage d'un modèle d'après des spécifications. Ceci peut permettre de découvrir des caractéristiques communes à l'ensemble des paramétrages validant les spécifications du modèle mais également d'obtenir l'ensemble de ces paramétrages grâce à un solveur de contraintes. La seconde méthode permet de décomposer les dynamiques obtenues à partir du paramétrage d'un modèle. Cette méthode peut servir à mieux comprendre les dynamiques ainsi obtenues en sachant si un comportement correspond à un ensemble de sous-comportements et si oui lesquels. La méthode peut également servir à travailler sur un sous-ensemble de la dynamique en ne prenant en compte que les sous-comportements intéressants, par rapport à certaines préoccupations. Enfin, la dernière partie de cette thèse consiste en une modélisation nommée modélisation TDD (pour modélisation par décomposition des domaines temporels) et permettant de raffiner les analyses précédentes. Cette modélisation est basée sur la modélisation PLDE et la modélisation discrète de R. Thomas afin de profiter pleinement des méthodes que nous avons développées. En fait, cette modélisation, tout comme dans la première modélisation présentée dans cette thèse, est une modélisation hybride qui utilise également la notion de temps via des paramètres temporels.
33
Gascon, Régis. "Spécification et vérification de propriétés quantitatives sur des automates à contraintes." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2007. http://tel.archives-ouvertes.fr/tel-00441504.
Full textAbstract:
L'utilisation omniprésente des systèmes informatiques impose de s'assurer de leur bon fonctionnement. Dans ce but, les méthodes de vérification formelle permettent de suppléer les simulations qui ne peuvent être complètement exhaustives du fait de la complexité croissante des systèmes. Le model checking fait partie de ces méthodes et présente l'avantage d'être complètement automatisée. Cette méthode consiste à développer des algorithmes pour vérifier qu'une spécification exprimée la plupart du temps sous la forme d'une formule logique est satisfaite par un modèle du système. Les langages historiques de spécification utilisent comme formules atomiques des variables propositionnelles qui permettent d'exprimer principalement des propriétés portant sur les états de contrôle du modèle. Le but de cette thèse est de vérifier des propriétés plus riches portant sur diverses données manipulées par les modèles: des compteurs, des horloges ou des queues. Ces données peuvent prendre une infinité de valeurs et induisent donc des modèles avec un nombre infini d'états. Nous définissons un cadre général pour l'extension des logiques temporelles avec des contraintes permettant de comparer la valeur des variables a différents états de l'exécution. Nous établissons des résultats de décidabilité et complexité pour des problèmes de model checking impliquant diverses instances de ces extensions. Nous privilégions pour cela l'approche à base d'automates en combinant des constructions connues pour les logiques propositionnelles classiques avec des méthodes d'abstraction des modèles dont les variables sont interprétées dans des domaines infinis.
34
Belrhiti, Alaoui Mohammed. "Nouvelles Méthodes de Synthèse Logique et Application aux Réseaux Programmables." Phd thesis, Grenoble INPG, 1996. http://tel.archives-ouvertes.fr/tel-00346229.
Full textAbstract:
Cette thèse propose et analyse de nouvelles méthodes de synthèse logique. L'analyse concerne des outils de la "troisième génération" d'écriture de bases irrédondantes de fonctions booléennes, à savoir les minimiseurs dits symboliques. Cette génération de minimiseurs conduit à la solution optimale plus rapidement et avec moins d'espace mémoire que les heuristiques de la minimisation explicite. Elle permet également le calcul de la forme complémentée minimale sans être exposée à des problèmes d'explosion en complexité, ce qui permet d'aboutir à un choix efficace entre une fonction et son complément. Nous avons abordé ensuite les problèmes de granularité des expressions factorisées. Nous avons proposé une méthode originale de réinjection qui intègre d'une façon concurrente une phase de minimisation symbolique des expressions booléennes. Cette méthode a permis de "corriger" la granularité: d'une part, des expressions booléennes obtenues par la factorisation, d'autre part, des équations obtenues par une description de haut niveau de type VHDL. La méthode proposée peut être également appliquée en tant que minimiseur logique qui tient compte du partage de la logique entre les expressions booléennes, ce qui n'est pas possible avec un minimiseur logique local ou global. Les expériences pratiques et l'application sur les réseaux programmables de type CPLD sont concluantes. Enfin, nous avons proposé une méthode originale de l'exploration de l'espace des solutions des macro-générateurs de type additionneur. Cette méthode est fondée sur le filtrage des solutions générées et l'amélioration par dérivation d'une solution donnée. Cette approche peut être efficacement appliquée sur la macro-génération sous contraintes temporelles
35
Mouhoub, Malek. "Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel." Nancy 1, 1996. http://docnum.univ-lorraine.fr/public/SCD_T_1996_0320_MOUHOUB.pdf.
Full textAbstract:
Le but de ce travail est de fournir un modèle expressif de représentation des informations temporelles qualitatives et quantitatives indépendant de tout domaine d'application ainsi qu'un système de raisonnement capable de manipuler les informations représentées par ce modèle et fournir des résultats directement exploitables dans des délais de temps acceptables. Afin de répondre à ces besoins, nous avons défini un modèle qui généralise l'algèbre de Allen afin d'intégrer des informations métriques. L'objet temporel que nous manipulons est l'événement correspondant au couple (symbole [Phy], I) ou symbole [Phy] est une assertion logique atemporelle et I l'intervalle de temps durant lequel symbole [Phy] est vraie. Les informations symboliques sont traduites sous forme de disjonctions de relations de base définies par Allen permettant de situer deux événements temporels entre eux. Les informations numériques sont exprimées sous forme de domaines de variation attachés à chaque événement et permettant de situer ce dernier dans ou par rapport a un référentiel temporel. Le système de raisonnement que nous proposons, et permettant de résoudre des problèmes de contraintes temporelles symboliques et numériques représentés par notre modèle, est basé sur un algorithme de recherche de solutions avec retour arrière utilisant des algorithmes de consistance locale permettant de réduire la taille du problème à résoudre. Nous utilisons les algorithmes de consistance d'arcs sur les contraintes numériques et les algorithmes de consistance de chemins sur les contraintes symboliques. Afin d'améliorer les performances des algorithmes de consistance locale utilisés par notre algorithme général, nous avons introduit des heuristiques que nous avons définies en étudiant les propriétés des contraintes temporelles
36
Mostafa, Mahmoud. "Analyse de sécurité et QoS dans les réseaux à contraintes temporelles." Thesis, Toulouse, INPT, 2011. http://www.theses.fr/2011INPT0074/document.
Full textAbstract:
Dans le domaine des réseaux, deux précieux objectifs doivent être atteints, à savoir la QoS et la sécurité, plus particulièrement lorsqu’il s’agit des réseaux à caractère critique et à fortes contraintes temporelles. Malheureusement, un conflit existe : tandis que la QoS œuvre à réduire les temps de traitement, les mécanismes de sécurité quant à eux requièrent d’importants temps de traitement et causent, par conséquent, des délais et dégradent la QoS. Par ailleurs, les systèmes temps réel, la QoS et la sécurité ont très souvent été étudiés séparément, par des communautés différentes. Dans le contexte des réseaux avioniques de données, de nombreux domaines et applications, de criticités différentes, échangent mutuellement des informations, souvent à travers des passerelles. Il apparaît clairement que ces informations présentent différents niveaux de sensibilité en termes de sécurité et de QoS. Tenant compte de cela, le but de cette thèse est d’accroître la robustesse des futures générations de réseaux avioniques de données en contrant les menaces de sécurité et évitant les ruptures de trafic de données. A cet effet, nous avons réalisé un état de l’art des mécanismes de sécurité, de la QoS et des applications à contraintes temporelles. Nous avons, ensuite étudié la nouvelle génération des réseaux avioniques de données. Chose qui nous a permis de déterminer correctement les différentes menaces de sécurité. Sur la base de cette étude, nous avons identifié à la fois les exigences de sécurité et de QoS de cette nouvelle génération de réseaux avioniques. Afin de les satisfaire, nous avons proposé une architecture de passerelle de sécurité tenant compte de la QoS pour protéger ces réseaux avioniques et assurer une haute disponibilité en faveur des données critiques. Pour assurer l’intégration des différentes composantes de la passerelle, nous avons développé une table de session intégrée permettant de stocker toutes les informations nécessaires relatives aux sessions et d’accélérer les traitements appliqués aux paquets (filtrage à états, les traductions d’adresses NAT, la classification QoS et le routage). Cela a donc nécessité, en premier lieu, l'étude de la structure existante de la table de session puis, en second lieu, la proposition d'une toute nouvelle structure répondant à nos objectifs. Aussi, avons-nous présenté un algorithme permettant l’accès et l’exploitation de la nouvelle table de session intégrée. En ce qui concerne le composant VPN IPSec, nous avons détecté que le trafic chiffré par le protocole ESP d’IPSec ne peut pas être classé correctement par les routeurs de bordure. Afin de surmonter ce problème, nous avons développé un protocole, Q-ESP, permettant la classification des trafics chiffrés et offrant les services de sécurité fournis par les protocoles AH et ESP combinés. Plusieurs techniques de gestion de bande passante ont été développées en vue d’optimiser la gestion du trafic réseau. Pour évaluer les performances offertes par ces techniques et identifier laquelle serait la plus appropriée dans notre cas, nous avons effectué une comparaison basée sur le critère du délai, par le biais de tests expérimentaux. En dernière étape, nous avons évalué et comparé les performances de la passerelle de sécurité que nous proposons par rapport à trois produits commerciaux offrant les fonctions de passerelle de sécurité logicielle en vue de déterminer les points forts et faibles de notre implémentation pour la développer ultérieurement. Le manuscrit s’organise en deux parties : la première est rédigée en français et représente un résumé détaillé de la deuxième partie qui est, quant à elle, rédigée en anglais<br>QoS and security are two precious objectives for network systems to attain, especially for critical networks with temporal constraints. Unfortunately, they often conflict; while QoS tries to minimize the processing delay, strong security protection requires more processing time and causes traffic delay and QoS degradation. Moreover, real-time systems, QoS and security have often been studied separately and by different communities. In the context of the avionic data network various domains and heterogeneous applications with different levels of criticality cooperate for the mutual exchange of information, often through gateways. It is clear that this information has different levels of sensitivity in terms of security and QoS constraints. Given this context, the major goal of this thesis is then to increase the robustness of the next generation e-enabled avionic data network with respect to security threats and ruptures in traffic characteristics. From this perspective, we surveyed the literature to establish state of the art network security, QoS and applications with time constraints. Then, we studied the next generation e-enabled avionic data network. This allowed us to draw a map of the field, and to understand security threats. Based on this study we identified both security and QoS requirements of the next generation e-enabled avionic data network. In order to satisfy these requirements we proposed the architecture of QoS capable integrated security gateway to protect the next generation e-enabled avionic data network and ensure the availability of critical traffic. To provide for a true integration between the different gateway components we built an integrated session table to store all the needed session information and to speed up the packet processing (firewall stateful inspection, NAT mapping, QoS classification and routing). This necessitates the study of the existing session table structure and the proposition of a new structure to fulfill our objective. Also, we present the necessary processing algorithms to access the new integrated session table. In IPSec VPN component we identified the problem that IPSec ESP encrypted traffic cannot be classified appropriately by QoS edge routers. To overcome this problem, we developed a Q-ESP protocol which allows the classifications of encrypted traffic and combines the security services provided by IPSec ESP and AH. To manage the network traffic wisely, a variety of bandwidth management techniques have been developed. To assess their performance and identify which bandwidth management technique is the most suitable given our context we performed a delay-based comparison using experimental tests. In the final stage, we benchmarked our implemented security gateway against three commercially available software gateways. The goal of this benchmark test is to evaluate performance and identify problems for future research work. This dissertation is divided into two parts: in French and in English respectively. Both parts follow the same structure where the first is an extended summary of the second
37
Belfkih, Abderrahmen. "Contraintes temporelles dans les bases de données de capteurs sans fil." Thesis, Le Havre, 2016. http://www.theses.fr/2016LEHA0014/document.
Full textAbstract:
Dans ce travail, nous nous focalisons sur l’ajout de contraintes temporelles dans les Bases de Données de Capteurs Sans Fil (BDCSF). La cohérence temporelle d’une BDCSF doit être assurée en respectant les contraintes temporelles des transactions et la validité temporelle des données, pour que les données prélevées par les capteurs reflètent fidèlement l’état réel de l’environnement. Cependant, les retards de transmission et/ou de réception pendant la collecte des données peuvent conduire au non-respect de la validité temporelle des données. Une solution de type bases de données s'avère la plus adéquate. Il faudrait pour cela faire coïncider les aspects BD traditionnelles avec les capteurs et leur environnement. À cette fin, les capteurs déployés au sein d'un réseau sans fils sont considérés comme une table d'une base de données distribuée, à laquelle sont appliquées des transactions (interrogations, mises à jour, etc.). Les transactions sur une BD de capteurs nécessitent des modifications pour prendre en compte l'aspect continu des données et l'aspect temps réel. Les travaux réalisés dans cette thèse portent principalement sur trois contributions : (i) une étude comparative des propriétés temporelles entre une collecte périodique des données avec une base de données classique et une approche de traitement des requêtes avec une BDCSF, (ii) la proposition d’un modèle de traitement des requêtes temps réel, (iii) la mise en œuvre d’une BDCSF temps réel, basée sur les techniques décrites dans la deuxième contribution<br>In this thesis, we are interested in adding real-time constraints in the Wireless Sensor Networks Database (WSNDB). Temporal consistency in WSNDB must be ensured by respecting the transaction deadlines and data temporal validity, so that sensor data reflect the current state of the environment. However, delays of transmission and/or reception in a data collection process can lead to not respect the data temporal validity. A database solution is most appropriate, which should coincide with the traditional database aspects with sensors and their environment. For this purpose, the sensor in WSN is considered as a table in a distributed database, which applied transactions (queries, updates, etc.). Transactions in a WSNDB require modifications to take into account of the continuous datastream and real-time aspects. Our contribution in this thesis focus on three parts: (i) a comparative study of temporal properties between a periodic data collection based on a remote database and query processing approach with WSNDB, (ii) the proposition of a real-time query processing model, (iii) the implementation of a real time WSNDB, based on the techniques described in the second contribution
38
Monot, Aurélien. "Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar." Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00767128.
Full textAbstract:
Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérifica- tion des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous dé- crivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibili- tés d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous pré- sentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents para- mètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentale- ment les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches.
39
Mercier, Alain. "L'élève et les contraintes temporelles de l'enseignement, un cas en calcul algébrique." Phd thesis, Université Sciences et Technologies - Bordeaux I, 1992. http://tel.archives-ouvertes.fr/tel-00278299.
Full textAbstract:
La thèse montre que les contraintes temporelles du fonctionnement didactique induisent des apprentissages invisibles à l'enseignant. Ces apprentissages n'assurent pas la progression didactique, mais ils jouent un rôle important dans la réussite des élèves. <br />Leur existence est établie par l'observation d'épisodes didactiques au moyen de techniques d'approche biographique originales. La méthode est appliquée à l'observation des difficultés des élèves avec le calcul algébrique au Lycée, et à leur explication.
40
Ballabriga, Clément. "Vérification de contraintes temporelles strictes sur des programmes par composition d'analyses partielles." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1001/.
Full textAbstract:
Les systèmes temps-réel critiques doivent impérativement obéir à des contraintes temporelles strictes. Le respect de ces contraintes doit donc être prouvé, et le calcul de pire temps d'exécution (WCET ou Worst Case Execution Time) joue un rôle important dans cette preuve. Le calcul de WCET par analyse statique est généralement réalisé sur un programme entier. Ceci présente deux inconvénients : la plupart de ces méthodes de calcul voient leur temps d'exécution augmenter de manière non linéaire par rapport à la taille de la tâche à analyser, et un problème se pose lorsque cette tâche est constituée de plusieurs composants (dont certains ne sont pas disponibles au moment de l'analyse). Il est donc nécessaire d'introduire une approche d'analyse partielle, permettant d'analyser séparément les composants d'un programme, produisant un résultat de WCET partiel pour chaque composant. Ces résultats partiels peuvent ensuite être composés pour obtenir le WCET du programme. Le calcul de WCET comporte plusieurs analyses dont les résultats sont exprimés sous forme d'un système ILP, qui doit ensuite être résolu pour obtenir le WCET. Chaque analyse doit être adaptée pour faire de l'analyse partielle. Cette adaptation sera illustrée à l'aide de diverses analyses existantes, et une formulation générale pour l'analyse partielle sera donnée. Il sera ensuite montré qu'il est possible d'utiliser l'analyse partielle afin d'accélérer la résolution ILP. L'expérimentation montre que l'analyse partielle permet de réduire le temps de calcul et de traiter le cas des programmes avec composants, sans rajouter trop de pessimisme<br>Hard real-time systems are subject to real-time constraints. It is necessary to prove that no constraint violation can occur, and the WCET (Worst Cast Execution Time) computation plays an important role in this proof. The WCET computation by static analysis is traditionally performed on a complete program. This approach has two drawbacks: most computation methods run in non linear time with respect to the size of the analysed program, and problems arise when this program is made up of multiple components (some components may be unavailable at analysis time). Therefore, it is necessary to introduce a partial analysis method, in order to process separately each program component, producing partial WCET results for each component. The partial results can then be composed to get the WCET of the whole program. The WCET computation by IPET (Implicit Path Enumeration Technique) involves several analyses, each one contributes to an ILP system, and this system is solved to get the WCET. To perform partial analysis, each analysis involved in WCET computation must be adapted. We illustrate this process by taking the example of several existing analyses, then a more general framework for partial analysis is described. Next, we show that it is possible to take advantage of partial analysis to speed up ILP solving. Our experimentations show that the partial analysis leads to faster WCET computation time and allows handling programs made up of components, without adding too much overestimation
41
MEVEL, Olivier. "Du role des signaux faibles sur la reconfiguration des processus de la chaîne d e valeur de l'organisation : l'exemple d'une centrale d'achats de la grande distribution française." Phd thesis, Université de Bretagne occidentale - Brest, 2004. http://tel.archives-ouvertes.fr/tel-00009025.
Full textAbstract:
La thèse s'inscrit dans une thématique générale reliée aux difficultés éprouvées par les organisations pour décrypter, comprendre et analyser les variations de leur environnement depuis l'explosion des échanges et la mondialisation des marchés. Nous débutons nos travaux par une double constatation, généralement admise par la littérature en sciences de gestion, à savoir que l'information est devenue en quelques années la matière première et le carburant essentiel de la chaîne de valeur de l'entreprise tandis que la maîtrise des informations émanant de l'environnement émerge, de plus en plus, comme un enjeu stratégique majeur pour l'organisation. Nos travaux se proposent de démontrer que, dans un contexte sans cesse plus turbulent, le processus décisionnel en entreprise doit savoir tenir compte des « signaux faibles » que délivre l'environnement. En effet, parmi l'ensemble des signaux reçus par l'organisation, la thèse distingue entre les « signaux forts » et les « signaux faibles » et montre leurs impacts différenciés sur la stratégie de l'entreprise ainsi que leurs conséquences, en termes organisationnels, sur la reconfiguration des processus au sein de la chaîne de valeur. L'objectif spécifique de la thèse est donc de chercher à reconnaître quelles sont les informations pertinentes que l'entreprise doit absolument traiter. Pour ce faire, nous examinons la façon dont certains signaux informationnels dit « signaux faibles » pénètrent et diffusent des connaissances nouvelles au sein de l'organisation. Dans un second temps, nous envisageons la manière dont ces connaissances peuvent impacter et moduler le format des processus de la chaîne de valeur. Dans un objectif plus global, notre thèse vise à poser les fonts baptismaux d'un management du processus décisionnel fondé sur l'observation, l'analyse et la compréhension des signaux faibles émis par le marché. En ce sens, nous postulons implicitement que le volume et la valeur des informations pertinentes dont peut disposer l'entreprise dépendent essentiellement de la capacité du management à piloter et à ajuster un double processus d'exploration et d'exploitation des informations délivrées par le signal faible. Les tentatives d'apprentissages, tant individuel que collectif, menées autour de la maîtrise du processus de gestion des signaux faibles se révèlent alors comme un enjeu majeur pour l'organisation confrontée à un environnement instable et difficilement probabilisable. Autrement dit, les signaux faibles sont de puissants vecteurs informationnels centripètes et des contributeurs indispensables à la formalisation et à l'exploitation des connaissances au sein de la chaîne de valeur. Les signaux faibles peuvent donc être considérés comme des informations d'essence anticipatoire qui sont, le moment venu, à l'origine de la reconfiguration des processus. La thèse insiste sur l'importance que doit prendre la gestion anticipative au sein des organisations. En effet, nous avons montré que la question de la gestion anticipative est directement reliée aux surprises que recèlent l'environnement de la firme. Le signal faible devient donc la clé informationnelle qui, à partir d'un évènement ou d'un état spécifique de l'environnement, permet de comprendre et d'anticiper le sens des perturbations à venir. La gestion anticipative de l'organisation se fonde alors prioritairement sur des informations pertinentes que l'organisation n'obtient qu'après avoir collecté, traité et analysé les signaux faibles décelés dans son environnement. Au-delà d'une simple vision statique de la recherche d'informations stratégiques, nous avons souhaité insister sur une vision dynamique de la valorisation des signaux faibles au sein de l'organisation. Dans un environnement mouvant, l'information « contextualisée » oxygène et fait respirer l'entreprise. L'exploitation des signaux faibles va, en outre, permettre de régler la fréquence respiratoire de l'organisation afin d'adapter les ressources et compétences de cette dernière aux différentes menaces ou opportunités spécifiques qui peuvent surgir dans son environnement. Au même titre ou sinon plus que le capital et le travail, l'information est devenue un facteur de production à part entière. En effet, issu d'un état instable de l'environnement, le signal faible est une information parcellaire qui présente la caractéristique de pouvoir potentiellement délivrer une charge informationnelle susceptible de venir renforcer la cognition et la cohérence de l'organisation. Dans l'avenir, nous espérons voir des travaux ultérieurs poursuivre dans cette voie de recherche afin de, peut être, mieux mesurer la réceptivité des entreprises au concept de gestion anticipative à partir des signaux faibles de l'environnement.
42
Guillame-Bert, Mathieu. "Apprentissage de règles associatives temporelles pour les séquences temporelles de symboles." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENM081/document.
Full textAbstract:
L'apprentissage de modèles temporels constitue l'une des grandes problématiques de l'Exploration de Données (Data Mining). Dans cette thèse, nous avons développé un nouveau modèle temporel appelé TITA Rules (Règle associative temporelle basé sur des arbres d'intervalles). Ce modèle permet de décrire des phénomènes ayant un certain degré d'incertitude et/ou d'imprécision. Ce modèle permet entre autres d'exprimer la synchronicité entre évènements, les contraintes temporelles disjonctives et la négation temporelle. De par leur nature, les TITA Rules peuvent êtes utilisées pour effectuer des prédictions avec une grande précision temporel. Nous avons aussi développé un algorithme capable de découvrir et d'extraire de manière efficace des TITA Rules dans de grandes bases de données temporelles. Le cœur de l'algorithme est basé sur des techniques de minimisation d'entropie, de filtrage par Apriori et par des analyses de co-dépendance. Note modèle temporelle et notre algorithme ont été appliqués et évalués sur plusieurs jeux de données issues de phénomènes réels et de phénomènes simulés. La seconde partie de cette thèse à consisté à étudier l'utilisation de notre modèle temporel sur la problématique de la Planification Automatique. Ces travaux ont mené au développement d'un algorithme de planification automatique. L'algorithme prend en entrée un ensemble de TITA Rules décrivant le fonctionnement d'un système quelconque, une description de l'état initial du système, et un but à atteindre. En retour, l'algorithme calcule un plan décrivant la meilleure façon d'atteindre le but donné. Par la nature même des TITA Rules, cet algorithme est capable de gérer l'incertain (probabilités), l'imprécision temporelle, les contraintes temporelles disjonctives, ainsi que les événements exogènes prédictibles mais imprécis<br>The learning of temporal patterns is a major challenge of Data mining. We introduce a temporal pattern model called Temporal Interval Tree Association Rules (Tita rules or Titar). This pattern model can be used to express both uncertainty and temporal inaccuracy of temporal events. Among other things, Tita rules can express the usual time point operators, synchronicity, order, and chaining,disjunctive time constraints, as well as temporal negation. Tita rules are designed to allow predictions with optimum temporal precision. Using this representation, we present the Titar learner algorithm that can be used to extract Tita rules from large datasets expressed as Symbolic Time Sequences. This algorithm based on entropy minimization, apriori pruning and statistical dependence analysis. We evaluate our technique on simulated and real world datasets. The problem of temporal planning with Tita rules is studied. We use Tita rules as world description models for a Planning and Scheduling task. We present an efficient temporal planning algorithm able to deal with uncertainty, temporal inaccuracy, discontinuous (or disjunctive) time constraints and predictable but imprecisely time located exogenous events. We evaluate our technique by joining a learning algorithm and our planning algorithm into a simple reactive cognitive architecture that we apply to control a robot in a virtual world
43
Badache, Nesrine. "Allocation temporelle de systèmes avioniques modulaires embarqués." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/15991/1/badache_.pdf.
Full textAbstract:
L'évolution des architectures des systèmes embarqués temps réel vers des architectures modulaires a permis d'introduire plus de fonctionnalités grâce à l'utilisation de calculateurs répartis et d'interfaces de communication et de service standardisés. Nous nous intéressons dans cette thèse à l'architecture avionique modulaire (IMA) des standards ARINC 653 et ARINC 664 partie 7. Cette évolution a introduit de nouveaux défis de conception relatifs, entre autres, au respect des contraintes temporelles applicatives nécessaires au bon fonctionnement du système. La conception d'un système modulaire est un problème d'intégration sous contraintes, qui regroupe plusieurs problèmes difficiles (dimensionnement, allocation de ressource spaciale et temporelle). Ces difficulutés requierent la mise en place d'outils d'aide à l'intégration qui passent à l'échelle. C'est dans ce cadre-là que ces travaux de thèse ont été menés. Nous nous intéressons principalement à l'allocation des ressources temporelles du système. Plus particulièrement, nous déterminons les périodes d'exécution des fonctions embarquées distribuées qui garantissent les contraintes temporelles applicatives et qui offrent un degré d'évolutivité du système élevé, étant donné une répartition des fonctions sur les calculateurs. Notre démarche prend en compte la variabilité temporelle (bornée) du réseau de communication. La première contribution de cette thèse est la formulation du problème d'intégration d'un système modulaire IMA en un problème d'optimisation multicritère à contraintes temporelles. Pour une distribution des fonctions avioniques aux calculateurs, la périodicité des partitions IMA est recherchée de façon à garantir la fraîcheur et la non-perte des données transmises. Parmi toutes les allocations temporelles vérifiant les contraintes temporelles, nous réalisons une recherche multi-critères qui optimise à la fois un critère de charge des calculateurs et de marge temporelle dans le réseau. Ces deux critères facilitent les évolutions futures de l’architecture. La seconde contribution de cette thèse est la proposition de deux heuristiques de recherche multicritère adaptées à notre problème. Il faut noter que le nombre d'allocations temporelles valides grandit exponentiellement avec le nombre de modules et de partitions hébergées par module. Nous proposons deux algorithmes d'optimisation multicritères : (i) EXHAUST, un algorithme optimal de recherche exhaustive, (ii) TABOU un algorithme semi-optimal basé sur une métaheuristique Tabou. Pour les deux algorithmes, la cardinalité du problème est réduite par une phase d'optimisation locale à chaque module, rendue possible par la linéarité des deux métriques choisies. Cette première étape d'optimisation locale permet de résoudre à l'optimal le problème d'allocation avec EXHAUST pour un système IMA de taille moyenne. Nous montrons que pour des systèmes de grande taille, l'algorithme TABOU est un très bon candidat car il extrait des solutions satisfaisantes en un temps raisonnable, tout en testant un nombre limité d'allocations valides. Ces deux heuristiques sont appliquées à un système IMA. L'analyse des solutions obtenues nous permet de mettre en exergue la qualité des solutions Pareto-optimales obtenues par les deux algorithmes. Elles présentent les caractéristiques recherchées d'évolutivité de la charge des calculateurs et de la marge réseau. Notre dernière contribution réside dans une analyse fine de ces solutions. L'analyse met en avant différentes classes de solutions Pareto-optimales avec différent compromis entre la charge et la marge réseau. La connaissance de ces classes de solutions permet à l'intégrateur de choisir une solution lui fournissant le compromis qu'il recherche entre les critères de charge et de marge réseau.
44
Saade, Mahmoud. "Etude du raisonnement temporel basé sur la résolution de contraintes." Artois, 2008. http://www.theses.fr/2008ARTO0409.
Full textAbstract:
La représentation et le raisonnement sur les informations spatiales et temporelles est une importante tâche dans de nombreuses applications de l'Intelligence Artificielle. Ces vingt dernières années de nombreux formalismes ont été proposés pour la représentation et le raisonnement sur le temps et l'espace à base de contraintes qualitatives. Dans cette thèse, nous introduisons et étudions une définition générale de tels formalismes en considérant des relations de base d'arité quelconque. Nous réalisons également une étude générale des algorithmes et des heuristiques proposés dans ce domaine. Nous introduisons deux nouvelles notions : la notion de contraintes éligibles et celle de contraintes gelées. Nous proposons de nouveaux algorithmes afin de les traiter. Nous comparons empiriquement ces algorithmes avec les algorithmes existants. Nous décrivons également notre solveur appelé QAT (pour Qualitative Algebra Toolkit). Ce solveur est un solveur générique permettant de traiter des formalismes qualitatifs de n'importe quelle arité. Il intègre des modules spécifiques concernant les notions proposées dans cette thèse<br>Representing and reasoning about temporal and spatial information is a very important task in many applications of artificial intelligence. In the past two decades, several formalisms have been proposed for representing and reasoning about time and space by using qualitative constraint. In this thesis, we introduce and study a general definition of such formalisms considering qualitative formalisms based on basic relations of arbitrary arity. We also study the algorithms and heuristics proposed in the domain. We introduce two new notions the eligible constraints and the frozen constraints. We propose some new algorithms taking advantage of them. We compare in an empirical way our new algorithms to the previous ones. We describe our solver called QAT (for Qualitative Algebra Toolkit) which is a JAVA constraint programming library allowing to handle qualitative formalisms and constraint networks based on them. This solver is generic and it handles qualitative formalisms of any arity. We have implemented and integrated in QAT a number of specific modules about the notions proposed in this thesis
45
M'Halla, Anis. "Contribution à la gestion des perturbations dans les systèmes manufacturiers à contraintes de temps." Phd thesis, Ecole Centrale de Lille, 2010. http://tel.archives-ouvertes.fr/tel-00612819.
Full textAbstract:
Les travaux proposés dans cette thèse s'intéressent à la commande et la surveillance d'une classe particulière de systèmes de production : les systèmes manufacturiers à contraintes de temps de séjour. Nous supposons dans l'étude que les ressources ont déjà été affectées et que l'ordre des opérations est déjà fixé par le module de planification/ordonnancement. Les hypothèses de fonctionnement répétitif avec et sans postes d'assemblage sont adoptées. De manière assez classique pour ce type de problématique, le formalisme utilisé est celui des Réseaux de Petri P-temporels pour l'étude des instants de débuts et de fins des opérations.Une étude de la robustesse des ateliers manufacturiers à contraintes de temps a été développée. La robustesse est abordée avec et sans modification de la commande relative à la robustesse active et à la robustesse passive respectivement, face aux perturbations temporelles. Un algorithme de calcul d'une borne supérieure de la robustesse passive est présenté. De plus, trois stratégies de commande robuste face aux perturbations temporelles ont été développées.Par ailleurs, l'incertitude dans les systèmes de production manufacturière à été étudié. Notre contribution dans ce cadre porte sur l'intégration des résultats concernant la robustesse dans la génération de symptômes et la classification des comptes rendus associés aux différentes opérations en utilisant la logique floue.Partant d'un système commandé, nous avons présenté en détail une démarche à suivre pour la mise en œuvre d'un modèle de surveillance en se basant sur les chroniques et les arbres de défaillance flous. Cette démarche est appliquée à un atelier de production laitière
46
Bacon-Macé, Nadège. "Contraintes temporelles des traitements visuels dans une tâche de catégorisation de scènes naturelles." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00102319.
Full textAbstract:
L'ensemble des résultats de cette thèse a été obtenu grâce à une tâche de catégorisation dans<br />laquelle les sujets devaient effectuer une réponse motrice rapide sur la base d'informations<br />visuelles incomplètes. L'utilisation d'un protocole de masquage a permis de visualiser au cours<br />du temps le décours des traitements impliqués dans la reconnaissance d'objets. Les résultats<br />obtenus confirment non seulement que les traitements visuels sont extrêmement robustes et<br />rapides (Chapitre 2), mais aussi que les informations accumulées dans le système sensoriel<br />peuvent être transformées en signal décisionnel pour guider la réponse du sujet de manière<br />efficace, en fonction du type d'effecteur utilisé (manuel ou oculaire - Chapitre 3) et du niveau de<br />représentation requis dans la tâche (détection, catégorisation, identification - Chapitre 4). 40 à 50<br />millisecondes de SOA semblent être suffisantes pour extraire la majorité de l'information<br />pertinente dans la tâche de catégorisation animal/non-animal, un délai qui est encore plus court<br />lorsqu'il s'agit de catégoriser des visages. Cette latence est tout à fait compatible avec l'idée que<br />la reconnaissance d'objet s'appuie d'abord sur un transfert rapide, feed-forward et massivement<br />parallèle des premières informations tout au long du parcours cortical visuel.
47
Chambon, Emmanuel. "Commande de systèmes linéaires sous contraintes fréquentielles et temporelles : Application au lanceur flexible." Thesis, Toulouse, ISAE, 2016. http://www.theses.fr/2016ESAE0031/document.
Full textAbstract:
Dans la plupart des problèmes de synthèse, la loi de commande obtenue doit répondre simultanément à des critères réquentiels et temporels en vue de satisfaire un cahier des charges précis. Les derniers développements des techniques de synthèse Hinf de contrôleurs structurés permettent d'obtenir des lois de commande satisfaisant des critères fréquentiels multiples. En revanche, la synthèse de loi de commande satisfaisant une contrainte temporelle sur une sortie ou un état du système est plus complexe. Dans ce travail de thèse, la technique OIST est considérée pour ce type de contraintes. Elle consiste à saturer la sortie du contrôleur dès que la contrainte n'est plus vérifiée afin de restreindre l'ensemble des sorties admissibles. Initialement formulée pour les systèmes linéaires connus dont l'état est mesuré, la technique OIST peut être généralisée pour permettre de considérer des systèmes incertains. C'est l'extension OISTeR qui est proposée dans ce travail. Elle utilise les données d'un observateur par intervalles pour borner de manière garantie le vecteur d'état. La théorie des observateurs par intervalles a récemment fait l'objet de nombreux travaux. La méthode la plus rapide pour obtenir un observateur par intervalles d'un système donné est de considérer un système intermédiaire coopératif dans de nouvelles coordonnées. Une nouvelle technique de détermination de ces nouvelles coordonnées, intitulée SCorplO, est proposée dans ce mémoire. L'ensemble des techniques présentées est appliqué au contrôle d'un lanceur flexible durant son vol atmosphérique, en présence de rafales de vent et sous contrainte temporelle sur l'angle d'incidence<br>Ln control design problems, both frequency- and time-domain requirements are usually considered such that the resulting control law satisfies the specifications. Novel non-smooth optimization techniques can be used to achieve multiple frequency-domain specifications over a family of linear models. However, enforcing time-domain constraints on a given output or state is more challenging Since translating them into frequency-domain requirements may be inaccurate. This motivates the study of an additional approach to the Hinf control design techniques. When time-domain constraints are satisfied, the nominal control law reduces to a controller satisfying the frequency-domain constraints. Upon violation of the ime-domain constraint, an additional tool named OIST is used to saturate the controller output so as to restrict the reachable set of the constrained system output. Stability guarantees are obtained for minimum phase systems. Further developments proposed therein allow the consideration of uncertain systems With incomplete state measurements. This is he OISTeR approach. The method uses certified bounds on the considered system state as provided by an interval observer. he theory of interval observers is well-established. ln the case of linear systems, the most common approach is to consider an intermediate cooperative system on which the interval observer can be built. The novel SCorplO design method proposed in this work is used to compute such cooperative representation. ln this thesis, the considered application is the atmospheric control of a flexible launch vehicle under a time-domain constraint on the angle of attack and in the presence of wind gusts
48
Salomé, Jean-Christophe. "Gestion des contraintes temporelles pour le contrôle d'exécution d'un plan d'actions en robotique." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0017.
Full textAbstract:
Analyse des problèmes rencontrés en génération de places. Construction d'un générateur de places. Représentation des connaissances pour des phénomènes réels. Stratégie pour un montage-démontage de pièces. Contrôle d'exécution. Problèmes de l'évitement d'obstacles.
49
Al-Ghadi, Musab Qassem. "Approches de tatouage pour l'authentification de l'image dans des applications à contraintes temporelles." Thesis, Brest, 2018. http://www.theses.fr/2018BRES0029/document.
Full textAbstract:
Dans de nombreuses applications dont celles du domaine médical et de l’embarqué, l’authentification des images nécessite de prendre en compte les contraintes temporelles, le taux d’insertion, la qualité visuelle et la robustesse contre différentes attaques. Le tatouage a été proposé comme approche complémentaire à la cryptographie pour l’amélioration de la sécurité des images. Il peut être effectué soit dans le domaine spatial sur les pixels de l’image, soit dans le domaine fréquentiel sur les coefficients de sa transformée. Dans cette thèse, le but est de proposer des approches de tatouage permettant d’assurer un niveau élevé d’imperceptibilité et de robustesse, tout en maintenant un niveau de complexité répondant aux exigences d’applications soumises à des contraintes temporelles. La démarche adoptée a consisté, d’une part, à s’appuyer sur les bénéfices du zéro-tatouage (zero-watermarking) qui ne change pas la qualité perceptuelle de l’image et qui a une faible complexité computationnelle, et d’autre part, à analyser les caractéristiques visuelles de l’image afin de détecter les zones les plus adaptées pour insérer la marque avec un bon niveau d’imperceptibilité et une bonne robustesse. Une approche de zéro-tatouage a ainsi été proposée dans cette thèse, ainsi que plusieurs approches de tatouage basées sur l’analyse de caractéristiques visuelles de l’image et sur des techniques d’intelligence artificielles ou connexes.Les solutions proposées ont été analysées du point de vue de l’imperceptibilité, de la robustesse et de la performance temporelle et les résultats d’analyses ont montré qu’elles apportent des améliorations significatives par rapport aux approches existantes<br>In numerous applications such as those of medical and embedded domains, images authentication requires taking into account time constraints, embedding rate, perceptual quality and robustness against various attacks. Watermarking has been proposed as a complementary approach to cryptography, for improving the security of digital images. Watermarking can be applied either in the spatial domain on the pixels of the image, or in the frequency domain on the coefficient of its transform.In this thesis, the goal is to propose image watermarking approaches that make it possible to ensure high level of imperceptibility and robustness while maintaining a level of computational complexity fitting the requirements of time-constrained applications. The method adopted in this thesis has consisted, on the one hand, to rely on the benefit of zero-watermarking that does not degrade the perceptual quality of image data and has low computational complexity, and on the other hand, to analyze visual characteristics of digital image (characteristics that are correlated to the Human Visual System - HVS) in order to identify the locations the most adapted for embedding the watermark with good level of imperceptibility and robustness. A zero-watermarking has therefore been proposed in this thesis, as well as several watermarking approaches based on the analysis of visual characteristics of image and on artificial intelligence or related techniques. The proposed solutions have been analyzed with respect to imperceptibility, robustness and temporal performance and the results have shown significant improvements in comparison to existing approaches
50
Macé, Nadège. "Contraintes temporelles des traitements visuels dans une tâche de catégorisation de scènes naturelles." Toulouse 3, 2006. http://www.theses.fr/2006TOU30063.
Full textAbstract:
L'ensemble des résultats de cette thèse ont été obtenus grâce à une tâche de catégorisation dans laquelle les sujets devaient effectuer une réponse motrice rapide sur la base d'informations visuelles incomplètes, limitées par un protocole de masquage. Les résultats obtenus confirment non seulement que les traitements visuels sont extrêmement robustes et rapides (Chapitre 2), mais aussi que les informations accumulées dans le système sensoriel peuvent être interprétées en signal décisionnel pour guider la réponse du sujet de manière efficace, en fonction du type d'effecteur utilisé (manuel ou oculaire - Chapitre 3) et du niveau de représentation requis dans la tâche (détection, catégorisation, identification - Chapitre 4). Les latence courtes enregistrées sont tout à fait compatibles avec l'idée que la reconnaissance d'objet s'appuie d'abord sur un transfert rapide, feed-forward et massivement parallèle des premières informations tout au long du parcours cortical visuel<br>The different experiments of this thesis focused on a categorisation task in which subjects have to initiate response on the basis of incomplete visual information, limited by a masking procedure. Results of these experiments not only confirmed that visual processing is extremely robust and fast (Chapter 2), but also demonstrated that the accumulated sensory information could be interpreted into a decisional signal to efficiently guide the response, depending on the motor effector (manual or ocular – Chapter 3) or the level of representation required in the task (Detection – Categorisation – Identification – Chapter 4). The early latencies recorded in this set of experiment is compatible with the idea that object recognition is initially based on the rapid transfer of visual information through the visual system, in a feed-forward and massively parallel way