hypothétiques, à la logique modale temporelle et à la logique inductive. Logiques classiques et logiques... Le terme « logique » est dérivé du grec ancien signifiant à la fois « discours... et plus récemment de l’informatique et surtout de l’intelligence artificielle, la logique traite de l’inférence,... sur les langages et sur les raisonnements, avant d’aborder les systèmes logiques, puis la métalogique. Un glossaire...
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.
: 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.
logiques modales... ’ailleurs La logique d’ailleurs ( logic of elsewhere ) est une logique modale qui est une extension... ( alethic logics ) constituent un type de logique modale propositionnelle où l’opérateur modal (l... de Łukasiewicz et algèbre MV ; logique modale ( K ) et algèbre modale ; logique modale ( S 4) et algèbre...
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.
Afin de prévenir et/ou limiter les conséquences en cas de survenue d’un événement redouté, les industriels mettent en place des barrières de sécurité (ou mesure de maîtrise des risques). Selon le fonctionnement ou non de ces barrières, les conséquences observées seront d’occurrence et d’intensité différentes. Afin de mener une analyse exhaustive, il est nécessaire de disposer d’une méthode qui permette de définir précisément l’ensemble des conséquences observables. Pour ce faire, la méthode de l’arbre d’événements est reconnue comme une méthode efficiente.
180 fiches actions pour auditer et améliorer vos réponses aux obligations relatives aux installations classées pour la protection de l'environnement
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 :
180 fiches actions pour auditer et améliorer vos réponses aux obligations relatives aux installations classées pour la protection de l'environnement
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.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
