#

Formal method

Formal method dans l'actualité

Toute l'actualité


Formal method dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 janv. 1999
  • |
  • Réf : AF4040

Formalisme et principes de la thermodynamique

de mettre en œuvre un formalisme mathématique rigoureux, on établit de façon déductive les expressions... t . Celle-ci participe à la définition de l’état thermodynamique de l’eau mais la méthode utilisée pour obtenir la valeur... 'est bien sur cette hypothèse que s'est développé le formalisme de la thermodynamique chimique. Modèle mécanique associé...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 juil. 2009
  • |
  • Réf : BM5226

Formalismes de la dynamique rationnelle des systèmes mécaniques : de Newton à Kane

Cet article présente les équations de la dynamique rationnelle dans les formalismes vectoriels... de l'ensemble des modélisations réalisables selon cinq formalismes successifs. Les deux premiers paragraphes... partant de la dynamique classique de Newton dans son approche vectorielle et aboutissant au formalisme canonique... . Elle est complétée par la présentation du formalisme de Kane, approche vectorielle qui s'appuie sur un paramétrage...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • ARTICLE INTERACTIF
  • |
  • 10 nov. 2014
  • |
  • Réf : D3066

La REM, formalisme multiphysique de commande de systèmes énergétiques

La représentation énergétique macroscopique (REM) est un formalisme graphique... . La représentation énergétique macroscopique (REM) est un formalisme graphique qui permet la représentation... de leurs systèmes multidisciplinaires. Depuis sa création, la méthode a été appliquée à de nombreux travaux... et le Bond Graph, autre formalisme graphique transdisciplinaire, est de plus en plus utilisé. La structure...

Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 05 sept. 2011
  • |
  • Réf : 0353

Reconcevoir grâce à la conception axiomatique

La conception axiomatique est une approche de la conception proposée par Nam-pyo Suh à la fin des années 1970. L'idée de base est que tout concepteur assurerait une conception optimale en maintenant l'indépendance des exigences fonctionnelles (axiome 1) et en cherchant, pour chacune d'elles, la solution requérant le moins d'information possible (axiome 2). Une conception optimale serait découplée (axiome 1), alignée (toute exigence fonctionnelle est associée à une partie et une seule de l'ensemble des paramètres physiques) et ajustée (axiome 2).

La conception axiomatique n'est pas une méthode au caractère pratique éprouvé. Elle reste en grande partie académique et est sujet à débats. Toutefois, la suivre peut parfois donner des pistes intéressantes pour reconcevoir une solution dont on juge qu'elle ne satisfait pas les critères d'optimalité de Suh. Cette fiche décrit les deux étapes à suivre pour mettre en œuvre la conception axiomatique dans un tel contexte. Elle en souligne enfin les limites et les précautions d’emploi.

Méthodes, outils, pilotage et cas d'étude

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 07 avr. 2014
  • |
  • Réf : 0379

Animer la réunion d’ouverture de l’audit sur site

Vous avez été missionné comme responsable d’audit et vous allez commencer l’audit sur site par la réunion d’ouverture. En tant que responsable d’audit, c’est vous qui devez l’animer.

  • Comment vous y préparer ?
  • Quels sujets faut-il traiter ?
  • Dans quel ordre ?
  • De quels documents devez-vous disposer ?
  • Combien de temps doit-elle durer ?

Autant de questions auxquelles cette fiche va répondre, vous permettant de faire de cette réunion un exercice réussi.

Amélioration des performances, Certification ISO 9001, Management intégré...

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 11 oct. 2018
  • |
  • Réf : 0452

Maîtriser les activités d’achats

La compréhension du besoin, la conformité aux exigences clients, normatives et légales, mais aussi la contribution à l’atteinte des objectifs sont nécessaires pour assurer la maîtrise et l’efficacité des activités du service achats (processus achats), ainsi que pour être en conformité avec la norme ISO 9001.

Le processus achats est défini en six étapes principales qui sont :

  • la validation du besoin ;
  • la consultation des fournisseurs ;
  • la sélection des fournisseurs ;
  • la passation de commandes ;
  • le contrôle à réception de la matière ou du produit acheté ;
  • l’évaluation des fournisseurs.

Cette fiche vous présente les activités d’achats, comment les piloter au mieux et comment répondre aux exigences normatives associées.

Amélioration des performances, Certification ISO 9001, Management intégré...


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !