Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Contribution A La Modelisation A Lanalyse Et A La Commande Des Systemes De Transport Public Par Les Reseaux De Petri Et Lalgebre Max Plus
Download Contribution A La Modelisation A Lanalyse Et A La Commande Des Systemes De Transport Public Par Les Reseaux De Petri Et Lalgebre Max Plus full books in PDF, epub, and Kindle. Read online Contribution A La Modelisation A Lanalyse Et A La Commande Des Systemes De Transport Public Par Les Reseaux De Petri Et Lalgebre Max Plus ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Contribution à la modélisation, à l'analyse et à la commande des systèmes de transport public par les réseaux de Petri et l'algèbre (Max, Plus) by : Ahmed Nait-Sidi-Moh
Download or read book Contribution à la modélisation, à l'analyse et à la commande des systèmes de transport public par les réseaux de Petri et l'algèbre (Max, Plus) written by Ahmed Nait-Sidi-Moh and published by . This book was released on 2003 with total page 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les travaux présentés dans cette thèse constituent une contribution à la modélisation, à l'analyse et à la commande des systèmes de transport public par l'adaptation des réseaux de Petri (RdP) et algèbre des dioïdes. Nous étudions en particulier la gestion optimisée des correspondances par une planification des horaires d'un réseau de transport en commun. Nous développons dans ce sens des modèles capables d'apporter des solutions aux problèmes d'amélioration de la qualité de service de transport en commun, par les minimisations des temps de correspondance et des ressources matérielles utilisées. Notre travail est effectué en considérant deux études de cas de fonctionnement des bus au niveau des arrêts de correspondance où des échanges de passagers sont susceptibles de se produire. Un fonctionnement synchronisé pour lequel nous utilisons un modèle graphe d'événements temporisés (GET) et un modèle (max, +) linéaire stationnaire qui lui est associé. Un fonctionnement non-synchronisé modélisé par un graphe d'événements temporisés avec retrait dynamique de jetons (GETRDJ). Ce dernier modèle graphique, possédant des conflits structurels, a une description analytique dans l'algèbre (max, +) de forme linéaire non-stationnaire. La résolution mathématique du modèle obtenu passe par une politique de résolution des conflits associés au modèle graphique. Nous proposons dans ce sens une politique de routage déterminée a priori prenant en compte les caractéristiques du système. Cette politique permet d'une part, d'arbitrer les conflits sur le modèle graphique, et d'autre part, de résoudre le modèle mathématique. L'analyse des solutions obtenues ainsi que les éléments propres de la matrice caractéristique du modèle (max, +) permet de déterminer les différents temps de correspondance des voyageurs et d'estimer ainsi les performances du système étudié. Dans le souci de minimiser les temps de correspondance des voyageurs et améliorer la qualité de service, nous proposons une politique de commande de ces réseaux de bus. Deux approches sont alors proposées. La première permet de synthétiser une commande basée sur les techniques développées dans le cadre de la théorie de la résiduation dans les dioïdes. La seconde est fondée sur des résultats de simulation qui permettent d'obtenir une commande à partir des optima globaux des fonctions objectifs. Les résultats obtenus sont validés sur une partie du réseau de transport en commun de la ville de Montbéliard.
Book Synopsis Computational Science and Its Applications - ICCSA 2005 by : Osvaldo Gervasi
Download or read book Computational Science and Its Applications - ICCSA 2005 written by Osvaldo Gervasi and published by Springer. This book was released on 2005-05-13 with total page 1426 pages. Available in PDF, EPUB and Kindle. Book excerpt: The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds. Together, these far reaching scienti?c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.
Book Synopsis Information Control Problems in Manufacturing 2006 by : Alexandre Dolgui
Download or read book Information Control Problems in Manufacturing 2006 written by Alexandre Dolgui and published by Elsevier. This book was released on 2007-04-18 with total page 741 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information Control Problems in Manufacturing 2006 contains the Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'2006). This symposium took place in Saint Etienne, France, on May 17-19 2006. INCOM is a tri-annual event of symposia series organized by IFAC and it is promoted by the IFAC Technical Committee on Manufacturing Plant Control. The purpose of the symposium INCOM'2006 was to offer a forum to present the state-of-the-art in international research and development work, with special emphasis on the applications of optimisation methods, automation and IT technologies in the control of manufacturing plants and the entire supply chain within the enterprise. The symposium stressed the scientific challenges and issues, covering the whole product and processes life cycle, from the design through the manufacturing and maintenance, to the distribution and service. INCOM'2006 Technical Program also included a special event on Innovative Engineering Techniques in Healthcare Delivery. The application of engineering and IT methods in medicine is a rapidly growing field with many opportunities for innovation. The Proceedings are composed of 3 volumes: Volume 1 - Information Systems, Control & Interoperability Volume 2 - Industrial Engineering Volume 3 - Operational Research * 3-volume set, containing 362 carefully reviewed and selected papers * presenting the state-of-the-art in international research and development in Information Control problems in Manufacturing
Book Synopsis Computational Science and Its Applications by :
Download or read book Computational Science and Its Applications written by and published by . This book was released on 2004 with total page 1442 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Contribution à la modélisation et à la commande par les réseaux de Pétri VOD by : Abdel Jalil Abbas-Turki
Download or read book Contribution à la modélisation et à la commande par les réseaux de Pétri VOD written by Abdel Jalil Abbas-Turki and published by . This book was released on 2003 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pour des raisons stratégiques et économiques, la maîtrise de la planification et de l'exploitation des réseaux de transport collectif est le défi actuel que les compagnies de ce domaine doivent relever. Le point névralgique de la phase de planification qui est la minimisation des temps de correspondance, suscite de nombreux travaux de recherche. Les modèles actuels, issus de la théorie des graphes, supposent que les horaires d'arrivée et de départ des moyens de transport aux stations sont respectés. Or dans la réalité, le fonctionnement du système est perturbé par des aléas quotidiens, ce qui entraîne des retards sur les horaires planifiés. Ce travail de thèse propose une approche stochastique pour l'amélioration des conditions de correspondance dans le contexte de la planification d'un réseau de transport collectif urbain. Nous introduisons formellement une classe particulière de réseau de Petri adaptée à ces systèmes : Réseau de Petri Véhicule Origine-Destination (RdPVOD). Cet outil est constitué de deux parties qui représentent de manière concise la dynamique des véhicules et des passagers au sein du système. L'utilisation de temporisation stochastique permet d'obtenir un modèle sous forme de processus markovien, semi-markovien ou markovien régénératif. Nous démontrons que les processus sous-jacents peuvent être simplifiés par regroupement d'états, afin de permettre l'analyse des performances du système, notamment pour l'obtention des temps de correspondance. Le modèle RdPVOD est ensuite appliqué pour la minimisation des temps d'attente dans les problèmes de planification des lignes et des horaires. Dans le premier cas, les chaînes de Markov à temps continu sont utilisées pour formuler le temps de correspondance en fonction des fréquences des lignes et des temps d'arrêt des moyens de transport. Des techniques de résolution du problème de planification des lignes sont alors proposées grâce à l'utilisation des chaînes de Markov à revenu. Dans le deuxième cas, nous résolvons le problème de planification des horaires en prenant en considération les aléas à travers les états du processus markovien régénératif.
Book Synopsis Contribution à la modélisation et à la vérification des systèmes multi agents by : Borhen Marzougui
Download or read book Contribution à la modélisation et à la vérification des systèmes multi agents written by Borhen Marzougui and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA). De nombreuses solutions ont été proposées pour remédier aux problèmes de communication, de coordination et d'interaction entre les Agents. Cependant, il n'existe aucune en mesure de traiter, à la fois les aspects structurels et comportementaux, du moins à notre connaissance. La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents. Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d'exprimer de manière consistante et plus précise les systèmes Multi Agents. Il s'intéresse de plus à l'extension de ce modèle aux fins de modéliser la migration des agents dans le cadre des systèmes à agents mobiles. Cette classe de modèle permet de s'intéresser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l'absence d'interblocage dans le cadre des Systèmes Multi-Agent.
Book Synopsis Analysis and Control of Linear Systems by : Philippe de Larminat
Download or read book Analysis and Control of Linear Systems written by Philippe de Larminat and published by John Wiley & Sons. This book was released on 2013-03-01 with total page 443 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automation of linear systems is a fundamental and essential theory. This book deals with the theory of continuous-state automated systems.
Book Synopsis Algerian Sketches by : Pierre Bourdieu
Download or read book Algerian Sketches written by Pierre Bourdieu and published by Polity. This book was released on 2013-11-04 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the late 1950s, like tens of thousands of young men of his generation, Pierre Bourdieu, having recently passed the agrégation in philosophy, found himself immersed in the Algerian war. Motivated by an impulse that, as he himself says, ‘was civic rather than political’, nothing seemed more important to him than to understand the Algerian situation and provide the elements that would enable others to come to an informed judgement about it. In extremely tough conditions and along with a small group of students, Bourdieu undertook a series of studies across an Algeria that was tightly patrolled by the army, leading him to discover the shocking reality of the resettlement camps and to analyse the mechanisms of destruction of Algerian society of which they were emblematic. To achieve the objectives he had set himself, Bourdieu had to carry out a genuine intellectual conversion, acquiring an ethnographic understanding of Algerian society, learning sociological analysis at a breakneck pace and inventing new instruments - both theoretical and empirical - that would enable him to understand the relations of domination specific to colonialism. These new tools also enabled him to analyse the nature of the crisis that the war had both produced and manifested. This unique volume brings together the first texts written by Bourdieu in the midst of the Algerian conflict, as well as later writings and interviews in which he returns to the topic of Algeria and the decisive role it played in the development of his work.
Book Synopsis The Social Structures of the Economy by : Pierre Bourdieu
Download or read book The Social Structures of the Economy written by Pierre Bourdieu and published by John Wiley & Sons. This book was released on 2014-03-10 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: Much orthodox economic theory is based on assumptions which are treated as self-evident: supply and demand are regarded as independent entities, the individual is assumed to be a rational agent who knows his interests and how to make decisions corresponding to them, and so on. But one has only to examine an economic transaction closely, as Pierre Bourdieu does here for the buying and selling of houses, to see that these abstract assumptions cannot explain what happens in reality. As Bourdieu shows, the market is constructed by the state, which can decide, for example, whether to promote private housing or collective provision. And the individuals involved in the transaction are immersed in symbolic constructions which constitute, in a strong sense, the value of houses, neighbourhoods and towns. The abstract and illusory nature of the assumptions of orthodox economic theory has been criticised by some economists, but Bourdieu argues that we must go further. Supply, demand, the market and even the buyer and seller are products of a process of social construction, and so-called ‘economic' processes can be adequately described only by calling on sociological methods. Instead of seeing the two disciplines in antagonistic terms, it is time to recognize that sociology and economics are in fact part of a single discipline, the object of which is the analysis of social facts, of which economic transactions are in the end merely one aspect. This brilliant study by the most original sociologist of post-war France will be essential reading for students and scholars of sociology, economics, anthropology and related disciplines.
Book Synopsis Sketch for a Self-analysis by : Pierre Bourdieu
Download or read book Sketch for a Self-analysis written by Pierre Bourdieu and published by Polity. This book was released on 2007 with total page 129 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past four decades, French sociologist Pierre Bourdieu produced one of the most imaginative and subtle bodies of social theory of the postwar era. When he died in 2002, he was considered to be the most influential sociologist in the world and a thinker on a par with Foucault and Levi-Strauss - a public intellectual as important to his generation as Sartre was to his. Sketch for a Self-Analysis is the ultimate outcome of Bourdieu's lifelong preoccupation with reflexivity. Vehemently not an autobiography, this unique book is instead an application of Bourdieu's theories to his own life and intellectual trajectory; along the way it offers compelling and intimate insights into the most important French intellectuals of the time - including Foucault, Sartre, Aron, Althusser, and de Beauvoir - as well as Bourdieu's own formative experiences at boarding school and his moral outrage at the colonial war in Algeria.
