Download or read book Conception d un logiciel de docking et applications dans la recherche de nouvelles mol cules actives written by Aurélien Grosdidier and published by . This book was released on 2015 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book OsMoSE written by Régis Kla and published by . This book was released on 2004 with total page 177 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse nous présentons une nouvelle approche de génie logiciel orienté objet, baseé sur le langage naturel et qui se nomme OsMoSE. Nous présentons aussi son outil d'aide à la conception du même nom. Cette approche assiste l'ingénieur dans la délicate tâche de transformation des besoins initialement décrits en langage naturel, vers un ensemble de schémas conceptuel orienté objet. Entièrement basé sur une architecture de système expert, l'outil OsMoSE repose sur un ensemble de règles lui permettant de simuler le comportement d'un analyste humain lors de la phase de conception d'un système logiciel orienté objet. Pour ce faire, l'outil OsMoSE est doté d'un puissant modèle de représentation des connaissances dérivé des graphes conceptuels de SOWA. En plus de ce modèle principal, plusieurs autres sont utilisés pour transformer les connaissances initialement décrites dans les scénarios textuels, en concepts orientés objet. Le processus de transformation défini par l'approche eest incrémental et intercatif. En effet, comme le ferait un analyste humain, l'outil essaie d'abord d'obtenir une compréhension minimale de la sémantique des textes de spécification ; ensuite il essaie d'identifier des situations qui lui sont connues et à partir desquelles il pourra inférer de nouvelles informations. Ces dernières lui permettront d'appliquer ses patrons de conception afin d'obtenir un ensemble cohérent de spécifications orientées objet. Le chapitre 3 de ce document présente un état de l'art des travaux de recherche dans des domaines connexes au notre, qui sont l'ingénierie des besoins basée sur le langage naturel, le génie logiciel et les systèmes experts. Ensuite le chapitre 4 présente tous les modèles, de représentation des connaissances ou des données, utilisés par l'approche. Le chapitre 8 présente en détail une étude de cas menée à l'aide de l'outil OsMoSE. Il présente aussi certaines caractéristiques que nous qualifierons "d'effets de bord bénéfiques", car n'étant pas vraiment liées à la problématique initiale de cette thèse. Enfin, une discussion concernant les limites et les problèmes non encore résolus à ce jour, clôturera le document.

Download or read book High level modeling of run time managers for the design of heterogeneous embedded systems written by Yaset Oliva Venegas and published by . This book was released on 2012 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: Afin de répondre à la difficulté toujours croissante de réaliser des systèmes embarqués, les concepteurs ont dû se tourner vers des méthodes et outils permettant d’abstraire le niveau de description. Ces systèmes modernes sont généralement caractérisés par la présence de multiples fonctions complexes de traitement numérique du signal et s’articulent de plus en plus autour de blocs hétérogènes (logiciels et matériels). Dans ce contexte, la tendance actuelle est d’incorporer un noyau afin de gérer ces différents blocs de manière flexible et dynamique. Lorsque ces blocs deviennent trop complexes, il devient alors possible d’ajouter au noyau des services supplémentaires afin d’en assurer la gestion. Ceci est notamment le cas lorsque les fonctions peuvent s’exécuter sur plusieurs processeurs hétérogènes ou dans des zones matérielles reconfigurables. Compte tenu de tous ces aspects, la première partie de cette thèse porte sur une contribution à un outil de conception et propose une méthodologie permettant d'explorer la structure d'un système embarqué. L'outil permet la spécification des trois éléments de base d'un système : l'application, l'architecture et le système d'exploitation (noyau) à partir de modèles de haut niveau. La méthodologie consiste à spécifier, simuler et analyser les trois éléments de base. La démarche d’exploration s’effectue de manière itérative jusqu'à ce qu’une solution satisfaisante soit déterminée. La seconde partie de la thèse a porté sur une extension d’un modèle noyau afin de gérer dynamiquement la migration des tâches entre différents blocs de traitement (processeurs ou zones reconfigurables). Le service proposé est conçu pour gérer les architectures à mémoire partagée contenant un noyau supportant une configuration maître/esclave. Ce service d’Offloading complète le modèle du noyau en y ajoutant de nouvelles fonctionnalités (la migration des tâches, gestion des tâches hétérogènes et le placement intelligent).

Download or read book Automating System level Data interchange Software Through a System Interface Description Language written by Martin Tapp and published by . This book was released on 2013 with total page 135 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Distributed Implementations of Component based Systems with Prioritized Multiparty Interactions written by Jean Quilbeuf and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les nouveaux systèmes ont souvent recours à une implémentation distribuée du logiciel, pour des raisons d'efficacité et à cause de l'emplacement physique de certains capteurs et actuateurs. S'assurer de la correction d'un logiciel distribué est difficile car cela impose de considérer tous les enchevêtrements possibles des actions exécutées par des processus distincts. Cette thèse propose une méthode pour générer, à partir d'un modèle d'application haut niveau, une implémentation distribuée correcte et efficace. Le modèle de l'application comporte des composants communiquant au moyen d'interactions multiparties avec priorités. L'exécution d'une interaction multipartie, qui correspond à un pas de la sémantique, change de façon atomique l'état de tous les composants participant à l'interaction. On définit une implantation distribuée comme un ensemble de processus communiquant par envoi de message asynchrone. La principale difficulté est de produire une implémentation correcte et efficace des interactions multiparties avec priorités, en utilisant uniquement l'envoi de message comme primitive. La méthode se fonde sur un flot de conception rigoureux qui raffine progressivement le modèle haut niveau en un modèle bas niveau, à partir duquel le code pour une plateforme particulière est généré. Tous les modèles intermédiaires apparaissant dans le flot sont exprimés avec la même sémantique que le modèle original. À chaque étape du flot, les interactions complexes sont remplacés par des constructions utilisant des interactions plus simples. En particulier, le dernier modèle obtenu avant la génération du code ne contient que des interactions modélisant l'envoi de message. La correction de l'implémentation est obtenue par construction. L'utilisation des interactions multiparties comme primitives dans le modèle de l'application permet de réduire très significativement l'ensemble des états atteignables, par rapport à un modèle équivalent mais utilisant des primitives de communication plus simples. Les propriétés essentielles du système sont vérifiées à ce niveau d'abstraction. Chaque transformation constituante du flot de conception est suffisamment simple pour être complètement formalisée et prouvée, en termes d'équivalence observationelle ou d'équivalence de trace entre le modèles avant et après transformation. L'implémentation ainsi obtenue est correcte par rapport au modèle original, ce qui évite une coûteuse vérification a posteriori. Concernant l'efficacité, la performance de l'implémentation peut être optimisée en choisissant les paramètres adéquats pour les transformations, ou en augmentant la connaissance des composants. Cette dernière solution requiert une analyse du modèle de départ afin de calculer la connaissance qui est réutilisée pour les étapes ultérieures du flot de conception. Les différentes transformations et optimisations constituant le flot de conception ont été implémentées dans le cadre de BIP. Cette implémentation a permis d'évaluer les différentes possibilités ainsi que l'influence des différents paramètres, sur la performance de l'implémentation obtenue avec plusieurs exemples. Le code généré utilise les primitives fournies par les sockets POSIX, MPI ou les pthreads pour envoyer des messages entre les processus.

Download or read book A Refinement based methodology for software process modeling written by Fahad Rafique Golra and published by . This book was released on 2014 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Il y a une tendance croissante à considérer les processus d'une organisation comme l'une de ses grandes forces. Les processus sont des ressources réutilisables d'une organisation qui définissent les procédures de travail pour la réalisation de ses objectifs. Avec l'importance croissante du secteur des logiciels et des services, la standardisation des processus devient indispensable pour maintenir sa crédibilité. Le développement de processus suit un cycle de vie très similaire à celui du développement logiciel. Par exemple, il se compose de plusieurs phases et suit une approche incrémentale qui mène à son amélioration continue. Cette approche incrémentale peut être complétée par une stratégie basée sur le raffinement pour développer, exécuter et maintenir les processus de développement de logiciels.Cette thèse propose une base conceptuelle pour le développement de processus logiciels par raffinement, sans perdre de vue les exigences spécifiques de chaque phase du cycle de vie d'un tel processus. Elle utilise l'ingénierie dirigée par les modèles pour présenter un ensemble de méta-modèles pour le développement de processus logiciels où chaque méta-modèle correspond à une phase différente d'un processus (spécification, implémentation et instanciation). Le modèle d'un processus traverse une série de raffinement jusqu'à ce qu'elle soit enrichie par des capacités d'exécution. Le développement d'un interpréteur permet d'exécuter ce modèle. Il donne la possibilité de relier les modèles des differentes phases par des liens de traçabilité. Les intervenants peuvent interagir avec le processus en exécution à l'aide d'une interface de supervision. Un niveau de variabilité incluse dans les modèles de processus permet leur adaptation pendant l'exécution. Tout en prenant en compte la nécessité de se conformer aux standards adoptés par l'organisation, l'architecture de l'approche de modélisation proposée exploite le concept d'abstraction en s'inspirant de la notion de composant logiciel pour aider à la réutilisation de modèles de processus. Notre méthode est également prévue pour les entreprises qui veulent suivre plusieurs standards pour le même projet.Sur la base des connaissances acquises grâce à l'étude des langages de modélisation actuels du domaine, le cadre proposé pour la modélisation de processus présente une architecture qui se développe autour des concepts de «conception par contrat» et «conception pour et par la réutilisation». Ceci permet de construire un modèle de processus qui a une structure modulaire et garantit la correction des interactions entre des activités constituantes. Afin de favoriser la séparation des préoccupations, les flux de données au sein d'un processus sont gérés à un niveau d'abstraction différent de celui des flux de contrôle. La conformité entre ces deux niveaux permet d'offrir une architecture bicouche. Le flux de données lors de l'exécution est assuré par un système de gestion d'événements. Une évaluation des capacités de l'approche proposée est fournie par une analyse basée sur l'ensemble des «workflow patterns». Cela permet une comparaison directe de ses capacités avec d'autres approches de modélisation de processus

Download or read book Adding Spatial Information to Software Component Model The Localization Effect written by Ali Hassan and published by . This book was released on 2012 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les Environnements Hautement Distribués (HDEs) sont des environnements de déploiement de logiciels qui incluent des machines très diverses comme de gros serveurs mais aussi des appareils mobiles avec des ressources limitées comme les ordinateurs portables, les assistants numériques personnels (ou PDA), les téléphones intelligents, les appareils GPS, des capteurs, etc. Le développement de logiciels pour les HDEs est fondamentalement différent du développement des systèmes centralisés ou des systèmes distribués fermés. Cet argument est discuté en détail tout au long de cette thèse. Les HDEs posent deux problèmes principaux : des réseaux non fiables et l'hétérogénéité des matériels et logiciels. Ces deux défis nécessitent un traitement minutieux pour permettre aux systèmes de continuer à fonctionner en fournissant la qualité de service (QoS) attendue aux utilisateurs. Cette thèse est une réponse directe aux défis mentionnés des HDEs. La contribution de cette thèse est le modèle de composant Cloud Component (CC). Nous présentons cette contribution en proposant 7 axes : (1) Un changement de paradigme pour passer de la transparence de la distribution à la reconnaissance de la localisation comme une préoccupation de première classe. (2) Un modèle de composant nommé Cloud Component (CC) pour réaliser ce changement avec (3) une nouvelle approche pour assembler ces composants pas de connexions distantes. (4) Un processus de développement des Cloud Components où (5) la modélisation et la prise en compte de la localisation, et donc de l'hétérogénéité, sont la clé de notre contribution. (6) Un langage formel pour décrire les composants, vérifier leurs assemblages et décrire leur processus de développement. Enfin, nous présentons (7) les outils développés : le Cloud Component Management System (CCMS) qui déploie les variantes logicielles adaptées aux cibles matérielles en s'appuyant sur des descriptions ontologiques des logiciels et de leur cible, l'annuaire (Registry) et le vérificateur d'assemblage. Pour répondre aux défis posés par HDEs et maintenir la qualité de service prévue aux utilisateurs, nous défendons la thèse d'un "changement de paradigme" dans la façon dont le logiciel est conçu et mis en oeuvre. Pour appliquer ce changement, notre contribution présente plusieurs aspects ; chacun forme une contribution partielle qui ne peut être isolée des autres et dont l'union forme un tout cohérent. Notre contribution couvre le processus complet de développement logiciel pour HDEs : des spécifications au déploiement et à la gestion de l'exécution.

Download or read book Software Engineering Techniques for Support of Communication Protocol Implementation written by Matthias Jung and published by . This book was released on 2000 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: Développer des applications distribuées implique souvent l'implémentation de nouveaux protocoles qui concernent les sémantiques de l'application ainsi que de la couche transport. Cependant, l'implémentation de nouveaux protocoles à partir de zéro est une tâche lourde et coûteuse. L'objectif de notre thèse est le développement des techniques et des outils qui nous aident à minimiser les coûts d'implémentation et de maintenance des protocoles de communication dans les systèmes finaux. Nous nous concentrons sur des techniques modernes du génie logiciel - charpentes orienté objet , motifs de conception et développement par assemblage de composants - qui ont montré récemment leur applicabilité dans différents domaines. La fondation de notre travail est un ensemble d'abstractions et de principes de structuration qui promeuvent la réutilisation et la flexibilité des logiciels de protocole. L'idée principale derrière ces principes suit une structure verticale au lieu d'une structure en couches. Notre approche intègre tous les services dont l'application a besoin dans une seule entité alors que tout démultiplexage est concentré hors de cette entité dans une couche plus basse. Par ailleurs, nous proposons de structurer les protocoles par chemin de données et de diviser chaque chemin de données identifié en modules à grain fin, réutilisables et configurables. Basée sur notre approche de structuration, nous présentons une charpente en Java dénommée PITOU qui permet de construire de nouveaux protocoles en assemblant et configurant des composants existants. De plus, nous avons mis en œuvre quelques outils de support, tels que des outils de simulation et de visualisation, ainsi qu'un générateur de code. L'applicabilité et la flexibilité de notre approche sont démontrées par l'implémentation des services de transport de TCP et par une application qui analyse des données d'une séance de RTP/RTCP.

Download or read book Remote Sensing of Coastal Aquatic Environments written by Richard L. Miller and published by Springer Science & Business Media. This book was released on 2007-03-22 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides extensive insight on remote sensing of coastal waters from aircraft and space-based platforms. The primary focus of the book is optical remote sensing using passive instruments, to measure and analyze the coastal aquatic environment. The authors have gathered information from a variety of sources, to help non-specialists grasp new techniques and technology, to quickly produce useful data

Download or read book Post secondary Distance Education in Canada written by Robert Arthur Sweet and published by [Athabasca, Alta.] : Athabasca University : Canadian Society for Studies in Education. This book was released on 1989 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: Following a foreword (Ross Paul) and an introduction (Robert Sweet), three sections on instituting postsecondary distance learning systems across Canada are presented: access and student support, educational technology, and institutional response. The first section contains the following: "Women in Distance Education: Towards a Feminist Perspective" (Rebecca Coulter); "Building Bridges: Northern Native Teacher Training" (Robert Paulet); "Le Tuteur et le Support a l'Etudiant en Enseignement a Distance" (Celine Lebel, Bernard Michaud); and "Provision of Student Support Services in Distance Education: Do We Know What They Need?" (Gordon Thompson). Papers in the second section are as follows: "La Formation a Distance: Des Choix Technologiques et des Valeurs" (France Henri, Therese Lamy); "Third Generation Course Design in Distance Education" (David Kaufman); "Contradictory Directions for Distance: Cultural Miscegenation, or Cultural Symbiosis?" (Gary Boyd); "A Philosophy of Distance Education: Perceptivism" (Charles Brauner); "La Technologie Educative dans l'Enseignement a Distance, Son Role et Sa Place" (Louise Sauve et al.); and "Distance Learning using Communications Technologies in Canada" (Barbara Helm). The third section contains the following: "Diversity or Chaos in Canadian Distance Education? A View from Overseas" (Anthony Bates); "Canada's Open Universities: Issues and Prospectives" (Ross Paul); "Involvement with Distance Education: Issues for the University" (Margaret Haughey); "Distance Education and Accessibility to Canada's Community Colleges" (John Dennison); "Being Responsible to the Adult Distance Learner: A Secondary School Example" (Norman McKinnon); "Canadian Private Sector Distance Education: A Preliminary Analysis of Organizational Structure and Governance Issues" (Kenneth Slade, Robert Sweet); "Collaboration in Distance Education" (Abram Conrad, James Small); "Collaboration in Distance Education: British Columbia's Open Learning Agency" (Ian Mugridge); and "Collaboration in Distance Education: Ontario's Contact North/Contac Nord" (Terry Anderson, Connie Nelson). (NLA)

Download or read book Phytochemicals in Nutrition and Health written by Mark S. Meskin and published by CRC Press. This book was released on 2002-03-19 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: Are soy isoflavones neuroprotective? Just how different is one species of Echinacea from another? Which phytochemicals will be effective as therapeutic agents in vivo? Supported by solid scientific research, Phytochemicals in Nutrition and Health helps provide answers to these and other probing questions concerning the mechanisms of action associat

Download or read book Archaeology at the Millennium written by Gary M. Feinman and published by Springer Science & Business Media. This book was released on 2007-10-17 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book an internationally distinguished roster of contributors considers the state of the art of the discipline of archaeology at the turn of the 21st century and charts an ambitious agenda for the future. The chapters address a wide range of topics including, paradigms, practice, and relevance of the discipline; paleoanthropology; fully modern humans; holocene hunter-gatherers; the transition to food and craft production; social inequality; warfare; state and empire formation; and the uneasy relationship between classical and anthropological archaeology.

Download or read book Nitroxides written by Olivier Ouari and published by Royal Society of Chemistry. This book was released on 2021-05-13 with total page 611 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nitroxides are versatile small organic molecules possessing a stabilised free radical. With their unpaired electron spin they display a unique reactivity towards various environmental factors, enabling a diverse range of applications. They have uses as synthetic tools, such as catalysts or building blocks; imaging agents and probes in biomedicine and materials science; for medicinal antioxidant applications; and in energy storage. Polynitroxides (polymers bearing pendant nitroxide sidechains) have been used in organic radical batteries, oxidation catalysts and in exchange reactions for constructing complex architectures. Chapters in this book cover the synthesis of nitroxides, EPR studies and magnetic resonance applications, physiochemical studies, and applications including in batteries, imaging and organic synthesis. With contributions from leaders in the field, Nitroxides will be of interest to graduate students and researchers across chemistry, physics, biology and materials science.

Download or read book Maritime Logistics written by Dong-Wook Song and published by Kogan Page Publishers. This book was released on 2012-04-03 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: Globalisation and the rapid increase in world trade in the past decade have contributed to greater demand for international transport and logistics and, consequently, the expansion of the maritime industry. The dramatic changes in the mode of world trade and cargo transportation make it more important than ever to have a clear understanding of the way in which freight is transported by sea and the role of ports in this exchange. Maritime Logistics examines the latest development, knowledge and practices taking place in logistics and supply chain within the port and shipping industry. Written by a team of international experts, who provide a truly global perspective on this increasingly key area of logistics, the book covers everything that students of logistics, as well as those working within the industry should know and understand including shipping lines, dry bulk and port-centric logistics.

Download or read book Computational Systems Biology of Cancer written by Emmanuel Barillot and published by CRC Press. This book was released on 2012-08-25 with total page 463 pages. Available in PDF, EPUB and Kindle. Book excerpt: The future of cancer research and the development of new therapeutic strategies rely on our ability to convert biological and clinical questions into mathematical models—integrating our knowledge of tumour progression mechanisms with the tsunami of information brought by high-throughput technologies such as microarrays and next-generation sequencing. Offering promising insights on how to defeat cancer, the emerging field of systems biology captures the complexity of biological phenomena using mathematical and computational tools. Novel Approaches to Fighting Cancer Drawn from the authors’ decade-long work in the cancer computational systems biology laboratory at Institut Curie (Paris, France), Computational Systems Biology of Cancer explains how to apply computational systems biology approaches to cancer research. The authors provide proven techniques and tools for cancer bioinformatics and systems biology research. Effectively Use Algorithmic Methods and Bioinformatics Tools in Real Biological Applications Suitable for readers in both the computational and life sciences, this self-contained guide assumes very limited background in biology, mathematics, and computer science. It explores how computational systems biology can help fight cancer in three essential aspects: Categorising tumours Finding new targets Designing improved and tailored therapeutic strategies Each chapter introduces a problem, presents applicable concepts and state-of-the-art methods, describes existing tools, illustrates applications using real cases, lists publically available data and software, and includes references to further reading. Some chapters also contain exercises. Figures from the text and scripts/data for reproducing a breast cancer data analysis are available at www.cancer-systems-biology.net.

Download or read book Pharmacological Control of Calcium and Potassium Homeostasis written by T. Godfraind and published by Springer. This book was released on 1995-07-31 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: This up to date treatment of calcium and potassium channel pharmacology first presents both molecular and preclinical pharmacology data, followed by contributions on the clinical application of the drugs that modulate calcium and potassium channels. Cardiovascular data prevail, but other chapters also discuss possible roles and application to the nervous system. Further, some contributions deal with future prospects in the area. Audience: Researchers, both pharmacological and medical, working in cardiovascular medicine with strong interests in the treatment of myocardial infarction and hypertension.

Download or read book Films that Work written by Vinzenz Hediger and published by Amsterdam University Press. This book was released on 2009 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: Industriële films worden gezien als een apart filmgenre van de twintigste eeuw. Ze werden geproduceerd en gesponsord door de overheid en grote bedrijven en moesten vooral aan de wensen van de sponsors voldoen, en niet zo zeer aan die van de filmmakers. In de hoogtijdagen werkten er duizenden mensen aan deze industriële films. Zo zijn er vakbladen en filmfestivals ontstaan door samenwerking met grote bedrijven als Shell en AT & T. Daarnaast hebben belangrijke regisseurs, zoals Buster Keaton, John Grierson en Alain Resnais, aan deze films meegewerkt. Toch lijkt de industriële film geen spoor te hebben achtergelaten in het filmische culturele discours. Films that Work is het eerste boek waarin de industriële film en zijn opmerkelijke geschiedenis worden onderzocht.