Download or read book M thodes probabilistes pour la v rification des syst mes distribu s written by Stéphane Messika and published by . This book was released on 2004 with total page 175 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les probabilités sont de plus en plus utilisées dans la conception et l'analyse des systèmes logiciels et matériels informatiques. L'introduction des tirages aléatoires dans les algorithmes concurrents et distribués permet de résoudre certains problèmes insolubles dans le cadre déterministe et de réduire la complexité de nombreux autres. Nous avons été amenés à étudier deux types de propriétés probabilistes. La convergence : cette propriété assure que, quel que soit l'état de départ et quel que soit l'enchainement des actions, le système atteindra toujours (avec probabilité 1) un ensemble donné d'états d'arrivée en un nombre fini d'actions (auto-stabilisation).L'accessibilité : ce type de propriété répond à des questions telles que "quelle est la probabilité p qu'une exécution partant d'un état initial donné atteigne un état final donné ? Quelles sont les bornes maximales et minimales de p ?" En ce qui concerne le premier point, nous avons développé de nouveaux critères permettant d'assurer la convergence et d'en calculer la vitesse (mixing time). Ces crotères utilisent l'analogie avec des modèles de physiquestatistique (champs de Markov) et exploitent des outils d'analyse probabiliste classiques (coupling, chaînes de Markov, processus de décision markoviens). Pour le second point, nous avons obtenu des résultats pratiques sur la vérification de protocoles de communication, comme le protocole Ethernet, en les modélisant à l'aide d'automates temporisés probabilistes et utilisant des outils de model-checking temporisés (HyTech) et probabiliste (PRISM, APMC).
Download or read book Algorithmes distribu s sur des anneaux param tr s written by Marie Duflot and published by . This book was released on 2003 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse se situe dans le cadre de la vérification de systèmes distribués. Plus précisément, nous nous intéressons aux méthodes de preuve de convergence d'algorithmes distribués s'exécutant sur des réseaux en anneau de taille paramétrée. Cette étude distingue de plus le cas des algorithmes probabilistes de celui des algorithmes déterministes.
Download or read book V rification approch e de syst mes probabilistes written by Mathieu Tracol and published by . This book was released on 2010 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, nous considérons plusieurs types de Systèmes Probabilistes, qui modélisent le comportement de processus réels dans un environnement randomisé. De tels systèmes peuvent être des Protocoles de Communication, des Algorithmes exécutés sur des ordinateurs, des Systèmes Hybrides... Notre but est d'étudier leur évolution. Nous concentrons notre étude sur la comparaison quantitative de Systèmes Probabilistes, et sur l'analyse de leurs propriétés. Notre étude s'appuie sur les questions suivantes d'évaluation et de comparaison : *Étant donné le modèle d'un système réel, peut-on décider efficacement comment le système se comporte ? *Étant donnés deux modèles, comment peut-on les comparer ? Nous essayons de montrer que des algorithmes d'approximation peuvent être utiles pour l'étude de Systèmes Probabilistes. En particulier, nous montrons que des problèmes dont la solution exacte n'est pas calculable efficacement peuvent être résolus approximativement de manière efficace. Dans notre travail, nous utilisons quatres modèles de systèmes probabilistes : le modèle d'Automate Probabiliste Fini, que nous étendons au domaine des mots infinis, le modèle des Processus Markoviens avec Labels, le modèle des Processus de Décision Markoviens (MDP), et un modèle particulier de réseaux de MDPs. Nos résultats principaux concernent des méthodes de comparaison quantitatives entre systèmes, et des méthodes d'approximation de systèmes complexes.
Download or read book Mod les probabilistes de syst mes informatiques distribu s written by François Baccelli and published by . This book was released on 1983 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le premier chapitre de cette thèse est consacré à l'étude des procédures fondées sur les méthodes d'estampilles, utilisées pour le contrôle de la cohérence des bases de données distribuées. Débits et temps de réponse sont déterminés par l'analyse d'équations fonctionnelles, déduites de modèles de files d'attente avec synchronisation. Le second chapitre contient la définition et l'évaluation d'un interpréteur parallèle asynchrone, pour expressions arithmétiques. Un modèle à base de processus de branchement permet de calculer l'accélération et l'efficacité résultant de la parallélisation de ce type d'algorithmes. L'objet du troisième chapitre est l'évaluation quantitative de l'impact de politiques de reconfiguration sur les performances de systèmes redondants. Des mesures composites intégrant les phénomènes d'attente et de reconfiguration sont définies et étudiées au moyen de méthodes d'analyse markovienne. Le quatrième chapitre est de nature plus théorique. Il contient la définition et l'analyse d'une classe de processus de diffusion, permettant de modéliser les phénomènes de couplage et de synchronisation dans des réseaux de deux files d'attente.
Download or read book Annales de L Association Internationale Pour Le Calcul Analogique written by International Association for Analog Computation and published by . This book was released on 1966 with total page 542 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dependability Basic Concepts and Terminology written by Jean-Claude Laprie and published by Springer. This book was released on 2013-12-28 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fiabilit m canique appliqu e tudes de cas concrets written by GROUS Ammar and published by Lavoisier. This book was released on 2013-02-01 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: La fiabilité anticipe et prévoit le futur en vue d’améliorer les performances et le niveau de sûreté par l’optimisation des stratégies d’exploitation. Elle a fait preuve d’une évolution notable au niveau des matériaux et des structures. Largement inspiré des modèles de la mécanique de rupture, cet ouvrage présente les cas les plus significatifs dont l’encadrement de la probabilité de rupture par les bornes simples, la méthode Bayésienne appliquée, les chaînes de Markov, les indices de fiabilité de Cornell et de Hasofer-Lind ou l’intégrale indicatrice du dommage et de la simulation de Monte Carlo. Ce volume insiste sur le calcul des incertitudes au sens de la méthode GUM (Guide to the expression of Uncertainty in Measurement) en respectant le vocabulaire international de métrologie. Destiné aux universitaires et aux professionnels, Fiabilité mécanique appliquée se caractérise par son approche pédagogique des méthodes statistiques, structurées autour de cas concrets et illustrées d’applications corrigées et commentées. Ce volume apportera une aide précieuse aux concepteurs et aux décideurs.
Download or read book Refrigeration science and technology written by and published by . This book was released on 1982 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Progress in the Design and Operation of Refrigerating Equipment and in the Processing of Fruit and Vegetables by Refrigeration written by and published by . This book was released on 1982 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: Bundeling van 67 internationale symposiumverslagen betreffende de vooruitgang in de koelapparatuur en het besturen hiervan, die gebruikt wordt voor de opslag van fruit en groenten
Download or read book Applied Control Filtering and Signal Processing written by International Association of Science and Technology for Development and published by Anaheim [Calif.] ; Calgary : Acta Press. This book was released on 1987 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book IHM HCI 2001 written by Jean Vanderdonckt and published by Editions Cépaduès. This book was released on 2001 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Annales written by International Association for Analog Computation and published by . This book was released on 1965 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book 24th International Navigation Congress written by and published by . This book was released on 1977 with total page 1050 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book INCOSE Systems Engineering Handbook written by INCOSE and published by John Wiley & Sons. This book was released on 2015-06-12 with total page 309 pages. Available in PDF, EPUB and Kindle. Book excerpt: A detailed and thorough reference on the discipline and practice of systems engineering The objective of the International Council on Systems Engineering (INCOSE) Systems Engineering Handbook is to describe key process activities performed by systems engineers and other engineering professionals throughout the life cycle of a system. The book covers a wide range of fundamental system concepts that broaden the thinking of the systems engineering practitioner, such as system thinking, system science, life cycle management, specialty engineering, system of systems, and agile and iterative methods. This book also defines the discipline and practice of systems engineering for students and practicing professionals alike, providing an authoritative reference that is acknowledged worldwide. The latest edition of the INCOSE Systems Engineering Handbook: Is consistent with ISO/IEC/IEEE 15288:2015 Systems and software engineering—System life cycle processes and the Guide to the Systems Engineering Body of Knowledge (SEBoK) Has been updated to include the latest concepts of the INCOSE working groups Is the body of knowledge for the INCOSE Certification Process This book is ideal for any engineering professional who has an interest in or needs to apply systems engineering practices. This includes the experienced systems engineer who needs a convenient reference, a product engineer or engineer in another discipline who needs to perform systems engineering, a new systems engineer, or anyone interested in learning more about systems engineering.
Download or read book Survey Methodology written by and published by . This book was released on 2009 with total page 620 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Masters Abstracts International written by and published by . This book was released on 1993 with total page 1040 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book CENELEC 50128 and IEC 62279 Standards written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2015-03-24 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.
