Академический Документы
Профессиональный Документы
Культура Документы
Dpartement/Filire:
Informatique
27/07/2015 - 05:53:17
Syllabus
Informatique
Semestre 10 MODULE
UE
INTITUL
C0-A
COEF.
/ECTS
18.00
18.00
8.00
8.00
PR315
C0-B
PR213
C0-C
CE322
27/07/2015 - 05:53:17
INTERVENANTS
Projet Professionnel
. ASTIEN (Resp.)
4.00
PROJET PROFESSIONNEL
. ASTIEN
4.00
p. 221
p. 218
p. 52
Syllabus
Informatique
Semestre 5 MODULE
UE
INTITUL
INTERVENANTS
I5-A
Algorithmique et mathmatiques 1
F. DUFOUR (Resp.)
D. LAPOIRE (Resp.)
IF101
IF102
IF114
Initiation l'algorithmique
Structures arborescentes
Automates finis et applications
D. LAPOIRE (Resp.)
IS100
L. GUENNEGUEZ (Resp.)
IS101
D. LAPOIRE (Resp.)
A. CASADEI
F. HERBRETEAU (Resp.)
S. LOMBARDY
N. SAHEB
COEF.
/ECTS
10.00
2.25
2.25
1.50
p. 73
p. 74
p. 78
1.50
p. 118
L. GUENNEGUEZ (Resp.)
p. 120
N. SAHEB (Resp.)
p. 121
Probabilits et statistiques
F. DUFOUR (Resp.)
2.50
Programmation et environnement
informatique 1
D. BARTHOU (Resp.)
F. MORANDAT (Resp.)
10.00
IF104
IT102
Environnement de travail
Structure des ordinateurs
M. FAVERGE (Resp.)
2.00
2.00
p. 75
p. 127
MI101
MI102
Microprocesseurs
TP de microprocesseurs
Y. BORNAT (Resp.)
1.50
1.50
p. 195
p. 197
PG101
Programmation imprative 1
H. KHALIFE
B. MARTIN
M. TORO
A. VINCENT (Resp.)
3.00
p. 198
Projet 1
D. RENAULT (Resp.)
5.00
D. RENAULT (Resp.)
D. RENAULT (Resp.)
2.50
2.50
S. MDINA (Resp.)
5.00
1.50
0.00
p. 33
p. 36
LC101
Sensibilisation l'entrepreneuriat
communiquer et manager en entreprise : niveau
1
LV1 Anglais S5
. ASTIEN (Resp.)
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
1.50
p. 172
LC102
LV2 S5
K. BEIRNE (Resp.)
I. CANOYRA UBEDA
M. EUGENE
J. FAUCHER
P. FLOQUET
J. IBANEZ
S. MDINA (Resp.)
M. RASTRERO
T. SHOCHI
A. VELASQUEZ
M. YUE
1.00
p. 174
LC109
D. VESCHAMBRE (Resp.)
1.00
p. 179
I5-B
I5-C
PR103
PR104
I5-D
CE131
CE137
27/07/2015 - 05:53:17
D. BARTHOU (Resp.)
S. RENAUD
Y. BORNAT (Resp.)
A. HAROUN
L. CUBAS
p. 119
p. 213
p. 214
Syllabus
Informatique
Semestre 6 MODULE
UE
INTITUL
INTERVENANTS
I6-A
Algorithmique et mathmatiques 2
D. LAPOIRE (Resp.)
D. RENAULT (Resp.)
Logique et Preuve
Algorithmique de graphes
Algorithmique numrique
F. HERBRETEAU (Resp.)
Programmation et environnement
informatique 2
M. DESAINTE-CATHERINE (Resp.)
G. EYROLLES (Resp.)
10.00
M. DESAINTE-CATHERINE (Resp.)
3.00
3.00
p. 199
p. 201
PG116
Programmation fonctionnelle
Programmation imprative 2 et dveloppement
logiciel
Atelier Algorithme et Programmation
G. EYROLLES (Resp.)
F. HERBRETEAU
2.00
p. 203
RE100
T. AHMED (Resp.)
2.00
p. 222
Projets 2
M. DESAINTE-CATHERINE (Resp.)
D. RENAULT (Resp.)
5.00
D. RENAULT (Resp.)
D. RENAULT (Resp.)
2.50
2.50
S. MDINA (Resp.)
5.00
CE101
Dcouverte de l'entreprise
. ASTIEN
J. PICHARD-STAMFORD
0.75
p. 29
CE103
CE118
CE119
. ASTIEN
0.00
0.75
0.00
p. 30
p. 31
p. 32
CE135
CE136
LC104
Projet mtier
Initiation au management de projet
communiquer et manager en entreprise : niveau
2
Stage dcouverte
Projet professionnel : Niveau 1
LV1 Anglais S6
0.00
0.00
1.50
p. 34
p. 35
p. 176
LC106
LC112
D. VESCHAMBRE (Resp.)
1.00
1.00
p. 177
p. 181
IF105
IF106
IS104
I6-B
PG104
PG106
I6-C
PR105
PR106
I6-D
27/07/2015 - 05:53:17
D. LAPOIRE (Resp.)
D. RENAULT (Resp.)
J. ALLALI (Resp.)
M. PHALIPPOU (Resp.)
L. CUBAS
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
K. BEIRNE (Resp.)
I. CANOYRA UBEDA
M. EUGENE
J. FAUCHER
P. FLOQUET
J. IBANEZ
S. MDINA (Resp.)
A. MEDJTOUH
M. RASTRERO
T. SHOCHI
A. VELASQUEZ
M. YUE
COEF.
/ECTS
10.00
2.00
4.00
4.00
p. 76
p. 77
p. 122
p. 215
p. 216
Syllabus
Informatique
Semestre 7 MODULE
UE
INTITUL
INTERVENANTS
I7-A
Programmation et systme
G. EYROLLES (Resp.)
Compilation
Gnie Logiciel / IHM
Programmation Oriente Objets
Programmation Systme
Programmation C++
D. BARTHOU (Resp.)
J. ALLALI (Resp.)
2.00
1.50
2.00
2.00
1.50
Internet et rseaux
M. MOSBAH (Resp.)
9.00
M. LOMBARD (Resp.)
2.00
2.50
IF203
IT227
PG202
PG204
PG212
I7-B
IF205
IF229
IT203
RE202
G. EYROLLES (Resp.)
M. FAVERGE (Resp.)
COEF.
/ECTS
9.00
p. 82
p. 142
p. 204
p. 206
p. 208
p. 84
p. 93
Y. METIVIER (Resp.)
p. 79
P. DUCHON (Resp.)
p. 89
F. VANDERBECK (Resp.)
p. 91
P. CAPIRCIO
J. CHABOT
C. FOLLEAU (Resp.)
p. 141
M. MOSBAH (Resp.)
Conception logiciel
A. ROLLET (Resp.)
7.00
Projet de compilation
Projet de SGBD
Projet de gnie logiciel - partie I - spcification
des besoins et premiers livrables
Projet de Programmation Oriente Objets
D. BARTHOU (Resp.)
A. ROLLET (Resp.)
1.50
1.50
2.00
p. 83
p. 133
p. 134
V. TA (Resp.)
2.00
p. 205
S. MDINA (Resp.)
5.00
CE206
. ASTIEN
J. PICHARD-STAMFORD
1.50
p. 40
CE207
CE242
0.00
0.00
p. 41
p. 48
LC201
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
2.50
p. 183
LC212
LV2 S7
K. BEIRNE (Resp.)
I. CANOYRA UBEDA
M. EUGENE
J. FAUCHER
P. FLOQUET
J. IBANEZ
S. MDINA (Resp.)
A. MEDJTOUH
M. RASTRERO
T. SHOCHI
A. VELASQUEZ
M. YUE
1.00
p. 187
I7-C
IF204
IT204
IT213
PG203
I7-D
27/07/2015 - 05:53:17
T. AHMED (Resp.)
A. ROLLET
M. MOSBAH (Resp.)
L. CUBAS
2.50
2.00
p. 131
p. 223
Syllabus
Informatique
Semestre 7ESSV - European Studies in Software Verification
MODULE
UE
INTITUL
A. MUSCHOLL (Resp.)
COEF.
/ECTS
6.00
A. MUSCHOLL (Resp.)
6.00
P. CASTRAN (Resp.)
G. SENIZERGUES (Resp.)
6.00
P. CASTRAN (Resp.)
G. SENIZERGUES (Resp.)
6.00
A. GRIFFAULT (Resp.)
6.00
A. GRIFFAULT (Resp.)
G. SUTRE (Resp.)
6.00
E. FLEURY (Resp.)
6.00
E. FLEURY (Resp.)
6.00
E. FLEURY (Resp.)
6.00
E. FLEURY (Resp.)
6.00
INTERVENANTS
p. 95
Logique
I7ESSV-C Conception formelle
Langue d'enseignement: anglais
IF233
Conception formelle
I7ESSV-D Sminaire de recherche
Langue d'enseignement: anglais
IF234
Sminaire de recherche
PR212
27/07/2015 - 05:53:17
p. 96
p. 97
p. 98
p. 217
Syllabus
Informatique
Semestre 8 MODULE
UE
INTITUL
INTERVENANTS
I8-A
Systmes et applications
B. GOGLIN (Resp.)
IF202
Cryptologie
A. GUIGNARD
D. LAPOIRE
C. TRAVERS (Resp.)
2.50
p. 81
IF228
Calculabilit et complexit
M. CARRERE
N. SAHEB
C. TRAVERS
A. VINCENT (Resp.)
2.00
p. 92
IT200
IT201
M. MOSBAH
1.00
3.00
p. 128
p. 129
RE218
Applications TCP/IP
T. AHMED (Resp.)
J. ALLALI
H. KHALIFE
1.50
p. 225
UE personnalise
S. LOMBARDY (Resp.)
9.00
I8-B
B. GOGLIN (Resp.)
B. PUTIGNY
F. TESSIER
COEF.
/ECTS
10.00
9.00
p. 8
I8-F
9.00
p. 8
I8-G
9.00
p. 8
I8-H
9.00
p. 9
I8-C
A. ROLLET (Resp.)
6.00
IT202
M. FAVERGE
N. FURMENTO
B. GOGLIN (Resp.)
E. JEANNOT
F. TESSIER
2.00
p. 130
IT214
T. AHMED
D. BARTHOU
X. BLANC
M. DESAINTE-CATHERINE
G. EYROLLES
F. HERBRETEAU
D. RENAULT
A. ROLLET (Resp.)
V. TA
C. TRAVERS
A. VINCENT
2.00
p. 135
RE203
Projet de rseaux
T. AHMED (Resp.)
S. MEDJIAH
R. SHARROCK
2.00
p. 224
S. MDINA (Resp.)
5.00
. ASTIEN (Resp.)
1.50
p. 42
C. MENANT (Resp.)
0.50
2.00
p. 44
p. 184
I8-D
CE209
CE212
LC205
27/07/2015 - 05:53:17
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
Syllabus
LC214
I8-E
EX205
EX214
LV2 S8
K. BEIRNE (Resp.)
I. CANOYRA UBEDA
M. EUGENE
J. FAUCHER
P. FLOQUET
S. MDINA (Resp.)
A. MEDJTOUH
M. RASTRERO
T. SHOCHI
A. VELASQUEZ
1.00
S. LOMBARDY (Resp.)
9.00
J. ALLALI (Resp.)
3.00
J. RIVET (Resp.)
p. 56
G. SENIZERGUES (Resp.)
p. 85
H. GIMBERT (Resp.)
p. 88
F. VANDERBECK (Resp.)
p. 94
P. DORBEC (Resp.)
p. 136
B. MARTIN (Resp.)
p. 207
S. LOMBARDY (Resp.)
3.00
EX206
P. LANUSSE
P. MELCHIOR (Resp.)
p. 22
IF220 Cognitique
B. LE BLANC (Resp.)
p. 87
V. TA (Resp.)
p. 138
O. LY (Resp.)
p. 139
R. NAMYST (Resp.)
p. 140
p. 144
S. LOMBARDY (Resp.)
9.00
J. ALLALI (Resp.)
3.00
J. RIVET (Resp.)
p. 56
G. SENIZERGUES (Resp.)
p. 85
H. GIMBERT (Resp.)
p. 88
F. VANDERBECK (Resp.)
p. 94
P. DORBEC (Resp.)
p. 136
B. MARTIN (Resp.)
p. 207
J. ALLALI (Resp.)
1.50
J. MARGUERAT (Resp.)
p. 37
C. DELESSE (Resp.)
p. 39
S. CANEVET
F. PELLEGRINI (Resp.)
p. 43
. ASTIEN (Resp.)
p. 45
B. BERDEU (Resp.)
p. 46
A. GLYKOS (Resp.)
p. 47
p. 53
S. LOMBARDY (Resp.)
3.00
27/07/2015 - 05:53:17
p. 58
P. LANUSSE
P. MELCHIOR (Resp.)
p. 22
IF220 Cognitique
B. LE BLANC (Resp.)
p. 87
V. TA (Resp.)
p. 138
O. LY (Resp.)
p. 139
R. NAMYST (Resp.)
p. 140
EX214
p. 55
I8-G
p. 54
EX214
p. 58
EX205
p. 54
I8-F
p. 189
p. 144
S. LOMBARDY (Resp.)
9.00
S. LOMBARDY (Resp.)
3.00
p. 58
P. LANUSSE
P. MELCHIOR (Resp.)
p. 22
IF220 Cognitique
B. LE BLANC (Resp.)
p. 87
Syllabus
V. TA (Resp.)
p. 138
O. LY (Resp.)
p. 139
R. NAMYST (Resp.)
p. 140
EX220
LC206
I8-H
EX205
EX206
p. 144
J. ALLALI (Resp.)
2.50
J. RIVET (Resp.)
p. 56
G. SENIZERGUES (Resp.)
p. 85
H. GIMBERT (Resp.)
p. 88
F. VANDERBECK (Resp.)
p. 94
P. DORBEC (Resp.)
p. 136
B. MARTIN (Resp.)
p. 207
K. BEIRNE
J. FAUCHER
P. FLOQUET (Resp.)
S. MDINA
1.00
S. LOMBARDY (Resp.)
9.00
J. ALLALI (Resp.)
3.00
p. 56
G. SENIZERGUES (Resp.)
p. 85
H. GIMBERT (Resp.)
p. 88
F. VANDERBECK (Resp.)
p. 94
P. DORBEC (Resp.)
p. 136
B. MARTIN (Resp.)
p. 207
J. ALLALI (Resp.)
1.50
p. 55
J. MARGUERAT (Resp.)
p. 37
C. DELESSE (Resp.)
p. 39
S. CANEVET
F. PELLEGRINI (Resp.)
p. 43
. ASTIEN (Resp.)
p. 45
B. BERDEU (Resp.)
p. 46
A. GLYKOS (Resp.)
p. 47
p. 53
S. LOMBARDY (Resp.)
3.00
p. 58
P. LANUSSE
P. MELCHIOR (Resp.)
p. 22
IF220 Cognitique
B. LE BLANC (Resp.)
p. 87
V. TA (Resp.)
p. 138
O. LY (Resp.)
p. 139
R. NAMYST (Resp.)
p. 140
LC206 obligatoire
Cours obligatoire pour ceux qui n'ont pas encore
obtenu le niveau B2 en anglais (785 TOEIC ou
5.5 IELTS). Les prpare passer le TOEIC
nouveau.
LC206 S8 TOEIC (Rattrapage obligatoire)
27/07/2015 - 05:53:17
p. 54
J. RIVET (Resp.)
LC207
p. 185
EX214
p. 59
p. 144
J. FAUCHER
P. FLOQUET
S. MDINA
K. BEIRNE
J. FAUCHER
P. FLOQUET (Resp.)
S. MDINA
1.50
p. 186
p. 185
Syllabus
Informatique
Semestre 8ESSV - European Studies in Software Verification
MODULE
UE
INTITUL
INTERVENANTS
F. HERBRETEAU (Resp.)
COEF.
/ECTS
30.00
30.00
p. 10
I8ESSV-C
30.00
p. 10
I8ESSV-D
30.00
p. 10
F. HERBRETEAU (Resp.)
I8ESSV-B Mobilit: Universit Libre de Bruxelles
Voir: http://essv.labri.fr/masters_programme/#sem2-ULB
30.00
F. HERBRETEAU (Resp.)
I8ESSV-C Mobilit: Technische Universitt Mnchen
Voir: http://essv.labri.fr/masters_programme/#sem2-TUM
30.00
F. HERBRETEAU (Resp.)
I8ESSV-D Mobilit: Universiteit Twente
Voir: http://essv.labri.fr/masters_programme/#sem2-Twente
30.00
27/07/2015 - 05:53:17
10
Syllabus
Informatique
Semestre 9 MODULE
UE
INTITUL
INTERVENANTS
I9-A
Culture de l'ingnieur
. ASTIEN (Resp.)
A. OELHOFFEN (Resp.)
CE302
CE320
CE321
LC301
27/07/2015 - 05:53:17
. ASTIEN (Resp.)
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
COEF.
/ECTS
5.00
0.00
0.00
2.50
2.50
p. 49
p. 50
p. 51
p. 191
11
Syllabus
Informatique
Semestre 9EM - E-Management
MODULE
UE
INTITUL
I9EM-A
Managements des projets innovants
UE entirement ralise KEDGE
. ASTIEN (Resp.)
COEF.
/ECTS
6.00
I9EM-B
Transfert technologique
UE entirement ralise KEDGE
. ASTIEN (Resp.)
6.00
I9EM-C
Marketing des activits de services
UE entirement ralise KEDGE
. ASTIEN (Resp.)
6.00
I9EM-D
Finances : Busines Plan
UE entirement ralise KEDGE
. ASTIEN (Resp.)
6.00
I9EM-E
Business Challenge
UE Enseirb-Matmca
27/07/2015 - 05:53:17
INTERVENANTS
6.00
12
Syllabus
Informatique
Semestre 9ESSV - European Studies in Software Verification
MODULE
UE
INTITUL
Techniques de modlisation
I9ESSV-B Vrification logicielle
Langue d'enseignement: anglais
IF317
Vrification logicielle
IF321
Types et preuves
27/07/2015 - 05:53:17
INTERVENANTS
F. HERBRETEAU (Resp.)
COEF.
/ECTS
5.00
F. HERBRETEAU
M. ZEITOUN
5.00
F. HERBRETEAU (Resp.)
5.00
J. LEROUX
G. SUTRE
A. VINCENT (Resp.)
5.00
F. HERBRETEAU (Resp.)
5.00
A. DICKY
H. GIMBERT
A. MUSCHOLL (Resp.)
5.00
F. HERBRETEAU (Resp.)
5.00
E. FLEURY (Resp.)
5.00
F. HERBRETEAU (Resp.)
5.00
P. CASTRAN
P. NARBEL (Resp.)
D. RENAULT
5.00
F. HERBRETEAU (Resp.)
5.00
A. FONTAINE (Resp.)
2.50
2.50
F. HERBRETEAU (Resp.)
I. WALUKIEWICZ
p. 108
p. 109
p. 110
p. 111
p. 112
p. 99
p. 106
13
Syllabus
Informatique
Semestre 9GL - Gnie Logiciel
MODULE
UE
INTITUL
INTERVENANTS
I9-A
Culture de l'ingnieur
. ASTIEN (Resp.)
A. OELHOFFEN (Resp.)
Mthodologie
A. ROLLET (Resp.)
5.00
Test du logiciel
Conduite de projet
F. MORANDAT (Resp.)
2.00
3.00
P. CASTRAN (Resp.)
P. GLOESS (Resp.)
5.00
A. FONTAINE (Resp.)
G. EYROLLES (Resp.)
2.50
2.50
D. AUBER (Resp.)
5.00
IT307
X. HANIN
M. MOSBAH (Resp.)
2.50
p. 146
IT360
D. AUBER
M. MOSBAH (Resp.)
2.50
p. 168
G. EYROLLES (Resp.)
5.00
IT309
IT310
Architectures multi-couches
Applications concurrentes et distribues
G. EYROLLES (Resp.)
2.00
2.00
p. 149
p. 150
IT362
J. ARNE
M. MOSBAH
1.00
p. 170
Personnalisation
A. GRIFFAULT (Resp.)
5.00
M. MOSBAH (Resp.)
2.50
2.50
CE302
CE320
CE321
LC301
I9GL-A
IT306
IT311
I9GL-B
IF300
PG301
I9GL-C
I9GL-D
I9GL-E
EX301
IT308
27/07/2015 - 05:53:17
. ASTIEN (Resp.)
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
R. MOBS (Resp.)
M. PHALIPPOU
M. BROUILLARD
M. MOSBAH
G. EYROLLES (Resp.)
M. MOSBAH (Resp.)
COEF.
/ECTS
5.00
0.00
0.00
2.50
2.50
p. 49
p. 50
p. 51
p. 191
p. 145
p. 151
p. 99
p. 209
p. 60
p. 148
14
Syllabus
Informatique
Semestre 9IREF - Ingnierie du Risque Economique et Financier
MODULE
UE
INTITUL
INTERVENANTS
. ASTIEN (Resp.)
Scoring et applications
Introduction la VAR (Value at risk)
Technique numrique de la finance
C9IREF-B Mesures des risques financiers
UE extrieure l'Enseirb (Universit de bordeaux 4)
EX304
EX305
EX306
3.00
3.00
3.00
. ASTIEN (Resp.)
EX310
EX311
EX330
. ASTIEN (Resp.)
EX308
27/07/2015 - 05:53:17
Anglais IREF
p. 61
p. 62
p. 63
8.00
3.00
3.00
3.00
. ASTIEN (Resp.)
p. 64
p. 66
p. 71
8.00
3.00
3.00
3.00
Assurance
Gestion de portefeuille
Modules choix (option IREF)
C9IREF-D Langue et culture
UE extrieure l'enseirb (universit de bordeaux IV)
COEF.
/ECTS
8.00
p. 67
p. 68
p. 72
6.00
3.00
p. 65
15
Syllabus
Informatique
Semestre 9PRCD - Paralllisme, Rgulation et Calcul Distribu
MODULE
UE
INTITUL
INTERVENANTS
I9-A
Culture de l'ingnieur
. ASTIEN (Resp.)
A. OELHOFFEN (Resp.)
CE302
CE320
CE321
LC301
. ASTIEN (Resp.)
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
COEF.
/ECTS
5.00
0.00
0.00
2.50
2.50
A. DENIS (Resp.)
5.00
2.50
p. 210
p. 212
PG305
Langages du paralllisme
O. AUMAGE
O. COULAUD (Resp.)
PG306
A. DENIS (Resp.)
2.50
D. BARTHOU (Resp.)
5.00
p. 49
p. 50
p. 51
p. 191
IF306
Communication et routage
O. BEAUMONT
L. EYRAUD-DUBOIS
N. HANUSSE
R. KLASING (Resp.)
A. KOSOWSKI
H. LARCHEVEQUE
C. TRAVERS
1.75
p. 102
IT336
D. BARTHOU (Resp.)
1.75
p. 158
O. AUMAGE (Resp.)
1.50
p. 159
J. ROMAN (Resp.)
5.00
IT338
Algorithmique parallle
A. CASADEI
J. ROMAN (Resp.)
2.50
p. 100
IF305
A. CASADEI
M. FAVERGE
P. RAMET (Resp.)
2.50
p. 101
J. ROMAN (Resp.)
5.00
E. AGULLO
L. GIRAUD
J. ROMAN (Resp.)
3.50
p. 124
IS310
O. COULAUD (Resp.)
1.50
p. 126
A. VINCENT (Resp.)
5.00
I9PRCD-E Personnalisation
EX324
IT341
27/07/2015 - 05:53:17
2.50
p. 69
H. BEAUGENDRE (Resp.)
p. 21
F. HERBRETEAU
A. ROLLET (Resp.)
A. VINCENT
p. 235
Acclrateurs de Calcul
F. RUE (Resp.)
2.50
p. 160
16
Syllabus
Informatique
Semestre 9ROBOT - Robotique et apprentissage
MODULE
UE
INTITUL
Contrle commande
Planification de trajectoires
Un premier robot en Atelier Robotique
Modlisation et analyse
Mathmatiques pour la robotique
I9ROBOT- Architecture des systmes robotiques
B
INTERVENANTS
P. LANUSSE (Resp.)
COEF.
/ECTS
5.00
D. LAPOIRE (Resp.)
1.00
1.00
1.00
2.00
0.00
A. VINCENT (Resp.)
5.00
P. LANUSSE (Resp.)
P. MELCHIOR (Resp.)
D. LAPOIRE (Resp.)
S. YGORRA (Resp.)
p. 25
p. 26
p. 27
p. 28
p. 194
AU318
Mcatronique
S. AZZOPARDI (Resp.)
J. VINASSA
1.50
p. 23
IT358
IT359
Systmes embarqus
Projet systmes embarqus
A. VINCENT (Resp.)
A. VINCENT (Resp.)
1.50
2.00
p. 166
p. 167
D. LAPOIRE (Resp.)
5.00
D. LAPOIRE (Resp.)
F. CARON (Resp.)
1.00
3.00
1.00
V. TA (Resp.)
5.00
R. MEGRET (Resp.)
V. TA (Resp.)
5.00
J. SALOTTI (Resp.)
5.00
J. SALOTTI (Resp.)
1.50
1.50
1.00
1.00
TS341
IF309
IF314
IF324
IF327
27/07/2015 - 05:53:17
O. LY (Resp.)
P. FAVIER (Resp.)
D. LAPOIRE (Resp.)
D. LAPOIRE (Resp.)
p. 115
p. 161
p. 192
p. 236
p. 105
p. 107
p. 113
p. 116
17
Syllabus
Informatique
Semestre 9RSR - Rseaux et Systmes Rpartis
MODULE
UE
INTITUL
INTERVENANTS
I9-A
Culture de l'ingnieur
. ASTIEN (Resp.)
A. OELHOFFEN (Resp.)
Rseaux de communication
T. AHMED (Resp.)
5.00
T. AHMED (Resp.)
1.75
3.25
A. ESNARD (Resp.)
5.00
IT334
Virtualisation de systmes
D. LE GOFF
C. PROST (Resp.)
2.50
p. 157
PG306
A. DENIS (Resp.)
2.50
p. 212
A. VINCENT (Resp.)
5.00
RE315
M. BLANC
F. DESCLAUX
M. GELI
P. LALET (Resp.)
3.50
p. 231
RE316
S. BORDRES
F. GRELAUD (Resp.)
1.50
p. 232
A. VINCENT (Resp.)
5.00
IT354
RE317
Administration Microsoft
Administration, Routage, QoS
D. LE GOFF (Resp.)
1.75
1.50
p. 163
p. 233
RE318
A. VINCENT (Resp.)
1.75
p. 234
Personnalisation
A. VINCENT (Resp.)
5.00
A. VINCENT (Resp.)
2.50
CE302
CE320
CE321
LC301
I9RSR-A
RE300
RE312
I9RSR-B
I9RSR-C
I9RSR-D
I9RSR-E
EX326
RE319
27/07/2015 - 05:53:17
. ASTIEN (Resp.)
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
J. BOUL (Resp.)
P. PICARD
F. GOUDAL
F. MEDAT
COEF.
/ECTS
5.00
0.00
0.00
2.50
2.50
p. 49
p. 50
p. 51
p. 191
p. 226
p. 228
p. 70
M. MOSBAH (Resp.)
A. ZEMMARI
p. 103
A. VINCENT (Resp.)
p. 220
F. HERBRETEAU
A. ROLLET (Resp.)
A. VINCENT
2.50
p. 235
18
Syllabus
Informatique
Semestre 9TM - Technologies Multimdia et Jeux Vidos
MODULE
UE
INTITUL
INTERVENANTS
C9TM-A
R. MEGRET (Resp.)
Y. BERTHOUMIEU (Resp.)
T. AHMED
3.00
2.00
M. DESAINTE-CATHERINE (Resp.)
5.00
IT328
RE301
C9TM-B
COEF.
/ECTS
5.00
p. 156
p. 227
Synthse d'images
5.00
p. 19
C9TM-H
5.00
p. 19
C9TM-C
L. SIMON (Resp.)
5.00
Synthse d'images
5.00
p. 19
C9TM-I
5.00
p. 20
C9TM-J
5.00
p. 20
C9TM-D
5.00
5.00
p. 20
C9TM-J
5.00
p. 20
C9TM-K
5.00
p. 20
C9TM-E
R. MEGRET (Resp.)
5.00
P. BENARD (Resp.)
1.00
4.00
Culture de l'ingnieur
. ASTIEN (Resp.)
5.00
A. OELHOFFEN (Resp.)
0.00
0.00
2.50
2.50
Synthse d'images
M. HACHET (Resp.)
5.00
P. BENARD
C. SCHLICK (Resp.)
5.00
IT356
PR305
C9TM-F
CE302
CE320
CE321
LC301
C9TM-G
IT355
. ASTIEN (Resp.)
. ASTIEN
K. BEIRNE
P. CROCKER
J. FAUCHER (Resp.)
P. FLOQUET (Resp.)
S. MDINA (Resp.)
L. STEVENS-LARRE
p. 165
p. 219
p. 49
p. 50
p. 51
p. 191
p. 164
C9TM-H
Traitement informatique de la Musique (TIM) M. DESAINTE-CATHERINE (Resp.) 5.00
Parcours TIM au sein des UV choix C9TM-C (p. 19) et C9TM-D (p. 19)
IT348
27/07/2015 - 05:53:17
M. DESAINTE-CATHERINE (Resp.)
P. HANNA
M. ROBINE
5.00
p. 162
19
Syllabus
C9TM-I
S. MARCHAND (Resp.)
5.00
P. HANNA
S. MARCHAND (Resp.)
Y. ORLAREY
5.00
L. SIMON (Resp.)
5.00
D. BARTHOU
M. HACHET
L. SIMON (Resp.)
5.00
J. BENOIS-PINEAU (Resp.)
5.00
IT317
Analyse d'images
J. DA COSTA (Resp.)
C. GERMAIN
2.50
p. 153
IT327
Indexation vido
J. BENOIS-PINEAU (Resp.)
A. BUGEAU
C. FAURENS
2.50
p. 155
IT320
C9TM-J
IT361
C9TM-K
27/07/2015 - 05:53:17
p. 154
p. 169
20
Syllabus
O92a
Module libre PRCD
Option O92a
p. 0
p. 69
p. 0
Crdits ECTS :
2.50
valuation :
S1: CC;S2: ET(2h,E,sd,sc)
Volumes horaires :
Cours :
Travail Individuel :
24.00
24.00
Enseignant(s) :
BEAUGENDRE Hlose
Titre :
Calcul parallle
Rsum :
L’objet de ce cours est de proposer aux lves la mise en oeuvre complte d’un algorithme
parallle par dcomposition de domaine d'un problme 2D et de comparer cette technique au paralllisme
d'oprateur abord en option de 2eme anne.
Aprs un rappel des principales fonctions de l’interface de communication MPI l'optimisation en
programmation parallle est envisage (usage de sous-programme de communication non bloquant,
recouvrement de la communication par du calcul).
Les mthodes de dcomposition de domaine (Schwarz additive et multiplicative) sont prsentes et leur
application numrique est faite sur une quation 2D pour des maillages structurs, puis sur un code lments
finis (fourni) pour des maillages non structurs.
La difficult, dans le cas des schmas de rsolutions graphes non structurs, est de concilier l’quilibre
de charge et la structure des communications (simple et le moins volumineux possible). La solution
s’appuyant sur le partitionnement de graphe (METIS, SCOTCH) sera abord.
Si le temps nous le permet une initiation PETSC (librairie en open source pour le calcul scientifique base sur
MPI pour le paralllisme) sera propose.
Prrequis :
Module AN202
27/07/2015 - 05:53:17
21
Syllabus
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
LANUSSE Patrick
patrick.lanusse@enseirb.fr
http://www.enseirb.fr/~lanusse
MELCHIOR Pierre
05 4000 2417
Titre :
Systmes dynamiques
27/07/2015 - 05:53:17
22
Syllabus
AU318 : Mcatronique
Partag par l'UE (les UEs) :
I9ROBOT-B Architecture des systmes robotiques
p. 17
Crdits ECTS :
1.50
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
16.00
Enseignant(s) :
AZZOPARDI Stphane
VINASSA Jean-Michel
Titre :
Mcatronique
Rsum :
Ce module traite de la conversion et de la gestion d’nergie lectrique pour les deux principaux besoins
en robotique que sont l’alimentation lectrique d’une part et le contrle moteur de
l’actionneur d’autre part. Bien qu’intimement lis, ces aspects de l’lectronique de
puissance font l’objet de deux parties distinctes.
Conversion de puissance
Il s’agit d’introduire les concepts de base de la conversion et la gestion de l’nergie
lectrique embarque au travers des trois topologies de base que sont les convertisseurs BUCK, BOOST et
BUCK-BOOST en expliquant le concept de l’aiguillage de l’nergie lectrique, la notion
d’interrupteur et sa commande. Par la suite, une utilisation de circuit spcifique de gestion de
l’nergie lectrique sera prsente dans le but de faciliter leur utilisation directe par des intgrateurs.
Actionneurs machines tournantes
L’objectif est de se familiariser avec la conversion lectromcanique ralise dans les machines
tournantes pour aborder l’alimentation du moteur de manire assurer le rglage du couple, de la vitesse
ou de la position. On s’intressera en particulier au mode de fonctionnement de l’tage de
puissance en lien avec les capteurs associs.
Plan :
Partie 1 : Gestion et conversion de l’nergie lectrique
1. Introduction la gestion de l’nergie lectrique (exemples d'applications, principales familles de
convertisseurs …)
2. Bref rappel sur les composants actifs et passifs.
3. Etude des trois topologies de convertisseurs continu-continu non-isols (abaisseur, lvateur, accumulation).
Modes de conduction continue, critique et discontinue.
4. Prsentation de circuits spcifiques de gestion de l’nergie lectrique
Partie 2 : Actionneurs machines tournantes
27/07/2015 - 05:53:17
23
Syllabus
Prrequis :
Aucun
Document(s) :
Polycopi de cours
Alimentations dcoupage (2me dition), Michel Girard, Hugues Angelis, Magali Girard, DUNOD, 2003, ISBN
2-1000-6940-3
Techniques de l'Ingnieur
Fundamentals of power electronics, Second edition, Robert W. Erickson, Dragan Maksimovic, 2001, Spring
Science, ISBN 0-7923-7270-0
Les actionneurs lectriques pour la robotique et les asservissements (2me dition), G. Lacroux, Tec & Doc
Lavoisier, 1999, ISBN 2-85206-978-4
Mot(s) cl(s) :
Gestion de l’nergie lectrique embarque - Convertisseurs continu-continu non isol –
Interrupteur d’nergie - Condensateurs - Inductances - Circuits intgrs spcifiques ddis –
actionneur – moteur – variation de vitesse
27/07/2015 - 05:53:17
24
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: CC x0.5
Volumes horaires :
Cours Intgr :
6.00
Enseignant(s) :
LANUSSE Patrick
patrick.lanusse@enseirb.fr
http://www.enseirb.fr/~lanusse
05 4000 2417
Titre :
Contrle commande
Rsum :
L'objet du cours est de prsenter succinctement la commande des robots. Aprs un bref rappel des outils de
modlisation dvelopps (modles gomtriques, cinmatiques et dynamiques) et du principe des rgulations
d'axes de type PID, les principales architecture de commande des systmes robotiss sont prsents. Deux
sances de travaux pratiques illustreront le cours.
Mot(s) cl(s) :
Automatique, Robotique
27/07/2015 - 05:53:17
25
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travaux Dirigs :
6.00
12.00
Enseignant(s) :
MELCHIOR Pierre
Titre :
Planification de trajectoires
27/07/2015 - 05:53:17
26
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: Proj x1
Volumes horaires :
Travaux Dirigs :
8.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Un premier robot en Atelier Robotique
27/07/2015 - 05:53:17
27
Syllabus
p. 17
Crdits ECTS :
2.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
24.00
Enseignant(s) :
YGORRA Stphane
Titre :
Modlisation et analyse
Rsum :
Ce cours a pour objectif de prsenter les concepts de base de la robotique, pour permettre aux
tudiants d'aborder la lecture de textes plus avancs. Un tudiant ayant suivi cet enseignement doit
disposer d'une approche rigoureuse et systmatique pour dcrire un robot manipaleur: modles
gomtrique, cinmatique et dynamique, forces et moments. Il doit galement avoir une connaissance
du langage et des notions de base de la robotique ( Denavit Hartenberg, degrs de libert, singularits ,
jacobiennne)
Plan :
1. Introduction : structures classiques, reprsentations, problmatiques
2. Transformations homognes : changements de repres
3. Modles gomtriques direct et inverse, paramtrisation de Denavit-Hartenberg
4. Modle Cinmatique , vitesse de translation, de rotation, jacobien, singularits, modle de force
statique
5. Modle dynamique : nergies potentielle et cintique, dissipation d'nergie, formalisme de
Lagrange, de Newton-Euler
Prrequis :
Maths de Prpa : algbre, produit scalaire, analyse (intgration drivation )
Document(s) :
Support de cours
Modlisation, identification et commande des robots (2me dition), Wisama Khalil, Etienne
Dombre,Hermes, 1999, ISBN 2-7462-003-1
Robot Modeling And Control (2me dition), Mark W. Spong, Seth Hutchinson,M. Vidyasagar
Wiley, 1006, ISBN-10: 0-4711-64990-2 , ISBN-13:978-0-471-44990-8
Mot(s) cl(s) :
Robot manipulateur, Transformations homognes , Modle gomtrique, Denavit-Hartenberg,
cinmatique, dynamique
27/07/2015 - 05:53:17
28
Syllabus
p. 0
p. 4
p. 0
p. 0
Culture de l'entreprise
p. 0
Crdits ECTS :
0.75
valuation :
S1: ET(1h,E,sd,sc) x1
Volumes horaires :
Cours :
Travail Individuel :
9.33
10.00
Enseignant(s) :
ASTIEN ric
PICHARD-STAMFORD Jean-Pierre
Titre :
Dcouverte de l'entreprise
Rsum :
Objectifs du cours:
Familiariser l'tudiant ingnieur sur les mcanismes de
fonctionnement des entreprises.
Plan :
1.Economie de l'entreprise
2. Formes de l'entreprise
3. Organisation de l'entreprise
4. Gestion de l'entreprise
5. Stratgie de l'entreprise
Prrequis :
aucun
Document(s) :
MMK : Sans document, ni calculatrice
Elec, Info, Telecomm : feuille A4 recto-verso, calculatrice autorises
27/07/2015 - 05:53:17
29
Syllabus
p. 0
p. 4
p. 0
valuation :
S1: Proj(Rap) x2;S2: rep(S1) x2
Volumes horaires :
Travail Individuel :
10.00
Enseignant(s) :
ASTIEN ric
Titre :
Projet mtier
27/07/2015 - 05:53:17
30
Syllabus
p. 0
p. 4
p. 0
p. 0
Crdits ECTS :
0.75
valuation :
S1: ET(1h,da,ca) x1;S2: ET(1h,da,ca) x1
Volumes horaires :
Cours :
8.00
Enseignant(s) :
PHALIPPOU Marc
Titre :
Initiation au management de projet
Rsum :
Ce cours prsente les notions et techniques de base du management de projet, qui doivent faire partie du socle
de comptences de tout ingnieur. Le cours vise acqurir les comptences suivantes :
- dcider si une action doit tre pilote en mode projet
- identifier les acteurs d'un projet, leur rle, utiliser le vocabulaire adquat
- dfinir un projet, le structurer
- estimer les charges, planifier le projet, suivre l'avancement
- analyser et matriser les risques
Prrequis :
Aucun
Cours en ligne :
http://moodle.ipb.fr/course/view.php?id=412
27/07/2015 - 05:53:17
31
Syllabus
p. 0
p. 4
p. 0
p. 0
valuation :
S1: --(,) x1
Volumes horaires :
Travaux Dirigs :
4.00
Enseignant(s) :
CUBAS Lirio
Titre :
communiquer et manager en entreprise : niveau 2
27/07/2015 - 05:53:17
32
Syllabus
p. 0
p. 3
p. 0
p. 0
Crdits ECTS :
1.50
valuation :
S1: Proj(Rap,Sout) x1
Volumes horaires :
Cours :
Travail Individuel :
16.00
5.00
Enseignant(s) :
ASTIEN ric
Titre :
Sensibilisation l'entrepreneuriat
Rsum :
Sensibiliser les jeunes ingnieurs tre porteur de projet
Plan :
1. Prsentation du parcours + Processus (4heures) Thierry Verstraete
2. Focus de l'ide + Protection industrielle (4heures) Hlene Gros INPI
3. Etude du march (4heures) Fabrice Scipion
4. Les outils pour laborer un Business Model (4heures) Hlne Jouisson Lafitte
Prrequis :
aucun
Mot(s) cl(s) :
Business Model, entrepreneuriat.
27/07/2015 - 05:53:17
33
Syllabus
p. 0
p. 4
p. 0
p. 0
valuation :
S1: Sta(Rap) x5;S2: rep(S1) x5
Enseignant(s) :
ASTIEN ric
Titre :
Stage dcouverte
Rsum :
Stage d'un mois minimum (ou 4 semaines) dans le monde de l'entreprise.
Consulter les pages moodle
27/07/2015 - 05:53:17
34
Syllabus
p. 0
p. 4
p. 0
valuation :
S1: -- x0;S2: -- x0
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
5.33
10.00
Titre :
Projet professionnel : Niveau 1
Rsum :
accompagnement au processus d'laboration du projet professionnel de chaque lve
Plan :
apport de mthodologies, d'outils de rflexion permettant aux lves de commencer dfinir, ou d'affiner leur
projet professionnel
Document(s) :
documents diffuss au cours des TD : auto-valuation, et thmes de rflexion en groupe
Mot(s) cl(s) :
projet professionnel
Cours en ligne :
support mis en ligne la fin des sances de TD
27/07/2015 - 05:53:17
35
Syllabus
p. 0
p. 3
p. 0
p. 0
valuation :
S1: -- x0
Volumes horaires :
Travaux Dirigs :
5.33
Enseignant(s) :
CUBAS Lirio
Titre :
communiquer et manager en entreprise : niveau 1
27/07/2015 - 05:53:17
36
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET x1
Volumes horaires :
Cours :
12.00
Enseignant(s) :
MARGUERAT Jean-Michel
Titre :
Systme de management
Rsum :
Formation accs sur les exigences actuelles des entreprises en matire de qualit, scurit et environnement.
Plan :
La qualit, qu'est-ce ce que c'est ??
Enjeux de la qualit
Bases – Vocabulaire
Repres Historiques
Rfrentiels normatifs
Rfrentiels qualit : Importance de la
Norme ISO
Le PDCA
Relations clients-fournisseurs internes et
externes
Communication
Qualit dans les services
Dmarche qualit et normes iso
Pourquoi une dmarche qualit ?
Responsabilit de la Direction :
l’organisation implique par une dmarche
qualit
Politique, objectifs, contenu, mise en oeuvre
Descriptif des Exigences ISO
Exigences rglementaires et lgales
Systme documentaire Le systme documentaire
qualit : manuel qualit, procdures,
matrise des documents
Ressources
Ralisation du produit
Mesures & analyse
Processus de Certification : audits qualit
Qualit dans la ralisation d'un produit
27/07/2015 - 05:53:17
37
Syllabus
Contrle qualit
Notion de traabilit
Conception et production
Contrle, Mesures & Vrification
Matrise de la mtrologie
Cotation des fournisseurs
Matrise des risques
Management dans les processus
Approche systme
Cartographie des processus
Matrise des processus
Indicateurs et tableaux de Bord
----Actions d’amlioration (corrective, prventive)
Mthodes de rsolution de problmes
Mesure de la satisfaction des clients
Mise en place d'une dmarche
Certification ? Ou non ?
Outils optimiss de la Qualit : systme
documentaire, approche processus,
amlioration continue, indicateurs
Optimisation de la dmarche par la
mesure des cots
Avenir : Dmarches Qualit-Scurit-Environnement
(QSE)
27/07/2015 - 05:53:17
38
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours :
12.00
Enseignant(s) :
DELESSE Claude
Titre :
Intelligence Economique
Rsum :
Ce cours pour Objectifs
- de clarifier les concepts d'intelligence conomique et de scurit globale.
- de sensibiliser :
- aux enjeux professionnels, goconomiques, scientifiques, techniques et socitaux actuels et futurs ;
- aux diffrentes guerres de l'information ;
- aux apports de la matrise et de la protection des informations stratgiques
- de confronter aux mthodes de l'intelligence conomique ;
- d'entraner au travail en quipe
Plan :
- L'intelligence conomique : une politique publique.
- L'intelligence conomique : un mode de management
- Innovation, patrimoine technologique et protection industrielle
- Scurit globale et management des risques.
- Guerres de l'information et contre-intelligence
- Les systmes trangers d'intelligence conomique : Etats-Unis, Chine…
Notation :
Travaux par quipes : observatoire des bonnes et mauvaises pratiques en intelligence conomique et
management des risques
Modulation de la note en fonction de la participation individuelle.
27/07/2015 - 05:53:17
39
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 5
p. 0
p. 0
Crdits ECTS :
1.50
valuation :
S1: ET x1
Volumes horaires :
Cours :
Travail Individuel :
13.33
10.00
Enseignant(s) :
ASTIEN ric
PICHARD-STAMFORD Jean-Pierre
Titre :
Management de la performance financire
Rsum :
Ojectif : Comprendre l'information financire et l'utiliser pour la prise de dcision
Prrequis :
aucun
Cours en ligne :
toutes informations utiles sur http://moodle.ipb.fr/course/view.php?id=151
27/07/2015 - 05:53:17
40
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 5
p. 0
valuation :
S1: -- x0
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
2.67
10.00
Titre :
Projet professionnel : niveau 2
Rsum :
Projet professionnel/stage 2me anne
Plan :
TD 1 : laborer, affiner son projet professionnel
TD 2 : rechercher le stage de 2A : mthodologie, outils, informations
Prrequis :
aucun
Document(s) :
diffuss pendant les TD : guide d'auto-valuation/situation d'insertion ; mise en ligne du support de TD dbut
octobre
Mot(s) cl(s) :
Projet Professionnel Stage 2A
Cours en ligne :
support mis en ligne sur extranet dbut octobre, la fin des sessions
27/07/2015 - 05:53:17
41
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 7
p. 0
p. 0
Crdits ECTS :
1.50
valuation :
S1: ET(1h,E,da,ca) x1
Volumes horaires :
Cours :
16.00
Enseignant(s) :
ASTIEN ric
Titre :
EVALUATION DES PROJETS ET MATRISE DES COTS
(Ex Contrle de gestion des projets)
Rsum :
Prsenter les technique de calcul de cot dans le cadre d'une gestion de projet.
Prsenter une initiation au contrle de gestion.
Plan :
http://moodle.ipb.fr/course/view.php?id=443#section-0
Prrequis :
Gestion comptable
Document(s) :
Feuille A4 blanche recto/verso d'informations manuscrites
Calculatrice obligatoire
27/07/2015 - 05:53:17
42
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: Proj(Rap) x1
Volumes horaires :
Cours :
Travail Individuel :
12.00
8.00
Enseignant(s) :
CANEVET Sbastien
PELLEGRINI Francois
Titre :
Droit des logiciels
Rsum :
L'objectif de ce cours est de familiariser les tudiants avec les
principales notions juridiques utilises dans le secteur informatique,
les textes de lois affrents, et leur impact sur le plan technique,
afin qu'ils puissent intgrer ces aspects leur pratique d'ingnieur.
Plan :
- Droit d'auteur
- Droit d'auteur driv applicable aux logiciels
- Licences et contrats
- Principaux types de licences
- Interoprabilit
- Contrats informatiques
- Incongruit des brevets logiciels
Prrequis :
Notions de base en programmation, et dveloppement de logiciels et en systmes d'exploitation : notions de code
source et code objet, compilation et interprtation, principales fonctions d'un systme d'exploitation,
fonctionnement d'Internet.
Document(s) :
Nombreuses ressources de rfrence consultables sur Internet : textes de loi, textes de licences, etc.
Mot(s) cl(s) :
droit, droit d'auteur, logiciel, licence, marque, base de donnes, brevet.
27/07/2015 - 05:53:17
43
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 7
p. 0
p. 0
Crdits ECTS :
0.50
valuation :
S1: ET x1
Volumes horaires :
Cours :
Travail Individuel :
8.00
3.00
Enseignant(s) :
MENANT Christophe
Titre :
Management de la qualit
Rsum :
Dmarche qualit et management dans l'entreprise et la conception des produits
Document(s) :
Sans document, ni calculatrice
27/07/2015 - 05:53:17
44
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET x1
Volumes horaires :
Cours :
12.00
Enseignant(s) :
ASTIEN ric
Titre :
Initiation la finance de march
Rsum :
Initiation aux mcanismes de finance de march.
Pr requis pour intgrer l'option de 3me anne IRE
Plan :
* Partie 1 : le march montaire
* Partie 2 : Le march obligataire
* Partie 3 : la bourse des valeurs mobilires
* Partie 4 : la couverture des risques
27/07/2015 - 05:53:17
45
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours :
12.00
Enseignant(s) :
BERDEU Bernard
Titre :
Management de projets innovants
Rsum :
Complexit des produits, dlai de mise sur le march de plus en plus court, recherche de l’optimisation
des ressources de l’organisation sont les raisons du recours de plus en plus systmatique la gestion par
projets. Le cours introduit la notion de projet, les techniques de gestion appliquer pour sa matrise, ainsi que la
ncessaire prise en compte des dimensions humaines et sociales inhrentes tous projets.
Plan :
1. Diffrentes natures de projets ; Cycles de vie ; Dfinition d’un projet. Planning et Analyse.
2. Evaluation et Management des risques dans les projets
3. Dimension sociale du management de projet
4. Gestion de projets : Reprsentation des projets, Dtermination des dures, gestion des moyens, analyse des
cots et performances.
5. Projet organisationnel et Conduite du changement
Document(s) :
Sans documents
Mot(s) cl(s) :
projet, management de projet
27/07/2015 - 05:53:17
46
Syllabus
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Liste de modules (culture de l'ingnieur)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
Modules optionnels O82 (si B2 valid, 3 modules CExxx)
p. 0
p. 0
p. 0
p. 55
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET x1
Volumes horaires :
Cours :
Travail Individuel :
12.00
15.00
Enseignant(s) :
GLYKOS Allain
Titre :
Sciences techniques et socits
Rsum :
Le but de cet enseignement est de
1. montrer que la technique est au coeur d'un conflit de pouvoir entre la volont de contrle des dirigeants et de
dtournement du contrle par les populations.
2. dfinir la notion de systme technique (thorie de Bertrand Gille, Thierry Gaudin), d'identifier les vnements
techniques et scientifiques qui dstabilisent les socits. Structuration du temps, reprsentation de l'espace,
mergence de nouveaux matriaux, de nouvelles sources d'nergie, de nouvelles relations au vivant.
3. resituer la notion d'intelligence artificielle dans l'histoire et par rapport aux grandes figures mythiques
(Pygmalion, Golem, Automates, Frankenstein, etc.).
4. revisiter le concept de progrs la lumire des nouvelles technologies et leurs enjeux sociaux et culturels
(philosophique, religieux, conomiques, etc.)
Plan :
1. Technique : contrle et dlinquance
2. Notion de systme technique
3. Enjeux culturels de l'intelligence artificielle
4. La notion de progrs
27/07/2015 - 05:53:17
47
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 5
p. 0
p. 0
valuation :
S1: -- x1
Volumes horaires :
Travaux Dirigs :
2.67
Enseignant(s) :
CUBAS Lirio
Titre :
communiquer et manager en entreprise : niveau 3
27/07/2015 - 05:53:17
48
Syllabus
p. 0
p. 19
p. 0
E9CSI-F
E9CSR-F
E9SE-F
E9TS-F
I9-A
M9-C
T9GLR-F
T9ISN-C
T9RSC-F
p. 0
p. 0
p. 0
p. 0
p. 18
p. 0
p. 0
p. 0
p. 0
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Langues et Culture de l'ingnieur
Culture de l'ingnieur
langues et culture de l'ingnieur
Culture de l'ingnieur
valuation :
S1: -- x0
Volumes horaires :
Cours Intgr :
5.20
Enseignant(s) :
OELHOFFEN Agns
Titre :
Projet Professionnel : niveau 3
Rsum :
Finalisation du projet professionnel/
Prparation la soutenance de projet professionnel
Plan :
en cours d'laboration
27/07/2015 - 05:53:17
49
Syllabus
p. 0
p. 19
p. 0
E9CSI-F
E9CSR-F
E9SE-F
E9TS-F
I9-A
M9-C
T9GLR-F
T9ISN-C
T9RSC-F
p. 0
p. 0
p. 0
p. 0
p. 18
p. 0
p. 0
p. 0
p. 0
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Langues et Culture de l'ingnieur
Culture de l'ingnieur
langues et culture de l'ingnieur
Culture de l'ingnieur
valuation :
S1: Proj(Sout) x1;S2: rep(S1) x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
4.00
10.00
Enseignant(s) :
ASTIEN ric
Titre :
Soutenance de projet professionnel
Rsum :
Soutenance de 30 minutes devant un jury compos de professionnels et d'enseignants. Il s'agit pour l'lve
"ingnieur" de prsenter partir d'une simulation de recrutement l'orientation qu'il a donn son projet
professionnel (mtier, secteur...)
27/07/2015 - 05:53:17
50
Syllabus
p. 0
p. 19
p. 0
E9CSI-F
E9CSR-F
E9SE-F
E9TS-F
I9-A
M9-C
T9GLR-F
T9ISN-C
T9RSC-F
p. 0
p. 0
p. 0
p. 0
p. 18
p. 0
p. 0
p. 0
p. 0
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Langues et Culture de l'ingnieur
Culture de l'ingnieur
langues et culture de l'ingnieur
Culture de l'ingnieur
Crdits ECTS :
2.50
valuation :
S1: CC(Rap,PA) x1;S2: rep(S1) x1
Volumes horaires :
Cours :
24.00
Enseignant(s) :
ASTIEN ric
Titre :
Challenge entreprise
Rsum :
A travers une simulation l'tudiant doit comprendre les mcanismes de fonctionnement de l'entreprise ( cots,
comptabilit, finances, marketing, production...)
Plan :
Chaque quipe, regroupe en unit autonome de gestion, doit grer un ensemble de produits sur un march
virtuel.
27/07/2015 - 05:53:17
51
Syllabus
Projet Professionnel
p. 2
Crdits ECTS :
4.00
Enseignant(s) :
ASTIEN ric
Titre :
PROJET PROFESSIONNEL
Rsum :
Note de projet professionnel affecte l'UEC du semestre 10. Cette note est compose du note de prparation
au projet professionnel, de la soutenance de projet professionnel, de l'valuation du stage 1A et du note du
module "communiquer et manager en entreprise".
27/07/2015 - 05:53:17
52
Syllabus
p. 55
Crdits ECTS :
1.50
valuation :
Pas de description
Titre :
Module extrieur
27/07/2015 - 05:53:17
53
Syllabus
p. 8
p. 8
p. 9
Cration sonore
Introduction l'information quantique
Thorie des jeux pour la modlisation informatique
Flot et Combinatoire
Securite des systemes d'information
Interfaces sonores
p. 56
p. 85
p. 88
p. 94
p. 136
p. 207
Crdits ECTS :
3.00
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
ALLALI Julien
allali@enseirb-matmeca.fr
Titre :
I2-S8 : Modules informatiques au choix (2)
27/07/2015 - 05:53:17
54
Syllabus
p. 8
p. 9
Systme de management
Intelligence Economique
Droit des logiciels
Initiation la finance de march
Management de projets innovants
Sciences techniques et socits
Module extrieur
p. 37
p. 39
p. 43
p. 45
p. 46
p. 47
p. 53
Crdits ECTS :
1.50
valuation :
Pas de description
Volumes horaires :
Cours Intgr :
Travail Individuel :
28.00
25.00
Enseignant(s) :
ALLALI Julien
allali@enseirb-matmeca.fr
Titre :
Liste de modules (culture de l'ingnieur)
27/07/2015 - 05:53:17
55
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
RIVET Jean-Michel
Titre :
Cration sonore
Rsum :
Il s'agit d'apprendre tout ce qui concerne la cration sonore
et ses diffrentes applications: de la prise de son (avec ses
diffrents types de micro et enregistreurs), l'dition (logiciels
ddis); montage et mixage (logiciels ddis); la diffusion, (coute
radiophonique, collective) et application vers d'autres mdias.
La validation de l'UV se fait par la ralisation d'une courte squence de qualit professionnelle avec diffusion
collective.
Plan :
1) Prise de son
. Constitution de banque de sons:
- en milieu urbain (gare, glise, rue passante/calme, grands
magasins, caf, restaurants etc. ...)
- dans la nature (insectes, oiseaux, ruisseau, mer etc. ...)
- autour de la musique (instrument seul, musique de chambre, chant etc.)
- de la voix (radiophonique, conte, thtre, etc. ...)
. Mise en forme de sons sous fichiers :
- slection, corrections, normalisation,
- les diffrents effets sonores (cho, filtres, effet doppler etc.)
et leurs usages.
2) Ralisation d'une squence sonore
Mises en forme (scnario, conducteur) selon diffrents objectifs avec
ses propres critres
- bandes-son pour le thtre,
- audio-thtre,
- reportage,
- cration de type radiophonique
- ...
27/07/2015 - 05:53:17
56
Syllabus
3) Diffusion
Diffrents systmes de diffusion de la stro (type radiophonique)
la diffusion multiphonique (type audio-thtre) sont abords et
pratiqus.
27/07/2015 - 05:53:17
57
Syllabus
p. 8
p. 8
p. 8
p. 9
Systmes dynamiques
Cognitique
Introduction aux traitements des images
Robotique et apprentissage
Programmation multicoeur et GPU
Big Data et Intelligence conomique
p. 22
p. 87
p. 138
p. 139
p. 140
p. 144
Crdits ECTS :
3.00
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
LOMBARDY Sylvain
Titre :
I2-S8 Modules informatiques au choix (1)
27/07/2015 - 05:53:17
58
Syllabus
p. 8
Cration sonore
Introduction l'information quantique
Thorie des jeux pour la modlisation informatique
Flot et Combinatoire
Securite des systemes d'information
Interfaces sonores
p. 56
p. 85
p. 88
p. 94
p. 136
p. 207
Crdits ECTS :
2.50
Volumes horaires :
Cours Intgr :
Travaux Dirigs :
26.00
28.00
Enseignant(s) :
ALLALI Julien
allali@enseirb-matmeca.fr
Titre :
I2-S8 Modules informatiques au choix (2)
27/07/2015 - 05:53:17
59
Syllabus
Personnalisation
p. 14
Crdits ECTS :
2.50
valuation :
S1: ET(1h30,E,sd,sc) x0.6 + CC x0.4
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
9.00
Enseignant(s) :
MOSBAH Mohamed
Titre :
Module libre d'informatique
Rsum :
Ce module sera en fait un module pris dans une autre option,
choisi individuellement par l'lve d'une liste de modules sans prrequis.
27/07/2015 - 05:53:17
60
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
Travaux Dirigs :
14.00
10.00
Titre :
Finance mathmatique temps discret
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
61
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
Travaux Dirigs :
10.00
20.00
Titre :
Finance mathmatique temps continu
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
62
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
30.00
Titre :
Bases de donnes et statistiques
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
63
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
20.00
Titre :
Scoring et applications
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
64
Syllabus
Langue et culture
p. 15
Crdits ECTS :
3.00
Titre :
Anglais IREF
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
65
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
Travaux Dirigs :
20.00
10.00
Titre :
Introduction la VAR (Value at risk)
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
66
Syllabus
EX310 : Assurance
Partag par l'UE (les UEs) :
C9IREF-C
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
20.00
Titre :
Assurance
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
67
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
Travaux Dirigs :
20.00
10.00
Titre :
Gestion de portefeuille
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
68
Syllabus
Personnalisation
p. 16
Calcul parallle
Mthodes formelles et applications
p. 21
p. 235
Crdits ECTS :
2.50
Titre :
Module libre PRCD
27/07/2015 - 05:53:17
69
Syllabus
Personnalisation
p. 18
p. 103
p. 220
Crdits ECTS :
2.50
Enseignant(s) :
VINCENT Aymeric
Titre :
Module libre RSR
27/07/2015 - 05:53:17
70
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
20.00
Titre :
Technique numrique de la finance
Rsum :
Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
71
Syllabus
p. 15
Crdits ECTS :
3.00
Volumes horaires :
Cours :
Travaux Dirigs :
10.00
14.00
Titre :
Modules choix (option IREF)
Rsum :
Module choix entre produit taux et Analyse de donnes.
Pour plus d'informations : Consulter la plateforme bordeaux 4 http://masterie.u-bordeaux4.fr/
27/07/2015 - 05:53:17
72
Syllabus
Algorithmique et mathmatiques 1
p. 3
Crdits ECTS :
2.25
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
9.33
16.00
12.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Initiation l'algorithmique
Rsum :
Ce cours prsente une initiation la rsolution de problmes simples
au moyen de l'algorithmique, en particulier les problmes de tris.
Les seuls objets manipuls sont de types simples (entiers, rels,etc) ou tableaux et matrice de ceux-ci.
Quelques familles d'algorithmes sont introduites: diviser pour rgner, dynamiques et gloutons.
La comparaison d'algorithmes est aborde par
l'introduction de la notion de complexit.
Plan :
Introduction
Notions de problmes et d'algorithmes
Algorithme Diviser pour Rgner
Programmation Dynamique
Algorithmes gloutons
Problme du Tri
Prrequis :
Aucun
Mot(s) cl(s) :
Probleme Algorithme Complexit Tris
27/07/2015 - 05:53:17
73
Syllabus
Algorithmique et mathmatiques 1
p. 3
Crdits ECTS :
2.25
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
10.66
16.00
10.50
Enseignant(s) :
LAPOIRE Denis
Titre :
Structures arborescentes
Rsum :
Ce cours rappelle quelques structures mathmatiques usuelles (ensemble, squence et arbre), introduit la notion
de type abstrait et fournit quelque mthode pour les implmenter.
Plan :
4 structures mathmatiques
4 types abstraits
implmentation
Prrequis :
IF 101
27/07/2015 - 05:53:17
74
Syllabus
p. 3
Crdits ECTS :
2.00
valuation :
S1: ET(1h20,E,sd,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
1.33
24.00
8.00
Enseignant(s) :
FAVERGE Mathieu
Titre :
Environnement de travail
Rsum :
L'objectif de ce stage intensif est de matriser l'environnement de travail de la filire informatique de
l'ENSEIRB-MATMECA, ainsi que les diffrents outils que les tudiants auront utiliser au cours de leur scolarit :
diteur de texte, compilateur, composeur de documents, logiciel de dessin de figures, navigateur, messagerie.
Plan :
I. Connexion au site
- Identifiant de connexion
- Mot de passe
- Rpertoire de connexion
II. Systme d'exploitation UNIX
- Interprteur de commandes, aide en ligne
- Systme de fichiers
- Environnement graphique
- Paramtrage de l'environnement, fichiers d'initialisation
III. Editeur de texte
- Emacs
IV. Composition de documents
- Rdaction de rapports avec LaTeX
- Prsentations avec Beamer
- Gnration d'images avec TikZ
V - Scripts Shell
Prrequis :
Aucun
Document(s) :
Aides-mmoire pour les diffrents logiciels
Mot(s) cl(s) :
Unix, bash, emacs, LaTeX, internet
27/07/2015 - 05:53:17
75
Syllabus
Algorithmique et mathmatiques 2
p. 4
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,fa,sc) x1;S2: ET(2h,E,fa,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
9.33
14.00
15.00
Enseignant(s) :
HERBRETEAU Frdric
Titre :
Logique et Preuve
Rsum :
L'objectif est l'acquisition des outils thoriques permettant de construire un raisonnement formel, ainsi que de
prouver la terminaison et la correction des algorithmes.
Plan :
Partie I : Logique
- Formalisation des noncs en logique du premier ordre
- Introduction la thorie de la preuve
- Induction, preuve par inducton
Partie II : Preuve d'algorithmes
- Spcification: pre/post conditions
- While-programs, smantique
- Preuve de correction partielle : logique de Hoare.
- Preuve de terminaison : mthode des ensembles bien fonds.
Prrequis :
Aucun
Document(s) :
Aucun
Mot(s) cl(s) :
Logique, induction, algorithme, correction, terminaison
Cours en ligne :
http://www.enseirb-matmeca.fr/~herbrete/IF105
27/07/2015 - 05:53:17
76
Syllabus
Algorithmique et mathmatiques 2
p. 4
Crdits ECTS :
4.00
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
20.00
29.33
21.30
Enseignant(s) :
LAPOIRE Denis
Titre :
Algorithmique de graphes
Rsum :
Aprs une brve introduction des graphes, ce cours prsente des
problmes sur les graphes admettant une solution algorithmique
efficace. L'tude de ces solutions sera l'occasion d'exhiber des
proprits classiques en Thorie des Graphes.
Plan :
I. Introduction
- Exemples de problmes
- Dfinitions gnrales
- Chemins et arbres
II. Problmes de parcours
- Une solution gloutonne pour l'arbre couvrant minimal
- Parcours en largeur
- Le problme du plus court chemin
- Parcours en profondeur
III. Autres problmes
- Le problme du flot maximal
- Le problme du couplage maximum
Prrequis :
Modules IF101 (p. 73) et IF102 (p. 74)
Document(s) :
Des notes de cours imprims et en ligne.
Introduction l'algorithmique, T. Cormen et al., Dunod~(1994).
Mot(s) cl(s) :
Graphes, arbres, algorithme, complexite, parcours
Cours en ligne :
http://www.enseirb.fr/~lapoire/1ereAnnee/Graphes/Cours/
27/07/2015 - 05:53:17
77
Syllabus
Algorithmique et mathmatiques 1
p. 3
Crdits ECTS :
1.50
valuation :
S1: ET(2h,E,fa,sc) x0.6 + CC x0.4;S2: ET(2h,E,fa,sc) x0.6 + rep(CC S1) x0.4
Volumes horaires :
Cours Intgr :
Travail Individuel :
16.00
12.00
Enseignant(s) :
CASADEI Astrid
HERBRETEAU Frdric
LOMBARDY Sylvain
SAHEB Nasser
Titre :
Automates finis et applications
Rsum :
Les automates finis permettent de modliser des programmes informatiques mmoire finie. Ils permettent de
rsoudre des problmes un niveau d'abstraction lev, sans s'encombrer des spcificits d'un langage donn,
et en se concentrant sur les invariants maintenir pour parvenir une solution. L'tude de ce modle s'inscrit
dans le cadre gnral de la thorie des langages aborde ensuite dans les modules IF203 (compilation) et IF228
(calculabilit et complexit). L'enseignement aborde des notions thoriques (automates finis, langages rguliers,
expressions rgulires, quivalence de ces trois formalismes, non-dterminisme, automate minimal, lemme de
l'toile) ainsi que leur utilisation pour la rsolution de problmes concrets.
Plan :
1.Automates finis, langages
2.Expressions rgulires, thorme de Kleene
3.Langages non-rguliers, lemme de l'toile
4.Dterminisme, algorithme de dterminisation
5.Automate minimal, algorithme de minimisation
6.Introduction l'analyse lexicale par l'utilisation d'automates finis
Prrequis :
Aucun
Document(s) :
Polycopi
Mot(s) cl(s) :
Automates finis, langages rguliers, expressions rgulires, dterminisme, dterminisation, minimisation
Cours en ligne :
http://www.enseirb.fr/~herbrete/IF114
27/07/2015 - 05:53:17
78
Syllabus
Un module au choix
p. 93
Crdits ECTS :
2.50
valuation :
S1: ET(1h,E,da:notes de cours et TD,sc) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
30.00
15.00
Enseignant(s) :
METIVIER Yves
Titre :
Algorithmique Distribue
Rsum :
Ce cours est une introduction l'algorithmique distribue. Il commence par une prsentation des systmes
distribus et des diffrents problmes que l'on doit rsoudre suivant le type du systme : grands rseaux, rseaux
locaux, machines multi-processeurs ou bien machine unique abritant plusieurs processus. Les calculs locaux et
en particulier les rcritures de graphes constituent le principal formalisme utilis pour exprimer et pour prouver
les algorithmes distribus vus en cours.
Les diffrents problmes abords sont : le calcul d'un arbre recouvrant, le problme de la reconnaissance,
l'lection, la dtection de la terminaison et plus gnralement la dtection de proprits stables, calcul d'un tat
global, algorithmes distribus probabilistes, rsistance aux pannes : algorithmes auto-stabilisants.
Pour chacun de ces problmes, on montrera l'importance des hypothses faites sur le rseau ou de la
connaissance que l'on a du rseau. On tudiera o passe la frontire entre ce que l'on peut faire et ce que l'on ne
peut pas faire. On montrera galement comment des problmes n'admettant pas de solution dterministe peuvent
tre trs facilement et trs efficacement rsolus par des algorithmes probabilistes.
Plan :
* Introduction , Prsentation gnrale des diffrents modles
* Calcul d'un arbre recouvrant
* Election
* La reconnaissance
* Dtection de la terminaison
* Algorithmes probabilistes
* Algorithmes auto-stabilisants
* Dtection et tolrance aux pannes
Prrequis :
IF101 (p. 73) , IF102 (p. 74) , IF105 (p. 76) , IF106 (p. 77)
Document(s) :
C. Lavault "Evaluation des algorithmes distribus" 1995 Hermes /
G. Tel "Introduction to distributed algorithms" 2000 Cambridge University Press
Mot(s) cl(s) :
27/07/2015 - 05:53:17
79
Syllabus
27/07/2015 - 05:53:17
80
Syllabus
IF202 : Cryptologie
Partag par l'UE (les UEs) :
I8-A
Systmes et applications
p. 7
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,da:Cours et TD,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
14.67
18.00
20.00
Enseignant(s) :
GUIGNARD Adrien
LAPOIRE Denis
TRAVERS Corentin
Titre :
Cryptologie
Rsum :
Aprs quelques rudiments en Thorie des Nombres et en Thorie de la
Complexit, ce cours d'initiation prsente une grande varit de
protocoles et tudie la scurit de certains d'entre eux.
Plan :
I. Introduction aux protocoles
- Introduction
- Cryptosystmes clefs secrtes
II. Scurit des protocoles
- De la difficult en Thorie de la Complexit
- Systmes clefs publiques
- Quelques problmes arithmtiques faciles
- Quelques problmes arithmtiques difficiles
III. Exemples de protocoles
- Protocole de mise en gage
- Signature et authentification
- Preuve divulgation nulle
- Paiement et vote lectronique
IV. Perspectives
- Cryptologie quantique
Prrequis :
IF101 (p. 73) , IF102 (p. 74) , IF106 (p. 77)
Mot(s) cl(s) :
cryptologie, protocole, securite, cle, signature, identification
Cours en ligne :
http://www.enseirb.fr/~lapoire/2emeAnnee/Crypto/Cours/
27/07/2015 - 05:53:17
81
Syllabus
IF203 : Compilation
Partag par l'UE (les UEs) :
I7-A
Programmation et systme
p. 5
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,da,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
9.33
14.00
18.00
Enseignant(s) :
BARTHOU Denis
Titre :
Compilation
Rsum :
Prsentation des techniques et outils standards pour la compilation
des langages de programmation et pour une mise en oeuvre dans
le projet IF204 (p. 83) .
Plan :
0. Objectif d'un compilateur, pourquoi tudier la compilation
1. Expressions rgulires et langages rguliers, quelques rappels
2. Langages algbriques et grammaires
3. Analyseurs syntaxiques, mthodes descendantes LL et ascendantes LR, PEG; mise en oeuvre dans un outil
(Yacc)
4. Analyse smantique: grammaires attribues, calculs d'attributs tels que les types
5. Gnration de code: pour une machine pile, pour une machine registres. Principaux schmas de
traduction, allocation de la mmoire
6. Problmes d'optimisation: allocation de registre, optimisation de code, ...
7. Les dernires phases de compilation: assembleur, dition de lien, chargeur.
Prrequis :
Les expressions rgulires, et une bonne connaissance du C.
Document(s) :
Cours et ouvrages standards sur la compilation
Mot(s) cl(s) :
analyse lexicale, analyse syntaxique, traduction, production de code
27/07/2015 - 05:53:17
82
Syllabus
Conception logiciel
p. 5
Crdits ECTS :
1.50
valuation :
S1: Proj x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
4.00
30.00
Enseignant(s) :
BARTHOU Denis
Titre :
Projet de compilation
Rsum :
Mise en oeuvre dans un projet des concepts vus dans le module
de compilation par la ralisation d'un compilateur.
Plan :
0. Dfinition du sujet
1. Ralisation
2. Soutenance
Prrequis :
Compilation (IF 203)
Document(s) :
Cours IF 203 et ouvrages standards sur la compilation
Mot(s) cl(s) :
C prorgramming, lex and yacc.
27/07/2015 - 05:53:17
83
Syllabus
Internet et rseaux
p. 5
Crdits ECTS :
2.00
valuation :
S1: CC x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
6.67
14.00
14.00
Enseignant(s) :
LOMBARD Mathieu
Titre :
XML et Technologie Web
Rsum :
Prsentation de XML: analyse lexicale (SAX/DOM), types de documents (DTD/XML Schemas/Relax NG),
requtes (XPath) et styles (XSLT). Application la programmation web, par exemple DHTML, RSS, AJAX,
SOAP, Webservices.
Plan :
1. Donnes semi-structures et modle de document (XML, SAX, DOM)
2. Types de documents (DTD, XML Schemas, Relax NG), expressivit et validation (automates d'arbres)
3. Requtes (XPath, XQuery)
4. Feuilles de style (XSL, XSLT)
5. Applications web (modle MVC, RSS, XML-RPC, SOAP, AJAX)
Prrequis :
- Algorithmique des structures arborescentes (IF102 (p. 74) )
- Programmation C (PG101 (p. 198) , PG106 (p. 201) ) ou programmation C++ (PG212 (p. 208) ) ou
programmation Java (PG202 (p. 204) )
- Automates finis (IF114 (p. 78) )
Document(s) :
Polycopi
Mot(s) cl(s) :
XML, SAX, DOM, DTD, XML Schemas, Relax NG, XPath, XSLT, Programmation web, AJAX, Webservices
Cours en ligne :
http://www.enseirb.fr/~herbrete/IF205
27/07/2015 - 05:53:17
84
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: max(ET(2h,E,da) x0.5 + CC x0.5, ET(2h,E,da));S2: ET(2h,E,da) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
SENIZERGUES Graud
Titre :
Introduction l'information quantique
Rsum :
La dcouverte en 1994 par Peter Shor d'un algorithme rapide bas sur les principes de la mcanique quantique
et permettant de dcomposer un nombre entier en facteurs premiers a mis sous les projecteurs cette nouvelle
branche des sciences de l'information. Un aperu des diffrents dveloppements sera prsent.
Plan :
Plan du cours:
1. Le B-A-BA quantique : tats un qubit ; application la distribution de cls secrtes
2.Plus subtil : tats deux qubits et enchvtrement quantique ; application la communication quantique.
3. Nettement plus compliqu : le calcul quantique
a. Paralllisme quantique ; algorithme de Deutsch
b. Algorithme de recherche de Grover
c. Transforme de Fourier quantique
d. Algorithme de Shor
5. Ralisations physiques et limitations
a. Exemples de systmes physiques ralisant des circuits quantiques
b. Limitation : dcohrence
Prrequis :
Elments de mathmatiques et de physique niveau 1er cycle (IUT, DEUG, prpa) ; des bases en logique
boolenne et en algorithmique sont utiles.
Document(s) :
Polycopis de cours et d'exercices.
http://dept-info.labri.fr/~ges/ENSEIGNEMENT/CALCULQ/polycop_calculq.pdf
Livres conseills:
27/07/2015 - 05:53:17
85
Syllabus
27/07/2015 - 05:53:17
86
Syllabus
IF220 : Cognitique
Partag par le(s) module(s) choix :
EX214
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC (Projet + Rapport)x1
Volumes horaires :
Cours Intgr :
26.00
Enseignant(s) :
LE BLANC Benoit
Titre :
Cognitique
Rsum :
L’objectif de cet enseignement est de prsenter aux futurs concepteurs de produits logiciels,
l’approche facteur humain dans le cadre d'une conception centre sur l'utilisateur. Il s’agit de
tirer partie de l'offre technologique pour faire face aux capacits, limites et performances humaines. Les choix
dcisionnels en matire d’interface se fondent alors sur le recueil et l’analyse des informations
manant d'entretiens et d'observations.
Plan :
Prsentation et application d’une mthodologie de conduite de projet intgrant les FH :
- analyse de la demande,
- diagnostic de projet, et analyse stratgique du projet,
- analyse de la population d'utilisateurs futurs,
- identification et analyse des sites de rfrence,
- recensement des situations d'action caractristiques futures,
- mise en forme des repres ergonomiques pour la conception
- organisation et mise en place des simulations de l'activit́ future.
27/07/2015 - 05:53:17
87
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: ET(2h,E) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
GIMBERT Hugo
Titre :
Thorie des jeux pour la modlisation informatique
Rsum :
On prsentera quelques concepts cls en thorie des jeux:
jeux sous forme stratgique, stratgies optimales, quilibres de Nash, jeux stochastiques et on montrera
comment mettre ces outils au service de la modlisation conomique, de la conception formelle de logiciels (cf. IF
311) et de jeux ludiques tels que le poker.
27/07/2015 - 05:53:17
88
Syllabus
Un module au choix
p. 93
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,da:notes de cours manuscrites) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
30.00
15.00
Enseignant(s) :
DUCHON Philippe
Titre :
Algorithmique probabiliste
Rsum :
Ce cours est une introduction l'algorithmique probabiliste. On
s'intresse toutes les consquences de l'utilisation explicite de
l'alatoire en algorithmique: analyse "en moyenne dans le cas le
pire", possibilit de rpter utilement le mme algorithme sur des
donnes identiques, puissance de la randomisation pour dpasser le
problme des "mauvaises instances". Diffrents archtypes
d'algorithmes probabilistes sont tudis et analyss en dtail.
Bibliographie:
R. Motwani, P. Raghavan, "Randomized algorithms" - 1995, Cambridge
University Press
M. Mitzenmacher, E. Upfal - "Probability and computing" - 2005,
Cambridge University Press
Plan :
1. Introduction gnrale, analyse de QuickSort randomis
2. Modles de sources, gnrateurs pseudo-alatoires
3. Algorithmes de type Monte Carlo et Las Vegas, classes RP et
ZPP. Exploitation de l'abondance de tmoins.
4. Algorithmes probabilistes en thorie des nombres: le test de
Miller-Rabin.
5. Simulation de lois de probabilits: algorithmes rejet.
6. Structures de donnes probabilistes: notions gnrales, treaps,
skip-lists, tables de hachage.
Prrequis :
27/07/2015 - 05:53:17
89
Syllabus
Document(s) :
polycopi "Introduction l'algorithmique probabiliste"
Mot(s) cl(s) :
Probabilits discrtes, Algorithmique probabiliste, Analyse
d'algorithmes
27/07/2015 - 05:53:17
90
Syllabus
Un module au choix
p. 93
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,sd,sc) x0.5 + CC Rapport TD x0.5
Volumes horaires :
Cours :
Travaux Dirigs :
15.00
15.00
Enseignant(s) :
VANDERBECK Franois
Titre :
Recherche Operationelle
27/07/2015 - 05:53:17
91
Syllabus
Systmes et applications
p. 7
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
10.66
16.00
10.00
Enseignant(s) :
CARRERE Maxime
SAHEB Nasser
TRAVERS Corentin
VINCENT Aymeric
Titre :
Calculabilit et complexit
Rsum :
Ce module prsente les notions principales de calculabilit et de complexit.
27/07/2015 - 05:53:17
92
Syllabus
Internet et rseaux
p. 5
Algorithmique Distribue
Algorithmique probabiliste
Recherche Operationelle
Sret de fonctionnement
p. 79
p. 89
p. 91
p. 141
Crdits ECTS :
2.50
Volumes horaires :
Cours Intgr :
Travail Individuel :
28.00
25.00
Titre :
Un module au choix
27/07/2015 - 05:53:17
93
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: ET(2h,E) x0.5 + Proj x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
VANDERBECK Franois
Titre :
Flot et Combinatoire
Rsum :
La scurisation et le dimensionnement des rseaux (urbain, informatique, de tlcommunication,...), l'optimisation
du routage des flux (financiers, d’information, de personnels, de produits), les problmes de logistique et
de transport (routier, arien et du rail) reprsentent de rels enjeux pour les industriels. Les problmes
d’optimisation sous-jacents se ramnent le plus souvent des modles combinatoires qui sont des
briques essentielles pour apprhender les systmes complexes.
Ce cours vise complter la formation aux approches algorithmiques spcifiques aux problmatiques
d’optimisation combinatoire dans les graphes. Le cours vise expliquer comment utiliser les outils de la
programmation mathmatique (typiquement la programmation linaire et en nombre entiers) pour guider les
algorithmes combinatoires vers des solutions optimales ou quand cela s'avre trop complexe, de bonne solutions
approches. L’objectif est de matriser les modles et techniques de base qui servent dans les stratgies
de rsolution d’une grande varit de problmes complexes.
Plan :
# Optimisation de flot dans les rseaux : rappel des modles et algorithmes de base.
# Polydres et combinatoires : Algorithmes primaux-duaux et Algorithmes d'Approximation bass sur la
programmation linaire
Prrequis :
Introduction la RO
27/07/2015 - 05:53:17
94
Syllabus
p. 6
Crdits ECTS :
6.00
valuation :
Pas de description
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
MUSCHOLL Anca
Titre :
Automates avancs et applications
Rsum :
Ce cours prsente les rsultats fondamentaux et les techniques essentielles de la thorie des automates, ainsi
que de nombreuses applications l'analyse de programmes et aux donnes semi-structures
Plan :
- automates d'arbres
- automates poids et automates probabilistes
- automates pile
- automates donnes et logiques
- dcidabilt
Prrequis :
Thorie des langages et thorie des automates finis (module IF114)
Document(s) :
- Handbook of formal language theory, Springer, 1997
- Handbook of weighted automata, Springer, 2009
Mot(s) cl(s) :
Automates
27/07/2015 - 05:53:17
95
Syllabus
IF232 : Logique
Partag par l'UE (les UEs) :
I7ESSV-B
Logique
p. 6
Crdits ECTS :
6.00
valuation :
Pas de description
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
CASTRAN Pierre
SENIZERGUES Graud
Titre :
Logique
Rsum :
Fondements de la logique et son utilisation pour la spcification, la vrification et la synthse des programmes
informatiques
Plan :
- Fondements de la logique: logique propositionnelle, calcul des prdicats, logique d'ordre suprieur,
logique modale, notions de modle et de validit, rgles d'infrence et notion de preuve
- Logique et calculs: preuves vues comme objets combinatoires, corrlation entre preuves et programmes,
formules et automates
- Preuves assistes par ordinateur: synthse de programme correct depuis une preuve, preuve de
programmes
Prrequis :
Aucun
Document(s) :
- A. Arnold, I. Guessarian : Mathmatiques pour l'informatique (Masson, 1992).
- R. Cori, D.Lascar : Logique Mathmatique, cours et exercices (Dunod, 1993).
- David-Nour-Raffalli : Introduction la logique, Dunod, 2003.
- Bertot-Casteran : Interactive Theorem Proving and Program Development, Springer, 2004.
- http://coq.inria.fr
Mot(s) cl(s) :
Logique
27/07/2015 - 05:53:17
96
Syllabus
Conception formelle
p. 6
Crdits ECTS :
6.00
valuation :
Pas de description
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
GRIFFAULT Alain
SUTRE Grgoire
Titre :
Conception formelle
Rsum :
Les mthodes formelles permettent de rendre fiable la conception des systmes et des logiciels. Ce cours
propose une approche pragmatique la conception formelle suivant un large panel d'tudes de cas qui seront
modlises en AltaRica et vrifie par model-checking
Plan :
- Du cahier des charges l'architecture du systme
- AltaRica: un langage formel de description de systmes
- La vrification de proprits fonctionnelles par "model-checking"
- D'un modle abstrait vers la mise en oeuvre
- Le raffinement de modles
- L'utilisation d'un assistant de preuve formelle (B, PVS, Coq,...)
- Des tudes de cas
Prrequis :
Aucun
Document(s) :
- J-R Abrial. Modeling in Event-B: System and Software Engineering, Cambridge University Press, 2010.
- E.M. Clarke, O. Grumberg and D. Peled. Model Checking, MIT Press, 2000.
- http://altarica.labri.fr
- http://www.event-b.org
Mot(s) cl(s) :
Conception formelle, modlisation, vrification, raffinement, AltaRica, Mthode B
27/07/2015 - 05:53:17
97
Syllabus
Sminaire de recherche
p. 6
Crdits ECTS :
6.00
valuation :
Pas de description
Volumes horaires :
Cours :
Travail Individuel :
4.00
56.00
Enseignant(s) :
FLEURY Emmanuel
Titre :
Sminaire de recherche
Rsum :
Cet enseignement a pour but d'introduire les tudiants la recherche au travers:
- de la lecture d'articles scientifiques
- du suivi des exposs de recherche de l'quipe Mthode Formelle du LaBRI
- de l'criture d'une synthse bibliographique et de sa prsentation orale
Plan :
- Introduction aux activits de dissmination scientifique: lecture et criture d'articles, criture d'un rapport
d'valuation sur un article, prsentation d'un article
- Suivi des sminaires donns par des chercheurs invits ou locaux et production d'un rapport sur certains
des exposs suivis
Prrequis :
Anglais lu/crit
Document(s) :
- How to write a Proof, by Leslie Lamport (1993)
- Professional Communication in Computer Science : An Introduction to the Art of Communicating Ideas
and Results in Computer Science , by Luca Aceto
- Jri Srba Course (http://www.cs.aau.dk/~srba/courses/PDK-08/)
Mot(s) cl(s) :
Communication scientifique, dissmination
27/07/2015 - 05:53:17
98
Syllabus
p. 13
p. 14
Crdits ECTS :
2.50
valuation :
S1: CC x0.5 + TP x0.2 + CC(CR TP) x0.3
Volumes horaires :
Cours Intgr :
20.00
Enseignant(s) :
FONTAINE Allyx
Titre :
Conception de logiciels - mthode B
Rsum :
Ce module aborde la conception de programmes depuis un cahier des charges abstrait, jusqu' une mise en
uvre en appliquant des raffinements successifs. Ces raffinements du modle sont prouvs corrects vis--vis de
la spcification de dpart. Ainsi, la correction du logiciel final est assure. La dmarche suivie est celle de la
mthode B.
Plan :
- rappels de logique
- machines abstraites/B vnementiel
- raffinements des machines abstraites
- preuve des raffinements
Prrequis :
Aucun
Document(s) :
Distribu en cours
Mot(s) cl(s) :
Logique, mthode B, preuve, raffinement, correction
Cours en ligne :
Non disponible
27/07/2015 - 05:53:17
99
Syllabus
p. 16
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,da,ca) x2.5
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
21.33
8.00
20.00
Enseignant(s) :
CASADEI Astrid
ROMAN Jean
Titre :
Algorithmique parallle
Rsum :
Le but de ce cours est l'apprentissage des concepts fondamentaux de l'algorithmique parallle. Ces concepts
seront illustrs par des tudes de cas algorithmiques relatives des problmes classiques issus des domaines
numriques et non numriques.
Plan :
1. Modles du calcul parallle, modles en mmoire partage et en mmoire distribue.
2. Analyse et complexit des algorithmes parallles : acclration, cot, efficacit, iso-efficacit, granularit.
3. Etude d'algorithmes parallles fondamentaux : fusion, tri, slection, recherche, calcul matriciel, rsolution
d'quations, FFT, algorithmes de graphes.
Document(s) :
Tous documents autoriss.
Mot(s) cl(s) :
Algorithmique parallle, complexit.
Cours en ligne :
Introduction to Parallel Computing
A. Grama, A. Gupta, G. Karypis et V. Kumar
Addison-Wesley, Deuxime dition, 2003, ISBN 0 201 64865 2.
27/07/2015 - 05:53:17
100
Syllabus
p. 16
Crdits ECTS :
2.50
valuation :
S1: ET(1h30,E,da,ca) x2.5
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
17.33
8.00
16.00
Enseignant(s) :
CASADEI Astrid
FAVERGE Mathieu
RAMET Pierre
Titre :
Equilibrage et rgulation de charge
Rsum :
L'objectif de ce cours est d'apporter les connaissances ncessaires la conception d'algorithmes parallles
performants. On s'intresse plus particulrement aux aspects de placement et d'ordonnancement. On utilise les
applications d'algbre linaire dense comme exemples pour illustrer les techniques mises en oeuvre.
Plan :
1. Structure des architectures et placement des calculs et des donnes.
2. Conception des algorithmes parallles, problme du ratio calcul/communication.
3. Placement statique, partitionnement de graphes.
4. Paralllisation automatique: placement et alignement de donnes pour des problmes rguliers.
5. Ordonnancement et placement sur architectures htrognes, prise en compte de l'irrgularit des problmes.
Prrequis :
Connaissances en algorithmique parallle et en algbre linaire classique.
Document(s) :
Tous documents autoriss.
Mot(s) cl(s) :
placement, alignement, ordonnancement, algbre linaire dense
Cours en ligne :
Algorithmique parallle
A. Legrand et Y. Robert
Dunod, 2003, ISBN 2 10 006531 9.
27/07/2015 - 05:53:17
101
Syllabus
p. 16
Crdits ECTS :
1.75
valuation :
S1: ET(30m,LA,da,ca) x1.75
Volumes horaires :
Cours :
Travail Individuel :
20.00
20.00
Enseignant(s) :
BEAUMONT Olivier
EYRAUD-DUBOIS Lionel
HANUSSE Nicolas
KLASING Ralf
KOSOWSKI Adrian
LARCHEVEQUE Hubert
TRAVERS Corentin
Titre :
Communication et routage
Rsum :
Ce module a pour objectif d'tudier l'ensemble des aspects algorithmiques concernant la communication et le
routage d'informations dans les architectures parallles.
Plan :
- Chapitre 1:
Modlisation des communications (modles de TCP, architecture
d'Internet, systmes de coordonnes rseaux (GNP, Sequoia, Vivaldi)):
Lionel Eyraud-Dubois, Hubert Larchevque
- Chapitre 2:
Communications collectives en filaires et sans fils, ad-hoc
(complexit des problmes point point et des communications
collectives, problmatique de conservation de l'nergie):
Ralf Klasing, Adrian Kosowski
- Chapitre 3:
Routage dans les rseaux, recherche d'information dans les bases
de donnes distribues (DHTs, gossip), distribution de contenus
(Bittorrent, streaming): Nicolas Hanusse, Olivier Beaumont
- Chapitre 4:
Influence de l'asynchronisme: Corentin Travers
Prrequis :
Bonne connaissances en algorithmique.
Mot(s) cl(s) :
Architecture parallle, Communication et routage dans les rseaux.
27/07/2015 - 05:53:17
102
Syllabus
p. 70
Crdits ECTS :
2.50
valuation :
Pas de description
Volumes horaires :
Cours :
Travail Individuel :
24.00
48.00
Enseignant(s) :
MOSBAH Mohamed
ZEMMARI Akka
Titre :
Enseignement Master Recherche
Rsum :
Ce cours a pour objectif de prsenter des notions avances de thorie des graphes et de familiariser l'tudiant
avec certaines techniques de preuve classiques en prenant appui sur des problmes de coloration de graphes.
Plan :
1. Premire partie (ric Sopena)
- Coloration de graphes
+ Dfinitions de base
+ Rsultats de base
+ Graphes planaires
+ Graphes critiques
+ Graphes parfaits
+ Polynmes chromatiques
- Homomorphismes de graphes
+ Homomorphismes et colorations
+ Hirarchie des classes de coloration
+ Problme de la H-coloriabilit
2. Deuxime partie (Andr Raspaud)
- Colorations particulires
+ Coloration fractionnaire
+ Coloration circulaire
+ Coloration par liste
- Dualit
+ Flots valeurs entires
+ Flots circulaires
- Colorations et applications
+ Coloration totale
+ L(2,1)-tiquetage
Prrequis :
Notions lmentaires de thorie des graphes.
Document(s) :
27/07/2015 - 05:53:17
103
Syllabus
Bla Bollobs, Modern Graph Theory, Graduate Texts in Mathematics 184, Springer (1998), Chap. V : Colouring,
pp. 145-180.
Claude Berge, Graphes et hypergraphes, Dunod, 2me dition (1973), Chap. 15 : Nombre chromatique, pp.
314-346, Chap. 16 : Graphes parfaits, pp. 347-370,
Chap. 12 : Indice chromatique, pp. 236-259.
Tommy R. Jensen and Bjarne Toft, Graph Coloring Problems, Wiley-Interscience Series in Discrete Mathematics
and
Optimization (1995).
Roy Nelson and Robin J. Wilson (Eds), Graph Colourings, Pitman Research Notes in Mathematics Series 218,
Longman
(1990).
Bjarne Toft, Colouring, stable sets and perfect graphs, in Handbook of Combinatorics, vol. I (Graham, Grtschel
and Lovsz eds), North-Holland (1995), pp. 233-288.
Mot(s) cl(s) :
Algorithmique de graphes, coloration.
27/07/2015 - 05:53:17
104
Syllabus
p. 17
Crdits ECTS :
1.50
valuation :
S1: Proj x1
Volumes horaires :
Cours :
Cours Intgr :
3.00
16.50
Enseignant(s) :
SALOTTI Jean-Marc
Titre :
Interactions homme robot
Rsum :
Ce cours est une initiation la problmatique de l'interaction, de la perception l'action en
passant par l'attention, la communication, la robotique sociale et dveloppementale. Le robot humanode NAO
sera exploit.
27/07/2015 - 05:53:17
105
Syllabus
p. 13
Crdits ECTS :
2.50
valuation :
S1: ET(1h30,E,sd,sc) x0.6 + CC x0.4;S2: ET(30m,O,sd,sc) x0.6 + rep(S1) x0.4
Volumes horaires :
Cours Intgr :
Travail Individuel :
24.00
24.00
Enseignant(s) :
HERBRETEAU Frdric
WALUKIEWICZ Igor
Titre :
Conception formelle
Rsum :
Spcification et modlisation formelles du logiciel. Le model-checking comme outil de preuve.
Plan :
- Introduction aux enjeux des logiciels critiques
- Modlisation formelle: systmes de transitions et langage de haut niveau PlusCal
- Spcification formelle en Logique Temporelle Linaire (LTL)
- Spcification avance en TLA+
- Modlisation des systmes concurrents: atomicit et quit
- Algorithmes de model-checking
- Abstraction et raffinement
Exercices bass sur la plateforme TLA/TLC de Leslie Lamport
Prrequis :
- Automates finis (IF114)
- Logique, preuve de programmes (IF105)
Document(s) :
Distribu en sance
Mot(s) cl(s) :
Spcification, Modlisation, Vrification, Conception formelle
Cours en ligne :
http://www.enseirb.fr/~herbrete/IF311/
27/07/2015 - 05:53:17
106
Syllabus
p. 17
Crdits ECTS :
1.50
valuation :
S1: Proj x1
Volumes horaires :
Cours :
Travaux Dirigs :
6.00
24.00
Enseignant(s) :
FAVIER Pierre-Alexandre
Titre :
Systmes multi-agents et ralit virtuelle
Rsum :
Cet enseignement prsente le concept d'agent autonome, les diffrents types d'agents, ractifs ou dlibratifs,
ainsi que les diffrents types d'architecture multi-agents. Les tudiants sont galement initis la modlisation et
l'utilisation de mondes virtuels.
27/07/2015 - 05:53:17
107
Syllabus
Techniques de modlisation
p. 13
Crdits ECTS :
5.00
valuation :
S1: ET(3h,E,sd,sc) x0.5 + CC x0.5;S2: ET(30m,O,sd,sc) x0.5 + rep(CC S1) x0.5
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
HERBRETEAU Frdric
ZEITOUN Marc
Titre :
Techniques de modlisation
Rsum :
Objectifs: prsenter les formalismes de spcification et de modlisation les plus courants, et les outils usuels pour
vrifier des systmes complexes
Plan :
- systmes de transitions, structures de Kripke
- logique temporelle CTL et algorithme de model-checking
- logique temporelle LTL et algorithme de model-checking
- simulation et bisimulation
- systmes paramtrs
- systmes probabilistes
- systmes temporiss
Prrequis :
Logique (module IF105), automates (module IF114).
Mot(s) cl(s) :
Modlisation, Vrification
27/07/2015 - 05:53:17
108
Syllabus
Vrification logicielle
p. 13
Crdits ECTS :
5.00
valuation :
S1: ET(3h,E,sd,sc) x0.67 + CC x0.33;S2: ET(30m,O,sd,sc) x0.67 + rep(CC S1) x0.33
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
LEROUX Jrme
SUTRE Grgoire
VINCENT Aymeric
Titre :
Vrification logicielle
Rsum :
Objectifs: les tudiants sont confronts aux dfis poss par la vrification de systmes de grande taille que sont
notamment les systmes logiciels. Un panel de mthodes, de structures de donnes, et d'algorithmes est
prsent, qui permettent de vrifier des systmes infinis et d'attnuer les effets de l'explosion combinatoire, qui
est le problme classique en vrification de systmes.
Plan :
L'enseignement prsente les structures de donnes partages comme les BDDs, le cadre de l'analyse statique,
les algorithmes de type CEGAR, et les techniques rsolution du problme SAT avec interpolation de Craig.
Vrification symbolique de modles finis :
- Structure de donnes BDD (Binary Decision Diagram)
- Solveurs SAT
- Bounded model-checking
Analyse statique :
- Analyse de flot de donnes
- Interprtation abstraite
- Elargissement et rtrcissement
- Application l'analyse des bornes
Vrification par abstraction :
- Abstraction par prdicats
- Interpolation de Craig
- Boucle CEGAR (Counter-Example Guided Abstraction Refinement)
- Solveurs SMT (Satisfiability Modulo Theory)
Prrequis :
Logique (IF105), Calculabilit et complexit (IF228), Algorithmique de graphes (IF106) et programmation
imprative (PG101, PG106)
27/07/2015 - 05:53:17
109
Syllabus
p. 13
Crdits ECTS :
5.00
valuation :
S1: ET(3h,E,sd,sc) x0.5 + CC x0.5;S2: ET(30m,O,sd,sc) x0.5 + rep(CC S1) x0.5
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
DICKY Anne
GIMBERT Hugo
MUSCHOLL Anca
Titre :
Jeux, synthse de contrleurs
Rsum :
Objectifs: prsenter l'interaction entre la synthse de contrleurs, le calcul de points fixes et la thorie des jeux.
Plan :
Synthse de contrleurs, jeux sur des graphes finis, logiques temporelles pour la spcification (LTL, CTL), points
fixes et calcul, jeux stochastiques.
Prrequis :
Logique (IF105), automates finis (IF114)
27/07/2015 - 05:53:17
110
Syllabus
p. 13
Crdits ECTS :
5.00
valuation :
S1: Proj(Rap) x0.5 + Proj(Sout) x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
12.00
60.00
Enseignant(s) :
FLEURY Emmanuel
Titre :
Projet d'tude et de recherche
Rsum :
Objectifs: confronter les tudiants une situation de recherche et dveloppement.
Plan :
La taille des groupes et l'activit du projet pourront prendre plusieurs formes en fonction du parcours et des choix
des tudiants:
- tude d'articles et restitution sous forme de sminaires (groupes de 2),
- tude d'une technologie innovante (groupes de 2 4),
- tude d'articles et ralisation logicielle (groupes de 2 6), etc.
Un rapport devra tre remis en Anglais. Une dizaine de confrences sont galement prvues.
Les tudiants sont en outre convis suivre les sminaires de recherche de l'quipe Mthodes Formelles du
LaBRI.
27/07/2015 - 05:53:17
111
Syllabus
Types et preuves
p. 13
Crdits ECTS :
5.00
valuation :
S1: CC x1
Volumes horaires :
Cours :
Travaux Dirigs :
24.00
24.00
Enseignant(s) :
CASTRAN Pierre
NARBEL Philippe
RENAULT David
Titre :
Types et preuves
Rsum :
Les types sont un des moyens principaux pour obtenir des programmes srs et valides. ce titre, la thorie des
types, mme lorsqu'elle est restreinte des domaines dcidables comme
c'est le cas pour les langages de programmation usuels, est parfois applicable de manire effective, et beaucoup
de progrs sont actuellement faits dans ce sens. L'infrence de type, les polymorphismes et leurs diffrents
ordres, la gnricit contrainte ou non, les composants modulaires typs, etc., sont en effet quelques-unes des
notions qui voluent constamment, tout en amliorant l'analyse statique des programmes. Certains langages ont
pris le parti d'intgrer systmatiquement les constructions qui en dcoulent (par ex. Haskell, OCaml, Scala), mais
il existe galement aujourd'hui une tendance tendre les langages plus classiques en les utilisant (par ex. C#,
Java). Ce cours introduit et illustre ces constructions, leurs fondements thoriques, et leur intert au sein des
programmes.
27/07/2015 - 05:53:17
112
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
15.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Anthropologie des nouvelles technologies
Rsum :
La conception d'un objet dans un objectif de mise sur le march petite ou large chelle ncessite de s'interroger
sur son utilit et son acceptabilit par les utilisateurs supposs ou esprs. L'objectif ici est d'initier les
lves-ingnieurs cette problmatique, et ce dans une dmarche anthropologique.
Nous prsenterons quelques concepts et notions gnraux : cyberculture (Pierre Lvy), Raison Graphique (Jack
Goodis), criture (Yves Jeanneret), cologie de l’information, la notion de Litteratie et de crise de la
culture, la culture technique et la question du sujet humain (Andr Leroi-Gourhan, Gilbert Simondon, Bernard
Stiegler), la question de l’criture de soi et du collectif.
Paralllement ces prsentations, les lves-ingnieurs raliseront par binme des tudes de cas qu'ils
prsenteront devant la promotion.
Plan :
Cours 1 : La notion d’espace et de proxmie en Anthropologie. Etude de cas. Questions formuler par
les binmes.
Cours 2 : La notion de contexte. Etude de cas. Questions formuler par les binmes.
Cours 3 : La notion d’interaction. Etude de cas. Questions formuler par les binmes.
Cours 4 : La notion d’habiter. Rappel des enjeux pistmologiques et mthodologiques par
l’enseignant. Prsentation devant la promo d’tudes de cas par les binmes. Dbat sur
l’innovation technologique partir des cas expose.
Cours 5 : La notion de culture numrique. Rappel des enjeux pistmologiques et mthodologiques par
l’enseignant. Prsentation devant la promo d’tudes de cas par les binmes. Dbat sur
l’innovation technologique partir des cas exposs.
Document(s) :
JEANNERET, Y ; Penser la trivialit, Vl.1 La vie triviale des tres culturels, Paris, Herms, coll. Sciences
Publications, 2008.
27/07/2015 - 05:53:17
113
Syllabus
LEROI-GOURHAN, A.Le geste et la parole 1, Techniques et langage, Paris, Albin Michel, 1964.
Le geste et la parole 2, La mmoire et les rythmes, Paris, Albin Michel, 1967.
LEVY, P., Cyberculture. Rapport au Conseil de l’Europe, Paris, Odile Jacob, 1997.
OCDE, Rapport sur La littratie l’re de l’information, 14 juin 2000.
SIMONDON, G. Du mode d’existence des objets techniques, Paris, Aubier, 2012.
L’individuation psychique et collective, Paris, Aubier, 2007.
STIEGLER, B. La Technique et le Temps, tome 1. La faute d’Epimthe, 1994, tome 2, La dsorientation,
1996, Paris, Galile.
Mot(s) cl(s) :
CULTURE NUMERIQUE ESPACE CONTEXTE INTERACTION HABITER
27/07/2015 - 05:53:17
114
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
10.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Apprentissage pour une robotique autonome
Rsum :
En informatique, l'apprentissage automatique a dfini un ensemble de techniques statistiques prouves que l'on
peut dans une certaine mesure rapprocher de formes d'apprentissage dans le vivant. Cependant, leur mise en
oeuvre en robotique autonome met en lumire un certain nombre de faiblesses pour assurer l'autonomie de
l'agent. Le but de ce cours est de revisiter ces techniques la lumire de donnes des neurosciences et des
sciences sociales pour prsenter des algorithmes permettant des apprentissages en autonomie, par simple
interaction avec l'environnement et avec des critres de survie dfinis a priori. Pour chaque forme
d'apprentissage, aprs un rappel des formes classiques d'apprentissage automatique, des critres d'autonomie
sont dfinis et des donnes biologiques et comportementales sont introduites, permettant de dfinir des formes
plus plausibles biologiquement et intgrant une vue systmique plus globale du vivant.
Plan :
1. Principes d'apprentissage et d'autonomie dans le vivant
2. Apprentissage social et par imitation
3. Apprentissage non-supervis et supervis
4. Motivation intrinsque et curiosit
5. Apprentissage motiv
Mot(s) cl(s) :
Apprentissage automatique, autonomie, imitation, motivation, inspiration du vivant, comportement
27/07/2015 - 05:53:17
115
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: Proj x1
Volumes horaires :
Cours Intgr :
16.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Dveloppement soutenable au dfi de la technique
Rsum :
Cet enseignement initie les lves-ingnieurs aux concepts gnraux du dveloppement soutenable dans une
dmarche pdagogique active, inverse et en mode projet autour de la ralisation d'un documentaire vido.
Des premiers exposs brefs et gnraux introduisent la problmatique du dveloppement soutenable appliqu
la technique et prsentent l'histoire des documentaires dans les controverses thiques.
Dans un deuxime temps, les lves-ingnieurs sont mis en situation de concevoir le thme, le contenu, le
scnario ainsi que les scripts d'un documentaire : seul le thme gnral "Dveloppement soutenable et
technologie" est impos.
La ralisation des interviews ainsi que le montage du documentaire est confi des professionnels.
Plan :
1. Dveloppement soutenable : dfinition
2. Ethique dans les sciences
3. La Technique dans l'imaginaire et les utopies
4. Science et technique dans le documentaire
5. Recherche documentaire sur les entreprises locales
6. Ecriture du scnario
7. Prparation du tournage et de son plan
8. Prise de son et techniques d'entretien
9. Drushage et analyse des images
10. Visionnage et ultimes modifications
27/07/2015 - 05:53:17
116
Syllabus
Prrequis :
Aucun
Document(s) :
Documentaire vido :
L'anglique et les ragondins (slection festival de cannes 2010 au shot corner) :
http://www.cultureunplugged.com/play/5923/L-Angelique-et-les-Ragondins--Desperately-Seeking-Angelica-Hetero
carpaBibliographie :
Breschand J. (2002), le documentaire/l’autre face cach du cinma, cahiers du cinma/les petits
cahiers/Scrn/Cndp
Callon, M., Lascoumes, P. et Barthe, Y. (2001). Agir dans un monde incertain/essai sur la dmocratie technique.
Paris : Seuil.
Dupuy, Jean Pierre., (2002). Pour un catastrophisme clair. , dition Point Seuil, Paris
Habermas, Jrgen (1968), la technologie et la science comme idologie/la fin de la mtaphysique ditions Denol
Gonthier
Harribey Jean Marie. (1998), Le dveloppement soutenable, Paris, Economica, (Economie/poche).
Marchal jean Paul/Quinault (2005), le dveloppement durable une perspective pour le XX sicle, presse
universitaire de Rennes
Sigaut, O. (2008). Pour une gnalogie du dveloppement soutenable / dveloppement durable : histoire
d’un rfrentiel conomique cach, in Environnement, solidarit emploi : le nautisme au 21me sicle
Sigaut, O. (2009b). La construction de la nature dans les manuels scolaires et parascolaires : entre affirmation de
nouvelles valeurs thiques et naissance des proto-politiques publiques ducatives. In Zlem, M.-C., Blanchard, O.
et Lecomte, D. (dir.). L’ducation au dveloppement durable de l’cole au campus (175-190).
Paris : L’Harmattan.
Zlem, Marie-Christine/Odile Blanchard, Didier Lecomte. Prface de Lucie Sauv, L'ducation au dveloppement
durable (2010) : de l'cole au campus. Collection Questions contemporaines, L’Harmattan
Mot(s) cl(s) :
Dveloppement soutenable, dveloppement durable, thique, innovation, environnement, humain, pdagogie
active
27/07/2015 - 05:53:17
117
Syllabus
Algorithmique et mathmatiques 1
p. 3
Traitement de l'Information
Thorie de l'information
p. 120
p. 121
Crdits ECTS :
1.50
Volumes horaires :
Cours :
16.00
Enseignant(s) :
GUENNEGUEZ Liliane
Titre :
Analyse des donnes et Thorie de l'information
27/07/2015 - 05:53:17
118
Syllabus
Algorithmique et mathmatiques 1
p. 3
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,sd,sc) x1;S2: ET(2h,E,sd,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
16.00
16.00
20.00
Enseignant(s) :
DUFOUR Franois
Titre :
Probabilits et statistiques
Rsum :
Dans la premire partie, il s'agit d'tudier les notions de base du calcul des probabilits, qui seront utilises dans
d'autres enseignements l' ENSEIRB : Recherche oprationnelle, Traitement du signal, Thorie de l'information,
Analyse des donnes, Algorithmique probabiliste et surtout les Statistiques tudies dans la deuxime partie de
ce module.
Plan :
- Introduction: probabilit sur un espace fini
- Variables alatoires discrtes
- Variables alatoires densit
- Convergences et thormes limites
Prrequis :
Mathmatiques du premier cycle .
Document(s) :
Ouvrage: Probabilits et statistiques, B. Jourdain, Ellipses.
Mot(s) cl(s) :
Probabilits, lois discrtes, loi densit, loi des grands nombres, thorme de la limite centrale
Cours en ligne :
Non
27/07/2015 - 05:53:17
119
Syllabus
p. 118
Crdits ECTS :
1.50
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travail Individuel :
16.00
8.00
Enseignant(s) :
GUENNEGUEZ Liliane
Titre :
Traitement de l'Information
Rsum :
Ce cours donne les notions essentielles de l'Analyse des donnes, qui prend un grand essor avec le
dveloppement des moyens informatiques .
Plan :
1. Introduction
2. Analyse factorielle
- analyse en composantes principales
- analyse des correspondances
3. Classification automatique
4. Autres mthodes
- nues dynamiques
- segmentation
- analyse discriminante
- analyse multicritre
Prrequis :
-La partie ,calcul des probabilits du module : Probabilits et Statistiques .
Document(s) :
Documents distribus pendant le cours.
Mot(s) cl(s) :
analyse factorielle , classification , rgression , composantes principales
Cours en ligne :
non
27/07/2015 - 05:53:17
120
Syllabus
p. 118
Crdits ECTS :
1.50
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travail Individuel :
16.00
12.00
Enseignant(s) :
SAHEB Nasser
Titre :
Thorie de l'information
Rsum :
Ce cours (avec un faible volume horaire) donne quelques une des notions et de la thorie de l'information
(entropie, transmission digitale et application au codage) et sa transmission via canaux bruits sans mmoire.
Plan :
1. Gnralits sur la thorie de l'information
2. Thorie du codage
3. Codes optimaux, algorithme de Huffman
4. Introduction aux canaux bruits, capacit
Prrequis :
Probabilits discrtes
Document(s) :
documents autoriss
Mot(s) cl(s) :
information, entropie, codage, transmission digitale, canaux sans mmoire, Shannon, Fano
Cours en ligne :
oui
27/07/2015 - 05:53:17
121
Syllabus
Algorithmique et mathmatiques 2
p. 4
Crdits ECTS :
4.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
48.00
18.00
Enseignant(s) :
RENAULT David
Titre :
Algorithmique numrique
Rsum :
Le module d'Algorithmique Numrique dcrit un ensemble de mthodes et d'algorithmes adapts
la modlisation de problmes numriques.
Plan :
- Introduction au calcul numrique : problmes de reprsentation des nombres et d'approximaiotn,
conditionnement
- Mthodes de rsolution de systmes linaires : Gauss ; Cholesky ; A=LDL'; mthodes itratives : Jacobi ;
Gauss-Seidel ; relaxation ; gradient
- Mthode des moindres carrs : quation normale ; factorisations de matrices
- Valeurs propres et vecteurs propres : rduction la forme tridiagonale ; bissection de Givens ; mthode
de la puissance itre
- Rsolution d'quations non linaires : mthodes itratives; racines de polynmes; cas de la dimension
suprieure 1
- Mthodes numriques d'interpolation et d'intgration.
- Equations diffrentielles : Problme de Cauchy ; mthode de Runge-Kutta ; diffrences finies ; lments
finis
Prrequis :
Mathmatiques du premier cycle (Algbre linaire, Equations diffrentielles ...)
Document(s) :
Rfrences bibliographiques :
[1] P.Lascaux et R.Thodor : Analyse numrique matricielle applique l'art de l'ingnieur - Masson.
[2] W.H. Press et al. : Numerical Recipes in C, the art of scientific computing - Cambridge University Press.
[3] J.P. Demailly : Analyse Numrique et Equations diffrentielles - PUG
Pas de polycopi de cours. Un guide est disponible pour certaines questions pratiques.
Mot(s) cl(s) :
complexit, pivot de Gauss, factorisation de matrices , relaxation , gradient , approximation numrique ,
27/07/2015 - 05:53:17
122
Syllabus
Cours en ligne :
http://www.labri.fr/perso/renault/working/teaching/algonum/algonum.php
27/07/2015 - 05:53:17
123
Syllabus
p. 16
Crdits ECTS :
3.50
valuation :
S1: ET(3h,E,da,ca) x3.5
Volumes horaires :
Cours Intgr :
Travaux Dirigs :
Travail Individuel :
16.00
8.00
15.00
Enseignant(s) :
AGULLO Emmanuel
GIRAUD Luc
ROMAN Jean
Titre :
Algbre linaire creuse
Rsum :
La rsolution de grands systmes linaires est un des outils les plus utiliss et les plus consommateurs de calcul
dans les
applications scientifiques actuelles. Le but de ce cours est de faire une tude approfondie des algoritmes
parallles de rsolution de
grands systmes d'quations linaires creux par mthodes directes et par mthodes itratives.
La premire partie sera ddi aux problmes algorithmiques rencontrs lors de la mise en oeuvre efficace d'un
solveur direct haute performance en utilisant le modle de graphe sous-jacent.
L'objectif de la deuxime partie de ce cours sera de prsenter les algorithmes parallles pour les mthodes
itratives, et un certain nombre de mthodes de prconditionnement gnriques les plus utilises en pratique.
Les TDs/TPs consisteront en une mise en oeuvre effective de la paralllisation d'un algorithme de gradient
conjugu prconditionn pour des matrices creuses au format CSR.
Plan :
1.Premire partie: Paralllisation des mthodes directes
- Modle de graphe associ l'limination de Gauss, remplissage, niveaux de paralllisme
- Renumrotation par dissections embotes
- Solveur par blocs
- Distribution des blocs sur architectures distribues
- Etudes de cas.
2.Deuxime partie: Paralllisation des mthodes itratives
- Introduction
+ Rappel de notions lmentaires d'algbre linaire: norme de matrice, conditionnement...
27/07/2015 - 05:53:17
124
Syllabus
+ Introduction gnrale sur les mthodes itratives: avantages et inconvnients par rapport aux
mthodes directes.
-Mthodes itratives de base
+ Jacobi et Gauss-Seidel
+ Algorithmes de Jacobi et de Gauss-Seidel par blocs en parallle.
- Format de stockage des matrices creuses
- Mthodes itratives base de projection
+ Espaces de Krylov
+ Mthodes de Krylov
+ Paralllisation d'une mthode de Krylov.
- Mthodes de prconditionnement gnrique
+ Principe du prconditionnement
+ Factorisation ILU(0)
+ Factorisation ILU(k)
+ Factorisation ILUtp(tol,p).
Prrequis :
Connaissances en algbre linaire et en algorithmique parallle (modules IS104 (p. 122) et IS106).
Document(s) :
Tous documents autoriss.
Mot(s) cl(s) :
Algbre linaire creuse, mthodes directes et itratives, calcul parallle haute performance.
27/07/2015 - 05:53:17
125
Syllabus
p. 16
Crdits ECTS :
1.50
valuation :
S1: ET(30m,LA,da,ca) x1.5
Volumes horaires :
Cours :
Travail Individuel :
10.66
4.00
Enseignant(s) :
COULAUD Olivier
Titre :
Algorithmique pour mthodes hirarchiques
Rsum :
Le calcul des interactions entre particules, par exemple coulombiennes ou gravitationnelles, est une partie
importante d'un grand nombre de simulations physiques. On peut citer les domaines d'application suivants :
mcanique cleste, physique des plasmas, mcanique des fluides (mthode des vortex), dynamique molculaire
mais aussi le domaine des quations intgrales. Les mthodes classiques conduisent des algorithmes avec une
complexit quadratique. L'objectif de ce cours est d'introduire des algorithmes hirarchiques bass sur des arbres
(quadtree ou octree) pour atteindre une complexit linaire.
Plan :
Le cours sera divis en trois parties.
Dans la premire, nous tudierons les mthodes hirarchiques de Barnes-Hut ainsi que la mthode des
multiples rapides. Ensuite, nous dtaillerons dans une deuxime partie les structures de donnes et les outils
pour obtenir des mthodes efficaces. Nous terminerons enfin par les diffrentes solutions pour parallliser ces
mthodes dans une troisime partie.
Prrequis :
Connaissances de base du calcul parallle et distribu.
Mot(s) cl(s) :
Calcul parallle et distribu haute performance, algorithmique et structures de donnes arborescentes,
applications multi-physiques et multi-chelles.
27/07/2015 - 05:53:17
126
Syllabus
p. 3
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,da,sc) x1
Volumes horaires :
Cours :
Travail Individuel :
20.00
20.00
Enseignant(s) :
BARTHOU Denis
RENAUD Sylvie
Titre :
Structure des ordinateurs
27/07/2015 - 05:53:17
127
Syllabus
Systmes et applications
p. 7
Crdits ECTS :
1.00
valuation :
S1: ET(1h,E,da,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
6.00
4.00
10.00
Enseignant(s) :
MOSBAH Mohamed
Titre :
Bases de donne avances
27/07/2015 - 05:53:17
128
Syllabus
Systmes et applications
p. 7
Crdits ECTS :
3.00
valuation :
S1: ET(2h,E) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
20.00
20.00
25.00
Enseignant(s) :
GOGLIN Brice
PUTIGNY Bertrand
TESSIER Franois
Titre :
Systmes d'exploitation
Rsum :
Les systmes d'exploitation sont la couche logicielle la plus basse qui se place entre le matriel et toutes les
applications. Ils sont donc un lment de choix pour l'tude de concepts fondamentaux comme l'excution
asynchrone ou la gestion de mmoire virtuelle avec les problmes que cela pose et les nouvelles portes que cela
ouvre.
Le cours s'attache dgager les points importants qui interviennent dans la conception de tels systmes, en les
illustrant chaque fois que cela est possible par des extraits de code source d'un noyau UNIX.
Plan :
- Introduction
- Concepts gnraux
- Processus et excution
- Gestion mmoire
- Concurrence et synchronisation
- Gestion du temps
- Systme de fichiers
- Entres-sorties
- Virtualisation
Prrequis :
Bases en architecture des ordinateurs et en programmation imprative
Cours en ligne :
http://runtime.bordeaux.inria.fr/goglin/teaching/Systeme.html
27/07/2015 - 05:53:17
129
Syllabus
p. 7
Crdits ECTS :
2.00
valuation :
S1: Proj x1
Volumes horaires :
Travail Individuel :
Travaux Pratiques :
12.50
14.00
Enseignant(s) :
FAVERGE Mathieu
FURMENTO Nathalie
GOGLIN Brice
JEANNOT Emmanuel
TESSIER Franois
Titre :
Projet de systmes d'exploitation
Rsum :
Ce projet vise construire une bibliothque de threads en espace utilisateur. On va fournir une interface de
programmation plus ou moins proche des pthreads,mais en les excutant sur un seul thread noyau. Les intrts
sont d'tudier les cots d'ordonnancement, de comparer des politiques d'ordonnancement facilement
configurables, et d'exprimenter avec les changements de contexte.
27/07/2015 - 05:53:17
130
Syllabus
Internet et rseaux
p. 5
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,da:cours et TD,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
Travaux Pratiques :
9.33
10.00
20.00
10.00
Enseignant(s) :
MOSBAH Mohamed
Titre :
Systmes de Gestion de Bases de Donnes
Rsum :
Le but de ce cours est de permettre aux tudiants d'acqurir une comptence dans le domaine des bases de
donnes et celui de leur
mise en oeuvre. Au-del de la connaissance des caractristiques techniques des systmes de gestion de bases
de donnes
utiliss, le cours aborde les aspects mthodologiques visant utiliser au mieux les fonctionnalits offertes par ces
systmes.
Nous prcisons les concepts fondamentaux de la mise en oeuvre des bases de donnes dans le contexte
relationnel. Au niveau plus fin, le fonctionnement interne des SGBD sera tudi : organisation des SGBD,
optimisation des requtes, gestion des accs concurrents et mcanisme de reprise sur panne... De nombreux
exercices proposs pendant les sances de travaux dirigs, permettent
d'illustrer les concepts vus en cours. Une application pratique est ralise par les tudiants en utilisant le SGBD
ORACLE
Plan :
- Comparaison des concepts de systme de gestion de base de donnes et de systme de gestion
multifichiers
- Modlisation des bases de donnes : modles conceptuels
- Modle Relationnel (algbre relationnelle, formes normales, ...)
- Langages de manipulation de donnes : SQL
- Apprentissage du SGBD ORACLE
- Organisation physique des SGBD relationnels
- Implmentation des oprateurs relationnels
- Optimisation des requtes
- Transaction et accs concurrents
- Problmes gnraux de scurit dans les SGBD
- Mcanismes de reprise sur panne
Prrequis :
Algorithmique, gestion de fichiers.
27/07/2015 - 05:53:17
131
Syllabus
Document(s) :
Polycopis.
27/07/2015 - 05:53:17
132
Syllabus
Conception logiciel
p. 5
Crdits ECTS :
1.50
valuation :
S1: Proj x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
20.00
30.00
Enseignant(s) :
MOSBAH Mohamed
Titre :
Projet de SGBD
Rsum :
Les sances de TP se deroulent sur le systme Oracle. Ces sances permettent aux tudiants de mieux
comprendre le cours et les Tds, et de tester les requtes
SQL. A la fin des TPs, un projet permet aux de simuler une application base de donnes, de la conception la
ralisation.
Plan :
- Prsentation d'ORACLE
- Prsentation de MySQL
- Architecture
- SQL, SQLPLUS
- Interface SQL-langage hte
- PL/SQL
- Projet Oracle
Prrequis :
Algorithmique I1A, I2A
Document(s) :
Documentation oracle disponible, copie des transparents.
Mot(s) cl(s) :
Oracle, Bases de donnes, SQL.
27/07/2015 - 05:53:17
133
Syllabus
Conception logiciel
p. 5
Crdits ECTS :
2.00
valuation :
S1: Proj x1
Volumes horaires :
Travail Individuel :
30.00
Enseignant(s) :
ROLLET Antoine
Titre :
Projet de gnie logiciel - partie I - spcification des besoins et premiers livrables
Rsum :
Ce module est la premire partie du projet de gnie logiciel de deuxime anne qui se droule sur l'ensemble de
l'anne. L'valuation de fin de premier semestre value le document de spcification (ou backlog) + les premiers
livrables. Une runion de prsentation / debriefing du document de spcification des besoins est prvoir au
cours du premier semestre, en prsence de l'encadrant pdagogique et du client.
Plan :
Ce module permet d'initier les lves ingnieurs aux domaines suivants :
1- Travail collaboratif au sein d'un groupe de dveloppement
2- Communication dans un groupe
3- Communication et relation avec un client
4- Formalisation des exigences et des demandes du client
5- Rdaction d'un document de spcification dtaill qui rpond aux attentes du clients
Prrequis :
techniques de programmation avances et gestion de projets
Mot(s) cl(s) :
projet de gnie logiciel, spcification des besoins et des exigences, dveloppement, intgration, gestion de projet
27/07/2015 - 05:53:17
134
Syllabus
p. 7
Crdits ECTS :
2.00
valuation :
S1: Proj (Rapport + Soutenance)x1
Volumes horaires :
Travail Individuel :
25.00
Enseignant(s) :
AHMED Toufik
BARTHOU Denis
BLANC Xavier
DESAINTE-CATHERINE Myriam
EYROLLES Georges
HERBRETEAU Frdric
RENAULT David
ROLLET Antoine
TA Vinh-Thong
TRAVERS Corentin
VINCENT Aymeric
Myriam.DeSainte-Catherine@enseirb.fr
05 56 84 23 36
Titre :
Projet de Gnie Logiciel - partie II - Dveloppement
Rsum :
Ce module est la deuxime partie du projet de gnie logiciel de deuxime anne. Il consiste dvelopper un
logiciel qui rpond aux attentes d'un client conformment aux besoins et aux exigences exprims dans le
document de spcifications. Le logiciel produit et ses manuels, un rapport et une soutenance orale constituent la
base de notation de ce module.
Plan :
Ce module permet d'initier les lves ingnieurs aux domaines suivants :
1- programmation avance et rpartition du travail dans des groupes de programmation
2- intgration logicielle
3- respect des dlais
4- interaction avec un client et un responsable pdagogique qui joue le rle de chef de service
Prrequis :
IT213
Mot(s) cl(s) :
gnie logicielle, dveloppement, intgration, gestion de projet
27/07/2015 - 05:53:17
135
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: ET(2h,E) x0.5 + CC (Rapport+ soutenance)x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
DORBEC Paul
Titre :
Securite des systemes d'information
Rsum :
La scurit des systmes d'informations est un enjeu essentiel de notre socit o l'utilisation de systmes
lectriques de traitement des donnes connects en rseaux s'est gnralise. Aussi bien les entreprises prives
que les administration nationales se dotent maintenant de moyens importants pour veiller la scurit de leurs
systmes. titre d'exemple, le chiffre d'affaire mondial de la scurit a t valu en 2007 plus de 10 milliards
de dollars, et ce nombre est vou augmenter trs rapidement. On peut aussi mentionner la formation dans
certaines nations comme l'allemagne de cellules militaires ddies la criminalit lectronique, la scurit des
rseaux nationaux et la prparation d'ventuelles batailles virtuelles. En France, un dcret de juillet 2009 dcida
de l'ouverture de l'Agence Nationale de la Scurit des Sytmes d'Information (ANSSI ).
Plan :
Ce cours vise prsenter les principaux enjeux et techniques de la scurit des systmes. Il se droule en 10
sances, chacune spare en 2 parties. La premire partie de chaque sance correspond un cours thorique,
dont le programme prvisionnel, susceptible d'tre modifi, est le suivant :
1. Introduction, grands principes, mots de passe
2. Protocoles cryptographiques 1
3. Protocoles cryptographiques 2
4. Intgrits des donnes
5. Attaques, failles classiques
6. Modles d'analyse de scurit
7. Systmes de droits de fichiers
8. Politique de scurit des rseaux
9. Scurit des systmes d'exploitation
10. Organisation politique de la scurit
La deuxime partie de chacune des sept premires sances est faite sur machine, et correspond une approche
plus pratique des techniques de scurit.
Enfin, la deuxime partie des trois dernires sances est consacres aux exposs des tudiants. Ceux ci devront
par une dmarche personnelle montrer leur capacit s'informer sur un sujet de leur choix li la scurit. Ils
rdigeront un cours rapport et feront un expos devant la classe les rsultats de leur enqute.
27/07/2015 - 05:53:17
136
Syllabus
Cours en ligne :
http://www.labri.fr/perso/dorbec/fr/secu.html
27/07/2015 - 05:53:17
137
Syllabus
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
TA Vinh-Thong
Titre :
Introduction aux traitements des images
Rsum :
Il s'agit d'une introduction aux diffrentes mthodes existantes pour traiter les images numriques (filtrage,
segmentation, ...)
Ce cours couvre les diffrentes thmatiques suivantes :
- Manipulation des images numriques
- Modle frquentielle
- Techniques d'interpolations
- Notion de morphologie mathmatique
- Transformation de domaine
- Tranformation couleur
- Dbruitage d'images
La mise en pratique et la programmation des notions se fera en C.
Prrequis :
aucun
27/07/2015 - 05:53:17
138
Syllabus
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
18.00
Enseignant(s) :
LY Olivier
Titre :
Robotique et apprentissage
Rsum :
L'objectif du cours est de donner une initiation la robotique.
La premire partie du cours vise donner les notions essentielles la base de la robotique, en portant l'accent
sur les mthodes d'apprentissage.
Dans un premier temps, nous donnerons un survol des notions fondamentales de la robotique: mcatronique,
modlisation, cinmatique et dynamique, planification. Il s'agit de comprendre ce qui dfinit un robot, d'en
produire un modle gomtrique et physique et d'aborder les techniques classiques de controle.
Ensuite, nous aborderons des notions touchant la robotique autonome, conception de comportement,
cartographie, asservissement visuel.
Enfin nous tudierons les techniques d'optimisation et d'apprentissage appliques la robotique, apprentissage
par renforcement, mthodes actor-critic.
La seconde partie du cours consistera en un projet pratique. Il s'agira d'un travail de groupe qui consistera
mettre en oeuvre des techniques d'apprentissage sur de vritables robots et ce faisant se confronter un certain
nombre de problmes concrets lis la mise en pratique.
27/07/2015 - 05:53:17
139
Syllabus
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC (Projet + rapport)x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
18.00
Enseignant(s) :
NAMYST Raymond
Titre :
Programmation multicoeur et GPU
Rsum :
Comment tirer partie de la puissance de calcul des ordinateurs contemporains ? Ce cours est une initiation aux
techniques algorithmiques, logicielles et matrielles permettant de programmer des machines disposant de
plusieurs coeurs et/ou d'acclrateurs tels que les cartes graphiques (GPU). Autrement dit, il s'agira de
comprendre comment exploiter les capacits de traitement en parallle offertes par le matriel.
Plan :
Les points abords dans ce cours sont :
- intrts et notions de base du paralllisme, granularit des calculs, d'quilibrage de charge ;
- architecture gnrale des ordinateurs multicoeur et des cartes graphiques
- techniques algorithmiques gnrales de paralllisation ;
- langages et bibliothques incontournables de la programmation des architectures multicoeur ;
- impacts de l'architecture et de la compilation sur la programmation : vers la portabilit des performances ;
- programmation des machines htrognes quipes de processeurs specialiss (e.g. GPU).
Prrequis :
Programmation en langage C
27/07/2015 - 05:53:17
140
Syllabus
Un module au choix
p. 93
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E) x0.5 + CC x0.5
Volumes horaires :
Cours Intgr :
30.00
Enseignant(s) :
CAPIRCIO Patrice
CHABOT Jean-Luc
FOLLEAU Cyrille
Titre :
Sret de fonctionnement
Rsum :
La sret de fonctionnement (SdF) a pour objectif le maintien de la qualit d'un produit ou d'un systme tout au
long de son cycle de vie et au moindre cot. Elle intervient donc ds la conception d'un systme pour contribuer
optimiser le couple performance-cot , ainsi qu'en phase d'exploitation du dit systme pour identifier, valuer
et matriser les risques qu'il est susceptible d'engendrer. Ces risques pouvant entraner l'chec de la mission
(problme de fiabilit), des pertes de production (problme de disponibilit et/ou de maintenabilit) ou des pertes
humaines et des atteintes l'environnement (problme de scurit). Quel que soit l'objectif de l'tude de SdF
ayant pour objet un systme industriel donn, il est d'abord ncessaire d'en modliser le comportement
fonctionnel et dysfonctionnel ou la logique de dfaillance, puis de raliser une valuation de ses performances sur
la base de ces modles, afin de pouvoir aider la prise de dcision qui conditionnera le devenir de ce systme.
Ce module a pour objectif d'introduire les mthodes d'analyse les plus frquemment utilises et de prsenter leur
application l'aronautique.
Plan :
- analyse des systmes composants indpendants, arbres de dfaillances
- analyse des systmes composants dpendants, processus markoviens
- prise en compte gnralise des dpendances, rseaux de Petri
- sret des systmes avioniques
Prrequis :
Probabilits et statistiques
Cours en ligne :
Fiabilit, Maintenabilit, Disponibilit, Scurit
27/07/2015 - 05:53:17
141
Syllabus
Programmation et systme
p. 5
Crdits ECTS :
1.50
valuation :
S1: ET(2h,E,sd,sc) x1
Volumes horaires :
Cours :
Cours Intgr :
Travaux Dirigs :
12.00
2.00
10.00
Titre :
Gnie Logiciel / IHM
Rsum :
Le but de ce cours est de prsenter les mthodes et les outils modernes pour le dveloppement de logiciels.
Le gnie logiciel peut tre caracteris comme tant la mise en oeuvre de principes d'ingenierie afin d'obtenir,
prix raisonnable, des logiciels fiables et efficaces sur des vraies machines. Le gnie logiciel concerne pas
seulement les cots de dveloppement, mais aussi les cots de maintenance et d'utilisation pendant toute la vie
du logiciel.
Nous regarderons aussi les problmes spcifiques des grands systmes (plus de 1.000.000 lignes de codes) et
engendrs par le travail en quipe, ce qui oblige des approches mthodologiques pour la conception,
dveloppement et volution du logiciel.
Les exercices en TD se feront en quipe de cinq lves.
La partie interface homme/machine abordera les problmes de cration d'interfaces utilisateurs effectivement
utilisables, en s'appuyant sur un design d'interaction qui cherche dfinir les formes de dialogue appropris.
Plan :
Problmatique
Les caractristiques du logiciel
Les cots du logiciel
Les buts du gnie logiciel
Qualit logicielle
Qualit externe et interne
Modularit et rutilisabilit
Programmation par contrat
Spcification et conception
Formalismes pour la spcification
Conception oriente-fonction et oriente-objet
Types de donnes abstraits
Correction d'une implmentation
Techniques et activits de l'ingnieur logiciel
27/07/2015 - 05:53:17
142
Syllabus
Document(s) :
<a href="/intranet/catalogue/mod/IT/IT205/">Supports IT205</a>
Cours en ligne :
<A href="https://www.enseirb.fr/extranet/intra/twiki/bin/view.cgi/IT207/WebHome">Cours en ligne</A>
27/07/2015 - 05:53:17
143
Syllabus
p. 58
Crdits ECTS :
3.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
26.00
Titre :
Big Data et Intelligence conomique
Rsum :
L'innovation est aujourd’hui unanimement reconnue comme un facteur cls de succs du dveloppement
conomique. La matrise de la technologie, toujours plus complexe, coteuse, risque, dans un monde en
perptuelle volution est au coeur de la stratgie d’innovation des grands groupes industriels et pose la
question du ressourcement. La dmarche d’Open Innovation tente d’y rpondre mais implique
la mise en place de dispositifs de veille stratgique et d’intelligence conomique/technologiques
performants pour permettre l’identification prcoce des partenaires cls et des signaux faibles
annonciateurs de ruptures. L’analyse de ces informations multiples doit se faire dans un cadre sectoriel et
non pas uniquement technologique pour alimenter une vision prospective de l’innovation dans son
contexte 10 ans. Ceci passe par une capacit interroger, structurer et analyser des informations de trs
grandes masses renvoyant au concept de Big Data .
27/07/2015 - 05:53:17
144
Syllabus
Mthodologie
p. 14
Crdits ECTS :
2.00
valuation :
S1: Proj(Rap) x1;S2: rep(S1) x1
Volumes horaires :
Cours :
Travaux Dirigs :
18.00
10.00
Enseignant(s) :
MORANDAT Floral
Titre :
Test du logiciel
Rsum :
L'activit de test consiste s'assurer de la correction apparente d'un systme vis--vis de ses spcifications. Elle
est par nature non exhaustive : le systme ne peut tre soumis au' quelques cas de test parmi tous ceux
envisageables. Le choix de ceux-ci est donc primordial pour garantir une fiabilit satisfaisante. L'objectif de cet
enseignement est la slection des cas de test et leur application au logiciel.
Plan :
- enjeux du test
- approche formelle du test de logiciel
- gnration de cas de test depuis un modle formel
- test comportemental, test fonctionnel
- critres de couverture
- le test en pratique : mise en place, suivi de projet et mise en exploitation
Prrequis :
Aucun
Document(s) :
Distribus en sance
Mot(s) cl(s) :
Test de logiciel, critre de couverture
Cours en ligne :
Aucun
27/07/2015 - 05:53:17
145
Syllabus
p. 14
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,da,sc) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
10.00
Enseignant(s) :
HANIN Xavier
MOSBAH Mohamed
Titre :
Persistance et bases de donnes
Rsum :
De plus en plus plus
d'applications manipulent des donnes complexes et volumineuses pour lesquelles les systmes de gestion de
bases de donnes traditionnels, fonds sur le modle relationnel, ne sont pas adapts.
Citons par exemple les systmes d'information gographique, le commerce lectronique, la finance, les outils
d'aide la cision, etc.
Ce cours prsente les solutions adaptes ces applications offertes par les SGBD objet-relationnels et
orients-objet.
Plan :
IIntroduction au mapping objet relationnel
: motivation, diffrentes approches possibles, techniques d'integration
Java DataBase Connectivity:
principes de base, utilisation des prepared statement
Conception d'une couche de persistance:
le bon usage des interfaces,
la pattern DAO,
Introduction aux outils de mapping O/R
Introduction Hibernate:
Historique,
mapping d'une entit avec hibernate annotations,
configuration et session factory,
session et CRUD,
Concepts Avancs
Mapping d'association
Gestion de l'hritage et du polymorphisme
Requtage
27/07/2015 - 05:53:17
146
Syllabus
Transactions
Prrequis :
systmes de gestion de bases de donnes relationnelles, java
Document(s) :
Photocopies de transparents de cours.
Mot(s) cl(s) :
bases de donnes, mapping objet- relationnel, Hibernate
27/07/2015 - 05:53:17
147
Syllabus
Personnalisation
p. 14
Crdits ECTS :
2.50
valuation :
S1: Proj(Sout) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
15.00
Enseignant(s) :
EYROLLES Georges
MOSBAH Mohamed
Titre :
Mthodologie et outils logiciels
Rsum :
Ce cours a pour but d'acqurir des comptences sur les mthodes et les technologies les plus rcentes pour
aider au dveloppement d'applications intranet et internet. Une partie est consacre aux nouvelles mthodologies
de dveloppement de logiciels (dveloppement dirig par les tests par exemple). Dans ce cours, on aborde
galement les technologies Web (CGI,EJB,..) et les outils qui permettent de dvelopper des passerelles de bases
de donnes (JDBC).
Plan :
- Introduction gnrale
- Dveloppement dirig par les tests
- Quelques environnements de dveloppement
- Rational Rose
- EJB
- Servlet
- JDBC
- Jini
- Fort
27/07/2015 - 05:53:17
148
Syllabus
p. 14
Crdits ECTS :
2.00
valuation :
S1: Proj(Sout) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
24.00
10.00
Enseignant(s) :
EYROLLES Georges
Titre :
Architectures multi-couches
Rsum :
Un projet transversal est ralis dans le cadre de cet enseignement.Pour suivre ce cours, il faut prendre
galement: les cours de conception orient-objet, SGBD00, et applications concurrentes et distribues.
Prrequis :
Ce module est trs li aux modules PG301, IT 307 et IT 310
27/07/2015 - 05:53:17
149
Syllabus
p. 14
Crdits ECTS :
2.00
valuation :
S1: CC x0.5 + Proj(Rap) x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
27.00
15.00
Enseignant(s) :
BROUILLARD Matthieu
MOSBAH Mohamed
Titre :
Applications concurrentes et distribues
Rsum :
L'objectif de ce cours est de comprendre la pertinence des applications concurrentes et distribues. Avec la
croissance exponentielle de l'usage des rseaux en entreprise, ces applications sont amenes se dvelopper et
se prenniser. Une premire partie sera consacre la programmation concurrente. Le dveloppement
d'applications distribues sera prsent dans la seconde partie en s'appuyant sur des exemples concrets utilisant
la norme JEE.
Plan :
I5GL-D - Applications concurrentes et distribues
+ Programmation Concurrente
Principes
Threading
Collaboration & synchronisation
+ Programmation distribue & JEE
Prsentation
Le conteneur JEE
EJBs
Servlets
MDBs & JMS
[Clustering, Loadbalancing & Cloud]
Prrequis :
HTML ou XHTML, Javascript.
27/07/2015 - 05:53:17
150
Syllabus
Mthodologie
p. 14
Crdits ECTS :
3.00
valuation :
S1: ET(1h30,E,da,sc) x 0.5 + CC x0.16 + Proj(Rap) x0.34
Volumes horaires :
Cours Intgr :
Travail Individuel :
30.00
10.00
Enseignant(s) :
MOBS R
PHALIPPOU Marc
Titre :
Conduite de projet
Rsum :
Intervenants : Rmi Moebs, Marc Phalippou
L'objectif du cours sera d'acqurir une vision globale du cycle de vie d'un projet logiciel et des techniques et outils
de gestion associes.
Aprs un rappel des concepts associs la gestion de projet, il aborde les principales phases de la vie d'un projet
:
* l'avant-projet : recueil des besoins, valuation, prvisions
* l'organisation du projet : intervenants, rles, dmarche
* les techniques gestion des tches : planification, ordonnancement, jalons
* les techniques de suivi et de contrle de l'avancement
* la phase de test, de validation et de qualification
* les techniques d'assurance et de contrle qualit.
L'objectif est de donner les bases ncessaires la gestion de projet en insistant sur des exemples concrets et
vcus, partir de tmoignages issus de cas rels en entreprise. Le cours comprendra des exercices pratiques
bass sur des cas rels et des mises en situation par rapport des phases de gestion d'un projet. L'objectif est
de permettre aux participants d'assimiler et de retenir les best practices associes la gestion de projet et de
pouvoir les mettre en oeuvre rapidement en entreprise.
Plan :
* Introduction - Vue globale du cycle de vie:
Recueil et commentaire des expriences vcues en stage.
Principales dfinitions : Projet, Client, Matrise d'oeuvre, Matrise d'Ouvrage.
Vision globale du cycle de vie, principales dmarches de mise en oeuvre.
Mthodes et outils.
Rfrentiels et normes, certifications.
Les diffrents types de projet.
* Recueil des besoins et valuation:
Mthodes de recueil de besoins.
Production et analyse d'un cahier des charges.
Mthodes d'valuation.
Plan de production prvisionnel.
27/07/2015 - 05:53:17
151
Syllabus
Document(s) :
<a href="/intranet/catalogue/mod/IT/IT311/slides.4up.ps">slides.4up.ps</a>
27/07/2015 - 05:53:17
152
Syllabus
p. 20
Crdits ECTS :
2.50
valuation :
S1: CC(PA, CR TP)
Volumes horaires :
Cours :
Travaux Dirigs :
14.00
8.00
Enseignant(s) :
DA COSTA Jean-Pierre
GERMAIN Christian
Titre :
Analyse d'images
Rsum :
Ce cours porte d'une part sur les techniques d'analyse d'image, c'est--dire sur les procds permettant d'extraire
des informations d'une image.
Plan :
* Segmentation d'image
* Extraction de paramtres gomtriques
* Reconnaissance de formes
* Modles statistiques
27/07/2015 - 05:53:17
153
Syllabus
p. 20
Crdits ECTS :
5.00
valuation :
S1: ET(2h,E,sd,ca) x2 + CC(CR TP) x1 S2: ET(20m,O,sd,ca) x2 + rep(CC) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
48.00
36.00
Enseignant(s) :
HANNA Pierre
MARCHAND Sylvain
ORLAREY Yann
Titre :
Analyse et Synthse du Son Musical (ASSM)
Rsum :
Le but de cet enseignement est de matriser les diffrents modles mathmatiques et techniques algorithmiques
dans le domaine de l'analyse et de la synthse du son musical.
Plan :
* Introduction au son numrique : reprsentation temporelle, formats de fichiers sonores, utilisation de la carte
son.
* Domaine spectral, transforme de Fourier rapide, convolution
* Analyse : analyse de Fourier (principes, dfauts et amliorations), mthodes d'analyse spectrale haute
prcision.
* Paramtres sonores et musicaux : partiels, sons harmoniques, hauteur, intensit, timbre, couleur - enveloppe
spectrale, brillance, etc., notions de psychoacoustique.
* Spatialisation et sparation de sources
* Synthse : synthse additive rapide, techniques de synthse non linaires (modulations de frquence et
d'amplitude, etc.), langages pour la synthse sonore.
* Transformations du son musical et effets audionumriques : amplification, filtrage, transposition, tirements
temporels, hybridations, morphing, etc.
27/07/2015 - 05:53:17
154
Syllabus
p. 20
Crdits ECTS :
2.50
valuation :
S1: ET(1h30,E,sd,ca) x2 + CC(CR TP) x1S2: ET(20m,O,sd,ca) x2 + rep(CC) x1
Volumes horaires :
Cours :
Travaux Dirigs :
14.00
8.00
Enseignant(s) :
BENOIS-PINEAU Jenny
BUGEAU Aurlie
FAURENS Christian
Titre :
Indexation vido
Rsum :
Ce module prsente les techniques numriques d'extraction des descripteurs spcifiques aux images et la
vido, qui permettent de classifier et d'indexer les documents multimedia.
Plan :
* Segmentation spatio-temporelle et indexation de la vido.
* Pratique du montage vido
* Projet de dtection automatique de changements de plans dans une vido.
27/07/2015 - 05:53:17
155
Syllabus
p. 19
Crdits ECTS :
3.00
valuation :
S1: ET(1h30,E,sd,ca) x2 + CC(CR TP) x1;S2: ET(20m,O,sd,ca) x2 + rep(CC) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
22.00
7.00
22.00
Enseignant(s) :
BERTHOUMIEU Yannick
Titre :
Codage des donnes multimdia
Rsum :
Le module IT 328 s'attache introduire les standards de codage pour la transmission s'appuyant sur le codage
source orient multimdia.
Plan :
* Compression de l'image et la vido (Y. Berthoumieu, M. Donias)
- Techniques de compression en image et en vido (Algorithmes de Huffman, arithmetique, dictionnaire,
DCT, Zero-tree, etc.)
- Normes pour la compression de l'image et de la vido (JPEG, JPEG2000, MPEG1-2, H261-3, MPEG 4)
* Approches multi-rsolution en codage d'image (R. Megret)
- Pyramides d'images
- Ondelettes
* Applications sous la forme de bureaux d'tude sous Matlab
Document(s) :
Support de cours et TD
27/07/2015 - 05:53:17
156
Syllabus
p. 18
Crdits ECTS :
2.50
valuation :
S1: ET(1h20,E,sd,sc) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
16.00
12.00
Enseignant(s) :
LE GOFF David
PROST Charles
Titre :
Virtualisation de systmes
27/07/2015 - 05:53:17
157
Syllabus
p. 16
Crdits ECTS :
1.75
valuation :
S1: ET(30m,O,sd,sc) x1
Volumes horaires :
Cours :
Travail Individuel :
16.00
20.00
Enseignant(s) :
BARTHOU Denis
Titre :
Architectures des plates-formes parallles et distribues
Rsum :
L'objectif de ce cours est de faire un tour d'ensemble des techniques
matrielles et logicielles mises en oeuvre au sein des processeurs
hautes performances et des machines parallles, afin d'en tirer parti
au maximum lors de l'criture de programmes faisant un usage intensif
du processeur et de la mmoire.
Prrequis :
Connaissances en programmation imprative et en architecture des ordinateurs
Document(s) :
Polycopi de cours, galement disponible en ligne
Mot(s) cl(s) :
Paralllisme, SIMD, MIMD, processeur, performance, CISC, RISC, pipe-line, VLIW, LIW, EPIC, mmoire,
hirarchie, registre, cache, cohrence, RAID, systme
27/07/2015 - 05:53:17
158
Syllabus
p. 16
Crdits ECTS :
1.50
valuation :
S1: ET(1h20,E,da,ca) x1.5
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
8.00
8.00
8.00
Enseignant(s) :
AUMAGE Olivier
Titre :
Supports de communication hautes performances
Rsum :
L'objectif de ce module est d'apporter les connaissances ncessaires pour une utilisation efficace des diffrentes
architectures utilises dans les plates-formes parallles actuelles en tenant compte en particulier de la granularit
dans les applications.
Plan :
1. Introduction au problme du recouvrement calcul/communication
2. Faisabilit du recouvrement calcul/communication :
aspects matriels, expression dans MPI et applications
3. Le cas des applications rgulires
4. Le cas des architectures htrognes
5. Techniques de programmation "Out-of-Core"
Prrequis :
Introduction aux architectures des plates-formes parallles
Document(s) :
Photocopies des transparents utiliss en cours
Mot(s) cl(s) :
Recouvrement calcul/communication, Out-of-Core
27/07/2015 - 05:53:17
159
Syllabus
Personnalisation
p. 16
Crdits ECTS :
2.50
valuation :
S1: ET(30m,D,Sout,da,ca) x2.5
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
8.00
8.00
8.00
Enseignant(s) :
RUE Franois
Titre :
Acclrateurs de Calcul
Rsum :
Ce cours propose de dcouvrir et/ou de comprendre les raisons du succs des acclrateurs de calcul dans le
monde du calcul haute performance (HPC). Depuis plusieurs annes maintenant les constructeurs espraient
proposer des architectures matrielles simples et puissantes permettant de dpasser les limites atteintes par les
CPU. La technologie de GPGPU ( general purpose processing on graphics processing unit ) s'est impose au
milieu d'autres technologies existantes pour des raisons d'architecture matrielle mais aussi logicielle. L'objectif
double de ce cours est de prsenter ces lments d'architecture ainsi que l'adquation avec les problmatiques
actuelles des thmatiques, gourmandes en puissance de calcul, du monde du HPC.
Les TDs/TPs permettront aux lves de se familiariser avec l'un des langages (CUDA et/ou OpenCL) utiliss
dans ce cadre et galement de s'habituer aux contraintes des plate-formes de calcul mutualises.
Plan :
1. Introduction et historique gnral des acclrateurs.
2. GPU : architecture matrielle physique.
3. CUDA : architecture logique et modle de programmation.
4. Les outils haut niveau et la dmarche d'abstraction.
5. Optimisations et contraintes : le transfert mmoire et l'avenir de l'intgration du coeur graphique dans le
processeur.
Mot(s) cl(s) :
CUDA, OpenCL, HMPP, StarPU, PGI accelerator.
27/07/2015 - 05:53:17
160
Syllabus
p. 17
Crdits ECTS :
3.00
valuation :
S1: Proj x1
Volumes horaires :
Travaux Dirigs :
40.00
Enseignant(s) :
LY Olivier
Titre :
Projet robotique autonome
27/07/2015 - 05:53:17
161
Syllabus
p. 19
Crdits ECTS :
5.00
valuation :
S1: ET(2h,E,da,ca) x2 + CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
48.00
37.50
Enseignant(s) :
DESAINTE-CATHERINE Myriam
HANNA Pierre
ROBINE Mathias
Myriam.DeSainte-Catherine@enseirb.fr
05 56 84 23 36
Titre :
Traitement informatique de la musique (TIM)
Rsum :
Le but de cet enseignement est d'acqurir des connaissances dans les divers aspects de l'informatique musicale
(modles, langages, outils, techniques, etc.).
Plan :
* Introduction aux matriels et logiciels audio
* Histoire de la musique
* Techniques de diffusion
* Notions musicales : gammes, partitions, etc.
* Modles musicaux, analyse du style, analyse du rythme
* Contrle musical des effets audio-numriques
* Protocoles de communication entre instruments de musique numriques (MIDI, etc.)
* Langages de programmation propres l'informatique musicale
27/07/2015 - 05:53:17
162
Syllabus
p. 18
Crdits ECTS :
1.75
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
32.00
24.00
Enseignant(s) :
LE GOFF David
Titre :
Administration Microsoft
27/07/2015 - 05:53:17
163
Syllabus
Synthse d'images
p. 19
Crdits ECTS :
5.00
valuation :
S1: CC(LA) x5 + CC(CR TP) x1
Volumes horaires :
Cours :
Travaux Dirigs :
26.00
21.00
Enseignant(s) :
BENARD Pierre
SCHLICK Christophe
Titre :
Synthse d'images et ralit virtuelle
Rsum :
Synthse d'images et applications
Plan :
- Synthse d'images
. Algorithmique graphique 2D~: tracs, dcoupage,
remplissage.
. Synthse d'images 3D~ visualisation 3D, parties caches,
illumination, lancer de rayon, radiosit.
27/07/2015 - 05:53:17
164
Syllabus
p. 19
Crdits ECTS :
1.00
valuation :
S1: CC(CR TP) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
10.00
12.50
Enseignant(s) :
BENARD Pierre
Titre :
Programmation C/C++ pour le multimdia
Rsum :
Mise en oeuvre pratique du langage C/C++ dans le domaine multimdia.
L'objectif de ce cours est de prparer les tudiants au dveloppement logiciel pour des applications multimdia,
par la matrise du langage C/C++ et de la modlisation objet, et en prenant en compte les spcificits de la
manipulation de donnes multimdia.
Ce cours est prparatoire au projet avanc PR305.
27/07/2015 - 05:53:17
165
Syllabus
p. 17
Crdits ECTS :
1.50
valuation :
S1: ET(1h,E,sd,sc) x1
Volumes horaires :
Cours Intgr :
Travaux Dirigs :
26.00
28.00
Enseignant(s) :
VINCENT Aymeric
Titre :
Systmes embarqus
27/07/2015 - 05:53:17
166
Syllabus
p. 17
Crdits ECTS :
2.00
valuation :
S1: Proj x1
Volumes horaires :
Cours Intgr :
40.00
Enseignant(s) :
VINCENT Aymeric
Titre :
Projet systmes embarqus
27/07/2015 - 05:53:17
167
Syllabus
p. 14
Crdits ECTS :
2.50
valuation :
S1: CC x0.5 + Proj(Rap) x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
20.00
10.00
Enseignant(s) :
AUBER David
MOSBAH Mohamed
Titre :
Gestion et analyse de masse de donnes - Big Data
Plan :
1/Management de masse de donnes:
- Prsentation sur les big data: Problmatiques et dfis
- Stockage
- Traitement et interrogation (NoSQL)
2/ Infrastructures:
- Virtualisation
- Infra. de type cloud
- Technologies: Haddop,
3/ Visualisation:
- Reprsentation, navigation, corrlation
4/- Analyse et extraction de de donnes
- Data mining
27/07/2015 - 05:53:17
168
Syllabus
p. 20
Crdits ECTS :
5.00
valuation :
S1: CC x0.5 + Proj x0.5
Volumes horaires :
Cours Intgr :
48.00
Enseignant(s) :
BARTHOU Denis
HACHET Martin
SIMON Laurent
Titre :
Jeux Vidos et Interaction
Rsum :
Intelligence artificielle, Raisonnements temps rel, Mondes virtuels et Interaction
Plan :
Intelligence Artificielle
Jeux de plateau (Echecs, dames, ...), Systmes bases de rgles, Heuristiques pour la recherche dans les
graphes d'tats (A*), Systmes ractifs
Mondes Virtuels
Programmation parallle OpenCL, interaction avec OpenGL, Systmes particule, Simulation de la physique des
solides, Une tude de cas
Interaction et Ralit virtuelle
Principes gnraux de l'interaction Homme-machine, interaction 3D, fondements de la ralit virtuelle, interfaces
matrielles et logicielles
Mot(s) cl(s) :
Intelligence Artificielle
Mondes Virtuels
Interaction
27/07/2015 - 05:53:17
169
Syllabus
p. 14
Crdits ECTS :
1.00
valuation :
S1: CC x0.5 + Proj(Rap) x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
20.00
10.00
Enseignant(s) :
ARNE Jean-Philippe
MOSBAH Mohamed
Titre :
Dveloppement d'applications mobiles
Plan :
1/ Introduction au monde mobile, premier pas avec Android
Bref historique avec une mise en perspective de ce qu'tait le monde mobile avant les smartphones
Dtail de comment fonctionne Android, comment les applications sont gres par le systme
TP : Premire application type "Hello world!"
2/ Construction des interfaces, premier design pattern
Comment Android gre l'affichage d'un cran
Explication du design pattern MVP (Model View Presenter) utilis par Android
Aperu de la gestion des multiples rsolutions
TP : Ralisation d'interface pour une application simple sur tlphone et tablette
3/ Navigation et transmission d'informations
Comment Android gre le passage d'un cran l'autre
Mthode pour passer les informations d'un cran l'autre
Stockage et restitution des informations
TP : application constitu de plusieurs cran, dont certains ont un tat persistant mme une fois l'application
arrte
3/ Appel des webservices
Prsentation des appels aux webservices
Sensibilisation sur les contraintes techniques lis leur consommation
TP : application appelant plusieurs webservices
27/07/2015 - 05:53:17
170
Syllabus
27/07/2015 - 05:53:17
171
Syllabus
p. 0
p. 3
p. 0
p. 0
Crdits ECTS :
1.50
valuation :
S1: ET(1h,E,sd,sc) x1 + CC x2;S2: ET(1h20,E,sd) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
8.00
26.00
15.00
Enseignant(s) :
BEIRNE Kenneth
CROCKER Paul
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
STEVENS-LARRE LeAnn
Titre :
LV1 Anglais S5
Rsum :
-La comprhension et l'expression, l'oral et l'crit
-L'aisance et la prcision dans l'expression
-Le discours scientifique en anglais
-Sensibilisation l'international
Plan :
Cours 'Grammaring' :
-Morphologie et syntaxe. Structure du mot et de la phrase
-Aspects du verbe
TD :
-L'anglais dans le monde
-Phontique et intonation
-Anglais scientifique: les chiffres et equations, dcrire des formes, processus, graphiques
-Thmes de l'actualit scientifique
-CVs
Document(s) :
-Livre de cours : Language Practice for First, 5th edition with Key, Michael Vince, MacMillan (2014).
-Supports pdagogiques varis : presse, audiovisuel, multimedia
-Logiciels d?apprentissage : Tense Busters, International Breaking News, Voicebook, Quizlet
-Moodle (complment de cours en ligne)
Mot(s) cl(s) :
Stratgies d'apprentissage - Participation active - Rvision grammaticale - Discours scientifique
27/07/2015 - 05:53:17
172
Syllabus
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues :https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
173
Syllabus
LC102 : LV2 S5
Partag par l'UE (les UEs) :
E5-F
I5-D
M5-D
T5-C
p. 0
p. 3
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET(1h20,E,sd,sc) x0.33 + CC x0.67
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
18.66
15.00
Enseignant(s) :
BEIRNE Kenneth
CANOYRA UBEDA Ismael
EUGENE Marie Pierre
FAUCHER Jill
FLOQUET Pierre
IBANEZ Jorge
MDINA Susan
RASTRERO Manuel
SHOCHI Takaaki
VELASQUEZ Adela
YUE Martin
Titre :
LV2 S5
Rsum :
-A l'intrieur de ce module, les tudiants ont le choix entre l'allemand, l'espagnol, l'italien, le portugais, le
chinois et le japonais .
-Le franais langue tangre (FLE) et dans certains cas l'anglais "faux dbutants" sont considrs comme
LV2.
-Le Cadre Europen Commun de Rfrence pour les langues sert de base pour les langues europennes.
Les 6 niveaux (A1, A2, B1, B2, C1 et C2) et les comptences correspondantes peuvent tre consults :
http://www.coe.int/T/DG4/Portfolio/documents/cadrecommun.pdf
-Le chinois et le japonais ont leur particularit de caractres et de phontique
Plan :
-Assimilation des lments grammaticaux fondamentaux.
-Apprentissage du vocabulaire de base.
-Pour les langues europennes et selon niveau de groupe : activits lies aux Niveaux A1-A2 ou A2-B1
-En chinois, dbutant 1 ou 2 : caractres et phontique.
-En japonais dbutant 1 ou 2 : criture du japonais (deux syllabaires).
-L'anglais renforc est un tutorat qui permet aux tudiants trs faibles de combler ses lacunes dans les
bases.
Document(s) :
- Livre de cours selon le choix de l'enseignant
27/07/2015 - 05:53:17
174
Syllabus
Mot(s) cl(s) :
Grammaire et vocabulaire de base - Comptences linguistiques niveaux A1-B1 - Active participation
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
175
Syllabus
p. 0
p. 4
p. 0
p. 0
Crdits ECTS :
1.50
valuation :
S1: CC x2 + Proj(Rap) x1;S2: CC x2 + EE x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
26.00
15.00
Enseignant(s) :
BEIRNE Kenneth
CROCKER Paul
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
STEVENS-LARRE LeAnn
Titre :
LV1 Anglais S6
Rsum :
-La comprhension et l'expression, l'oral et l'crit
-Adapter un discours appropri une situation donne
-Le discours scientifique en anglais
Plan :
-Thmes abords : le rle de l'ingnieur, science et socit
-Faire un expos bas sur un sujet de socit et d'actualit
-Mener un dbat : premire approche
-Ecrire un rapport partir d'un projet scientifique
-Prparer un CV pour partir l'tranger
Document(s) :
-Livre de cours : Language Practice for First, 5th edition with key, Michael Vince, MacMillan (2014).
-Supports pdagogiques varis : presse, audiovisuel, multimedia
-Logiciels d'apprentissage : Tense Busters, International Breaking News
-Moodle
Mot(s) cl(s) :
Travail en autonomie -Echange et dynamique au sein du groupe - Discours spcifiques
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
176
Syllabus
p. 0
p. 4
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: CC x1;S2: rep(S1) x1
Volumes horaires :
Cours :
24.00
Enseignant(s) :
VESCHAMBRE Dominique
Titre :
Activits Physiques Sportives et artistiques (S6)
Rsum :
Appels exercer des responsabilits, les lves doivent saisir l'intrt d'un bon quilibre corporel et l'avantage,
reconnu par les milieux professionnels, qu'ils retirent des expriences vcues dans les pratiques sportives et
artistiques. Cet enseignement vise ainsi, trois finalits :
- prserver un quilibre et une hygine de vie
- contribuer au dveloppement et l'panouissement de la personnalit
- renforcer la solidarit au sein de chaque groupe pour installer une vritable mulation dans ce type de
prparation
Ainsi l'lve fait le CHOIX d'une OPTION afin de "Raliser un projet personnel de formation"
Plan :
- OPTION 1 : "SPORT et ENTRAINEMENT" (hors emploi du temps)
Les lves s'inscrivent et participent une A.P.S en fonction de leur emploi du temps. En dbut d'anne, un
ventail de 30 activits leur est propos parmi les sports collectifs, les sports individuels et les activits de pleine
nature et artistiques.
OBJECTIF = favoriser les apprentissages et les progressions concernant la Motricit ainsi que la Connaissance
et la Dcouverte des A.P.S.
- OPTION 2 : "SPORT et SANTE" (inclus dans l'emploi du temps)
En alternance avec les groupes de LV2 mercredi 8h00-9h20, 9h30 - 10h50 et 11h - 12h20
Les OBJECTIFS relatifs au dveloppement du Savoir-Faire Relationnels et Comportementaux prsident aux
traitements des activits et influencent la construction des cycles. Il convient donc d'intgrer dans les sances, un
travail sur les comptences suivantes : Communiquer, Crer, Se situer, Se responsabiliser.
- OPTION 3 : "SPORT et MANAGEMENT" (lie une dispense mdicale)
Si une dispense mdicale ne permet pas l'lve de suivre un nombre d'heures suffisant (traiter au cas au cas),
ce dernier se verra confier la ralisation d'un PROJET SPORTIF.
Exemples de sujet = organisation d'un vnement sportif, coaching d'quipes, organisation de pratiques sportives
associatives …
- OPTION 4 : "SPORT et HAUT NIVEAU"
Aprs avoir dpos une demande de classement en Sportif de Haut ou de Bon niveau, l'lve aprs acceptation
27/07/2015 - 05:53:17
177
Syllabus
de ce statut ralisera un mmoire sur son anne sportive qu'il soutiendra la fin de chaque semestre.
- OPTION 5 : "Activits Artistiques"
les lves ayant un parcours personnel en musique pourront choisir cette option et participer la production
d'une reprsentation musicale en fin d'anne.
Prrequis :
OPTION 1 et 2 = Aptitude physique gnrale la pratique des A.P.S.
OPTION 3 = certificat mdical > 1 mois.
OPTION 4 = niveau rgional minimum requis (2 entrainements/semaine et comptitions fdrales).
OPTION 5 = pratique d'un instrument de musique et lettre de motivation
27/07/2015 - 05:53:17
178
Syllabus
p. 0
p. 3
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: CC x1;S2: rep(S1) x1
Volumes horaires :
Cours :
24.00
Enseignant(s) :
VESCHAMBRE Dominique
Titre :
Activit Physique et Sportive (S5)
Rsum :
Appels exercer des responsabilits, les lves doivent saisir l'intrt d'un bon quilibre corporel et l'avantage,
reconnu par les milieux professionnels, qu'ils retirent des expriences vcues dans les pratiques physiques,
sportives et artistiques.
Cet enseignement vise ainsi, trois finalits :
- prserver un quilibre et une hygine de vie,
- contribuer au dveloppement et l'panouissement de la personnalit,
- renforcer la solidarit au sein de chaque groupe pour installer une vritable mulation dans ce type de
prparation.
Ainsi l'lve fait le CHOIX d'une OPTION afin de "Raliser un projet personnel de formation"
Plan :
- OPTION 1 : "SPORT et ENTRAINEMENT" (hors emploi du temps)
Les lves s'inscrivent et participent une A.P.S en fonction de leur emploi du temps. En dbut d'anne, un
ventail de 30 activits leur est propos parmi les sports collectifs, les sports individuels et les activits de pleine
nature et artistiques.
OBJECTIF = favoriser les apprentissages et les progressions concernant la Motricit ainsi que la Connaissance
et la Dcouverte des A.P.S.
- OPTION 2 : "SPORT et SANTE" (inclus dans l'emploi du temps)
En alternance avec les groupes de LV2 mercredi 8h00-9h20, 9h30 - 10h50 et 11h - 12h20
Les OBJECTIFS relatifs au dveloppement du Savoir-Faire Relationnels et Comportementaux prsident aux
traitements des activits et influencent la construction des cycles. Il convient donc d'intgrer dans les sances, un
travail sur les comptences suivantes : Communiquer, Crer, Se situer, Se responsabiliser.
- OPTION 3 : "SPORT et MANAGEMENT" (lie une dispense mdicale)
Si une dispense mdicale ne permet pas l'lve de suivre un nombre d'heures suffisant (traiter au cas au cas),
ce dernier se verra confier la ralisation d'un PROJET SPORTIF.
Exemples de sujet = organisation d'un vnement sportif, coaching d'quipes, organisation de pratiques sportives
associatives …
27/07/2015 - 05:53:17
179
Syllabus
Prrequis :
OPTION 1 et 2 = Aptitude physique gnrale la pratique des A.P.S.
OPTION 3 = certificat mdical > 1 mois.
OPTION 4 = niveau rgional minimum requis (2 entrainements/semaine et comptitions fdrales).
OPTION 5 = Pratique d'un instrument de musique et lettre de motivation.
27/07/2015 - 05:53:17
180
Syllabus
LC112 : LV2 S6
Partag par l'UE (les UEs) :
E6-F
I6-D
M6-D
T6-C
p. 0
p. 4
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET(1h20,E,sd,sc) x0.33 + CC x0.67;S2: ET(1h20,E) x0.33
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
18.66
15.00
Enseignant(s) :
BEIRNE Kenneth
CANOYRA UBEDA Ismael
EUGENE Marie Pierre
FAUCHER Jill
FLOQUET Pierre
IBANEZ Jorge
MDINA Susan
MEDJTOUH Ali
RASTRERO Manuel
SHOCHI Takaaki
VELASQUEZ Adela
YUE Martin
Titre :
LV2 S6
Rsum :
Les tudiants continuent avec la langue de leur choix en S5 : l'allemand, l'espagnol, l'italien, le portugais, le
chinois et le japonais . Le franais langue tangre (FLE) et dans certains cas l'anglais "faux dbutants" sont
considrs comme LV2.
Le Cadre Europen Commun de Rfrence pour les langues sert de base pour les langues europennes. Les 6
niveaux (A1, A2, B1, B2, C1 et C2) et les comptences correspondantes peuvent tre consults :
http://www.coe.int/T/DG4/Portfolio/documents/cadrecommun.pdf
Le chinois et le japonais ont leur particularit de caractres et de phontique
Plan :
-Assimilation des lments grammaticaux fondamentaux.
-Apprentissage du vocabulaire de base.
-Pour les langues europennes et selon niveau de groupe : activits lies Niveaux A1-A2 ou A2-B1
-En chinois, dbutant 1 ou 2 : caractres et phontique.
-En japonais dbutant 1 ou 2 : criture du japonais (deux syllabaires).
-L'anglais renforc est un tutorat qui permet aux tudiants trs faibles de combler ses lacunes dans les
bases.
Document(s) :
27/07/2015 - 05:53:17
181
Syllabus
Mot(s) cl(s) :
Grammaire et vocabulaire de base -Comptences linguistiques niveaux A1-B1 - Active participation
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
182
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 5
p. 0
p. 0
Crdits ECTS :
2.50
valuation :
S1: CC x1 + TOEIC(1h,E,sd,sc) x2
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
26.00
15.00
Enseignant(s) :
BEIRNE Kenneth
CROCKER Paul
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
STEVENS-LARRE LeAnn
Titre :
LV1 Anglais S7
Rsum :
-Prparer le TOEIC (Test of English for International Communication) ou le IELTS dans le but d'atteindre un
niveau B2 europen requis pour l'obtention du Diplme d'Ingnieur ou le niveau requis (IELTS > 6.5) pour
les projets d'changes l'international.
B2 = TOEIC 785
B2 = IELTS 5.5
Plan :
-Comprhension orale et crite
-Rigueur grammaticale
-Contexte des affaires internationales
-L'IELTS inclus l'crit et l'oral
Document(s) :
Livres acqurir :
Acheive TOEIC, Renald Rilcy, Marshall Cavendish Education, 2008. ISBN 978-0-462-00446-4
-Logiciels d'apprentissage :TOEIC Simulator, Voicebook, International Breaking News, Quizlet.
Mot(s) cl(s) :
-Niveau B2 du Cadre Europen Commun de Reference pour les langues http://culture2.coe.int/portfolio
-TOEIC
-IELTS
Cours en ligne :
-Liens utiles pour le TOEIC: http://moodle.ipb.fr/course/view.php?id=14
-Liens utiles pour le IELTS: http://moodle.ipb.fr/course/view.php?id=12
27/07/2015 - 05:53:17
183
Syllabus
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 7
p. 0
p. 0
Crdits ECTS :
2.00
valuation :
S1: CC x1;S2: Sta(Rap) x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
26.00
15.00
Enseignant(s) :
BEIRNE Kenneth
CROCKER Paul
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
STEVENS-LARRE LeAnn
Titre :
LV1 Anglais S8
Rsum :
-Sensibilisation aux interactions entre langues et cultures anglo-saxonnes
-L'interculturel
Plan :
-Socits
-Education
-Littrature
-Cinma
-Echange culturel via webcam
Document(s) :
-Extraits de documentaires tlviss, de sites internet et de cinma anglo-saxons
-Nouvelles et contes en langue anglaise
Mot(s) cl(s) :
Participation active - Prsentation orale - Esprit critique - Crativit
27/07/2015 - 05:53:17
184
Syllabus
p. 8
Module libre n1
Module libre n2
Modules "Cultures de l'ingnieur" (choisir 1 module exactement)
Modules optionnels O82 (si B2 non valid, LC206+1 module CExxx)
LC206 obligatoire
Cours obligatoire pour ceux qui n'ont pas encore obtenu le niveau B2 en
anglais (785 TOEIC ou 5.5 IELTS). Les prpare passer le TOEIC
nouveau.
p. 0
p. 0
p. 0
p. 0
p. 186
Crdits ECTS :
1.00
valuation :
S1: CC x1;S2: CC x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
22.00
15.00
Enseignant(s) :
BEIRNE Kenneth
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
Titre :
S8 TOEIC (Rattrapage obligatoire)
Rsum :
Pour ceux qui n'ont pas obtenu le score requis pour l'obtention du Diplme d?Ingnieur (785 points TOEIC ou 5,5
IELTS) la poursuite de la prparation au TOEIC.
Plan :
-Comprhension orale et crite
-Rigueur grammaticale
-Contexte affaires internationales
Document(s) :
Logiciels d'apprentissage : Longman TOEIC, Voicebook
Mot(s) cl(s) :
Niveau B2 du Cadre Europen Commun de Reference pour les langues http://culture2.coe.int/portfolio
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
185
Syllabus
p. 9
p. 185
Crdits ECTS :
1.50
valuation :
Pas de description
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
15.00
10.00
Enseignant(s) :
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
Titre :
LC206 obligatoire
Cours obligatoire pour ceux qui n'ont pas encore obtenu le niveau B2 en anglais (785 TOEIC ou 5.5 IELTS). Les
prpare passer le TOEIC nouveau.
27/07/2015 - 05:53:17
186
Syllabus
LC212 : LV2 S7
Partag par l'UE (les UEs) :
E7-D
I7-D
M7-D
T7-C
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 5
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET(1h20,E,sc) x0.33 + CC x0.67;S2: ET(1h20,E) x0.33
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
18.66
15.00
Enseignant(s) :
BEIRNE Kenneth
CANOYRA UBEDA Ismael
EUGENE Marie Pierre
FAUCHER Jill
FLOQUET Pierre
IBANEZ Jorge
MDINA Susan
MEDJTOUH Ali
RASTRERO Manuel
SHOCHI Takaaki
VELASQUEZ Adela
YUE Martin
Titre :
LV2 S7
Rsum :
-Niveaux de comptence et activits correspondants aux niveaux A2-B2 du CECR dans la langue choisie
en 1e anne.
-Les groupes de niveau sont maintenus.
-Etudier la culture et la civilisation travers la langue.
Plan :
Consolidation et approfondissement des bases dj acquises Apport d'un vocabulaire prcis et expressions idiomatiques Prsentation orale
Prrequis :
Suivi de cours dans la mme langue en S5, S6, S7 et S8.
Document(s) :
- Livre de cours selon le choix de l'enseignant
- Supports pdagogiques varis : presse, audiovisuel, multimedia
- Logiciels d'apprentissage
27/07/2015 - 05:53:17
187
Syllabus
Mot(s) cl(s) :
Dvelopper la grammaire et le vocabulaire - Comptences linguistiques niveaux A2-B2 - Participation active
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
188
Syllabus
LC214 : LV2 S8
Partag par l'UE (les UEs) :
E8-E
I8-D
M8-D
T8-D
Langues et Culture
Langues et culture de l'ingnieur
Langues et Culture de l'ingnieur
Langues et culture de l'ingnieur
p. 0
p. 7
p. 0
p. 0
Crdits ECTS :
1.00
valuation :
S1: ET(1h20,E) x0.33 + CC x0.67;S2: ET(1h20,E) x0.33
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
18.66
15.00
Enseignant(s) :
BEIRNE Kenneth
CANOYRA UBEDA Ismael
EUGENE Marie Pierre
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
MEDJTOUH Ali
RASTRERO Manuel
SHOCHI Takaaki
VELASQUEZ Adela
Titre :
LV2 S8
Rsum :
-Niveaux de comptence et activits correspondants aux niveaux A2-B2 du CECR dans la langue choisie
en 1e anne et suivie en S7.
-Les groupes de niveau sont maintenus.
-Etudier la culture et la civilisation travers la langue.
Plan :
Consolidation et approfondissement des bases dj acquises Apport d'un vocabulaire prcis et expressions idiomatiques Prsentation orale
Prrequis :
Suivi de cours dans la mme langue en S5, S6, S7 et S8.
Document(s) :
- Livre de cours selon le choix de l'enseignant
- Supports pdagogiques varis : presse, audiovisuel, multimedia
- Logiciels d'apprentissage
Mot(s) cl(s) :
Dvelopper la grammaire et le vocabulaire - Comptences linguistiques niveaux A2-B2 - Participation active
27/07/2015 - 05:53:17
189
Syllabus
Cours en ligne :
Consulter le site web du Centre de Ressources en Langues : https://sites.google.com/site/guidecrel/
27/07/2015 - 05:53:17
190
Syllabus
p. 0
p. 19
p. 0
E9CSI-F
E9CSR-F
E9SE-F
E9TS-F
I9-A
M9-C
T9GLR-F
T9ISN-C
T9RSC-F
p. 0
p. 0
p. 0
p. 0
p. 18
p. 0
p. 0
p. 0
p. 0
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Culture de l'ingnieur
Langues et Culture de l'ingnieur
Culture de l'ingnieur
langues et culture de l'ingnieur
Culture de l'ingnieur
Crdits ECTS :
2.50
valuation :
S1: CC x0.67 + Proj(Sout) x0.33;S2: Sta(Rap) x0.33
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
24.00
15.00
Enseignant(s) :
BEIRNE Kenneth
CROCKER Paul
FAUCHER Jill
FLOQUET Pierre
MDINA Susan
STEVENS-LARRE LeAnn
Titre :
LV1 Anglais S9
Rsum :
Dvelopper la communication en situation professionnelle
Plan :
-Thmes de la culture de l'entreprise et l'interculturel
-Entranement aux situations de communication professionnelle: prsentations, runions, entretien
d'embauche
Document(s) :
-Extraits de documentaires tlviss et de cinma anglo-saxons
-Supports pdagogiques varis : presse, audiovisuel, multimedia
Mot(s) cl(s) :
Stratgies en communication professionnelle - Participation active
27/07/2015 - 05:53:17
191
Syllabus
p. 17
Crdits ECTS :
1.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
20.00
Enseignant(s) :
CARON Francois
Titre :
Outils probabilistiques pour la robotique
Rsum :
L'objet de ce cours est d'introduire les concepts statistiques et algorithmes permettant la prise en compte de
l'incertitude en robotique. Celle-ci intervient plusieurs niveaux: erreurs de mesure de capteurs embarqus,
environnement incertain, commandes imparfaites, incertitude sur les intentions d'un humain ou d'un autre robot,
etc.
Le cours introduira tout d'abord des concepts de base de probabilits et statistiques. Puis il dfinira des outils
permettant la modlisation des incertitudes dans un cadre baysien. On s'intressera ensuite des algorithmes
pour la navigation mobile,
pour finir par des mthodes statistiques pour la segmentation d'images. Le cours alternera cours magistraux et
TPs sur machine.
Plan :
Cours 1 : Introduction aux mthodes statistiques en robotique. Rappels de probabilit et statistiques: variables
alatoires discrtes et continues, fonction de rpartition, densit de probabilit,
lois gaussiennes, loi jointe, marginale, conditionnelle, moments, moyenne, variance, moyenne conditionnelle
Cours 2 : Estimation - notion d'estimateur, biais, variance, information de Fisher, estimateur du maximum de
vraisemblance
Cours 3 : Mthodes baysiennes : rgle de Bayes, a priori, conjugaison, a priori vague, mise jour squentielle
Cours 4 : Chaines de Markov, Modles graphiques, Modles de Markov cachs, modles dynamiques - exemples
en robotique mobile
Cours 5 : Filtrage de Kalman
TP 1
Cours 6 : Filtrage particulaire
TP 2
Cours 7 : Processus de dcision markoviens; champs markoviens pour la segmentation d'image
TP 3
Prrequis :
Connaissances de base en probabilits, en calcul matriciel ainsi qu'en Matlab
27/07/2015 - 05:53:17
192
Syllabus
Document(s) :
Probabilistic Robotics. S. Thrun, W. Burgard, D. Fox. MIT Press, 2006
All of statistics. L. Wasserman, Springer, 2004.
Estimation with applications to tracking and navigation. Y. Bar-Shalom, X. Rong Li, T. Kirubarajan, Wiley, 2001.
Mot(s) cl(s) :
Estimation; mthodes baysiennes; filtrage statistique; navigation; modles dynamiques;
Cours en ligne :
http://www.math.u-bordeaux1.fr/~fcaron/lectures/statisticalrobotics
27/07/2015 - 05:53:17
193
Syllabus
p. 17
Volumes horaires :
Cours Intgr :
6.00
Enseignant(s) :
LAPOIRE Denis
Titre :
Mathmatiques pour la robotique
Rsum :
Cet enseignement a pour objet de prsenter un ensemble de notions
mathmatiques ncessaires la modlisation et la commande de systmes robotiques.
27/07/2015 - 05:53:17
194
Syllabus
MI101 : Microprocesseurs
Partag par l'UE (les UEs) :
I5-B
p. 3
Crdits ECTS :
1.50
valuation :
S1: ET(2h,E,da,sc) x1;S2: ET(30m,O,da,ca) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
Travaux Pratiques :
28.00
15.25
21.00
Enseignant(s) :
BORNAT Yannick
Titre :
Microprocesseurs
Rsum :
L'objectif du cours est de donner les lments ncessaires la
connaissance des microprocesseurs et la pratique de la
programmation en langage machine.
Plan :
1. Systme minimum
- logique trois-tats, liaisons bidirectionnelles, bus et logique
de dcodage, mmoires vives et mmoires mortes
- architecture interne du microprocesseur, instructions, donnes,
adresses cycles de lecture/criture synchrone
2. Prsentation du 68000
- composant et signaux
- structure interne, registres.
- jeu d'instruction, modes d'adressage et codage des instructions
- cycles de lecture et d'criture asynchrones
3. Assembleur 68000
- instructions, champs et directives, tiquettes et oprandes
symboliques
- dition de liens
- instructions arithmtiques, indicateurs signs et non signs
- comparaisons et tests
- sous-programmes, piles, passage de paramtres, instruction LINK
4. Les exceptions
- exceptions logicielles, matrielles
- mcanismes communs
- tude dtaille des interruptions, mcanisme d'interfaage aux
priphriques synchrones, asynchrones
5. Etude du circuit PIT 68230
- Diffrentes fonctions
- Priphrique parallle, timer
27/07/2015 - 05:53:17
195
Syllabus
27/07/2015 - 05:53:17
196
Syllabus
MI102 : TP de microprocesseurs
Partag par l'UE (les UEs) :
I5-B
p. 3
Crdits ECTS :
1.50
valuation :
S1: CC(PA,CR TP) x1;S2: rep(S1) x1
Volumes horaires :
Travail Individuel :
Travaux Pratiques :
5.25
21.00
Enseignant(s) :
BORNAT Yannick
HAROUN Ali
Titre :
TP de microprocesseurs
Rsum :
Les travaux pratiques de microprocesseur utilisent des kits de dveloppement ARM base de microcontrleur
AT91. Ils permettent la programmation du microprosesseur bas niveau et l'utilisation de priphriques
entres-sorties. Les exercices proposs permettent de communiquer avec les couches physique du systme ainsi
qu'une introduction technique la conception d'un systme d'exploitation
Prrequis :
Cours de microprocesseur, algorithmique, programmation en C.
Document(s) :
Polycopi des sujets de TP, manuel du programmeur, documentation allge sur la srie AT91
27/07/2015 - 05:53:17
197
Syllabus
p. 3
Crdits ECTS :
3.00
valuation :
S1: ET(2h) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
10.50
16.00
10.50
Enseignant(s) :
KHALIFE Hicham
MARTIN Benjamin
TORO Mauricio
VINCENT Aymeric
Titre :
Programmation imprative 1
27/07/2015 - 05:53:17
198
Syllabus
p. 4
Crdits ECTS :
3.00
valuation :
S1: ET(2h,E,da,sc) x1;S2: ET(2h,E,da,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
16.00
20.00
10.50
Enseignant(s) :
DESAINTE-CATHERINE Myriam
Myriam.DeSainte-Catherine@enseirb.fr
05 56 84 23 36
Titre :
Programmation fonctionnelle
Rsum :
Initiation la programmation fonctionnelle (evaluation, environnements, rcursivit,
listes, fonctionnelles, macroexpansion).
Plan :
* Introduction
- Histoire des langages fonctionnels, lambda-calcul
* Survol du langage lisp
- Expressions, types simples, symbols, chaines, expressions conditionnelles
* Evaluation
- Environnements lexicaux et dynamiques, recursivite
* Listes
- Symboles et citation, paires pointees, listes, fonctions sur les listes, programmation recursive sur les
listes, a-listes, listes propres
* Fonctions
- Parametres et resultats, fonctions anonymes (lambda), espaces de noms
* Fonctionnelles
- Fonctions en parametres, fonctions en resultats
* Programmation iimperative
- Modification d'objets, modification de parametres, structures de donnees, fermetures et affectation
* Macroexpansion
- Evaluation et application, macroexpansion en lisp, problemes des macroexpansions, conclusion
Prrequis :
PG105 est suivre en parallle.
Document(s) :
27/07/2015 - 05:53:17
199
Syllabus
www.enseirb/~myriam/Lisp
Mot(s) cl(s) :
Common lisp, scheme, programmation fonctionnelle, recursivite, listes, fonctions
27/07/2015 - 05:53:17
200
Syllabus
p. 4
Crdits ECTS :
3.00
valuation :
S1: Proj x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
Travaux Pratiques :
10.66
24.00
14.41
15.00
Enseignant(s) :
ALLALI Julien
allali@enseirb-matmeca.fr
Titre :
Programmation imprative 2 et dveloppement logiciel
Rsum :
L'objectif de ce cours est d'approfondir l'tude de la programmation en langage C et l'usage des outils associs.
On y aborde l'utilisation de constructions avances du langage (typage, pointeurs de fonctions) permettant de
mettre en application certains principes de gnie
logiciel, et on y prsente plusieurs outils (dbogueurs, outils de gestion de sources, de documentation
automatique et de mesure de performance) permettant d'augmenter l'efficacit de la programmation.
Plan :
1. Dbogage : dbogage au printf() , dbogage symbolique (Gdb), erreurs avec l'allocation dynamique de la
mmoire, outils d'aide au dbogage (Valgrind, Purify)
2. Compilation multi-fichiers : scripts, gestionnaire de compilation Make
3. Outils de dveloppement : documentation (NaturalDocs), gestion des sources (diff+patch, SVN)
4. lments de gnie logiciel : facteurs externes de qualit, modularit, conventions de codage
5. Normes du langage C : qualificatifs const, volatile, restrict
6. Tests : tests unitaires, tests d'implmentation, tests d'intgration
7. Passage de code en paramtre : duplication de code, pointeurs de fonctions
8. Fonctions nombre d'arguments variables
9. Bibliothques : bibliothques statiques et dynamiques
10. Analyse de performance : principe de localit et hirarchie mmoire, mesure de la performance
Prrequis :
Connaissance du langage C et de l'algorithmique.
27/07/2015 - 05:53:17
201
Syllabus
Document(s) :
- Polycopi de cours
Mot(s) cl(s) :
langage C, gnie logiciel, dbogage, test, documentation, gestion des sources, bibliothque, performance
Cours en ligne :
http://www.enseirb.fr/~pelegrin/enseignement/enseirb/prog_c_av/
27/07/2015 - 05:53:17
202
Syllabus
p. 4
Crdits ECTS :
2.00
valuation :
S1:ET(1h20,E,sd,sc)
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
10.66
21.33
Enseignant(s) :
EYROLLES Georges
HERBRETEAU Frdric
Titre :
Atelier Algorithme et Programmation
Rsum :
Cet enseignement a pour but la pratique de l'algorithmique et de la programmation par la mise en oeuvre de
structures de donnes et d'algorithmes tudis au premier semestre.
Plan :
- Mise en oeuvre d'un type ensemble
- Les structures de donnes chanes
- Algorithmes de tri
- Rutilisation de code
Prrequis :
Algorithmique de base (voir IF101, IF102) et programmation C (voir PG101)
Document(s) :
Aucun
Mot(s) cl(s) :
Algorithmique, programmation C, types abstraits de donnes, gestion de la mmoire, abstraction, gnricit
Cours en ligne :
Non disponible
27/07/2015 - 05:53:17
203
Syllabus
Programmation et systme
p. 5
Crdits ECTS :
2.00
valuation :
S1:ET(1h20,da:une feuille A4 manuscrite)
Volumes horaires :
Cours Intgr :
Travail Individuel :
Travaux Pratiques :
10.66
10.00
14.00
Enseignant(s) :
EYROLLES Georges
Titre :
Programmation Oriente Objets
Rsum :
Initiation la programmation oriente objets avec comme
langage de support JAVA
Plan :
1) Les objets
2) Les classes
3) Paquetages, interfaces et types gnriques
Prrequis :
Programmation C
27/07/2015 - 05:53:17
204
Syllabus
Conception logiciel
p. 5
Crdits ECTS :
2.00
valuation :
S1: Proj(CR,Sout) x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
20.00
30.00
Enseignant(s) :
TA Vinh-Thong
Titre :
Projet de Programmation Oriente Objets
Rsum :
Le projet de programmation oriente objet est une mise en application et un continuit du module PG202
27/07/2015 - 05:53:17
205
Syllabus
Programmation et systme
p. 5
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,da,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
9.33
18.00
12.00
Enseignant(s) :
FAVERGE Mathieu
Titre :
Programmation Systme
Rsum :
Cet enseignement prsente les concepts et les techniques permettant de programmer dans un environnement
POSIX.
Plan :
1. Concepts
2. Fichiers: principes et API posix
3. Processus et gestion mmoire: abstractions, gestion mmoire, gestion des processus
4. Signaux: surveillance de processus, synchronisation
5. Mmoire partage et synchronisation: par fichiers, memoire partage
6. Threads: definition et API
7. Concurrence: Identification des problemes, solutions logicielles, solutions matrielles, deadlocks
8. Introduction la programmation rseau
Prrequis :
Connaissance du langage C
Document(s) :
Les notes de cours sont distribues en dbut de cours.
Mot(s) cl(s) :
Programmation, Threads, Gestion memoire, Processus
27/07/2015 - 05:53:17
206
Syllabus
p. 54
p. 59
Crdits ECTS :
3.00
valuation :
S1: ET(1h30,E) x0.5 + CC x0.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
25.00
Enseignant(s) :
MARTIN Benjamin
Titre :
Interfaces sonores
Rsum :
But : Initiation au son numrique et ses interfaces.
Contenu : Aprs une prsentation thorique sur le son numrique, des travaux pratiques sont proposs pour se
familiariser avec des effets audio simples. Diffrents formats de fichiers sonores sont prsents, comme le format
WAVE ou MIDI. De nombreux outils et logiciels pour le son sont expliqus et utiliss.
Plan :
1 - Concepts de base sur le son numrique (chantillonnage, quantification, ...). Reprsentation du son en
machine, introduction aux diffrents formats sonores.
2 - Premiers effets audio (cho, compression, effet karaok, ...). Outils de base (sox, ...).
3 - Rprsentation symbolique de la musique, prsentation du format MIDI.
4 - Plugins LADSPA pour des effets audio.
5 - Serveur son JACK audio Connection Kit.
6 - Logiciel de programmation graphique pour la cration musicale : PureData.
7 - Logiciels Audacity et Protools.
Prrequis :
Aucun
Mot(s) cl(s) :
Traitement du signal, format sonore, effets sonores, MIDI, logiciels et interfaces pour le son numrique.
27/07/2015 - 05:53:17
207
Syllabus
Programmation et systme
p. 5
Crdits ECTS :
1.50
valuation :
S1: ET(2h,E,sd,sc) x1
Volumes horaires :
Cours :
Travaux Dirigs :
6.67
10.00
Enseignant(s) :
ALLALI Julien
allali@enseirb-matmeca.fr
Titre :
Programmation C++
Rsum :
Ce cours prsente les bases de la programmation C++, il suppose une connaissance de la programmation objet
(classes/instances/hritage). L'accent est mis sur les outils et techniques lis la gestion de la mmoire.
Prrequis :
* concepts de programmation objet: classes/instances/hritage
* programmation C
* gestion de la mmoire en C: malloc/free, allocation dans la pile/le tas
Mot(s) cl(s) :
programmation C++, allocation, mmoire, classes, patrons
27/07/2015 - 05:53:17
208
Syllabus
p. 14
Crdits ECTS :
2.50
valuation :
S1: ET(2h,E,sd,sc)
Volumes horaires :
Cours Intgr :
Travail Individuel :
26.00
10.00
Enseignant(s) :
EYROLLES Georges
Titre :
Conception oriente objet
Rsum :
La conception oriente-objet cherche reprsenter un systme
logiciel comme une collection d'objets, chaque objet ayant un
tat interne, une collection d'attributs qui dfinissent cet
tat, et une interface bien dfinie d'oprations sur ces
attributs qui cache au maximum des donnes relatives
l'objet. Un objet est normalement un membre d'une classe d'objets
qui dfinitles attributs et oprations de ses membres. C'est une
stratgie de conception qui s'oppose naturellement la
conception dite fonctionnelle, o le systme logiciel est vu
comme une fonction principale, oprant sur un tat global et
dfinie par dcomposition en sous-fonctions plus dtailles.
Plan :
I. Principes SOLID de conception.
II. L'utilisation des modles de design (design patterns) pour faire les bons choix dans la conception et identifier,
dans un systme, les participants et leur collaborations. Les exercices se feront autour d'un exemple important,
dvelopp en conjonction avec le cours de gnie logiciel de troisime anne.
27/07/2015 - 05:53:17
209
Syllabus
p. 16
Crdits ECTS :
2.50
valuation :
S1: ET(E,da,ca) x2.5
Volumes horaires :
Cours :
Cours Intgr :
Travaux Dirigs :
Travail Individuel :
4.00
16.00
16.00
20.00
Enseignant(s) :
AUMAGE Olivier
COULAUD Olivier
Titre :
Langages du paralllisme
Rsum :
L'objectif de ce cours est de prsenter les principales approches de la programmation des machines parallles et
de prsenter les langages ou bibliothques reprsentatifs de cette approche : approche base sur une expression
explicite du paralllisme et de la communication et interface de bibliothque standard MPI, approche base sur le
paralllisme de donnes, approche de la programmation parallle pour mmoire partage et OpenMP, approche
"multi-thread".
Plan :
1.Introduction
- Ncessit du paralllisme
- Ncessit des modles de programmation parallle
- Sources de paralllisme :
Paralllisme de donnes,
Paralllisme de contrle
- Machines parallles :
Machines MIMD mmoire distribue, machines MIMD mmoire partage, machines base de noeuds SMP
2. Programmation des machines parallles
- Programmation parallle passages de messages
- Programmation "data-parallle" ( paralllisme de donnes)
- Programmation parallle mmoire partage
- Programmation "multi-thread"
3. MPI (Message-Passing Interface)
- Programme MPI, processus MPI
- Communicateurs, groupes, contextes de communication
- Communications point point : modes de communication, types de blocage, non dterminisme de
rception
- Communications collectives : barrire de synchronisation, mouvements de donnes (diffusion,
distribution, rassemblement, etc.), calculs globaux
- Topologies virtuelles de processus
- Types drivs
- Communications unilatrales
4. OpenMP
27/07/2015 - 05:53:17
210
Syllabus
- Rgion parallle, partage du travail, paralllisme de boucles, partage des donnes, synchronisation
- Code OpenMP SPMD
- Programmation hybride MPI/OpenMP
5. Multi-threading
- Gnralits :
Processus, threads noyaux / utilisateurs (threads POSIX);
contextes;
ordonnancement, quantum de temps;
recouvrement, rentrance.
Document(s) :
Tout documents autoriss.
Mot(s) cl(s) :
Programmation parallle, programmation par processus communicant par transmission de messages,
paralllisme de donnes, programmation pour mmoire partage, programmation multi-thread, code SPMD,
localit des donnes, quilibrage de charge, MPI, OpenMP
Cours en ligne :
Documents et rfrences relatifs au cours
27/07/2015 - 05:53:17
211
Syllabus
p. 16
p. 18
Crdits ECTS :
2.50
valuation :
S1: Proj(Sout) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
28.00
20.00
Enseignant(s) :
DENIS Alexandre
Titre :
Programmation d'Applications Rparties
Rsum :
Le but de ce module est de prsenter les concepts fondamentaux des systmes rpartis : appel de procdure
distance, objet distribu, nommage, htrognit, interoprabilit, ... Ce cours s'appuie sur des exemples
concret de technologie qui seront mis en oeuvre systmatiquement en TD.
Plan :
* Introduction aux systmes rpartis
* RPC
* Java RMI
* CORBA
Prrequis :
Bonnes connaissances en programmation C/Java/C++. Connaissance de base en systme & rseau.
Mot(s) cl(s) :
Systmes rpartis, objets distribus, intergiciel, RPC, RMI, CORBA
Cours en ligne :
http://www.labri.fr/perso/esnard/Teaching/SysRep
27/07/2015 - 05:53:17
212
Syllabus
Projet 1
p. 3
Crdits ECTS :
2.50
valuation :
S1: Proj (Tr,Rap,Sout)S2: rep(S1)
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
30.00
30.00
Enseignant(s) :
RENAULT David
Titre :
Projet d'algorithmique et de programmation n1
Plan :
La scolarit de premire anne ENSEIRB, en filire Informatique, comprend 4 projets intgrs dans deux units
de valeur (UV) des deux premiers semestres de la formation en Informatique. Par semestre, deux projets doivent
tre raliss dans les langages de programmation tudis en cours.
L'objectif de ces projets est double : d'une part, ils sont l'occasion de mettre en pratique (voire d'approfondir) les
connaissances thoriques vues en cours; d'autre part, ils constituent souvent un premier contact avec le travail en
quipe. Ils sont normalement raliss par groupes de 4 ou 5 lves.
27/07/2015 - 05:53:17
213
Syllabus
Projet 1
p. 3
Crdits ECTS :
2.50
valuation :
S1: Proj (Tr,Rap,Sout)S2: rep(S1)
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
30.00
30.00
Enseignant(s) :
RENAULT David
Titre :
Projet d'algorithmique et de programmation n2
Plan :
La scolarit de premire anne ENSEIRB, en filire Informatique,
comprend 4 projets intgrs dans deux units de valeur (UV) de chaque
semestre de la formation en Informatique. Par semestre, deux projets
doivent tre raliss dans les langages de programmation tudis en
cours.
L'objectif de ces projets est double : d'une part, ils sont l'occasion
de mettre en pratique (voire d'approfondir) les connaissances
thoriques vues en cours; d'autre part, ils constituent souvent un
premier contact avec le travail en quipe. Ils sont normalement
raliss par groupes de 4 ou 5 lves.
27/07/2015 - 05:53:17
214
Syllabus
Projets 2
p. 4
Crdits ECTS :
2.50
valuation :
S1: Proj (Tr,Rap,Sout)S2: rep(S1)
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
30.00
30.00
Enseignant(s) :
RENAULT David
Titre :
Projet d'algorithmique et de programmation n3
Plan :
La scolarit de premire anne ENSEIRB, en filire Informatique,
comprend 4 projets intgrs dans deux units de valeur (UV) de chaque
semestre de la formation en Informatique. Par semestre, deux projets
doivent tre raliss dans les langages de programmation tudis en
cours.
L'objectif de ces projets est double : d'une part, ils sont l'occasion
de mettre en pratique (voire d'approfondir) les connaissances
thoriques vues en cours; d'autre part, ils constituent souvent un
premier contact avec le travail en quipe. Ils sont normalement
raliss par groupes de 4 ou 5 lves.
27/07/2015 - 05:53:17
215
Syllabus
Projets 2
p. 4
Crdits ECTS :
2.50
valuation :
S1: Proj (Tr,Rap,Sout)S2: rep(S1)
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
30.00
30.00
Enseignant(s) :
RENAULT David
Titre :
Projet d'algorithmique et de programmation n4
Plan :
La scolarit de premire anne ENSEIRB, en filire Informatique,
comprend 4 projets intgrs dans deux units de valeur (UV) de chaque
semestre de la formation en Informatique. Par semestre, deux projets
doivent tre raliss dans les langages de programmation tudis en
cours.
L'objectif de ces projets est double : d'une part, ils sont l'occasion
de mettre en pratique (voire d'approfondir) les connaissances
thoriques vues en cours; d'autre part, ils constituent souvent un
premier contact avec le travail en quipe. Ils sont normalement
raliss par groupes de 4 ou 5 lves.
27/07/2015 - 05:53:17
216
Syllabus
p. 6
Crdits ECTS :
6.00
valuation :
Pas de description
Volumes horaires :
Travail Individuel :
60.00
Enseignant(s) :
FLEURY Emmanuel
Titre :
Projet de recherche et de programmation
Rsum :
Ce projet a pour but de dvelopper la capacit de travail en groupe, ainsi que les comptences en
programmation. Les tudiants seront rpartis par groupes de 3 ou 4 et suivis par un tuteur. Les sujets d'tude
seront choisis parmi des problmes stimulants de recherche et de programmation.
Document(s) :
- Software Engineering. Sommerville. Addison-Wesley, 2006.
- Clean Code. Martin. Prentice-Hall. 2009.
- Agile Software Development. Martin. Prentice-Hall. 2003.
- Code Reading. Spinellis. Addison-Wesley. 2003.
- Code Quality. Spinellis. Addison-Wesley. 2006.
- Practical Development Environments. Doar. O'Reilly. 2005.
- Object-Oriented Analysis And Design: Understanding System Development With UML 2.0. -O'Docherty.
Wiley. 2005.
- UML Distilled : A Brief Guide to the Standard Object Modeling Language. Fowler. Addison-Wesley, 2004.
- Design Patterns. Gamma, Helm, Johnson, Vlissides. Addison-Wesley. 1995.
- AntiPatterns. Brown et al. Wiley. 1998.
- Why Programs Fail : A Guide to Systematic Debugging. Zeller. Morgan Kaufmann, 2005.
Mot(s) cl(s) :
Recherche, programmation
27/07/2015 - 05:53:17
217
Syllabus
p. 2
Crdits ECTS :
8.00
valuation :
S1: Sta(Rap,Sout) x1;S2: rep(S1) x1
Titre :
Stage de 2me anne
27/07/2015 - 05:53:17
218
Syllabus
p. 19
Crdits ECTS :
4.00
valuation :
S1: CC x1 + Proj(Rap,Sout) x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
30.00
45.00
Titre :
Projet Personnalis
Rsum :
Le projet personnalis en 3me anne Technologie Multimdia a pour objectif d'approfondir, par une exprience
pratique, les enseignements dispenss, en leur apportant une coloration personnalise.
Ce projet se droule pendant la totalit du semestre S9 par groupes de 3 5 tudiants.
Plan :
* Ralisation technique. Elle peut prendre des formes varies allant d'une tude de faisabilit la conception et la
ralisation d'un composant logiciel.
* Rapport. Le rapport, rdig en langue anglaise, prsente la synthse du travail ralis.
* Soutenance. La soutenance est ralise en anglais. Elle s'appuie sur un videoprojecteur et se droule sur 20
minutes.
27/07/2015 - 05:53:17
219
Syllabus
p. 70
Crdits ECTS :
2.50
valuation :
S1: Proj(Rap,Sout) x1
Volumes horaires :
Travaux Dirigs :
Travail Individuel :
5.00
60.00
Enseignant(s) :
VINCENT Aymeric
Titre :
Dveloppement systme
Rsum :
Ce module consiste en la ralisation d'un projet de dveloppement consquent tal sur tout le semestre. Les
sujets seront choisis au dbut du semestre et des groupes seront forms.
A peu prs tous les quinze jours, une sance d'avancement et de discussion aura lieu pour contrler et garantir
l'volution des projets.
Prrequis :
Niveau correct dans un langage de programmation
27/07/2015 - 05:53:17
220
Syllabus
p. 2
Crdits ECTS :
18.00
valuation :
S1: Sta(Tr,Rap,Sout) x1;S2: rep(S1) x1
Titre :
Projet de Fin d'Etudes
27/07/2015 - 05:53:17
221
Syllabus
p. 4
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,sd,sc) x1;S2: ET(30m,O,sd,sc) x1
Volumes horaires :
Cours Intgr :
Travaux Dirigs :
Travail Individuel :
Travaux Pratiques :
10.00
4.00
8.00
4.00
Enseignant(s) :
AHMED Toufik
Titre :
Introduction aux rseaux
Rsum :
Cours d’introduction au rseaux
Plan :
Les rseaux locaux informatiques (LAN)
-Classification des rseaux
-Les couches ISO et TCP/IP
-Technologies pour les LAN
-Notion de base sur l’Ethernet : adressage, commutation, type ethernet
-Equipements d’interconnexions rseaux
-Autres protocoles pour les LAN
27/07/2015 - 05:53:17
222
Syllabus
Internet et rseaux
p. 5
Crdits ECTS :
2.00
valuation :
S1: ET(2h,E,sd,sc) x1;S2: ET(15m,O,sd) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
20.00
10.00
Enseignant(s) :
AHMED Toufik
ROLLET Antoine
Titre :
Architecture des rseaux TCP/IP
Rsum :
Le but de cet enseignement est de fournir une base solide concernant les rseaux informatiques tant au niveau
des caractristiques physiques des transmissions qu'au niveau des protocoles employs. Lors de ce cours
intgr, les aspects thoriques et pratiques concernant les diffrentes couches du modle OSI (allant du matriel
la couche applicative) sont abords. Des exercices et des manipulations sont prvues pour illustrer ces notions
sur les protocoles classiques.
Plan :
1. Interaction entre la famille de protocoles TCP/IP et les supports de transmission
2. La couche rseaux : IP, ICMP
3. La couche transport du modle TCP/IP
27/07/2015 - 05:53:17
223
Syllabus
p. 7
Crdits ECTS :
2.00
valuation :
S1: Proj(Rap,Sout) x1
Volumes horaires :
Travail Individuel :
Travaux Pratiques :
12.50
20.00
Enseignant(s) :
AHMED Toufik
MEDJIAH Samir
SHARROCK Rmi
Titre :
Projet de rseaux
Rsum :
Le sujet est coupl au projet de systmes d'exploitation. Il permet aux tudiants de conduire un travail d'analyse,
de conception et de ralisation d'une application rseau. L'objectif est triple: une pratique de la programmation
rseau, un approfondissement des connaissances et un travail de spcification d'une application non triviale.
Une part importante du travail consiste dfinir une solution, la dcrire et la justifier (c'est un travail d'analyse
qui consiste en une premire exprience de spcification d'un logiciel systme et rseau). L'autre partie consiste
raliser la solution, la tester et faire une dmonstration.
Prrequis :
Cours et TD de rseaux.
27/07/2015 - 05:53:17
224
Syllabus
Systmes et applications
p. 7
Crdits ECTS :
1.50
valuation :
S1: ET(1h30,E,sd,sc) x1;S2: ET(15m,O,sd,sc) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
13.33
10.00
Enseignant(s) :
AHMED Toufik
ALLALI Julien
KHALIFE Hicham
allali@enseirb-matmeca.fr
Titre :
Applications TCP/IP
Plan :
Programmation TCP/IP
- Mise en place des applications TCP/IP
- Implmentation d’un exemple d’application TCP ou UDP : programmation socket simple
en C ou Java par exemple
Exemple d’application TCP/IP
-Prsentation de quelques applications TCP/IP : le systme DNS, le protocole SMTP (par exemple)
Le routage
- Le routage de l’information dans les rseaux : notion d’arbre collecteur, plus court chemin
dans un graphe, routage par inondation, routage fond sur les flux, routage vecteur et distance …
Exercice sur le calcul de la table de routage.
Mot(s) cl(s) :
programmation Socket, architecture Client / Serveur, routage dans les rseaux, DNS, WEB, e-mail, FTP
27/07/2015 - 05:53:17
225
Syllabus
Rseaux de communication
p. 18
Crdits ECTS :
1.75
valuation :
S1: ET(1h20,E,sd,sc) x3 + CC(PA,CR TP) x1;S2: ET(15m,O,sd) x1
Volumes horaires :
Cours :
Travaux Pratiques :
8.00
8.00
Enseignant(s) :
AHMED Toufik
Titre :
Evolution des Rseaux
Rsum :
Les rseaux de nouvelle gnration sont devenus de plus en plus complexes, interconnectant diffrentes
technologies et architectures (IP, WiFi, DVB-T/S, UMTS, GSM/GPRS) travers plusieurs plates-formes
matrielles et logicielles pour offrir une multitude de services (donnes, tlphonie, diffusion vido,
vidoconfrence, etc.). Ces nouvelles technologies rseaux ont permis une augmentation spectaculaire des
capacits, notamment l'accs. Ce cours a pour objectif de passer en revue l'architecture et l'volution des
rseaux de nouvelle gnration.
Plan :
-Introduction aux rseaux de nouvelle gnration
-Convergence des rseaux et des services
-Contraintes de qualit de service
-Quelques exemples d'volution de rseau
oIPv4 et IPv6
oLes rseaux mobiles et sans fil : 2G/3G, 802.11
oLes rseaux de broadcast : DVB
Prrequis :
RE204
Document(s) :
- N/A
Mot(s) cl(s) :
- Evolution des rseaux, Qualit de Service
Cours en ligne :
- pas encore
27/07/2015 - 05:53:17
226
Syllabus
p. 19
Crdits ECTS :
2.00
valuation :
S1: ET(1h20,E,sd,sc) x3 + CC(PA,CR TP) x1;S2: ET(15m,O,sd) x1
Volumes horaires :
Cours :
Travaux Pratiques :
8.00
8.00
Enseignant(s) :
AHMED Toufik
Titre :
Transport de flux audiovisuels
Rsum :
De nouveaux services de distribution de contenus audiovisuels et multimdia fond leur apparition sur les rseaux,
la fois fixe et mobile. Cependant, plusieurs caractristiques de ces rseaux font que le dploiement grande
chelle de tels services prsente actuellement un rel challenge par rapport des applications telles que le
courrier lectronique (email) et le Web. En effet, le protocole IP est en passe de devenir le mode de transport de
rfrence sur ces diffrents rseaux, ce qui pose certains problmes lis la qualit de service (QoS) hrits du
modle protocolaire IP. Ce cours a pour objectif de passer en revue les mcanismes de transport de flux
audio/vido sur un rseaux IP. Ainsi, il prsente les protocoles utiliss pour le transport et la signalisation des
services multimdia et leurs contraintes de qualit de service.
Plan :
-1- Introduction aux transport de flux audio/vido
-2- mcanismes de transport de flux audio/vido sur les rseaux IP
-3- Exemple de protocoles de transport et de signalisation : RTP, RTSP, SDP
Document(s) :
standards d'internet : RFC 3550 et autres
Mot(s) cl(s) :
-transport de flux
-signalisation de servie multimdia
-qualit de service
Cours en ligne :
-N/A
27/07/2015 - 05:53:17
227
Syllabus
Rseaux de communication
p. 18
Crdits ECTS :
3.25
valuation :
S1: ET(,O,sc) x1
Volumes horaires :
Cours :
Travail Individuel :
36.00
40.00
Enseignant(s) :
BOUL Jean-Marc
PICARD Patrice
Titre :
Rseaux des tlcommunications
Rsum :
Ce module permet d'acqurir les bases de la transmission de donnes sur les rseaux de tlcommunication.
partir de repres historiques, institutionnels et techniques, ce module dcrit l'volution des rseaux et des
protocoles, du Rseau Tlphonique Commut des annes 60 au rseau Internet "haut-dbit". Chaque rseau
est dcrit sous ses divers aspects, architecture, protocoles et possibilits en terme de service de transmission de
donnes
Plan :
* Les acteurs de l'environnement des Tlcommunications et la Normalisation
* La boucle locale cuivre
* Le Rseau Tlphonique Commut public (Public Switched Telephone Network) - RTC
* Le systme de signalisation numro 7 (Signaling System 7) – SS7
* La hirarchie numrique plsiochrone (Plesiochronous Digital Hierarchy) - PDH
* La hirarchie numrique synchrone (Synchronous Digital Hierarchy) – SDH, SONET
* Le multiplexage optique en longueur d'onde (Wavelength Division Multiplexing) - WDM, DWDM, CWDM
* Les Liaisons Loues
* Le Rseau Commutation de Paquets X25
* Le Rseau Numrique Intgration de Services (Integrated Services Digital Network) - RNIS
* Le mode de transfert asynchrone (Asynchronous Transfer Mode) - ATM
* Les protocoles 802.3, 802.1qp, SNAP et PPP
* Les raccordements de ligne numrique d'abonn cuivre (x Digital Subscriber Line) - ADSL, VDSL, SHDSL
* La boucle locale fibre optique (Fiber To The x) – FTTH, FTTB, FTTC
* Les rseaux "mobile" 2G/3G/4G - GSM, GPRS, EDGE, UMTS, LTE
* Les protocoles de communication sans fil - WiFi
* La voix et la Tlphonie sur IP (Voice over IP and Telephony over IP) – VoIP, ToIP
* Les rseaux privs virtuels (Virtual Private Network) – VLAN, L2TP, TSL, IPSEC
* Le MultiProtocol Label Switching - MPLS
* Les rseaux de prochaine gnration (Next Generation Network) - NGN
* Le sous-systme multimdia IP pour les rseaux de prochaine gnration (IP Multimedia Subsystem) - IMS
* Le Cloud Computing
Document(s) :
Un fascicule par chapitre
27/07/2015 - 05:53:17
228
Syllabus
Mot(s) cl(s) :
Srie 1 : Tlcommunication,
Rseau,
Protocole,
Numrique,
Digital,
Transmission,
Commutation,
Signalisation,
Donnes,
Internet,
IP,
Haut dbit,
Mobile,
Cloud Computing
Srie 2 : RTC,
Smaphore,
SS7,
Modems,
ERBdB,
Jonction,
PDH,
SDH,
SONET,
WDM,
DWDM,
CWDM,
HDLC,
RCP,
X25,
ISDN,
RNIS,
ATM, 2G, 3G, 4G,
GSM,
GPRS,
EDGE,
UMTS,
LTE,
WiFi, 802.3, 802.1qp,
SNAP,
PPP,
xDSL,
ADSL,
VDSL,
SHDSL,
FTTx,
FTTH,
FTTB,
FTTC,
VoIP,
ToIP,
VPN,
L2TP,
TSL,
IPSEC,
MPLS,
VPLS,
NGN,
IMS,
CDN
27/07/2015 - 05:53:17
229
Syllabus
Cours en ligne :
Aucun
27/07/2015 - 05:53:17
230
Syllabus
p. 18
Crdits ECTS :
3.50
valuation :
S1: Proj(Rap,Sout) x1
Volumes horaires :
Cours :
Travaux Dirigs :
Travail Individuel :
32.00
24.00
32.00
Enseignant(s) :
BLANC Mathieu
DESCLAUX Fabrice
GELI Mathieu
LALET Pierre
Titre :
Scurit des rseaux
Rsum :
Presentation des points sensibles au niveau de la securite sous Unix et des problemes de securite avec TCP/IP.
Presentation de solutions pour la securisation d'un environnement TCP/IP.
Methodes de detection et de gestion des intrusions.
Plan :
* Presentation des points sensibles au niveau de la securite sous Unix
* Presentation des problemes de securite avec TCP/IP
* Securisation d'un environnement TCP/IP (notion de firewall, DMZ, ...)
* Methode de conception de reseaux integrant la securisation
* Detection et gestion des intrusions. Pots de miel et leurres informatiques. Audits et tests d'intrusions.
* Presentation detaillee d'un exemple de firewall sous Linux: Netfilter
Mot(s) cl(s) :
Windows, Linux, IP, Firewall, detection intrusions, audits de securite, initiation aux VPN et au chiffrement de flux
reseaux
27/07/2015 - 05:53:17
231
Syllabus
p. 18
Crdits ECTS :
1.50
valuation :
S1: ET(1h,E,sd,sc) x1
Volumes horaires :
Cours Intgr :
Travail Individuel :
30.00
20.00
Enseignant(s) :
BORDRES Serge
GRELAUD Fabrice
Titre :
Protocoles d'administration des rseaux
Rsum :
La mise en oeuvre d'un rseau IP d'une certaine taille ncessite souvent la mise en oeuvre de plusieurs
protocoles de routage. A travers divers exemples seront vus les principes de fonctionnement de quelques
protocoles "intrieurs" (RIP, OSPF) et du protocole "extrieur" BGP ainsi que des stratgies de dploiement.
D'autre part, les technologies sans fil de type WiFi ncessitent des protocoles d'authentification particuliers, qui
seront prsents dans ce cours
Plan :
Prsentation de rseaux "complexes" et des problmes associs
- Protocoles de routage intrieur
- Fonctionnement et intrt de RIP
- Principes d'OSPF et protocoles similaires
- Principes de routage dans l'Internet, systmes autonomes
- Protocole BGP : principes de fonctionnement
- Protocole BGP : modes de dploiement et exemples de reaux
Prsentation et exprimentation de restrictions d'accs des rseaux sans fil
Mot(s) cl(s) :
Routage IP, RIP, OSPF, BGP, Autonomous-System.
27/07/2015 - 05:53:17
232
Syllabus
p. 18
Crdits ECTS :
1.50
valuation :
S1: ET(1h,E,sd) x1
Volumes horaires :
Cours :
Cours Intgr :
Travail Individuel :
18.00
12.00
20.00
Enseignant(s) :
GOUDAL Frdric
MEDAT Fabien
Titre :
Administration, Routage, QoS
Rsum :
La premire partie de ce module permet une prise en main par les tudiants des techniques et des outils
d'administration d'un systme Unix.
La seconde partie consiste tudier l'administration de routeurs CISCO et la mise en place de VLAN. La fin du
cours prsente la mise en place de qualit de services (QoS) dans les rseaux.
Plan :
* Prsentation gnrale des techniques d'administration des rseaux
* Configuration de machines
* Recherche d'information et d'outils pour l'adminitration de machines
* Administration de routeurs CISCO (protocole RIP), mise en VLAN
* Concepts de qualit de service dans les rseaux
* Problmes soulevs par la QoS
* Protocole pour la mise en place de la qualit de service
Mot(s) cl(s) :
Architecture rseaux routes et commuts, installation et programmation de routeurs CISCO
27/07/2015 - 05:53:17
233
Syllabus
p. 18
Crdits ECTS :
1.75
valuation :
S1: Proj(Rap,Sout) x1
Volumes horaires :
Cours :
Cours Intgr :
Travaux Dirigs :
Travail Individuel :
2.66
7.66
5.00
30.00
Enseignant(s) :
VINCENT Aymeric
Titre :
Administration systme et rseau
Rsum :
Ce module ce dcompose en deux parties distinctes.
1re partie:
Cette partie prend la forme d'ateliers. Tout au long de ce module, les tudiants devront administrer ensemble
quelques machines. Il s'agit d'apprendre travailler plusieurs pour garantir un service de qualit l'utilisateur de
ces machines.
Les ateliers viseront par exemple donner les bases de l'utilisation de CVS, donner des notions sur la
portabilit des logiciels, programmer des scripts shell de manire efficace et scurise, qui font partie des
tches de la vie de tous les jours d'un administrateur systme.
2 partie:
Au sein d'une entreprise, la mise en place de systmes parallles et distribus ncessite des infrastructures
capables de supporter des charges leves. A travers un exemple reprsentatif (un cache de donnes), les
problmatiques techniques et oprationnelles de mise en oeuvre seront abordes: amlioration des
performances, cot de la solution.
Des travaux dirigs dcriront les prrequis techniques. Ils seront associs des sances pratiques visant la
mise en
place d'un cache interne ou externe une application.
Prrequis :
RE202 et programmation Java
27/07/2015 - 05:53:17
234
Syllabus
Personnalisation
p. 18
p. 69
Crdits ECTS :
2.50
valuation :
S1: ET(1h30,E,sd,sc) x2.5
Volumes horaires :
Cours Intgr :
Travail Individuel :
24.00
12.00
Enseignant(s) :
HERBRETEAU Frdric
ROLLET Antoine
VINCENT Aymeric
Titre :
Mthodes formelles et applications
Rsum :
Dans ce module, nous tudions comment concevoir, modliser et valider formellement des systmes
informatiques communicants. Nous illustrons ces techniques sur des protocoles de communication.
Plan :
1. Historique et problme
2. Mthodes et outils de validation
3. Systmes d'automates
4. Logique temporelle
5. Modelchecking
6. Proprits classiques
7. Structure des protocoles
8. Modlisation et contrle de flot
9. Promela - Spin
10. Test formel base de spcification
Mot(s) cl(s) :
Conception, vrification, test, protocoles de communication, modelchecking
27/07/2015 - 05:53:17
235
Syllabus
p. 17
Crdits ECTS :
5.00
valuation :
S1: CC x1
Volumes horaires :
Cours Intgr :
44.00
Enseignant(s) :
MEGRET Rmi
TA Vinh-Thong
Titre :
Outils d'imagerie pour la robotique
Rsum :
Il s'agit d'une introduction aux diffrentes mthodes existantes pour traiter les images et les vidos dans le
contexte de la robotique.
Plan :
Ce cours couvre les aspects suivants :
- traitements de base des images
- vision 3D, calibration de camra, appariements
- dtection d'objets, de mouvements, suivi
La mise en oeuvre se fera en C++ avec utilisation de la bibliothque OpenCV.
Prrequis :
Programmation en C++, avoir suivi l'option IT220 (introduction aux traitements d'image) peut tre un plus
Document(s) :
N/A
Mot(s) cl(s) :
vision, traitement d'image et de vidos
Cours en ligne :
N/A
27/07/2015 - 05:53:17
236
Syllabus
Index
Syllabus
Syllabus
Syllabus
Syllabus
LC207 : LC206 obligatoireCours obligatoire pour ceux qui n'ont pas encore obtenu le niveau B2 en anglais (785 TOEIC ou 5.5 IELTS). Les prpare passer le TOEIC
186 nouve
LC212 : LV2 S7 ...................................................................................................................................................................................................................................... 187
LC214 : LV2 S8 ...................................................................................................................................................................................................................................... 189
LC301 : LV1 Anglais S9 ......................................................................................................................................................................................................................... 191
MA300 : Outils probabilistiques pour la robotique................................................................................................................................................................................. 192
MA303 : Mathmatiques pour la robotique ............................................................................................................................................................................................ 194
MI101 : Microprocesseurs....................................................................................................................................................................................................................... 195
MI102 : TP de microprocesseurs............................................................................................................................................................................................................. 197
PG101 : Programmation imprative 1 ..................................................................................................................................................................................................... 198
PG104 : Programmation fonctionnelle .................................................................................................................................................................................................... 199
PG106 : Programmation imprative 2 et dveloppement logiciel........................................................................................................................................................... 201
PG116 : Atelier Algorithme et Programmation ...................................................................................................................................................................................... 203
PG202 : Programmation Oriente Objets................................................................................................................................................................................................ 204
PG203 : Projet de Programmation Oriente Objets ................................................................................................................................................................................ 205
PG204 : Programmation Systme ........................................................................................................................................................................................................... 206
PG205 : Interfaces sonores ...................................................................................................................................................................................................................... 207
PG212 : Programmation C++.................................................................................................................................................................................................................. 208
PG301 : Conception oriente objet.......................................................................................................................................................................................................... 209
PG305 : Langages du paralllisme .......................................................................................................................................................................................................... 210
PG306 : Programmation d'Applications Rparties.................................................................................................................................................................................. 212
PR103 : Projet d'algorithmique et de programmation n1 ...................................................................................................................................................................... 213
PR104 : Projet d'algorithmique et de programmation n2 ..................................................................................................................................................................... 214
PR105 : Projet d'algorithmique et de programmation n3 ...................................................................................................................................................................... 215
PR106 : Projet d'algorithmique et de programmation n4 ...................................................................................................................................................................... 216
PR212 : Projet de recherche et de programmation .................................................................................................................................................................................. 217
PR213 : Stage de 2me anne ................................................................................................................................................................................................................. 218
PR305 : Projet Personnalis .................................................................................................................................................................................................................... 219
PR311 : Dveloppement systme ............................................................................................................................................................................................................ 220
PR315 : Projet de Fin d'Etudes................................................................................................................................................................................................................ 221
RE100 : Introduction aux rseaux ........................................................................................................................................................................................................... 222
RE202 : Architecture des rseaux TCP/IP .............................................................................................................................................................................................. 223
RE203 : Projet de rseaux ....................................................................................................................................................................................................................... 224
Syllabus