https://diffusion.lavoisier.fr/flux/dernieres-parutions-ofta.atom
Diffusion Lavoisier : Nouveautés des diffusés Lavoisier
2007-05-01T12:00:00+01:00
Diffusion Lavoisier
leslibraires@lavoisier.fr
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
https://images.lavoisier.fr/logo/lavoisier2014-print.jpg
OFTA : Les derniers ouvrages parus
© 2024 Diffusion Lavoisier
https://diffusion.lavoisier.fr/informatique/informatique-diffuse-arago-31/ofta/ofta/livre/9782906028173
Informatique diffuse (ARAGO 31)
2007-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248897.jpg" alt="Couverture de l'ouvrage :Informatique diffuse (ARAGO 31)" /><br />L'informatique diffuse est un paradigme émergent centré sur l'utilisateur, qui vise à lui offrir un accès à l'information et aux services numériques, en tout lieu, à tout instant, de manière aussi naturelle que possible. Ce paradigme est basé sur la combinaison des notions d'interfaces intelligentes et d'informatique et réseaux ubiquitaires. Les interfaces intelligentes permettent une interaction naturelle avec les équipements numériques, par exemple, via la voix et le geste, qui est adaptée aux préférences de l'utilisateur et à l'environnement. Les notions d'informatique et de réseaux ubiquitaires ont trait à la présence opportune et discrète de systèmes informatiques en tout lieu, comme à la maison, dans les espaces publics, dans la voiture, ou sur le lieu de travail. Ces notions sont effectivement basées sur les paradigmes d'informatiques mobile et nomade, développés depuis le début des années 90. Différentes technologies, comme les ordinateurs de poche sans fil, les téléphones intelligents, les réseaux sans fil ou encore les capteurs, à la base de la réalisation de l'informatique diffuse, sont déjà commercialement disponibles. Toutefois, le développement des systèmes de l'informatique diffuse soulève encore de nombreux défis scientifiques et technologiques, du fait de la spécificité de ces systèmes. Outre le respect des exigences classiques des systèmes informatiques telles que la sûreté de fonctionnement, les systèmes de l'informatique diffuse doivent intégrer des solutions à la mobilité de l'utilisateur, l'intégration de composants matériels et logiciels de plus en plus hétérogènes, la provision d'interfaces intelligentes ou encore l'acquisition et l'exploitation de connaissances sur l'utilisateur et l'environnement. Ces différentes exigences mettent en avant le caractère hautement dynamique de l'informatique diffuse, qui doit être pris en compte dans l'ensemble de l'architecture du système.Au cours de ces deux années du travail du Groupe « Informatique diffuse » de l'Observatoire Français des Techniques Avancées (OFTA), le constat a été fait de l'impact industriel croissant du paradigme. Ce sujet est également devenu une thématique de recherche centrale dans de nombreux laboratoires de recherche, du fait de la nécessité non seulement d'introduire des concepts clefs, mais également de faire évoluer les technologies actuelles pour effectivement réaliser la vision d' « informatique diffuse. Ce livre est le rapport de synthèse des travaux du Groupe de l'OFTA. L'objectif des travaux était de faire le point sur les différentes questions inhérentes à la réalisation effective de l'informatique diffuse, considérant notamment les différentes technologies à la base de cette vision. Ce rapport présente les conclusions du groupe de travail. Celles-ci conduisent à la formulation de dix recommandations étayées par un argumentaire de quinze chapitres, pour réellement promouvoir le développement de systèmes réalisant la vision d'informatique diffuse introduite dès le début des années 90 par Marc Weiser, qui doit permettre au grand public de bénéficier de manière aussi naturelle que possible des technologies de l'information et des communications.
https://diffusion.lavoisier.fr/informatique/ingenierie-des-modeles-logiciels-et-systemes-arago-30/ofta/ofta/livre/9782906028166
Ingénierie des modèles - Logiciels et systèmes (ARAGO 30)
2004-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248896.jpg" alt="Couverture de l'ouvrage :Ingénierie des modèles - Logiciels et systèmes (ARAGO 30)" /><br />Après les technologies des objets et des composants, c'est maintenant l'ingénierie des modèles qui semble prendre une grande importance dans le développement et la maintenance des systèmes à logiciel prépondérant. Pour faire face à la montée en complexité des systèmes à construire, ce sont aujourd'hui les notions de modèle et de métamodèle qui sont au coeur de nouveaux espoirs et de nouveaux défis. Dans cette nouvelle vision, le code exécutable ne représente plus le référentiel unique d'informations pour le cycle de développement. De nombreux modèles (de métier, de test, d'architecture, de déploiement, etc.) existent, sont développés, documentés et maintenus en dehors du code. Chaque modèle prend en compte de façon séparée les différents aspects du logiciel. Le statut des modèles évolue d'une phase contemplative à une phase productive. Ces modèles peuvent être traités automatiquement et on peut leur appliquer des transformations formelles. La multiplicité des modèles et leur faible granularité amènent à développer des ateliers où il sera possible de travailler conjointement avec plusieurs modèles, chacun d'entre eux étant conforme à un métamodèle et prenant en compte un aspect spécifique. Au cours des deux années de travail du groupe "Ingénierie des modèles" de l'Observatoire Français des Techniques Avancées (OFTA), le constat a été fait de l'impact industriel croissant de ces idées. En particulier, une réunion commune du groupe de l'OFTA et du groupe MDA de l'OMG, lors de la session de l'OMG qui s'est tenue à Paris en Juin 2003, a permis d'illustrer le dynamisme et la forte réactivité du tissu industriel français sur ce sujet. De même, la reconnaissance scientifique de ce thème est de plus en plus importante dans le milieu académique, comme en témoignent les nombreuses rencontres et conférences internationales sur l'ingénierie des modèles. Ce livre est le rapport de synthèse des travaux du Groupe de l'OFTA. Il présente les aspects les plus importants de cette nouvelle ingénierie, des exemples de son utilisation et la comparaison entre les concepts qui y sont introduits et les concepts de base utilisés dans d'autres domaines. Ils présentent également des propositions et recommandations utiles pour l'Administration, l'Université, l'Industrie et les Organismes publics de Recherche et Développement, quant aux orientations à prendre et aux actions à entreprendre en matière de recherche, développement, industrialisation et formation dans les années qui viennent.
https://diffusion.lavoisier.fr/informatique/systemes-multi-agents-arago-29/ofta/ofta/livre/9782906028159
Systèmes multi-agents (ARAGO 29)
2004-02-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248895.jpg" alt="Couverture de l'ouvrage :Systèmes multi-agents (ARAGO 29)" /><br />L'importance grandissante des Systèmes Multi-Agents dans le paysage scientifique et technologique aux plans français, européen et international résulte du besoin croissant de coordonner des opérations distribuées, de simuler de manière décentralisée des systèmes ouverts toujours plus complexes, d'accompagner le développement de l'infrastructure de communication, de modéliser et de réaliser des systèmes à un niveau d'abstraction toujours plus élevé. La force de ce paradigme récent provient de la flexibilité et de la variété des interactions et des organisations présentes dans de tels systèmes. Ce paradigme des Sciences et Technologies de l'Information, issu de l'Intelligence Artificielle, s'est développé autour de notions telles que l'émergence. Il a engendré ses propres éléments méthodologiques en conception et en programmation. Il bénéficie déjà de standards reconnus dans le monde industriel. Il met en valeur la relation du système à l'utilisateur. Ses usages sont nombreux et variés et concernent le commerce électronique, les jeux interactifs, les systèmes logiciels, la réalité virtuelle, la robotique et les systèmes manufacturiers, la simulation, les systèmes coopératifs, les systèmes d'information, les télécommunications, ou encore les transports. Ce livre est le rapport de synthèse des travaux du Groupe "Systèmes Multi-Agents" de l'Observatoire Français des Techniques Avancées (OFTA). Il présente en détail les sujets les plus importants du domaine : les caractéristiques des systèmes et des applications, les positionnements scientifique et technologique, la notion d'émergence, les aspects méthodologiques, les standards et les normes, les aspects applicatifs, la relation à l'utilisateur et les nouveaux usages, les incitations et freins à la mise en oeuvre des systèmes multi-agents.
https://diffusion.lavoisier.fr/electricite-electronique/nanocomposants-et-nanomachines-arago-26/ofta/ofta/livre/9782906028128
Nanocomposants et nanomachines (Arago 26)
2001-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248892.jpg" alt="Couverture de l'ouvrage :Nanocomposants et nanomachines (Arago 26)" /><br />Les nanosciences et les nanotechnologies sont maintenant reconnues par les grandes firmes des industries pharmaceutiques, spatiales et électroniques comme domaines d'importance stratégique et commencent à être prises en compte dans les programmes de recherche des institutions gouvernementales. Par delà ce constat, le groupe de travail "Nanocomposants et nanomachines" de l'Observatoire Français des Techniques Avancées (OFTA) a procédé à un examen approfondi des conséquences technologiques et industrielles à long terme de la révolution scientifique que constituent l'accès physique (mécanique, électrique, magnétique) à un seul et même nano-objet, ainsi que son contrôle, notamment par la réalisation de nanomachines (pour le calcul, les mémoires, les mouvements, l'assemblage, le tri et la communication). Cet ouvrage est le rapport de synthèse des travaux du groupe, il offre un état approfondi du domaine et décrit les perspectives scientifiques et technologiques, notamment en nanoélectronique et en nanobiologie et nanomédecine.
https://diffusion.lavoisier.fr/informatique/architecture-de-logiciels-et-reutilisation-de-composants-arago-24/ofta/ofta/livre/9782906028104
Architecture de logiciels et réutilisation de composants (Arago 24)
2000-10-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248890.jpg" alt="Couverture de l'ouvrage :Architecture de logiciels et réutilisation de composants (Arago 24)" /><br />Ce livre est le rapport de synthèse du Groupe de travail "Architecture de logiciels et réutilisation de composants" de l'Observatoire Français des Techniques Avancées. Après une introduction comprenant un état de l'art, un exposé sur les acquis du génie logiciel dans le domaine et une grille d'analyse multicritère pour l'usage de composants logiciels, il présente sept expériences industrielles exemplaires et sept "coups de projecteur" sur des sujets spécifiques. L'expérience acquise par le Groupe au cours de deux années de travail est résumée dans cinq recommandations pour l'élaboration d'architectures à base de composants logiciels réutilisables.
https://diffusion.lavoisier.fr/informatique/logiciel-et-reseaux-de-communication-arago-23-observatoire-francais-des-techniques-avancees/ofta/ofta/livre/9782906028098
Logiciel et réseaux de communication (Arago 23). Observatoire Francais des techniques avancées
2000-05-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248889.jpg" alt="Couverture de l'ouvrage :Logiciel et réseaux de communication (Arago 23). Observatoire Francais des techniques avancées" /><br />Les réseaux de communication de la nouvelle génération, terrestres, mobiles ou satellites, manipuleront des informations multimédias de tous types (textes, images, vidéos, sons) et interconnecteront de nombreux utilisateurs de façon coopérative. Ces nouveaux systèmes devront posséder à la fois multifonctionnalité, flexibilité, sécurité et rapidité, caractéristiques que ne possèdent pas encore les solutions existantes. Les objectifs de cette 23ème journée de l'OFTA étaient d'une part, de faire le point sur l'évolution de l'Internet vers ses deuxième et troisième génération en analysant les programmes internationaux d'expérimentation, et d'autre part de formuler des recommandations pour gérer au mieux les impacts de cette évolution.
https://diffusion.lavoisier.fr/physique/problemes-inverses-de-l-experimentation-a-la-modelisation-arago-22/ofta/ofta/livre/9782906028081
Problèmes inverses: De l'expérimentation à la modélisation (Arago 22)
1999-10-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248887.jpg" alt="Couverture de l'ouvrage :Problèmes inverses: De l'expérimentation à la modélisation (Arago 22)" /><br />Certaines grandeurs physiques ne sont pas directement mesurables. Elles sont donc généralement atteintes par l'exploitation d'autres mesures observables et reliées à la grandeur inconnue par des lois physiques. Cet ouvrage présente les situations où l'obtention de ces grandeurs non mesurables nécessite de résoudre des équations dans le sens inverse de celui habituellement maîtrisé et pratiqué. Ces problèmes inverses interviennent dans de multiples secteurs : géophysique, contrôle non destructif, imagerie médicale, météorologie, océanographie, industrie électronucléaire, génie civil, restauration de signaux ou d'images, recalage de modélisation... Il constitue le rapport du groupe de travail consacré aux problèmes inverses et mis en place par l'Ofta.
https://diffusion.lavoisier.fr/electricite-electronique/microsystemes-arago-21/ofta/ofta/livre/9782906028074
Microsystèmes (Arago 21)
1999-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248885.jpg" alt="Couverture de l'ouvrage :Microsystèmes (Arago 21)" /><br />Ce livre montre comment les technologies de la microélectronique ont influencé les concepts physiques et les techniques de miniaturisation des composants mécaniques et optiques. Il explique également comment a été prise en compte l'approche " système intégré " dans des applications hétérogènes complexes. La nécessité d'une masse et d'un volume faibles, d'une moindre consommation d'énergie, d'une intégration poussée de l'électronique associée, font des microsystèmes une réponse scientifique et technique nouvelle à de nombreux problèmes concernant l'ensemble des activités humaines.
https://diffusion.lavoisier.fr/informatique/applications-des-techniques-formelles-au-logiciel-arago-20/ofta/ofta/livre/9782906028067
Applications des techniques formelles au logiciel (Arago 20)
1997-06-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248884.jpg" alt="Couverture de l'ouvrage :Applications des techniques formelles au logiciel (Arago 20)" /><br />Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Éléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Évaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.
https://diffusion.lavoisier.fr/informatique/ordinateurs-et-calculs-paralleles-arago-19/ofta/ofta/livre/9782906028050
Ordinateurs et calculs parallèles (Arago 19)
1997-04-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248882.jpg" alt="Couverture de l'ouvrage :Ordinateurs et calculs parallèles (Arago 19)" /><br />Extrait :Présentation générale. Applications industrielles. Applications du calcul parallèle en aéronautique. Le calcul hautes performances dans l'industrie automobile. Parallélisation de bases de données. La simulation numérique en météo-climatologie. Exploration sismique pétrolière et calcul parallèle. Calcul intensif et parallèle en biologie moléculaire et en chimie. Le calcul scientifique. Électromagnétisme et ordinateurs massivement parallèles. Parallélisme et comparaison de séquences nucléiques et protéiques. Analyse numérique et calcul parallèle. Le calcul parallèle pour la mécanique des fluides. Parallélisme et mécanique des solides. Adéquation algorithme-architecture en traitement du signal et des images. Logiciels et environnements. Les langages de programmation parallèle et leurs compilateurs. Environnements et outils de mise au point. Couplage de codes. Les bibliothèques de communications. Bibliothèques pour le calcul numérique parallèle : synthèse et perspectives. Architectures. Architecture des
https://diffusion.lavoisier.fr/economie/nouvelles-interfaces-homme-machine-serie-arago-18/ofta/ofta/livre/9782906028043
Nouvelles interfaces homme machine (série Arago 18)
1996-12-01T12:00:00+01:00
<img src="https://images.lavoisier.fr/vignettes/2248881.jpg" alt="Couverture de l'ouvrage :Nouvelles interfaces homme machine (série Arago 18)" /><br />Conclusions et recommandations du groupe. Argumentaire. Définition et caractérisation des interfaces homme-machine. Ergonomie des interfaces futures. Les modes et les modalités. Ingénierie de l'interaction homme-machine. Les interfaces multimodales. Les environnements virtuels. Le collecticiel : de l'interaction homme-machine à la communication homme-machine-homme. Le dialogue homme-machine : de l'ergonomie des interfaces à l'agent intelligent dialoguant. L'évaluation des nouvelles interfaces homme-machine interactives.