Thierry Val - Glossaire | Techniques de l'Ingénieur
#

Thierry Val

Thierry Val dans l'actualité

Toute l'actualité


Thierry Val dans les livres blancs


Thierry Val dans les conférences en ligne


Thierry Val dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 avr. 2007
  • |
  • Réf : BM2516FOR

Modélisation du cycle moteur

Thierry JAINE...

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 févr. 2009
  • |
  • Réf : H3110

Langage Python

 : en avant-dernier ; arguments normaux : en premier. Exemple : >>> def ma_fonction(val0... , *val1, **val2): ... print val0, val1, val2 ... >>> ma_fonction('ok', 'ko', 'coral', a≥1, b... Valeur(object): ... def __init__(self, val): ... self.valval ... def vaut(self): ... print... self.val ... >>> val ≥ MaValeur(10) >>> val.vaut() 10 Enfin, des propriétés...

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 août 2017
  • |
  • Réf : H3310

Coq, assistant de preuve

= | Nil | Cons of ’a * ’a list (** val insert : (’a1 → ’a1 → bool) → ’a1 → ’a1 list → ’a1... a l’))) (** val sort : (’a1 → ’a1 → bool) → ’a1 list → ’a1 list **) let rec sort leb = function... de Thierry Coquand et Gérard Huet sur le Calcul des Constructions (en anglais CoC), eux-mêmes s’appuyant... , ce sera cependant le nouveau Calcul des Constructions Inductives (en anglais CIC) de Thierry Coquand et Christine Paulin...

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
  • |
  • 19 mars 2012
  • |
  • Réf : 0673

Organiser le développement de logiciels embarqués dans un système automatisé

Lorsque la taille et la complexité du logiciel embarqué augmentent, il est nécessaire de structurer son développement. La méthode proposée consiste à réduire la complexité du système en sous-systèmes plus simples à concevoir.

Organiser le développement d’un logiciel embarqué par le principe de la décomposition en cycle en V permet d’aboutir par étapes successives à une description détaillée du logiciel à concevoir à partir d’une description abstraite de l’application à réaliser. De la même manière, le test du logiciel est réalisé par étapes pour terminer par un test final de l’application complète.

Cette fiche décrit les étapes à suivre pour mettre en œuvre le cycle en V.

Un outil incontournable pour comprendre, agir et choisir- Nouveauté !

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 19 mars 2012
  • |
  • Réf : 0674

Développer des lois de commande pour un système automatisé

Dans un système mécatronique embarqué, comment garantir que la loi de commande que vous développez répond bien aux exigences ? Son développement ne doit pas consister uniquement à concevoir la loi de commande ou la stratégie de contrôle commande, mais également à valider par simulation son fonctionnement avant son codage et son intégration dans la cible réelle.

La validation par simulation permet non seulement de vérifier le respect des exigences du client, mais également de vérifier le bon fonctionnement de la loi de commande avec les contraintes souvent fortes liées au logiciel embarqué, telles que la discrétisation du processus et la précision des calculs de la loi de commande.

Cette fiche décrit les étapes à suivre pour concevoir une telle loi de commande.

Un outil incontournable pour comprendre, agir et choisir- Nouveauté !

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 15 nov. 2012
  • |
  • Réf : 0956

Intégrer un nouveau membre dans l’équipe projet

Dans la vie du projet, il arrive qu’un ou de nouveaux collaborateurs rejoignent l’équipe projet en cours de projet. Pour un bon fonctionnement, tous les membres de l’équipe projet doivent partager la même vision du projet et les mêmes objectifs. Il faut donc que tous les membres de l’équipe projet puissent participer activement et positivement à l’intégration du nouvel arrivant.

Cette fiche aide chacun à trouver de nouveaux repères, assurer la continuité de la bonne marche de l’équipe et du projet.

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


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !