
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
Il est des systèmes qui exhibent une caractéristique majeure constituée par une interaction forte et soutenue avec leur environnement. Ils sont très diffus voire insoupçonnés, dans des domaines d'application aussi divers que le transport et l'automobile (automotive), la communication (y compris le Web), le monitorage médical, le contrôle/commande de procédés industriels, les systèmes mobiles (assistants et téléphones portables), les interfaces homme-machine, les circuits VLSI ou encore l'électronique de loisirs. De tels systèmes sont dits réactifs. Des outils et des formalismes basés sur des approches asynchrones et synchrones permettent de développer et de vérifier de tels systèmes. L'approche synchrone, basée sur une hypothèse de temps de traitement nul, est plus récente et présente divers avantages. Mathématiquement fondée, elle est notamment utilisée dans le développement du logiciel des nouveaux avions Airbus. Le contenu de cet ouvrage est destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé comme support de cours de programmation de systèmes réactifs ou comme ouvrage de référence pour des professionnels souhaitant élargir leurs connaissances, qu'ils évoluent dans les domaines du logiciel ou des systèmes numériques.
| Nombre de pages | 467 |
|---|---|
| Date de parution | 07/04/2005 |
| Poids | 874g |
| Largeur | 160mm |
| EAN | 9782880746223 |
|---|---|
| Titre | Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts |
| Auteur | Zaffalon Luigi |
| Editeur | PU POLYTECHNIQU |
| Largeur | 160 |
| Poids | 874 |
| Date de parution | 20050407 |
| Nombre de pages | 467,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

Programmation concurrente et temps réel avec Java
Zaffalon LuigiSi le langage Java s'est avantageusement répandu dans le domaine des systèmes d'information et d'internet, sa pénétration dans celui des systèmes temps-réel et des applications critiques est bien plus récente, voire confidentielle. Cet ouvrage cible prioritairement ces nouveaux domaines en procédant par étapes, selon une approche descriptive didactique. Il constitue d'abord une introduction à la programmation concurrente avec le support du langage Java comme outil de description d'algorithmes concurrents. Il décrit ensuite les mécanismes de synchronisation et de communication intrinsèques à Java, parfois dans un esprit critique. Enfin, il aborde des aspects propres au développement des systèmes embarqués, notamment par une sensibilisation aux problématiques du temps réel en relation avec les propositions de la spécification RTSJ dédiées au développement d'applications temps réel en Java.ÉPUISÉVOIR PRODUIT49,00 € -

Programmation séquentielle avec ADA 95
Breguet Pierre ; Zaffalon LuigiAda occupe une place unique parmi les langages de programmation. Conçu à partir d'un cahier des charges précis, résultat de la synthèse des meilleures idées apparues dans les langages antérieurs, il est strictement normalisé et disponible sur la plupart des machines du marché. Traduction directe des principes du génie logiciel, c'est aussi un outil pédagogique remarquable car il forme la pensée de l'élève à travailler dans un contexte de rigueur. Pourtant, si Ada n'occupe pas le devant du marché, ce n'est pas pour des raisons techniques mais à cause d'un manque général de formation aux techniques du génie logiciel. Cet ouvrage comble donc une lacune importante : en présentant dans une même démarche ce qu'est le processus de programmation et comment le mettre en ?uvre avec Ada, il enseigne les bases de la programmation en utilisant un langage qui en traduit directement les principes. Ouvrage essentiellement dédié à l'introduction de la programmation et à l'algorithmique séquentielle, il s'appuie sur une approche structurée et systématique et constitue un support sans équivalent en langue française pour un premier apprentissage de la programmation destiné à des débutants, étudiants de hautes écoles ou d'écoles d'ingénieurs ainsi qu'un ouvrage de référence et d'initiation au langage Ada pour des programmeurs déjà expérimentés.ÉPUISÉVOIR PRODUIT44,75 € -

Programmation concurrente et temps réel avec ADA 95
Breguet Pierre ; Zaffalon LuigiCet ouvrage est essentiellement consacré aux aspects concurrents et temps réel de la programmation de systèmes, notamment embarqués. Le langage Ada y est utilisé comme moyen privilégié pour en illustrer les concepts. Il constitue une suite logique à la programmation séquentielle et un prérequis à la programmation d'objets concurrents et distribués. Destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé à la fois comme support de cours de programmation concurrente et temps réel et comme ouvrage de référence pour des professionnels souhaitant élargir ou approfondir leurs connaissances dans ce domaine.Sur commande, 2 à 4 joursCOMMANDER69,50 €
Du même éditeur
-

Mares et étangs. Ecologie, gestion, aménagement et valorisation
Oertli Beat ; Frossard Pierre-André ; Lefeuvre JeaMondes fascinants à l'interface des milieux aquatique et terrestre, les mares et les étangs sont particulièrement nombreux et variés. Ces systèmes complexes, en étroite relation avec l'activité humaine, abritent un nombre important d'espèces végétales et animales; leur gestion présente des enjeux importants en termes de conservation de la biodiversité dans un contexte de développement durable, mais également en termes de protection de la ressource eau, éminemment fragile.Cet ouvrage propose une description générale des mares et des étangs, de leurs composantes physiques, de leur faune et de leur flore, ainsi que de leur fonctionnement écologique. Il expose les différentes typologies et l'ensemble des aspects liés au diagnostic et au suivi écologique de ces milieux. Les mesures pratiques d'entretien, de restauration et d'aménagement de nouveaux étangs sont développées en détail, tout comme les divers procédés de valorisation et les cadres législatifs en vigueur.Complet, pratique et synthétique, ce manuel fournit l'ensemble des bases nécessaires à une démarche intégrée de gestion interdisciplinaire de milieu naturel, depuis l'étape de diagnostic jusqu'à la planification des mesures d'entretien ou de restauration à mettre en oeuvre. Sans précédent par la richesse et la multidisciplinarité de son contenu, cette référence s'adresse aux étudiants, aux naturalistes, aux enseignants, aux chercheurs, aux gestionnaires et aux praticiens de l'environnement, ainsi qu'à un plus large public.4e de couverture : Mondes fascinants à l'interface des milieux aquatique et terrestre, les mares et les étangs sont particulièrement nombreux et variés. Ces systèmes complexes, en étroite relation avec l'activité humaine, abritent un nombre important d'espèces végétales et animales; leur gestion présente des enjeux importants en termes de conservation de la biodiversité dans un contexte de développement durable, mais également en termes de protection de la ressource eau, éminemment fragile.Cet ouvrage propose une description générale des mares et des étangs, de leurs composantes physiques, de leur faune et de leur flore, ainsi que de leur fonctionnement écologique. Il expose les différentes typologies et l'ensemble des aspects liés au diagnostic et au suivi écologique de ces milieux. Les mesures pratiques d'entretien, de restauration et d'aménagement de nouveaux étangs sont développées en détail, tout comme les divers procédés de valorisation et les cadres législatifs en vigueur.Complet, pratique et synthétique, ce manuel fournit l'ensemble des bases nécessaires à une démarche intégrée de gestion interdisciplinaire de milieu naturel, depuis l'étape de diagnostic jusqu'à la planification des mesures d'entretien ou de restauration à mettre en oeuvre. Sans précédent par la richesse et la multidisciplinarité de son contenu, cette référence s'adresse aux étudiants, aux naturalistes, aux enseignants, aux chercheurs, aux gestionnaires et aux praticiens de l'environnement, ainsi qu'à un plus large public.Table des matières : Des milieux répandus et diversifiés, mais en raréfaction Etangs et société: sujets versatiles Le milieu physique et sa variabilité Faune, flore, biodiversite Le fonctionnement écologique Typologie des mares et des étangs Diagnostic et suivi écologique Principes de gestion et modalités d'entretien Comment créer une mare, un étang ? Aménagement du milieu (végétation et milieux annexes) Cadre juridique Valoriser le patrimoine des mares et des étangsSur commande, 2 à 4 joursCOMMANDER69,50 € -

L'architecte et le charpentier. Une histoire de la construction en bois au Japon
Jacquet Benoît ; Matsuzaki Teruaki ; Tardits ManueRésumé : Aujourd'hui, à l'évocation de l'architecture japonaise, les images d'un temple ou d'une pagode viennent assez naturellement à l'esprit. Certains auront également en tête des oeuvres plus contemporaines : les voiles de béton brut de décoffrage, massifs et modulaires à la manière d'Ando Tadao, les architectures plus légères d'Ito Toyo, Sejima Kazuyo ou les façades ouvragées de Kuma Kengo1, pour ne citer qu'eux. Un fossé générationnel, voire historique, assez surprenant, semble s'être creusé entre les images d'une architecture traditionnelle très emblématique où le bois est le matériau de prédilection, et celles plus actuelles de projets innovants où son usage se réduit. Au Japon, bien que le charpentier en ait longtemps été le maître d'oeuvre principal, la culture architecturale contemporaine semble avoir oublié ce savoir constructif accumulé durant des siècles. Une telle constatation s'applique d'ailleurs à nombre d'autres domaines de l'art comme la musique - les enfants japonais apprennent plus volontiers le piano ou le violon que le shamisen ou le koto - la peinture et la sculpture, enseignées selon les canons occidentaux depuis la réforme de Meiji à la fin du XIXe siècle. Le déclin de l'artisanat, l'industrialisation, la modernisation des savoirs et des techniques, sont des phénomènes aujourd'hui observables à une échelle globale, mais dans le cas du Japon en particulier, le contraste est saisissant, même inquiétant, entre ce qui reste d'un patrimoine ancien et ce qui se construit en majorité dans les villes japonaises.Sur commande, 2 à 4 joursCOMMANDER42,00 € -

Dynamique des structures. Bases et applications pour le génie civil, 2e édition revue et augmentée
Lestuzzi Pierino ; Smith IanLa dynamique des structures est un champ d'expertise dont la maîtrise est désormais indispensable pour tout projet de construction. Le développement de structures toujours plus légères et élancées impose en effet à l'ingénieur civil d'en connaître les principes, tout comme ceux du génie parasismique. C'est à l'exposé des bases théoriques et fondamentales de cette branche commune à plusieurs domaines de l'ingénierie que s'attache ce manuel, illustré de nombreux exemples d'application au génie civil. Les principes de la dynamique des structures sont tout d'abord présentés avec un, puis plusieurs degrés de liberté, à l'image de l'amortisseur à masse accordée dont le fonctionnement, reposant sur un système à deux degrés de liberté soumis à une excitation harmonique, fait l'objet d'une attention particulière. Autre point décisif de l'ouvrage : le concept de spectre de réponse, qui constitue un outil essentiel pour l'ingénieur praticien. Le lecteur y trouvera également un développement consacré aux actions dynamiques provoquées par le vent et les séismes, une introduction à la dynamique non linéaire, et de nombreux exemples d'utilisation de mesures de vibration in-situ pour l'analyse dynamique. Enfin, l'ensemble des procédures de calcul importantes sont formulées avec les instructions du logiciel de calcul numérique MatLab. Cette deuxième édition est augmentée d'une nouvelle section dédiée aux coordonnées modales ; les jeux complets d'instructions MatLab des annexes ont par ailleurs été entièrement revus et améliorés, et un index complète désormais l'ensemble. Une référence solide et durable pour tous les étudiants et ingénieurs praticiens en construction.ÉPUISÉVOIR PRODUIT36,50 € -

Choisir l'architecture. Critique, histoire et théorie depuis le XIXe siècle
Van Gerrewey Christophe ; Guidicelli ThomasDepuis des siècles, l'architecture fait l'objet de très nombreux débats impliquant non seulement les architectes et les usagers des édifices qu'ils construisent, mais également critiques, théoriciens, historiens et écrivains. Choisir l'architecture se propose d'ouvrir une large fenêtre sur ces réflexions au sein du monde occidental à travers quatre trajectoires thématiques axées sur le logement, la société, l'histoire et l'art. Chacun de ces parcours prend sa source au XIXe siècle, traverse le XXe siècle et s'achève aussi près que possible du temps présent. Les essais, articles de journaux ou de magazines, livres ou extraits de livres qui forment les briques de cette construction narrative sont tous soigneusement interrogés, illustrés, comparés, analysés et critiqués. L'objectif de cet ouvrage est de démontrer que l'architecture demeure un sujet d'étude essentiel pour quiconque s'intéresse au monde actuel et à son histoire récente. Lecture, prise d'informations et réflexion forment des préalables nécessaires à toute prise de décision concrète, en particulier dans le domaine de l'architecture. Les écrits réunis dans ce livre s'apparentent à des perles de connaissance enfilées sur une cordelette jusqu'à former une sorte de collier, un talisman permettant de mieux faire face à la condition présente.ÉPUISÉVOIR PRODUIT49,00 €
De la même catégorie
-

Python 3. Apprendre à programmer dans l'écosystème Python, 2e édition
Cordeau Bob ; Pointal LaurentDestiné à tous ceux qui veulent s'initier à la programmation, qu'ils soient étudiants, enseignant ou autodidactes, cet ouvrage vous fournira les bases de l'apprentissage de la programmation avec Python 3, langage à la fois simple, puissant et polyvalent. Accompagnée de nombreux exemples, la démarche pédagogique est renforcée par l'usage de la distribution Pyzo et des notebooks Jupyter, outils pédagogiques interactifs qui permettent au lecteur de tester aisément son code et de mettre en oeuvre les connaissances qu'il acquiert. De plus l'usage de la couleur permet de bien faire comprendre les différents éléments qui constituent le code. Outre les 25 exercices corrigés présents dans la version imprimée, cet ouvrage offre une centaine d'autres exercices corrigés accessibles sur le web. Le livre s'appuie sur la version Python 3. 8. Retrouvez sur https : //www. dunod. com/EAN/9782100809141 et sur https : //github. com/lpointal/appbclp : - Les programmes des exercices et des exemples. - Une documentation sur l'installation et l'usage des notebooks Jupyter. - Les exercices corrigés supplémentaires.EN STOCKCOMMANDER24,00 € -

Initiation à l'algorithmique et à la programmation en C. 3e édition
Malgouyres Rémy ; Zrour Rita ; Feschet FabienCet ouvrage s'adresse aux étudiants (licences et IUT), ainsi qu'à tous ceux qui souhaitent acquérir des bases solides en programmation. L'ouvrage est structuré en quatre parties : Les bases du langage C : syntaxe, types de données, entréessorties (stdio. h), exécution conditionnelle, structuration d'un programme C, structures, itération. Les structures séquentielles : tableaux, fichiers texte, adresses, pointeurs et passage par adresse, allocation dynamique, chaînes de caractères, fichiers binaires, tableaux à double entrée. Les algorithmes : langage algorithmique et complexité, algorithmes de tri quadratiques, tri rapide (quicksort). Les structures de données : listes chaînées, piles, files, récursivité, arbres binaires, graphes, parcours de graphes, liste d'adjacence. Conçus comme des supports d'apprentissage, les 129 exercices corrigés peuvent être abordés en complément de l'enseignement reçu ou de manière autodidacte.Sur commande, 2 à 4 joursCOMMANDER32,40 € -

Machine Learning avec Scikit-Learn. Mise en oeuvre et cas concrets, 2e édition
Géron Aurélien ; Bohy AnneL'apprentissage automatique (Machine Learning) est aujourd'hui en pleine explosion. Mais de quoi s'agit-il exactement, et comment pouvez-vous le mettre en oeuvre dans vos propres projets ? L'objectif de cet ouvrage est de vous expliquer les concepts fondamentaux du Machine Learning et de vous apprendre à maîtriser les outils qui vous permettront de créer vous-même des systèmes capables d'apprentissage automatique. Vous apprendrez ainsi à utiliser Scikit-Learn, un outil open source très simple et néanmoins très puissant que vous pourrez mettre en oeuvre dans vos systèmes en production. Apprendre les bases du Machine Learning en suivant pas à pas toutes les étapes d'un projet utilisant Scikit-Learn et pandas. Ouvrir les boites noires pour comprendre comment fonctionnent les algorithmes. Explorer plusieurs modèles d'entraînement, notamment les machines à vecteur de support (SVM). Comprendre le modèle des arbres de décision et celui des forêts aléatoires, et exploiter la puissance des méthodes ensemblistes. Exploiter des techniques d'apprentissage non supervisées telles que la réduction de dimensionnalite. la classification et la détection d'anomalies.ÉPUISÉVOIR PRODUIT38,00 € -

Photoshop CC pour les photographes. Manuel de fomation pour les professionnels de l'image
Evening MartinRésumé : Dans cette nouvelle édition de son best-seller, bible du photographe numérique, Martin Evening nous présente la version CC de Photoshop, en mettant l'accent sur les articulations entre Photoshop et Bridge, Camera Raw ou Lightroom. Les nouvelles fonctionnalités du logiciel, maintenant hébergé dans le Creative Cloud d'Adobe, sont traitées en détail (espace de travail, suréchantillonnage ,"intelligent", correction du flou de bougé, etc.), sans oublier les problématiques classiques de traitement et de correction des images, d'accentuation, de retouche, de montage, de travail du noir et blanc. Méthodes, mises en garde, conseils techniques et artistiques, cet ouvrage est le guide indispensable de tous les photographes, professionnels ou amateurs exigeants.ÉPUISÉVOIR PRODUIT39,90 €
