الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'éditeur
Hermes Sciences Publications
localisé à :
Paris
|
Documents disponibles chez cet éditeur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externesComposants logiciels et sûreté de fonctionnement
Titre : Composants logiciels et sûreté de fonctionnement : intégration de COTS Type de document : texte imprimé Auteurs : Jean Arlat (1953-....), Directeur de publication, rédacteur en chef Editeur : Paris : Hermes Sciences Publications Année de publication : 2000 Importance : 158 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0146-0 Prix : Prix : 196,75 F : 30 EUR Note générale : COTS = Components off the shelf
Bibliogr. p. 147-154. IndexLangues : Français (fre) Mots-clés : cots, pore, ostd, approche guards Index. décimale : 67 Résumé : L'ingénierie du logiciel s'oriente de plus en plus vers un développement à base de composants sur étagère ou COTS (Components-Off-the Shelf). Cependant, face aux gains indéniables attendus sur le plan de la productivité, un autre facteur important doit être considéré : le coût non négligeable induit par la validation des systèmes intégrant de tels composants. Cet aspect est majeur lorsqu'il s'agit de satisfaire les exigences imposées par les domaines d'application critiques (transports, nucléaire, spatial, etc.). On peut se demander alors s'il est rentable d'utiliser des COTS ? La réponse dépend bien sûr du domaine d'application visé, et surtout des contraintes imposées en matière de qualification et de certification sur le plan de la sûreté de fonctionnement. Pour apporter des éléments de réponse à cette question, l'ouvrage analyse d'abord les principales contraintes que cette évolution pose au cours des différentes étapes du cycle de vie des systèmes informatiques intégrant des logiciels COTS. Il propose ensuite des recommandations qui visent à apporter des solutions viables sur les plans technique et économique, compatibles avec ces exigences. Composants logiciels et sûreté de fonctionnement : intégration de COTS [texte imprimé] / Jean Arlat (1953-....), Directeur de publication, rédacteur en chef . - Paris : Hermes Sciences Publications, 2000 . - 158 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0146-0 : Prix : 196,75 F : 30 EUR
COTS = Components off the shelf
Bibliogr. p. 147-154. Index
Langues : Français (fre)
Mots-clés : cots, pore, ostd, approche guards Index. décimale : 67 Résumé : L'ingénierie du logiciel s'oriente de plus en plus vers un développement à base de composants sur étagère ou COTS (Components-Off-the Shelf). Cependant, face aux gains indéniables attendus sur le plan de la productivité, un autre facteur important doit être considéré : le coût non négligeable induit par la validation des systèmes intégrant de tels composants. Cet aspect est majeur lorsqu'il s'agit de satisfaire les exigences imposées par les domaines d'application critiques (transports, nucléaire, spatial, etc.). On peut se demander alors s'il est rentable d'utiliser des COTS ? La réponse dépend bien sûr du domaine d'application visé, et surtout des contraintes imposées en matière de qualification et de certification sur le plan de la sûreté de fonctionnement. Pour apporter des éléments de réponse à cette question, l'ouvrage analyse d'abord les principales contraintes que cette évolution pose au cours des différentes étapes du cycle de vie des systèmes informatiques intégrant des logiciels COTS. Il propose ensuite des recommandations qui visent à apporter des solutions viables sur les plans technique et économique, compatibles avec ces exigences. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-000717 005-322.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001302 005-322.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
Titre : Dimensionnement des structures : une introduction Type de document : texte imprimé Auteurs : Daniel Gay, Auteur ; Jacques Gambelin, Auteur Editeur : Paris : Hermes Sciences Publications Année de publication : 1999 Importance : 676 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-7462-0049-X Prix : 295,18 F Note générale : Bibliogr., 1 p. Glossaire Langues : Français (fre) Index. décimale : 624.1 Dimensionnement des structures : une introduction [texte imprimé] / Daniel Gay, Auteur ; Jacques Gambelin, Auteur . - Paris : Hermes Sciences Publications, 1999 . - 676 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 2-7462-0049-X : 295,18 F
Bibliogr., 1 p. Glossaire
Langues : Français (fre)
Index. décimale : 624.1 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-004423 531-172.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible
Titre : Maillages : applications aux éléments finis Type de document : texte imprimé Auteurs : Pascal Jean Frey, Auteur ; Paul-Louis George, Auteur Editeur : Paris : Hermes Sciences Publications Année de publication : 1999 Importance : 840 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0024-1 Prix : 393,57 F Note générale : Bibliogr. p. 789-827. Index Langues : Français (fre) Mots-clés : maillage, principes de base, optimisation Index. décimale : 620.0 Résumé :
La simulation numérique de problèmes physiques modélisés par des équations aux dérivées partielles peut se faire en utilisant différentes méthodes : éléments finis, volumes finis ou équations intégrales, qui nécessitent toutes la construction d'une discrétisation du domaine (un maillage). Les équations sont alors approchées par un ensemble fini d'équations s'appuyant sur ce maillage. Ce système est ensuite résolu, donnant ainsi une solution approchée du système initial. La discrétisation spatiale, le maillage, doit vérifier des propriétés afin que la solution calculée ait une certaine qualité. Le maillage doit suivre fidèlement la géométrie des frontières du domaine pour bien approcher ce dernier et permettre d'affecter les conditions aux limites du problème. Par conséquent, la construction du maillage est une étape importante qui influe sur la convergence des schémas et sur la précision des solutions. Il y a une grande variété d'algorithmes de construction de maillages, certains pour traiter des géométries particulières, d'autres pour des cas tout à fait quelconques. Il existe des méthodes manuelles, semi-automatiques ou entièrement automatiques qui donnent, selon le cas, des maillages structurés, non structurés ou mixtes. La construction du maillage comprend plusieurs aspects : le maillage des frontières du domaine (ligne droite, courbe, surface), le maillage du domaine lui-même (maillage plan ou maillage volumique). A côté de l'étude théorique des méthodes sont examinés de nombreux aspects pratiques parmi lesquels figurent des structures et algorithmes de base (de bas niveau) ainsi que des structures, algorithmes et schémas plus complexes (de haut niveau). Maillages, applications aux éléments finis décrit les différents algorithmes de construction de maillages, les outils de modification, d'évaluation et d'optimisation, tout comme les méthodes de construction de maillages adaptés ou les aspects liés au parallélisme.Maillages : applications aux éléments finis [texte imprimé] / Pascal Jean Frey, Auteur ; Paul-Louis George, Auteur . - Paris : Hermes Sciences Publications, 1999 . - 840 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0024-1 : 393,57 F
Bibliogr. p. 789-827. Index
Langues : Français (fre)
Mots-clés : maillage, principes de base, optimisation Index. décimale : 620.0 Résumé :
La simulation numérique de problèmes physiques modélisés par des équations aux dérivées partielles peut se faire en utilisant différentes méthodes : éléments finis, volumes finis ou équations intégrales, qui nécessitent toutes la construction d'une discrétisation du domaine (un maillage). Les équations sont alors approchées par un ensemble fini d'équations s'appuyant sur ce maillage. Ce système est ensuite résolu, donnant ainsi une solution approchée du système initial. La discrétisation spatiale, le maillage, doit vérifier des propriétés afin que la solution calculée ait une certaine qualité. Le maillage doit suivre fidèlement la géométrie des frontières du domaine pour bien approcher ce dernier et permettre d'affecter les conditions aux limites du problème. Par conséquent, la construction du maillage est une étape importante qui influe sur la convergence des schémas et sur la précision des solutions. Il y a une grande variété d'algorithmes de construction de maillages, certains pour traiter des géométries particulières, d'autres pour des cas tout à fait quelconques. Il existe des méthodes manuelles, semi-automatiques ou entièrement automatiques qui donnent, selon le cas, des maillages structurés, non structurés ou mixtes. La construction du maillage comprend plusieurs aspects : le maillage des frontières du domaine (ligne droite, courbe, surface), le maillage du domaine lui-même (maillage plan ou maillage volumique). A côté de l'étude théorique des méthodes sont examinés de nombreux aspects pratiques parmi lesquels figurent des structures et algorithmes de base (de bas niveau) ainsi que des structures, algorithmes et schémas plus complexes (de haut niveau). Maillages, applications aux éléments finis décrit les différents algorithmes de construction de maillages, les outils de modification, d'évaluation et d'optimisation, tout comme les méthodes de construction de maillages adaptés ou les aspects liés au parallélisme.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité CF2-000685 005-293.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2°001262 005-293.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001263 005-293.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001264 005-293.5 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001261 005-293.2 Ouvrage Bibliothèque Centrale 100 - Philosophie, Parapsychologie et Occultisme, Psychologie Disponible
Titre : Programmation en logique avec contraintes : actes des JFPLC'00 Type de document : texte imprimé Auteurs : Journées francophones de programmation logique et programmation par contraintes (09; 2000; Marseille), Auteur ; Touraivane (1957-....), Directeur de publication, rédacteur en chef ; Laboratoire d'informatique, Editeur scientifique ; Ecole supérieure d'ingénieurs de Luminy, Editeur scientifique Editeur : Paris : Hermes Sciences Publications Année de publication : 2000 Importance : 278 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0147-7 Note générale : Notes bibliogr. Index. Résumés en français et en anglais Langues : Français (fre) Mots-clés : recherche opérationnelle intelligence artificielle Programmation en logique programmation par contraintes Index. décimale : 005.1 Programmation en logique avec contraintes : actes des JFPLC'00 [texte imprimé] / Journées francophones de programmation logique et programmation par contraintes (09; 2000; Marseille), Auteur ; Touraivane (1957-....), Directeur de publication, rédacteur en chef ; Laboratoire d'informatique, Editeur scientifique ; Ecole supérieure d'ingénieurs de Luminy, Editeur scientifique . - Paris : Hermes Sciences Publications, 2000 . - 278 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0147-7
Notes bibliogr. Index. Résumés en français et en anglais
Langues : Français (fre)
Mots-clés : recherche opérationnelle intelligence artificielle Programmation en logique programmation par contraintes Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-000541 005-155.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001025 005-155.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
Titre : Systèmes d'information en gestion industrielle Type de document : texte imprimé Auteurs : Jean-Pierre Briffaut, Auteur Editeur : Paris : Hermes Sciences Publications Année de publication : 2000 Importance : 345 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0075-3 Prix : 327,98 F Note générale : Bibliogr. p. 337-341. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : contexte technico-économique actuel, fonction production, modélisation d'un système d'information Index. décimale : 330 Systèmes d'information en gestion industrielle [texte imprimé] / Jean-Pierre Briffaut, Auteur . - Paris : Hermes Sciences Publications, 2000 . - 345 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0075-3 : 327,98 F
Bibliogr. p. 337-341. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : contexte technico-économique actuel, fonction production, modélisation d'un système d'information Index. décimale : 330 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-001284 330-216.1 Ouvrage Bibliothèque Centrale 300 - Sciences sociales Exclu du prêt
Permalink
