Aide à l'utilisation des codes de calcul des structures : une programmation déclarative

Computer aided use of structural codes: a declarative programmation

• Auteur / Autrice : Gilles Régnier
• Direction : Serge Tichkiewitch
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 6

Résumé

L'utilisation des codes de calcul des structures a atteint un tel degré de complexité que des systèmes d'aide a la génération des données et a l'analyse des résultats deviennent nécessaires. Pour situer les concepts qui sont présentes dans cette étude autour d'un code de calcul industriel, différentes approches sont décrites. Afin de bien spécifier le noyau du système d'aide, plusieurs outils d'assistance a l'utilisation du code pour des calculs typiques ont été développes. Le besoin de représenter une grande quantité de connaissances de nature diverse (technologique, physique, numérique, informatique) et le développement incrémental se sont révèles incontournables. L'étude montre que les systèmes a base de connaissances constituent la méthodologie logicielle appropriée, et que les techniques de l'intelligence artificielle offrent la souplesse de représentation requise. Enfin la réalisation d'une interface avec le code permet, a l'aide d'un langage a objets, de déclarer, avec leurs fonctionnalités, les connaissances descriptives générales ainsi que celles propres au problème a résoudre. Les connaissances déductives, représentant essentiellement l'expertise d'un problème, sont déclares dans des règles filtrant sur la base d'objets