Увійти

Готові списки джерел за темами / Interopérabilité des systèmes de preuve / Дисертації

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Interopérabilité des systèmes de preuve.

Дисертації з теми "Interopérabilité des systèmes de preuve"

Автор: Grafiati

Опубліковано: 26 жовтня 2024

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 дисертацій для дослідження на тему "Interopérabilité des systèmes de preuve".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065/document.

Повний текст джерела

Анотація:

Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Grienenberger, Emilie. "Combining computational theories." Electronic Thesis or Diss., université Paris-Saclay, 2025. http://www.theses.fr/2025UPASG011.

Повний текст джерела

Анотація:

Les vérificateurs et assistants de preuve sont utilisés pour formaliser des théorèmes mathématiques et la vérification logicielle, notamment de systèmes critiques tels que des sytèmes médicaux, industriels ou de transport. La diversité des systèmes de preuves soulève la question de leur interopérabilité : comment revérifier ou réutiliser des preuves d'un système dans un autre ? Des cadres logiques tels que le lambdaPi-calcul modulo théorie procurent un formalisme commun dans lequel peuvent être exprimées divers systèmes logiques et théories mathématiques. Des outils de transformation de preuve

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065.

Повний текст джерела

Анотація:

Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Повний текст джерела

Анотація:

Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Felicissimo, Thiago. "Generic bidirectional typing in a logical framework for dependent type theories." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG049.

Повний текст джерела

Анотація:

Les théories des types dépendants sont des systèmes formels qui peuvent être utilisés à la fois comme langages de programmation et pour la formalisation des mathématiques, et constituent la base de plusieurs assistants de preuve tels que Coq et Agda. Afin d'unifier leur étude, les Logical Frameworks (LFs) fournissent un méta-langage unifié permettant de définir ces théories, dans lequel diverses notions universelles sont intégrées par défaut et où des méta-théorèmes génériques peuvent être prouvés. Cette thèse se concentre sur les LFs conçus pour être implémentés, avec pour objectif de fournir

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Besançon, Léo. "Interopérabilité des Systèmes Blockchains." Thesis, Lyon, 2021. https://tel.archives-ouvertes.fr/tel-03789639.

Повний текст джерела

Анотація:

La Blockchain est une technologie disruptive. Elle s'intègre dans un écosystème décentralisé d’applications aux propriétés intéressantes : la transparence des transactions, l’auditabilité des applications, ou encore la résistance à la censure. Les domaines d'application sont variés, de la finance à la santé ou au jeu vidéo. La technologie a évolué depuis sa création en 2008 et possède de nombreuses perspectives. Néanmoins, le domaine rencontre de nombreux défis. Chaque Blockchain utilisant ses propres standards et modèles économiques, il subit notamment un manque d’interopérabilité à différent

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Kirchner, Florent. "Systèmes de preuve interopérables." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003192.

Повний текст джерела

Анотація:

Les developpements de speciﬁcations et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quelques-unes des etapes fondamentales du processus de reﬂexion scientiﬁque : le partage et la reutilisation des resultats. Cette dissertation propose une methode de distribution du meme developpement formel entre de divers systemes de preuve, augmentant ainsi eur interoperabilite. es chapitres 1 et 2 presentent le cadre logique qui est employe pour cent

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Seyrat, Claude. "L' interopérabilité dans les systèmes d'indexation multimédia." Paris 6, 2003. http://www.theses.fr/2003PA066307.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Nowak, David. "Spécification et preuve de systèmes réactifs." Rennes 1, 1999. http://www.theses.fr/1999REN10094.

Повний текст джерела

Анотація:

Ces dernieres annees, la verification des systemes informatiques critiques est devenue un sujet de recherche important en raison du developpement croissant de logiciels pour la medecine, les moyens de transports ou les centrales nucleaires. Dans ces domaines, une erreur de programmation peut couter tres cher financierement ou en vies humaines. Dans ce cadre, les informaticiens ont ete amenes a developper des langages dits synchrones dedies a la programmation des systemes reactifs. Un systeme reactif est un systeme qui reagit continument avec son environnement a un vitesse imposee par son envir

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Cuggia, Marc. "Interopérabilité des systèmes d'information en santé et aspects sémantiques." Rennes 1, 2008. http://www.theses.fr/2008REN1B116.

Повний текст джерела

Анотація:

L'interopérabilité des systèmes d'information en santé est un enjeu majeur, puisque ces systèmes sont hétérogènes tant sur leurs domaines de couvertures, leurs structures et leurs contenus. L'objectif de ce travail est d'explorer certains aspects de l'interopérabilité, en particulier sémantique. La thèse contient trois parties. (i) Un état des lieux des systèmes d'information en santé, ainsi que sur la place des normes et standards d'interopérabilité en santé. (ii) Une modélisation et mise en œuvre expérimentale d'un système d'information en santé pour un réseau de soins ville hôpitaux. (iii)

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Malet, Emmanuel. "Interopérabilité des systèmes d'IAO : les services de prototypage rapide." Reims, 2003. http://theses.univ-reims.fr/sciences/2003REIMS020.pdf.

Повний текст джерела

Анотація:

Résumé : Dans le contexte de l'ingénierie collaborative et de l'entreprise étendue, la collaboration des différents acteurs passe par l'interopérabilité des systèmes d'IAO(Ingénierie Assistée par Ordinateur), celle-ci devant être fondée sur des solutions technologiques normalisées. Cantonnée aux échanges de fichiers suivant différents formats (IGES, SET, VDA etc. ), l'interopérabilité des systèmes CAO (Conception Assistée par Ordinateur) s'est longtemps heurtée et se heurte encore aujourd'hui à l'hétérogénéité des représentations utilisées. AU Milieu des années quatre vingts, le projet STEP (S

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Bah, Abdramane. "Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation." Thesis, Nantes, 2020. http://www.theses.fr/2020NANT4028.

Повний текст джерела

Анотація:

Le contrôle d’accès des services partagés est une exigence essentielle pour une fédération de services de différents domaines. Dans cette thèse, nous nous sommes attaqués à deux problèmes de contrôle d’accès : l’autorisation des utilisateurs et la délégation de l’authentification des utilisateurs à leurs propres domaines. Pour répondre à ces problèmes, nous avons proposé une méthode d’autorisation des utilisateurs basée sur la technique de mapping d’attributs et un mécanisme de contrôle d’accès fédéré pour mettre en oeuvre cette méthode d’autorisation. Nous avons proposé une méthode de fédérat

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Mornet, Marie-Noëlle. "La preuve par vidéosurveillance." Université Robert Schuman (Strasbourg) (1971-2008), 2003. http://www.theses.fr/2003STR30007.

Повний текст джерела

Анотація:

L'étude porte sur la recherche de la preuve et sa mise en œuvre dans un litige. Elle conduit à déterminer la réglementation de la vidéosurveillance et sa pertinence. Des critères sont communs à une utilisation licite du procédé: celui de l'information des personnes nécessaires mais insuffisant et celui de la proportionnalité permettant d'adapter l'atteinte aux droits des personnes à la nécessité de la surveillance vidéo. La divergence de jurisprudence quant à l'admissibilité de l'enregistrement vidéo et l'évaluation variable de sa force probante s'opposent au principe d'équité du procès. Des a

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Melliti, Tarek. "Interopérabilité des services Web Complexes : Application aux systèmes multi-agents." Paris 9, 2004. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2004PA090024.

Повний текст джерела

Анотація:

Ce travail porte sur la formalisation de l'interopérabilité opérationnelle entre deux systèmes communicants et plus particulièrement entre les services Web composites. La formalisation retranscrit la possibilité d'une interaction correcte entre deux systèmes communicant utilisant des spécifications différentes. Cette formalisation se matérialise en trois étapes: Premièrement, nous définissons l'observabilité comme référence d'abstraction pour exprimer la sémantique de différentes spécifications. Ensuite, nous proposons une relation de conformité sur les états de deux systèmes qui retranscrit l

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Diagne, Fama. "Preuve de propriétés dynamiques en B." Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-00939071.

Повний текст джерела

Анотація:

Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur des états du système pris au même moment. En effet, certaines propriétés, dites propriétés dynamiques, peuvent faire référence à l'état passé ou futur du système. Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états. Aussi, les

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Abakar, Kerima Saleh. "Interopérabilité et mutualisation des ressources pour les systèmes communicants hybrides orientés Smart-City." Electronic Thesis or Diss., Mulhouse, 2024. http://www.theses.fr/2024MULH7120.

Повний текст джерела

Анотація:

Le LPWAN, ou Low Power Wide Area Network, est un type de réseau de communication sans fil à faible débit, de large couverture avec une consommation minimale d’énergie. La variante LoRaWAN, Long Range Wide Area Network permet de connecter un grand nombre d'appareils sur de vastes zones. Cependant, ces réseaux présentent des limites en termes de qualité de service (QoS). Ce travail propose des solutions d'optimisation susceptibles de permettre à ce réseau de répondre aux exigences de la connectivité des villes intelligentes. Nos recherches ont permis de détecter l’impact du facteur charge utile

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Baïna, Salah. "Interopérabilité dirigée par les modèles : une Approche Orientée Produit pour l'interopérabilité des systèmes d'entreprise." Nancy 1, 2006. https://tel.archives-ouvertes.fr/tel-00123271.

Повний текст джерела

Анотація:

L’intégration des systèmes consiste à assembler les différentes parties d’un système tout en assurant la compatibilité de l’assemblage ainsi que le bon fonctionnement du système complet. Dans ce cadre, l’interopérabilité des systèmes est un moyen pour obtenir l’intégration fondée sur un couplage faible des parties du système, basé sur la capacité des parties à des parties à communiquer entre elles pour accéder et faire appel à leur fonctionnalités. Plus récemment, une nouvelle approche d’ingénierie logicielle a été élaborée «l’ingénierie dirigée par les modèles». Dans cette nouvelle approche l

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Lick, Anthony. "Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLN016/document.

Повний текст джерела

Анотація:

Motivées par de nombreuses applications allant du traitement XML à lavérification d'exécution de programmes, de nombreuses logiques sur les arbresde données et les flux de données ont été développées dans la littérature.Celles-ci offrent divers compromis entre expressivité et complexitéalgorithmique ; leur problème de satisfiabilité a souvent une complexité nonélémentaire ou peut même être indécidable.De plus, leur étude à travers des approches de théories des modèles ou dethéorie des automates peuvent être algorithmiquement impraticables ou manquerde modularité.Dans une première partie, nous

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Sioud, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprises : application aux systèmes d'information de pilotage de la production." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10049/document.

Повний текст джерела

Анотація:

Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Yahia, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprise : Application aux systèmes d'information de pilotage de la production." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00630118.

Повний текст джерела

Анотація:

Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél

Стилі APA, Harvard, Vancouver, ISO та ін.

21

François, Axel. "Interopérabilité des modèles géométriques pour les Systèmes d'Information Géographique : applications de la norme ISO 19107." Thesis, Aix-Marseille 2, 2011. http://www.theses.fr/2011AIX22078/document.

Повний текст джерела

Анотація:

Le contexte économique actuel montre que la représentation et l'analyse des données dans l'espace 3D croît de plus en plus dans les Systèmes d'Information Géographique (SIG). Le nombre d'applications SIG est en constante augmentation dans de nombreux secteurs d'activités comme par exemple la Défense, l'Aménagement du Territoire ou la Sécurité Civile. Cependant, nous voyons l'émergence d'une forte demande pour l'analyse 3D dans les SIG. Ces développements nécessitent une standardisation des structures de données et d'échanges. Cette démarche est réalisée par l'Open Geospatial Consortium (OGC) e

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Bondé, Lossan. "Transformations de modèles et interopérabilité dans la conception de systèmes hétérogènes sur puce à base d'IP." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Bonde.pdf.

Повний текст джерела

Анотація:

Un système sur puce (SoC, pour« System on Chip ») est un circuit intégré qui comporte un ensemble de composants matériels (microprocesseurs, DSP, entrées/sorties. . . ) connectés entre eux par des bus de communication et une couche logicielle (système d'exploitation temps réel et applicatif). La conception de tels systèmes repose de plus en plus sur la réutilisation de composants virtuels (IP, pour Intellectual property). Le concepteur utilise des IPs très souvent d'origines diverses ayant des modèles hétérogènes (différents niveaux d'abstraction : comportemental, RTL, etc. ). Cette approche a

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Nguyen, Quang Huy. "Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve." Nancy 1, 2002. http://www.theses.fr/2002NAN10144.

Повний текст джерела

Анотація:

Nous étudions dans cette thèse une coopération entre la réécriture du premier ordre et la théorie constructive des types pour automatiser les preuves assistées par l'ordinateur. Nous cherchons par ce travail à mettre en oeuvre la réécriture de manière automatique, sûre et efficace dans l'assistant de preuve Coq à l'aide d'un environnement de programmation externe (ELAN). Deux approches différentes sont étudiées. Dans l'approche mixte, ELAN est utilisé comme un moteur de réécriture externe pour la normalisation des termes dans une tactique réflexive de réécriture en Coq. La trace générée par EL

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Choquer, Marie-Anne. "Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles." Paris 11, 1986. http://www.theses.fr/1986PA112335.

Повний текст джерела

Анотація:

Dans cette thèse, différentes méthodes de preuve automatique de théorèmes, définies dans le contexte des spécifications algébriques, sont résumées. Il est montré comment étendre une de ces méthodes, (la méthode par récurrence-surréduction) à la preuve de formules conditionnelles dans des spécifications algébriques conditionnelles. Cette méthode s'applique uniquement sur des spécifications satisfaisant la propriété de complétude suffisante par rapport aux constructeurs. Cette propriété est donc étudiée pour le cas des spécifications conditionnelles<br>In this thesis, different proof methods in

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Gaaloul, Sana. "Interopérabilité basée sur les standards Modelica et composant logiciel pour la simulation énergétique des systèmes de bâtiment." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00782540.

Повний текст джерела

Анотація:

Pour mieux maîtriser ses flux énergétiques et respecter les diverses restrictions mises en place dans ce secteur énergivore, le bâtiment devient un système de plus en plus complexe incluant divers technologies innovantes comme les systèmes de gestion énergétiques (SGEB), une isolation performante et intégrant les énergies renouvelables. Cette complexité exige un changement dans les techniques et paradigmes actuels de simulation du bâtiment pour la prise en compte de ses diverses évolutions. Une modélisation globale des différents composants de ce système et une simulation efficace de ses sous-

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Baïna, Salah. "INTEROPERABILITE DIRIGEE PAR LES MODELES :Une Approche Orientée Produit pour l'interopérabilité dessystèmes d'entreprise." Phd thesis, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00123271.

Повний текст джерела

Анотація:

Les travaux de la thèse présentent une approche pour l'interopérabilité entre les différents<br />modèles de produit, nous appellerons cette approche « l'interopérabilité orientée produit ».<br />Nous proposons ainsi un meta-modèle dont les instances jouent le rôle de passerelle de<br />communication entre différentes applications d'entreprise pour assurer l'interopérabilité des<br />parties de systèmes concernant le produit.<br />Nous nous sommes intéressés à formaliser un meta-modèle pour la définition du concept de<br />produit comme l'agrégation d'une partie physique représentant les éléme

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Jomaa, Narjes. "Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I075/document.

Повний текст джерела

Анотація:

Dans cette thèse nous proposons un nouveau concept de noyau adapté à la preuve que nous avons appelé « proto-noyau ». Il s’agit d’un noyau de système d’exploitation minimal où la minimisation de sa taille est principalement motivée par la réduction du coût de la preuve mais aussi de la surface d’attaque. Ceci nous amène à définir une nouvelle stratégie de « co-design » du noyau et de sa preuve. Elle est fondée principalement sur les feedbacks entre les différentes phases de développement du noyau, allant de la définition des besoins jusqu’à la vérification formelle de ses propriétés. Ainsi, da

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Xu, Yigang. "Une architecture de médiation basée sur des composants génériques pour l'intégration des systèmes d'information de santé." Paris 6, 2002. http://www.theses.fr/2002PA066376.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Diebold, Morgane. "Systèmes composites organogélateurs/polymères semi-conducteurs : de la preuve conceptuelle aux matériaux nanostructurés pour l'électronique plastique." Thesis, Strasbourg, 2018. http://www.theses.fr/2018STRAE002.

Повний текст джерела

Анотація:

L’amélioration des performances des dispositifs photovoltaïques organiques passe par le contrôle de la morphologie de leurs couches actives. Nous avons cherché à préparer une hétérojonction volumique donneur-accepteur nanostructurée en utilisant la nucléation hétérogène du poly (3-hexylthiophène) (P3HT, donneur) par des fibres d’organogélateurs à base de naphthalène diimide (NDI, accepteur). La première partie de ce travail présente l’étude des propriétés d’auto-assemblage d’organogélateurs à cœur NDI substitué par des groupements amides et des dendrons trialkoxyphényles. Nous avons évalué l’i

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Sioud, Esma. "Contribution à l'évaluation de l'interopérabilité sémantique entre systèmes d'information d'entreprises : application aux systèmes d'information de pilotage de la production." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10049.

Повний текст джерела

Анотація:

Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de systèmes d'entreprises collaboratives. Nous défendons l'intérêt d'évaluer l'interopérabilité étant donné que la question de l'interopérabilité voire plutôt celle de la non-interopérabilité pose de nombreuses problématiques pour les industriels. En effet, la non-interopérabilité engendre des coûts non négligeables dus principalement au temps et aux ressources mises en place pour développer des interfaces d'échange des informations. Ceci influe sur la performance globale des entreprises et précisément sur les coûts et les dél

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Liao, Yongxin. "Annotations sémantiques pour l'intéropérabilité des systèmes dans un environnement PLM." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0135/document.

Повний текст джерела

Анотація:

Dans l'industrie l'approche de gestion du cycle de vie du produit (PLM) a été considérée comme une solution essentielle pour améliorer la compétitivité des produits. Elle vise à fournir une plate-forme commune qui rassemble les différents systèmes de l'entreprise à chaque étape du cycle de vie du produit dans ou à travers les entreprises. Bien que les principaux éditeurs de logiciels fassent des efforts pour créer des outils offrant un ensemble complet et intégré de systèmes, la plupart d' entre eux n'intègrent pas l'ensemble des systèmes. Enfin, ils ne fournissent pas une intégration cohérent

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Belghaouti, Fethi. "Interopérabilité des systèmes distribués produisant des flux de données sémantiques au profit de l'aide à la prise de décision." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL003.

Повний текст джерела

Анотація:

Internet est une source infinie de données émanant de sources telles que les réseaux sociaux ou les capteurs (domotique, ville intelligente, véhicule autonome, etc.). Ces données hétérogènes et de plus en plus volumineuses, peuvent être gérées grâce au web sémantique, qui propose de les homogénéiser et de les lier et de raisonner dessus, et aux systèmes de gestion de flux de données, qui abordent essentiellement les problèmes liés au volume, à la volatilité et à l’interrogation continue. L’alliance de ces deux disciplines a vu l’essor des systèmes de gestion de flux de données sémantiques RSP

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Belghaouti, Fethi. "Interopérabilité des systèmes distribués produisant des flux de données sémantiques au profit de l'aide à la prise de décision." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL003.

Повний текст джерела

Анотація:

Internet est une source infinie de données émanant de sources telles que les réseaux sociaux ou les capteurs (domotique, ville intelligente, véhicule autonome, etc.). Ces données hétérogènes et de plus en plus volumineuses, peuvent être gérées grâce au web sémantique, qui propose de les homogénéiser et de les lier et de raisonner dessus, et aux systèmes de gestion de flux de données, qui abordent essentiellement les problèmes liés au volume, à la volatilité et à l’interrogation continue. L’alliance de ces deux disciplines a vu l’essor des systèmes de gestion de flux de données sémantiques RSP

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Azami, Ikram El. "Ingéniérie des Systèmes d'Information Coopératifs, Application aux Systèmes d'Information Hospitaliers." Thesis, Valenciennes, 2012. http://www.theses.fr/2012VALE0013.

Повний текст джерела

Анотація:

Dans cette thèse, nous traitons les systèmes d’information hospitaliers (SIH), nous analysons leurs problématiques de conception, d’interopérabilité et de communication, dans l’objectif de contribuer à la conception d’un SIH canonique, coopératif, et communicant, ainsi de modéliser les échanges entre ses composants et également avec les autres systèmes impliqués dans la prise en charge du patient dans un réseau de soin. Nous proposons une structure et un modèle de conception d’un SIH canonique en se basant sur trois concepts principaux responsables de la production de l’information médicale, à

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Cerqueus, Thomas. "Contributions au problème d’hétérogénéité sémantique dans les systèmes pair-à-pair : application à la recherche d’information." Nantes, 2012. http://archive.bu.univ-nantes.fr/pollux/show.action?id=c40274d8-21a2-4f4a-9892-1367fd993b9c.

Повний текст джерела

Анотація:

Nous considérons des systèmes pair-à-pair (P2P) pour le partage de données dans lesquels chaque pair est libre de choisir l’ontologie qui correspond le mieux à ses besoins pour représenter ses données. Nous parlons alors d’hétérogénéité sémantique. Cette situation est un frein important à l’interopérabilité car les requêtes émises par les pairs peuvent être incomprises par d’autres. Dans un premier temps nous nous focalisons sur la notion d’hétérogénéité sémantique. Nous définissons un ensemble de mesures permettant de caractériser finement l’hétérogénéité d’un système suivant différentes face

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Panetto, Hervé. "Meta-modèles et modèles pour l'intégration et l'interopérabilité des applications d'entreprises de production." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00119423.

Повний текст джерела

Анотація:

L'intégration des systèmes consiste à assembler les différentes parties d'un système tout en assurant la compatibilité de l'assemblage ainsi que le bon fonctionnement du système complet. Depuis les années quatre-vingt-dix, l'intégration des systèmes d'entreprise a fait l'objet d'une attention croissante ; elle est ainsi devenue un thème de recherche développé dans plusieurs équipes universitaires et industrielles dans le monde autant que a suscité de nombreux travaux au sein des organisations scientifiques internationales, notamment IFAC et IFIP, et de normalisation, particulièrement IEC, ISO

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Labéjof, Jonathan. "R-*, Réflexion au Service de l'Évolution des Systèmes de Systèmes." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2012. http://tel.archives-ouvertes.fr/tel-00768568.

Повний текст джерела

Анотація:

Dans un monde de plus en plus connecté, le besoin d'interconnecter des systèmes hétérogènes apparait de plus en plus présent. Les Systèmes de Systèmes (SoS) sont une approche de supervision et de contrôle global où les systèmes constituants sont caractérisés comme des sous-systèmes du SoS. Certains de ces sous-systèmes peuvent être sujets à un environnement dynamique leur demandant d'évoluer pour répondre à de nouvelles exigences, voire de s'adapter s'ils doivent répondre à un besoin de disponibilité. La principale difficulté dans la gestion des évolutions possibles est qu'elles peuvent impact

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Tursi, Angela. "Ontology-based approach for product-driven interoperability of enterprise production systems." Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10086/document.

Повний текст джерела

Анотація:

L'interopérabilité des applications est devenue le leitmotiv des développeurs et concepteurs en ingénierie système. La plupart des approches pour l'interopérabilité existant dans l'entreprise ont pour objectif principal l'ajustement et l'adaptation des types et structures de données nécessaire à la mise en œuvre de collaboration entre entreprises. Dans le domaine des entreprises manufacturières, le produit est une composante centrale. Des travaux scientifiques proposent des solutions pour la prise en compte des systèmes d'information issus des produits, tout au long de leur cycle de vie. Mais

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Bergougnoux, Quentin. "Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I029/document.

Повний текст джерела

Анотація:

Avec la croissance majeure de l’Internet des Objets et du Cloud Computing, la sécurité dans ces systèmes est devenue un problème majeur. Plusieurs attaques ont eu lieu dans les dernières années, mettant en avant la nécessité de garanties de sécurité fortes sur ces systèmes. La plupart du temps, une vulnérabilité dans le noyau ou un de ses modules est suffisante pour compromettre l’intégralité du système. Établir et prouver des propriétés de sécurité par le biais d’assistants de preuve semble être un grand pas en avant vers l’apport de garanties de sécurité. Cela repose sur l’utilisation de mod

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Rouvoy, Romain. "Une démarche à granularité extrêmement fine pour la construction de canevas intergiciels hautement adaptables : applications aux services de transactions." Lille 1, 2006. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/7959a934-a6e5-48b2-866f-2bbc36e3159b.

Повний текст джерела

Анотація:

Cette thèse adresse la problématique de la construction des intergiciels hautement adaptables. Ces intergiciels se caractérisent par une grande diversité des fonctionnalités fournies. Dans le domaine du transactionnel, cette diversité concerne non seulement les modèles de transactions, les protocoles de contrôle de concurrence et de reprise après défaillance, mais aussi les normes et les standards d'intégration. Notre proposition consiste à définir un canevas intergiciel capitalisant la diversité du domaine transactionnel, et permettant de construire des services de transactions hautement adap

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Belaud, Jean-Pierre. "Architecture et technologies des systèmes logiciels ouverts : CAPE-OPEN, un standard pour l'interopérabilité et l'intégration des composants logiciels de l'ingénierie des procédés." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT026G.

Повний текст джерела

Анотація:

Les progiciels de l'ingénierie des procédés sont spécifiques à chaque éditeur. Ceci conduit à une hétérogénéité des solutions qui limite l'intégration des savoir-faire tiers. Le syst-me cape-open (CO) propose des interfaces de programmation standartisées. Il définit une architecture ouverte permettant l'interopérabilité et l'intégration des composants logiciels pour la simultation des procédés. Ce système est caractérisé par une architecture technique des spécifications d'interface et des spécifications d'implémentation. L'architecture technique repose sur une approche orientée-objet/composant

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Rezgui, Abir. "Interopérabilité de modèles dans le cycle de conception des systèmes électromagnétiques via des supports complémentaires : VHDL-AMS et composants logiciels ICAr." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00858315.

Повний текст джерела

Анотація:

Cette thèse aborde les formalismes pour la modélisation multi-physique en support au cycle en V deconception. Ce travail a été réalisé dans le cadre du projet ANR-MoCoSyMec, selon la méthodologie duprototypage virtuel fonctionnel (PVF) et illustré sur des systèmes électromagnétiques.Nous nous sommes principalement intéressés au langage VHDL-AMS, en tant que support aux différentsniveaux de modélisation apparaissant dans le cycle en V de conception. Cela nous a conduits à traiter laportabilité et l'interopérabilité en VHDL-AMS de diverses méthodes et outils de modélisation. Nous avonsproposé et

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Viard, Louis. "Méthodes et outils pour la programmation des systèmes cyber-physiques." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0105.

Повний текст джерела

Анотація:

La conception de systèmes cyber-physiques est une discipline émergente à l'interface de nombreux domaines d'ingénierie. Ces systèmes se caractérisent notamment par une identité double, liant le monde des contrôleurs, discret, à celui du matériel, continu. Les errements d'un contrôleur, qu'ils soient dus à un programme erroné ou à la manifestation d'un aléa de l'environnement, sont susceptibles de produire des conséquences désastreuses. Une attention particulière doit donc être apportée à leur programmation. Le travail présenté dans cet ouvrage est une réponse à ce défi. Nous proposons un langa

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Régis-Gianas, Yann. "Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels." Paris 7, 2007. http://www.theses.fr/2007PA077155.

Повний текст джерела

Анотація:

Cette thèse étudie deux approches pour augmenter la sûreté de fonctionnement des programmes informatiques par analyse statique. La première approche est l'utilisation du typage qui permet de prouver automatiquement qu'un programme s'évalue sans échouer. Le langage fonctionnel ML possède un système de type très riche et un algorithme effectuant une synthèse automatique des types. On s'intéresse à son adaptation aux types algébriques généralisés (GADT). Dans ce cadre, le calcul efficace d'un type plus général est impossible. On propose une stratification du langage qui maintient les caractéristi

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Motie, Yassine. "Interopérabilité entre dispositifs hétérogènes en environnement ouvert pour la mise en oeuvre de co-simulation." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30102.

Повний текст джерела

Анотація:

Le grand nombre de fonctionnalités d'appareils électroniques qu'on utilise quotidiennement entraîne le passage d'une vision centrée sur des anciennes machines multifonctions vers des appareils variées en interaction distribués et éparpillés dans l'environnement. Sachant qu'un système est un ensemble intégré d'éléments (produits, personnels, processus) connectés et reliés entre eux, en vue de satisfaire, dans un environnement donné, un ou plusieurs objectifs définis et ayant des caractéristiques comme les composants qui le constituent, les relations entre ces composants, son environnement, les

Стилі APA, Harvard, Vancouver, ISO та ін.

46

El, Hami Norelislam. "Contribution aux méthodes hybrides d'optimisation heuristique : Distribution et application à l'interopérabilité des systèmes d'information." Phd thesis, INSA de Rouen, 2012. http://tel.archives-ouvertes.fr/tel-00771360.

Повний текст джерела

Анотація:

Les travaux présentés dans ce mémoire proposent une nouvelle méthode d'optimisation globale dénommée MPSO-SA. Cette méthode hybride est le résultat d'un couplage d'une variante d'algorithme par Essaim de particules nommé MPSO (Particle Swarm Optimization) avec la méthode du recuit simulé nommé SA (Simulted Annealing). Les méthodes stochastiques ont connu une progression considérable pour la résolution de problèmes d'optimisation. Parmi ces méthodes, il y a la méthode Essaim de particules (PSO° qui est développée par [Eberhart et Kennedy (1995)]. Quant à la méthode recuit simulé (SA), elle prov

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Grieu, Jérôme. "Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques." Phd thesis, Toulouse, INPT, 2004. http://oatao.univ-toulouse.fr/7385/1/grieu.pdf.

Повний текст джерела

Анотація:

Les nouvelles générations d'aéronefs embarquent de plus en plus de systèmes avioniques, pour augmenter à la fois la sécurité et le confort des passagers, tout en maintenant une haute rentabilité pour les compagnies aériennes. Ces nouvelles fonctions entraînent une forte hausse des échanges de données, ce qui nécessite plus de débit et de possibilités d'interconnexion. Les bus classiques de communications avioniques ne peuvent répondre à cette nouvelle demande, ce qui a poussé les constructeurs Airbus et Boeing à installer à bord un réseau de communication utilisant la technologie Ethernet comm

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Kan, Channmeta. "Le rôle du juge dans l'administration de la preuve : étude comparée des grands systèmes dans les différents pays de l'ASEAN." Lyon 3, 2007. https://scd-resnum.univ-lyon3.fr/in/theses/2007_in_kan_c.pdf.

Повний текст джерела

Анотація:

Pour étudier le rôle du juge dans l'administration de la preuve dans le nouveau Code de procédure civile cambodgien, a été choisie la méthode comparative non seulement avec le droit antérieur à l'entrée en vigueur de ce Code et notamment l'ancien Code de procédure en matière civile de 1965, mais également avec cinq autres pays de l'ASEAN : la Thaïlande, le Vietnam, la Malaisie, Singapour et les Philippines. L'étude des dispositions du nouveau Code seule ne suffit pas à apprécier la valeur inestimable du travail de la Commission métissée khméro-japonaise depuis dix années. Le droit comparé para

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Singh, Neeraj Kumar. "Fiabilité et sûreté des systèmes informatiques critiques." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10129/document.

Повний текст джерела

Анотація:

Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la comple

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Radhouani, Amira. "Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM025/document.

Повний текст джерела

Анотація:

La sécurité des Systèmes d’Information (SI) constitue un défi majeur car elle conditionne amplement la future exploitation d’un SI. C’est pourquoi l’étude des vulnérabilités d’un SI dès les phases conceptuelles est cruciale. Il s’agit d’étudier la validation de politiques de sécurité, souvent exprimées par des règles de contrôle d’accès, et d’effectuer des vérifications automatisées sur des modèles afin de garantir une certaine confiance dans le SI avant son opérationnalisation. Notre intérêt porte plus particulièrement sur la détection des vulnérabilités pouvant être exploitées par des utilis

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!