Explore la modélisation, la stabilité et le développement historique des turbines hydrauliques, en mettant l'accent sur les critères de sélection des turbines Francis.
Couvre l'ingénierie des systèmes, la gestion de projet, l'assurance qualité et les mécanismes spatiaux, en soulignant l'importance des exigences et de la vérification appropriées.
Introduit la vérification formelle et ses avantages par rapport aux méthodes de test traditionnelles, en discutant de la démonstration automatique des théorèmes et en compilant les déclarations d'exactitude dans des conditions de vérification.
Explore la sélection des concepts, la méthode Pugh Matrix, les examens préliminaires de conception, l'intégration des systèmes et la vérification dans l'ingénierie des systèmes.
Explore les machines hydrauliques dans des conditions transitoires et les applications hydroacoustiques pour les installations hydroélectriques, couvrant les cheminées d'équilibre, la cavitation à diaphragme et la stabilité des turbines.
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.
