#

Logiques-modales

Logiques-modales dans l'actualité

Toute l'actualité


Logiques-modales dans les livres blancs


Logiques-modales dans les conférences en ligne


Logiques-modales dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 nov. 2023
  • |
  • Réf : AF89

Logique des propositions et logique des prédicats

 : où N est un opérateur de nécessité ( cf . [AF 91], logiques modales), se lisant sémantiquement ainsi : « Il... Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront... naissance à la logique mathématique à la fin du XIXe siècle. La logique des propositions est d’abord... présentée. Ensuite, est exposée la logique des prédicats qui s’est imposée au tournant du XIXe et du XXe...

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 déc. 2001
  • |
  • Réf : R6180

Analyse modale expérimentale

Les méthodes d’analyse modale sont des méthodes d’investigation relativement récentes... ’une structure linéaire quelle que soit sa complexité sont « concentrés » dans un nombre de paramètres modaux... que la seule connaissance de ces paramètres. C’est la raison pour laquelle l’analyse modale expérimentale... ’investigation dans le domaine de la dynamique des structures EWINS (D.) - Modal testing : theory and practice...

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 mars 2013
  • |
  • Réf : R7433

Commande modale

électriques (CDVE), la théorie de la commande modale est appliquée avec succès au réglage des lois de commande... d'illustrer ces techniques. Une application de la commande modale est présentée... de la commande modale est appliquée avec succès au réglage des lois de commande de vol. Le pilotage automatique... de commande modale, nous proposons donc dans cet article une application relativement complète à un problème...

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 : FICHE PRATIQUE
  • |
  • 01 juil. 2014
  • |
  • Réf : 0540

Évaluation du niveau de SIL des Fonctions Instrumentées de Sécurité (SIF) – Notions essentielles

L’évaluation du niveau de SIL des fonctions instrumentées de sécurité (SIF) est une étape incontournable lors de la conception des Systèmes Instrumentés de Sécurité (SIS). Les normes IEC 61508 et IEC 61511 constituent aujourd’hui un référentiel normatif sur lequel il est possible de s’appuyer lors de la conception mais aussi tout au long du cycle de vie des SIF. Afin d’utiliser à bon escient ces normes et pour estimer correctement le niveau de SIL, il est nécessaire de maîtriser des notions essentielles telles que :

  • Quelle différence entre SIS et SIF ?
  • Qu’est-ce que le niveau de SIL ?
  • Quel est le lien entre la probabilité de défaillance et le niveau de SIL ?
  • Que se cache-t-il derrière la notion de redondance ?

180 fiches actions pour auditer et améliorer vos réponses aux obligations relatives aux installations classées pour la protection de l'environnement

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 15 mai 2012
  • |
  • Réf : 0772

Utiliser un outil d’analyse des accidents et construire un arbre des causes

Vous cherchez une méthode d’analyse visant à comprendre un accident (du travail, lié à l’environnement ou autre) ? Vous voulez estimer l’efficacité d’une mesure de prévention mise en place ?

La méthodologie décrite ci-dessous vous permettra d’établir efficacement une analyse a posteriori de l’accident, qui s’appelle « arbre des causes ». Elle vous donnera étape par étape les éléments indispensables pour la construction de cet outil.

Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 31 août 2012
  • |
  • Réf : 0796

Le réseau logique (réseau PERT)

La réalisation d’un projet nécessite souvent une succession de tâches auxquelles s’attachent des contraintes de temps, d’antériorité des tâches et de moyens.

Vous recherchez la meilleure organisation possible pour que le projet soit terminé à la date voulue ? Vous souhaitez mettre en place un PERT (Program Evaluation and Review Technic) ? La méthodologie détaillée ici vous permettra de créer un réseau PERT. Elle vous donnera étape par étape les éléments indispensables à la réussite de votre projet.

Gestion et pilotage du projet : les fiches pour évaluer, planifier, communiquer, capitaliser


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !