Les langages formels de spécification

Les langages formels de spécification La méthode B La méthode B [Abr96] est une méthode de spécification formelle du logiciel. Elle permet de décrire formellement un système de sa spécification abstraite jusqu’à son implémentation. Son formalisme repose sur des notions...

Les IDS ou Systèmes de Détection d’Intrusion

IDS et LAN L’utilisation d’un NIDS sur un réseau local est peu répandue, en effet, on peut estimer que la zone est de confiance moyenne, mais surtout que peu de valeur réside sur le LAN. Néanmoins, on retrouvera sur le...

Les événements tt dans les canaux leptoniques

Les données simulées Après la sélection des événements, les processus de signal proviennent de la production de paires tt¯ et de quarks top célibataires et les processus de bruit de fond principalement de bosons W- ou Z produits en association...

Les détecteurs des rayonnements ionisants

Paramètres caractéristiques d’un détecteur L’efficacité de détection: c'est le rapport du nombre de particules détectées aunombre de particules reçues par le détecteur. L'efficacité dépend donc de la nature et de l'énergie du rayonnement. Le temps mort: c'est le plus petit...

Les codes correcteurs d’erreurs

Chaine de communication Il est important de connaitre la capacité du canal avant la transmission. Dans l‟article de Shannon paru en 1948 [1], Shannon donne le modèle simplifié d‟une communication sans fil. Ce modèle est composé de 6 parties :...

Les cartes à puce

Classification des cartes à puce Les systèmes de carte à puce sont classifiés en termes des fonctionnalités du système embarqué, ainsi que de la façon dont le système utilise ces dernières pour communiquer. En fonction de leurs fonctions, nous avons...

Les caractéristiques communes au façonnage de l’IP des PEFI

La préoccupation de ne pas « perdre la face » Des motifs différents pour être « respectés » des élèves La question du contrôle de la classe ne se limite pas au premier contact avec la classe chez les enseignants...

Le volontariat contemporain, rupture ou continuité

« Mahal », « Garin Tsabar », « Marva », « Sar’El » : panorama du volontariat contemporain dans Tsahal Les programmes Mahal et Garin Tsabar, ou la démocratisation du service militaire Si notre objet d’étude principal concerne le volontariat...

Le respect de la dignité humaine sur internet le risque d’être hyper connectés

La conciliation de la dignité humaine avec les autres droits dérivant du numérique La dignité humaine : des incertitudes importantes quant à sa signification spécifique. La dignité humaine est une notion générale très large, et à l’ère du numérique il...

Etude d’une machine pentaphasée à commutation de flux Comparaison à une machine triphasée

Etude comparative entre une MCF pentaphasée et une MCF triphasée Modélisation Eléments Finis 2D des deux prototypes L’analyse du fonctionnement des machines électriques oblige le concepteur à utiliser des méthodes de modélisation qui permettent à la fois une bonne précision...