457 résultats : UNIT

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
457 résultats
page 5 sur 46
résultats 41 à 50
UNIT
Systèmes acoustiques et analogies électro-acoustiques - Partie 1 : Équations de l'acoustique (Électroacoustique)
Description : Troisième grain élémentaire dans le module 2 de l'ensemble de ressources "Électroacoustique" L'objectif de ce grain est de : -Présenter les phénomènes de propagation acoustique à une dimension 1D -Introduire la notion de fluide dans lequel l'onde se propage -Introduire les notions de pression, de ...
Mots clés : electroacoustique, analogie électro-acoustique, propagation du son, milieu fluide, vibration, célérité, effet inertiel, compressibilité, pression acoustique
Date : 20-10-2017
Droits : Ces contenus d'enseignement sont la propriété, à parts égales, d’UNIT et de l'Université du Maine. Leur utilisation est autorisée dans les limites fixées par la licence CeCILL V1 : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Systèmes acoustiques et analogies électro-acoustiques - Partie 1 : Équations de l'acoustique (Électroacoustique)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
L'oreille comme capteur (Électroacoustique)
Description : Premier grain élémentaire dans le module 1 de l'ensemble de ressources "Électroacoustique" L'objectif de ce grain est de : -Présenter succinctement les mécanismes généraux de l'audition humaine -Introduire les mécanismes physiques et les phénomènes de transduction qui interviendront en électroac ...
Mots clés : electroacoustique, audition humaine, transduction, oreille, vibration, acoustique, perception auditive, fonction de transfert, longueur d'onde, loi entrée-sortie, intensité sonore
Date : 20-10-2017
Droits : Ces contenus d'enseignement sont la propriété, à parts égales, d’UNIT et de l'Université du Maine. Leur utilisation est autorisée dans les limites fixées par la licence CeCILL V1 : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
L'oreille comme capteur (Électroacoustique)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Transduction électrodynamique (Électroacoustique)
Description : Deuxième grain élémentaire dans le module 3 de l'ensemble de ressources "Électroacoustique" L'objectif de ce grain est de présenter les phénomènes physiques responsables de la transduction électrodynamique, sans entrer toutefois dans les fondements de l'électromagnétisme sur lesquels repose ce p ...
Mots clés : electroacoustique, couplage mécano-acoustique, transduction électrodynamique, schéma électrique, équation de couplage, force de Laplace, loi de Lenz, régime oscillant, géométrie axisymétrique, haut-parleur électrodynamique, gyrateur, analogie électro-mécanique
Date : 20-10-2017
Droits : Ces contenus d'enseignement sont la propriété, à parts égales, d’UNIT et de l'Université du Maine. Leur utilisation est autorisée dans les limites fixées par la licence CeCILL V1 : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Transduction électrodynamique (Électroacoustique)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Introduction Constraint Programming
Description : This first module introduces basic constraints in constraint programming. Constraint programming is used to represent a problem so as succinct, ie ideally with few variables and few constraints. The first part explain in natural langage a programming constraint and give interpreting of the notation ...
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, alldifferent constraint, element constraint
Date : 18-06-2015
Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
 En savoir plus
 Description complète
Introduction Constraint Programming
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Constraints programming
Description : This second module deals with application-oriented constraints. At the end of this module, the learner will be able to master the core constraints.
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, counting constraint, nvalue constraint, global cardinality, graph constraints, ...
Date : 18-06-2015
Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
 En savoir plus
 Description complète
Constraints programming
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Global Constraint Catalog
Description : Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, global constraint, graph, automaton, first order formula, symmetry, ontology
Date : 15-06-2015
Droits : Tous droits réservés
 En savoir plus
 Description complète
Global Constraint Catalog
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Preuves de programmes en coq
Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia
Date : 21-09-2012
Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Preuves de programmes en coq
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Modélisation des systèmes dynamiques et commande avancée (AMESIM)
Description : Ce cours s'intéresse en particulier aux Bond Graph ou graphes de liaison qui sont des représentations graphiques de système dynamique. Il est une composante de l'ensemble AMESIM, Apprentissage de la Modélisation pour l'Étude des systèmes Industriels Mécatroniques, qui propose des ressources de ...
Mots clés : mécatronique, système complexe, modélisation de système dynamique, outil de simulation, graphe de liaisons, Bond Graph, graphe à liens, ingénierie des systèmes, jonction, stockage d'énergie, co-énergie, conversion d'énergie, analyse systémique, analyse phénoménologique, analyse structurelle, cau ...
Date : 28-07-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Modélisation des systèmes dynamiques et commande avancée (AMESIM)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Analyse de risques : identification et estimation, partie 1 (Cyberrisques : cyber ingénierie des risques en génie civil)
Description : Première partie du module "Analyse de risques : identification et estimation" consacrée aux démarches d'analyse de risques et aux méthodes qualitatives d'analyse de risques. En replaçant l'analyse de risques dans le contexte industriel général qui l'a consacré, on propose tout d'abord de rappeler ...
Mots clés : génie civil, analyse de risque, défaillance, méthode qualitative, prévention des risques, occurrence d'un danger, conséquences d'un danger, modélisation, sûreté de fonctionnement, modèles d'états-limites, comportement des matériaux, analyse du système, arbre des causes, diagramme de succès, arbre ...
Date : 01-03-2009
Droits : Ces ressources sont la copropriété de l'Université Bordeaux I et d'UNIT. Leur utilisation est autorisée dans les limites de la licence CeCILL : http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html
 En savoir plus
 Description complète
Analyse de risques : identification et estimation, partie 1 (Cyberrisques : cyber ingénierie des risques en génie civil)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Diffraction et formation des images : Fondamentaux. (Optique Pour l'Ingénieur : Interférences et Diffraction)
Description : Après un bref rappel sur le formalisme de Fourier à deux dimensions, nous aborderons la théorie de la diffraction et les limitations qu'elle impose. Nous effectuerons ensuite des approximations qui permettront de ramener les calculs à des opérations mathématiques simples. Le calcul explicite sera ...
Mots clés : système imageur, sauvegarde des données, transformation de Fourier, fonction de transfert optique, diffraction de Fraunhofer, OPI, Optique Pour l'Ingénieur
Date : 01-04-2007
Droits : Ces ressources sont la copropriété de l'Université du Mans et d'UNIT. Leur utilisation est autorisée dans les limites de la licence GPL Free Documentation http://www.gnu.org/copyleft/fdl.html
 En savoir plus
 Description complète
Diffraction et formation des images : Fondamentaux. (Optique Pour l'Ingénieur : Interférences et Diffraction)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé