OFFRE DE FORMATION L.M.D.

Transcription

1 REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER ACADEMIQUE Etablissement Faculté / Institut Département Université Hadj Lakhder de BATNA Sciences Informatique Domaine Filière Spécialité Mathématique- Informatique Informatique Systèmes intelligents mobiles (SIM) Responsable de l'équipe du domaine de formation : Pr. NOUI Lemnouar Etablissement : Uuversité Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 1

2 الجمھورية الجزائرية وزارة الديمقراطية الشعبية التعليم العالي و البحث العلمي عرض تكوين. د م ل. أكاديمي ماستر المؤسسة المعھد الكلية/ القسم جامعة الحاج لخضر بباتنة كلية الھندسة اإلعالم اآللي الميدان الشعبة التخصص رياضيات- إعالم آلي إعالم آلي المتنقلة الذكية أألنظمة مسؤول فرقة ميدان التكوين : نوي المنور د. أ. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 2

3 SOMMAIRE I - Fiche d identité du Master Localisation de la formation Coordonateurs Partenaires extérieurs éventuels Contexte et objectifs de la formation A - Organisation générale de la formation : position du projet B - Conditions d accès C - Objectifs de la formation D - Profils et compétences visées E - Potentialités régionales et nationales d employabilité F - Passerelles vers les autres spécialités G - Indicateurs de suivi du projet de formation Moyens humains disponibles A - Capacité d encadrement B - Equipe d'encadrement de la formation B-1 : Encadrement Interne B-2 : Encadrement Externe B-3 : Synthèse globale des ressources humaines B-4 : Personnel permanent de soutien Moyens matériels disponibles A - Laboratoires Pédagogiques et Equipements B- Terrains de stage et formations en entreprise C - Laboratoires de recherche de soutien à la formation proposée D - Projets de recherche de soutien à la formation proposée E - Documentation disponible F - Espaces de travaux personnels et TIC II - Fiche d organisation semestrielle des enseignements Semestre Semestre Semestre Semestre Récapitulatif global de la formation III - Fiche d organisation des unités d enseignement IV - Programme détaillé par matière V Accords / conventions VI Curriculum Vitae des coordonateurs VII - Avis et Visas des organes administratifs et consultatifs VIII - Visa de la Conférence Régionale Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 3

4 I Fiche d identité du Master Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 4

5 1 - Localisation de la formation : Faculté (ou Institut) : Faculté des sciences Département : Informatique Section : Informatique 2 Coordonateurs : - Responsable de l'équipe du domaine de formation Nom & prénom : NOUI Lemnouar Grade : Professeur : Fax : E - mail : nouilem@yahoo.fr Joindre un CV succinct en annexe de l offre de formation (maximum 3 pages) - Responsable de l'équipe de la filière de formation Nom & prénom : ZIDAT Samir Grade : Maître de conférences Classe B : Fax : E - mail : samir.zidat@gmail.com Joindre un CV succinct en annexe de l offre de formation (maximum 3 pages) - Responsable de l'équipe de spécialité Nom & prénom : LAHLOUHI Ammar Grade : Maître de conférences classe A : Fax : E - mail : ammar.lahlouhi@gmail.com Joindre un CV succinct en annexe de l offre de formation (maximum 3 pages) 3- Partenaires extérieurs *: - autres établissements partenaires : aucun - entreprises et autres partenaires socio économiques : Aucun - Partenaires internationaux : Aucun Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 5

6 4 Contexte et objectifs de la formation A Organisation générale de la formation : position du projet M1 Agréé M2 : Systèmes intelligents mobiles (SIM) * Systèmes de recherche d informations Ingénierie des Réseaux et communication Autres parcours déjà pris en charge Le projet de formation master Systèmes intelligents mobiles (SIM) se situe dans l optique d une formation commune en M1 (Première année) conjointement avec deux autres parcours déjà agréés : Systèmes de recherche d informations et ingénierie des réseaux & communication. Un autre master indépendant cryptographie & sécurité est aussi déjà agréé au niveau du département. B Conditions d accès Pour accéder au M1, il faut avoir : Une licence académique, domaine mathématique et Informatique, option informatique Ou un titre reconnu équivalent Pour accéder au M2, il faut avoir acquis : M1 du Master «Technologies informatiques» Ou M1 d un autre Master du domaine mathématique et informatique option informatique mais sur avis de l équipe de formation D autres diplômés peuvent aussi accéder directement au M2 sur étude du dossier Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 6

7 C - Objectifs de la formation Le parcours SIM (Systèmes intelligents mobiles) a pour but de former des étudiants en systèmes intelligents et/ou mobiles. Il comprend deux socles : Ceux du tronc commun qui englobe aussi deux volets : - Réseaux, architectures et systèmes d exploitation : L objectif ici est de faire bénéficier les étudiants d une formation en aspects de bas niveau des ordinateurs, - Technologie objet, sémantiques formels, concurrence et aspects avancés de l algorithmique et simulation : Il s agit de doter les étudiants des outils de développement sérieux nécessaire de pratique informatique mais aussi à toute recherche en informatique, Les aspects spécifiques au parcours SIM qui regroupe trois volets : - Intelligence : regroupant la nouvelle orientation de l intelligence artificielle (individuelle) qui est celle de l intelligence computationnel. C est aussi les aspects de l intelligence collective, i.e., systèmes multi-agents et robotique collective. - Mobilité : regroupant les aspects système distribués et les technologies des réseaux mobiles ad hoc - Enfin, celle de la tendance actuelle des systèmes informatique intelligents, appelée «informatique pervasive», D Profils et compétences visées La formation dispensée vise à donner une formation méthodologique aux métiers de la recherche et à assurer une spécialisation dans un domaine de l informatique qui est les systèmes intelligents mobiles. A l issu de cette formation, les étudiants seront capables de mener à bien des projets en relation avec les technologies des systèmes intelligents et mobiles. Ils auront acquis des techniques et des méthodes concernant, et en relation avec, les technologies d intelligence informatique et des systèmes mobiles. C est aussi des connaissances fondamentales et d actualités de ces domaines. Celles-ci sont celles relatives aux réseaux, aux systèmes parallèles et concurrents, à l intelligence artificielle, à la résolution de problèmes et à aux systèmes pervasifs. E- Potentialités régionales et nationales d employabilité Les étudiants disposants d un Master de spécialité Systèmes intelligents mobiles pourront : trouver leur place dans les services de Recherche et développement au sein des futures écoles doctorales, Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 7

8 dans les sociétés de services Informatiques ayant des activités orientées systèmes intelligents et/ou mobiles ou des activités en relation avec celle-ci (réseaux, systèmes parallèles & concurrents, systèmes de nouvelles génération) dans des laboratoires de recherche comme ingénieurs de recherche dans l industrie logicielle en occupant des fonctions d ingénieurs de recherche. F Passerelles vers les autres spécialités De façon générale, cette spécialité permettra de passer vers plusieurs types de spécialités : Les spécialités des systèmes répartis Les spécialités des systèmes mobiles Les spécialités des systèmes intelligents De façon particulière, les étudiants peuvent suivre les spécialités de Master déjà agréés au niveau du département : Ingénierie des réseaux & communication, Systèmes de recherche d informations. G Indicateurs de suivi du projet Le suivie des études sera assuré par l observation de certains aspects de base : Mise en place d'équipes pédagogiques dont la mission est d'assurer l accompagnement et le tutorat des étudiants tout au long de leur parcours. Favoriser l'accompagnement de chaque étudiant, qui peut bénéficier d un dispositif d accueil, d accompagnement et de soutien qui favorisera sa réussite et l aidera à assurer son orientation ainsi que la cohérence pédagogique de son parcours. Accorder une place centrale et prépondérante aux comités pédagogiques impliquant les enseignants de la matière, de l'unité et les représentants des étudiants, Privilégier un contrôle continu des connaissances consistant à examiner les étudiants de différentes manières (travaux de recherche, interrogations orales ou écrites, exposés, etc.) tout au long du semestre. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 8

9 5 Moyens humains disponibles A : Capacité d encadrement : 20 B : Equipe d'encadrement de la formation : B-1 : Encadrement Interne : Nom, prénom Diplôme Grade Laboratoire de recherche de rattachement Type d intervention * Emargement Enseignants de la première année (déjà agréée) : M1 Alloui Noura Magistère Maître assistant A Cours, TD, TP et Encadrement Arar Chafik Magistère Maître assistant A Cours, TD, TP et Encadrement Behloul Ali Doctorat Maître de conférences B Cours, TD, TP et Encadrement Benabbas Nacer Eddine Magistère Maître assistant A KBS TU-BERLIN, Germany Cours, TD, TP et Encadrement Bendib Sonia Sabrina Magistère Maître assistant A Cours, TD, TP et Encadrement Betta Mohamed Magistère Maître assistant A Cours, TD, TP et Encadrement Fedala Hassina Magistère Maître assistant A Cours, TD, TP et Encadrement Hocine Riadh Magistère Maître assistant A Cours, TD, TP et Encadrement Kalla Hamoudi Doctorat Maître de conférences B INRIA, Rhône Alpes, France Cours, TD, TP et Encadrement Kalla Salim Magistère Maître assistant A Cours, TD, TP et Encadrement Lahlouhi Ammar Doctorat d état Maître de conférences A Cours, TD, TP et Encadrement Seghir Rachid Doctorat Maître de conférences B Cours, TD, TP et Encadrement Enseignants de la spécialité Systèmes intelligents mobile (SIM) : M2 Lahlouhi Ammar Doctorat d état Maître de conférences A Cours, TD, TP et Encadrement Kalla Hamoudi Doctorat Maître de conférences B INRIA, Rhône Alpes, France Cours, TD, TP et Encadrement Saadi Leila Magister Maitre assistant A Cours, TD, TP et Encadrement Hedjazi Jalal Magister Maitre assistant A Cours, TD, TP et Encadrement Abdessemed Med Rida Magister Maitre assistant A Cours, TD, TP et Encadrement Kadache Nabil Magister Maitre assistant B Cours, TD, TP et Encadrement * = Cours, TD, TP, Encadrement de stage, Encadrement de mémoire, autre (à préciser) Etablissement : Uuversité Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 9

10 B-2 : Encadrement Externe : Aucun B-3 : Personnel permanent de soutien (indiquer les différentes catégories) Grade Effectif Ingénieurs de laboratoires et techniciens (affiliés au département) 5 B-4 : Synthèse globale des ressources humaines : Grade Effectif Interne Effectif Externe Total Professeurs Maîtres de Conférences (A) Maîtres de Conférences (B) Maître Assistant (A) Maître Assistant (B) Ingénieurs Total Moyens matériels disponibles A- Laboratoires Pédagogiques et Equipements : Fiche des équipements pédagogiques existants pour les TP de la formation envisagée (1 fiche par laboratoire) Intitulé du laboratoire : Salle de TP n 1 Capacité en étudiants : 20 N Intitulé de l équipement Nombre observations 1 Micro ordinateurs 20 En marche Intitulé du laboratoire : Salle de TP n 2 Capacité en étudiants : 20 N Intitulé de l équipement Nombre observations 2 Micro ordinateurs 20 En marche Intitulé du laboratoire : Salle de TP n 3 Capacité en étudiants : 20 N Intitulé de l équipement Nombre observations 3 Micro ordinateurs 20 En marche Etablissement : Uuversité Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 10

11 B- Autres moyens N Intitulé de l équipement Nombre observations 01 Data Général machine Bi processeur postes Opérant sous Unix 02 Centre de calcul équipe de 15 PC Imprimante réseaux Cluster de 8 PC connexion à 01 EumedGrid 05 Point d accès internet Wireless Serveur Dell Bi-Processeurs Bibliothèque spécialisée 200 Ouvrages Amphithéâtres Salle de conférences pour séminaires Salles de TD 29 C- Terrains de stage et formation en entreprise : D- Laboratoire(s) de recherche de soutien à la formation proposée : Une demande d agrément d un laboratoire de recherche a été soumise. E- Projet(s) de recherche de soutien à la formation proposée : Intitulé du projet de recherche Conception de systèmes temps réel embarques sûrs de fonctionnement Contribution à l'intégration et à l'évaluation de la sûreté de fonctionnement des systèmes Date du début Date de fin du Code du projet du projet projet B* Janvier 2O10 décembre 2012 Soumis Janvier 2011 Décembre 2012 de calculs Systèmes intelligents mobiles En préparation à soumettre en mars F- Documentation disponible : (en rapport avec l offre de formation proposée) Les références bibliographiques citées dans la description des matières sont disponibles soit à la bibliothèque du département, soit à la bibliothèque de la faculté, soit à la bibliothèque centrale de l université ou à défaut chez les enseignants de la spécialité. En particulier, les enseignants de la spécialité ont une documentation numérique très riche sur les aspects en relation avec le contenu de la formation. G- Espaces de travaux personnels et TIC : Le département informatique est intégré dans l espace Intranet de l'université Hadj Lakhdar. Des points d accès sans file sont en cours d élaboration. Une enveloppe de 15 millions de dinars a été allouée pour le matériel informatique du département. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 11

12 II Fiche d organisation semestrielle des enseignements (Prière de présenter les fiches des 4 semestres) Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 12

13 1- Semestre 1 : VHS V.H hebdomadaire Mode d'évaluation Unité d Enseignement Autres : Coeff Crédits Sem C TD TP Travail Continu Examen Personnel UE fondamentales UEF1 (P) Réseaux 42h 1h30 1h Architecture avancée des ordinateurs 42h 1h30 1h Systèmes d exploitation avancés 63h 1h30 1h30 1h UE méthodologie UEM1 (P) Technologie Objet 63h 1h30 1h30 1h Sémantique des langages de programmation 49h 1h30 1h30 30 mn 2 4 UE découverte UED1 (P) Ethique académique 21h 1h Anglais 28h 1h30 30 mn 1 2 Total Semestre 1 308h 10h30 7h30 3h 1h Etablissement : Uuversité Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 13

14 2- Semestre 2 : Unité d Enseignement VHS sem V.H hebdomadaire C TD TP Autres : Travail Personnel Coeff Crédits Mode d'évaluation Continu UE fondamentales UEF2 (P) Programmation concurrente et parallélisme 42h 1h30 1h Algorithmique avancée et preuve de programmes 42h 1h30 1h Simulation 42h 1h30 1h UEF3 (O) Systèmes sur puce (SoC) 63h 1h30 1h30 1h Modélisation des systèmes embarqués 63h 3h 1h UEF4 (O) Routage 63h 1h30 1h30 1h OU * Sécurité des réseaux 63h 3h 1h UEF5 (O) Introduction aux systèmes multi agents 63h 3h 1h30 1h Techniques de résolution de problèmes 63h 3h 1h30 1h UE découverte UED2 (P) Technologie Web 35h 1h30 1h 1 2 Méthodologie de Recherche 21h 1h Total Semestre 2 308h 12h 4h30 1h30 4h Examen Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 14

15 3- Semestre 3 : Unité d Enseignement VHS V.H hebdomadaire Mode d'évaluation Coeff Crédits sem C TD TP Exposés Continu Examen UE fondamentales Intelligence 202h30mn 6 1h Systèmes multi-agent 67h30 1h h30 1h Intelligence Computationnelle 67h30 1h30 1h30 1h Informatique pervasive 67h h UE méthodologiques Mobilité h30 1h Réseaux mobiles ad hoc et 45 1h h modèles de mobilité Systèmes distribués 45 1h30 1h UE découvertes Découverte 45 1h h Robotique collective 45 1h h Total Semestre 3 337h30 10h Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 15

16 4- Semestre 4 : Domaine Filière Spécialité : Mathématique-Informatique : Informatique : Systèmes intelligents mobiles (SIM) VHS Coeff Crédits Travail Personnel Stage en entreprise Séminaires Autre (préciser) Total Semestre Récapitulatif global de la formation UE VH UEF UEM UED UET Total Cours 292h h TD 157h30 67h TP h h30 Travail personnel Autre (préciser) Total h h30 Crédits ( 30 : S4) % en crédits pour chaque UE Etablissement : Uuversité Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 16

17 III Fiches d organisation des unités d enseignement (Etablir une fiche par UE) Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 17

18 Libellé de l UE : UEF1 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 1 Répartition du volume horaire global de l UE et de ses matières Cours : 4h30 TD : 4h30 TP: 1h30 Travail personnel : Crédits et coefficients affectés à l UE et à ses matières UE : UEF1 Matière 1 : Réseaux Crédits : 6 Coefficient : 3 18 crédits Matière 2 : Architecture avancée des ordinateurs Crédits : 6 Coefficient : 3 Matière 3 : Systèmes d exploitation avancés Crédits : 6 Coefficient : 4 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Réseaux Détailler le fonctionnement d'un réseau global tel que l'internet et étudier les architectures sur lesquelles ce dernier repose. - Architecture avancée des ordinateurs Comprendre les notions fondamentales des architectures modernes des ordinateurs et les concepts les plus récents mis en œuvre dans ces systèmes afin d augmenter les performances. - Systèmes d exploitation avancés L objectif de ce module est de présenter les concepts sous jacent aux systèmes d exploitation avancés tel les systèmes concurrents et distribués. A l issue de ce cours l étudiant doit être en mesure de concevoir et implémenter des services de systèmes distribués en Java utilisant les sockets, les appels distants de procédure ou l invocation distante de méthodes Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 18

19 Libellé de l UE : UEM1 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 1 Répartition du volume horaire global de l UE et de ses matières Cours : 3h TD : 3h TP: 1h30 Travail personnel : 30 mn Crédits et coefficients affectés à l UE et à ses matières UE : UEM1 Matière 1 : Technologie Objet Crédits : 4 Coefficient : 2 8 crédits Matière 2 : Sémantique des langages de programmation Crédits : 4 Coefficient : 2 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Technologie Objet Ce module permet à l étudiant d acquérir les différents aspects relatifs à la technologie objet, en général, et ceux relatifs à Java en particulier. - Sémantique des langages de programmation fournir des méthodes pour raisonner sur les programmes et de permettre la programmation sans erreurs Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 19

20 Libellé de l UE : UED1 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 1 Répartition du volume horaire global de l UE et de ses matières Cours : 3h TD : TP: Travail personnel : 30 mn Crédits et coefficients affectés à l UE et à ses matières UE : UED1 Matière 1 : Ethique académique Crédits : 2 Coefficient : 1 4 crédits Matière 2 : Anglais Crédits : 2 Coefficient : 1 Mode d'évaluation (continu ou examen) Description des matières examen - Ethique académique Dispenser dans le cadre de ce cours les principes qui régissent le comportement des différent acteurs de l enseignement supérieurs. Un accent particulier sera mis sur l éthique en matière de publication de papiers scientifique - Anglais Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 20

21 Libellé de l UE : UEF2 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 2 Répartition du volume horaire global de l UE et de ses matières Cours : 4h30 TD : 4h30 TP: Travail personnel : Crédits et coefficients affectés à l UE et à ses matières UE : UEF2 14 crédits Matière 1 : Programmation concurrente et parallélisme Crédits : 5 Coefficient : 3 Matière 2 : Algorithmique avancée et preuve de programmes Crédits : 5 Coefficient : 3 Matière 3 : Simulation Crédits : 4 Coefficient : 3 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Programmation concurrente et parallélisme Familiariser les étudiants avec les concepts de base et les différents paradigmes de la programmation parallèle. Donner un aperçu de la mise en oeuvre d'algorithmes parallèles sur différents types d'architectures. - Algorithmique avancée et preuve de programmes Acquérir des nouveaux concepts en algorithmique et en preuve de programmes - Simulation initie aux méthodes de conception des modèles de simulation et à l étude de comportement dynamique des systèmes à travers les techniques d analyse de résultats. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 21

22 Libellé de l UE : UEF3 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 2 Répartition du volume horaire global de l UE et de ses matières Cours : 4h30 TD : TP: 1h30 Travail personnel : 3h Crédits et coefficients affectés à l UE et à ses matières UE : UEF3 12 crédits Matière 1 : Systèmes sur puce (SoC) Crédits : 6 Coefficient : 5 Matière 2 : Modélisation des systèmes embarqués Crédits : 6 Coefficient : 5 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Systèmes sur puce (SoC) Présenter les différentes phases de la mise en oeuvre d un SoC. - Modélisation des systèmes embarqués Montrer les techniques permettant la modélisation des aspects dynamique et temporel des systèmes embarqués Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 22

23 Libellé de l UE : UEF4 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 2 Répartition du volume horaire global de l UE et de ses matières Cours : 4h30 TD : TP: 1h30 Travail personnel : 3h Crédits et coefficients affectés à l UE et à ses matières UE : UEF4 Matière 1 : Routage Crédits : 6 Coefficient : 5 12 crédits Matière 2 : Sécurité des réseaux Crédits : 6 Coefficient : 5 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Routage Comprendre les principaux aspects liés au routage dans les réseaux - Sécurité des réseaux Donner une vision globale de la sécurité des réseaux et les technologies les plus à jour en sécurité. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 23

24 Libellé de l UE : UEF5 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 2 Répartition du volume horaire global de l UE et de ses matières Cours : 4h30 TD : TP: 1h30 Travail personnel : 3h Crédits et coefficients affectés à l UE et à ses matières UE : UEF5 12 crédits Matière 1 : Introduction aux systèmes multi-agents Crédits : 6 Coefficient : 5 Matière 2 : Méthodes de résolution de problèmes Crédits : 6 Coefficient : 5 Mode d'évaluation (continu ou examen) Description des matières continu & examen - Introduction aux systèmes multi-agents Cette matière permet à l étudiant de s initier aux notions de base des modèles multi-agent. Elle lui explique les notions d autonomie des agents et de coopération et lui donne les premières idées sur les types d agents. - Méthodes de résolution de problèmes L objectif est l étude de la résolution de problèmes par recherche sur un ensemble d états est d approfondir cet aspect vers les méta-heuristiques Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 24

25 Libellé de l UE : UED2 Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 2 Répartition du volume horaire global de l UE et de ses matières Cours : 3h TD : TP: Travail personnel : 1h Crédits et coefficients affectés à l UE et à ses matières UE : UED2 Matière 1 : Technologie Web Crédits : 2 Coefficient : 1 4 crédits Matière 2 : Méthodologie de recherche Crédits : 2 Coefficient : 1 Mode d'évaluation (continu ou examen) Description des matières examen - Technologie Web Apporte aux étudiants les connaissances théoriques et pratiques des technologies Web, et en particulier présenter les principales méthodes, langages et outils dédiés à la conception d'applications Web. - Méthodologie de recherche Initier l étudiant aux principales méthodes de recherche, de mener correctement un projet de recherche, et de savoir communiquer les résultats de la recherche. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 25

26 Libellé de l UE : Intelligence Filière : Informatique Spécialité : Systèmes intelligents mobiles (SIM) Semestre : 3 Répartition du volume horaire global de l UE et de ses matières Cours : 90 TD : 22,5 TP: 45 Travail personnel : 120 Crédits et coefficients affectés à l UE et à ses matières UE : 18 crédits Matière 1 : Systèmes multi-agent Crédits : 6 Coefficient : 3 Matière 2 : Intelligence Computationnelle Crédits : 6 Coefficient : 3 Matière 3 : Intelligence pervasive Crédits : 6 Coefficient : 3 Mode d'évaluation (continu ou examen) Examen & Contrôle continu Description des matières Systèmes multi-agent Le module permet d introduire l étudiant aux concepts des systèmes d agent et multi-agent, des principes de conception et d implémentation d agents autonomes intelligents. Il permet aussi d expliquer les techniques et approches de communication et de coopération. Intelligence Computationnelle A l issue de module, l étudiant aura compris le paradigme de l intelligence calculatoire mais aura appris aussi de nombreuses méthodes en relation avec ce paradigme. Informatique pervasive L objectif de ce cours est d introduire les étudiants au domaine de l informatique pervasive. Il présente l informatique pervasive et explique ses notions de base. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 26

27 Libellé de l UE : Mobilité Filière : Informatique Spécialité : Systèmes intelligents mobiles Semestre : 3 Répartition du volume horaire global de l UE et de ses matières Cours : 45 TD : 22h30 TP: 22h30 Exposés : 45 Travail personnel : 60 Crédits et coefficients affectés à l UE et à ses matières UE : 8 crédits Matière 1 : Réseaux mobiles ad hoc et modèles de mobilité Crédits : 4 Coefficient : 2 Matière 2 : Systèmes distribués Crédits : 4 Coefficient : 2 Mode d'évaluation (continu ou examen) Examen & Contrôle continu Description des matières Réseaux mobiles ad hoc et modèles de mobilité A l issue de ce module, l étudiant doit avoir appris les notions de base des réseaux sans fils, mobile, ad hoc et peer-to-peer. Il doit aussi avoir appris les modèles de mobilité pouvant être utilisés par les nœuds mobiles. Systèmes distribués L étudiant aura appris les principes, techniques et méthodes des systèmes distribués lui permettant de comprendre saisir les aspects en relation avec la distribution des connaissances. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 27

28 Libellé de l UE : Découverte Filière : Informatique Spécialité : Systèmes intelligents mobiles Semestre : S3 Répartition du volume horaire global de l UE et de ses matières Cours : 22,5 TD : 0 TP: 22,5 Travail personnel : 30 Crédits et coefficients affectés à l UE et à ses matières UE : 2 crédits Matière : Robotique collective Crédits : 3 Coefficient : 1 Mode d'évaluation (continu ou examen) Examen & Continue Description des matières Robotique collective La robotique collective est domaine différent du domaine informatique mais comporte des aspects d intelligence collective et de mobilité. Le but est de faire découvrir aux étudiants ses notions de base et ses applications ainsi que sa conception et implémentation. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 28

29 IV - Programme détaillé par matière (1 fiche détaillée par matière) Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 29

30 Intitulé de la matière : Réseaux Semestre : Semestre S1 Enseignant responsable de l UE : Riadh HOCINE. Enseignant responsable de la matière : Chafik ARAR. Objectifs de l enseignement Le module Réseaux s'inscrit dans la continuité du module Introduction aux réseaux de licence (qui est pré-requise). Il a pour but de détailler le fonctionnement d'un réseau global tel que l'internet et d'étudier les architectures sur lesquelles ce dernier repose. Connaissances préalables recommandées Module Introduction aux réseaux de la formation Licence. Contenu de la matière : - Applications réseau - Couche transport - Couche réseau - Routage - Architectures supports - Ethernet - Architectures supports - Point-à-point Mode d évaluation : continu, examen. Références 1. Computer Networking, 3nd edition, de James F. KUROSE et Keith W. ROSS 2. Internetworking with TCP/IP, 4th edition, de Douglas COMER 3. Computer Networks, 4th edition, de Andrew S. TANENBAUM 4. High Speed Networks and Internets, 2nd edition, de William STALLINGS Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 30

31 Intitulé de la matière : Architecture avancée des ordinateurs Semestre : 1 Enseignant responsable de l UE : Riadh HOCINE Enseignant responsable de la matière: Riadh HOCINE Objectifs de l enseignement - Comprendre les notions fondamentales des architectures modernes des ordinateurs et les concepts les plus récents mis en œuvre dans ces systèmes afin d augmenter les performances (pipelining, ordonnancement dynamique, processeurs superscalaires, vectoriels, VLIW, ). - Familiariser l étudiant avec les techniques les plus avancées en architecture des ordinateurs utilisés dans les microprocesseurs actuels et leurs relations avec les phases critiques de compilation. - Présenter les techniques d organisation du système, ayant une influence sur les performances de la machine (mémoire cache, mémoire virtuelle, périphériques, ). - Initier l étudiant à la vision du parallélisme et des architectures multiprocesseurs Connaissances préalables recommandées Architecture des ordinateurs (formation licence LMD informatique). Contenu de la matière : - Introduction aux architectures avancées (Performance, RISC, ) - Techniques d amélioration de performances (Pipelining, superscalaire, VLIW, ) - Techniques de compilation pour architectures avancées - Systèmes de mémoire et mémoires caches - Entrées/sorties - Architectures parallèles et systèmes multiprocesseurs (SIMD, MIMD, ) Mode d évaluation : continu, examen. Références - A J. Van de GOOR «Computer Architecture and Design» Wesley Publishing Company. - A. Mostafa «Fundamentals of Computer Organization and Architecture» Wiley Edition - S. G. SHIVA «Computer Design and Architecture» Marcel dekker A. Mostafa «Advanced Computer Architecture and Parallel Processing» Wiley Edition - J. Hennessy, D. Patterson «Architecture des ordinateurs : une approche quantitative» - Nicholas P. CARTER «Architecture de l ordinateur». EdiScience Schaum s. - F. Cappelo «Une introduction aux architectures parallèles» Université Paris-Sud F. Pellegrini «Architectures et systèmes des calculateurs parallèles» Enseirb 2003 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 31

32 Intitulé de la matière : Systèmes d exploitation avancés Semestre : 1 Enseignant responsable de l UE : Riadh HOCINE Enseignant responsable de la matière: BENABES Nacereddine Objectifs de l enseignement L objectif de ce module est de présenter les concepts sous jacent aux systèmes d exploitation avancés tel les systèmes concurrents et distribués. A l issue de ce cours l étudiant doit être en mesure de concevoir et implémenter des services de systèmes distribués en Java utilisant les sockets, les appels distants de procédure ou l invocation distante de méthodes Connaissances préalables recommandées Systèmes d exploitation Contenu de la matière : Chapitre 1. Rappel sur les processus et threads 1.1 Ordonnancement de processus et threads 1.2 Synchronisation 1.3 L exclusion mutuelle Chapitre 2. La concurrence. 2.1 Modélisation d activité concurrente utilisant les threads Java 2.2 communication 2.3 Etude de cas Chapitre 3. Les systèmes distribués. 3.1 Le Modèle client serveur 3.2 Le problème de nommage 3.3 les principes des Appels distants de procédures 3.4 La protection et sécurité Chapitre 4. Les RMI 4.1 Principes Généraux des RMI 4.2 Mise en Œuvre des RMI Mode d évaluation : Examen. Références Modern Operating Systems, A.S. Tanenbaum, Prentice-Hall, 2nd edition, Concurrent Systems, J. Bacon, Addison-Wesley, 2nd edition, Distributed systems: concepts and design, G. Coulouris, J. Dollimore, T. Kindberg, Addison Wesley, 3rd edition,2000. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 32

33 Intitulé de la matière : Technologie Objet Semestre : 2 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Ammar LAHLOUHI Objectifs de l enseignement Ce module permet à l étudiant d acquérir les différents aspects relatifs à la technologie objet, en général, et ceux relatifs à Java en particulier. Connaissances préalables recommandées Les concepts de base du modèle orienté objet Avoir programmer dans un langage de programmation orientée objet ; de préférence Java. Contenu de la matière : Chapitre 1. Mise en œuvre (run time) : JVM (Java virtual machine) et interpréteurs Chapitre 2. Architectures à objets distribués (Corba, J2ME,.Net, ) Chapitre 3. Patterns de conception Chapitre 4. Méthodologies orientées objets Chapitre 5. Environnements de développement de systèmes orientés objet (J++, Eclipse, ) Mode d évaluation : Examen Références Bertrand Meyer, Object-Oriented Software Construction. (2nd Edition). Prentice- Hall International, Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 33

34 Intitulé de la matière : Sémantique des langages de programmation Semestre : 1 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Mohamed BETTA Objectifs de l enseignement L objectif de ce cours est de fournir des méthodes pour raisonner sur les programmes et de permettre la programmation sans erreurs Connaissances préalables recommandées Théorie des langages, logique mathématique, paradigmes des langages Contenu de la matière : Introduction Rappels fondamentaux Lambda calcul non typé et typé Sémantique Opérationnelle Sémantique dénotationnelle Sémantique Axiomatique Etude d un langage Mode d évaluation : continu, examen. Références Glynn Winskel. The Formal Semantics of Programming Language An Introduction. MIT Press Hanne Riis Nielson and Flemming Nielson. SEMANTICS WITH APPLICATION A Formal Introduction. JOHN WILEY & SONS Fundamental Concepts and Formal Semantics of Programming Languages: An Introductory Course. Peter D. Mosses Kenneth Slonneger, Barry L. Kurtz. Formal Syntax and Semantics of Programming Languages: ALaboratory Based Approach ;. Addison-Wesley 1995 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 34

35 Intitulé de la matière : Ethique académique Semestre : 1 Enseignant responsable de l UE : Nacer-eddine BENABBAS Enseignant responsable de la matière: Ammar LAHLOUHI Objectifs de l enseignement Dispenser dans le cadre de ce cours les principes qui régissent le comportement des différent acteurs de l enseignement supérieurs. Un accent particulier sera mis sur l éthique en matière de publication de papiers scientifique Connaissances préalables recommandées Aucune Contenu de la matière : Chapitre 1 : Introduction Chapitre 2 : Science et éthique Chapitre 3 : Ethique dans l enseignement supérieur Chapitre 4 : Ethique dans la publication de papiers de recherche Mode d évaluation : Examen. Références IEEE ethics in paper publishing, Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 35

36 Intitulé de la matière : Programmation concurrente et parallélisme Semestre : 1 Enseignant responsable de l UE : BENABES Nacereddine Enseignant responsable de la matière: BENABES Nacereddine Objectifs de l enseignement Familiariser les étudiants avec les concepts de base et les différents paradigmes de la programmation parallèle. Donner un aperçu de la mise en oeuvre d'algorithmes parallèles sur différents types d'architectures. Connaissances préalables recommandées Programmation impérative classique Contenu de la matière : Chapitre 1 : Introduction 1.1 Formes de programmation concurrente 1.2 Paradigmes de programmation concurrente Chapitre 2 : Les architectures parallèles 2.1 Classification de Flynn 2.2 Multiprocesseurs et multi-ordinateurs 2.3 Mémoire partagée et mémoire distribuée 2.4 Processeurs multi-coeurs. Chapitre 3 : Programmation concurrente impérative 3.1 Notions de base 3.2 Communication asynchrone 3.3 Conception d'algorithmes parallèles 3.4 Exemples de langages Chapitre 4 : Mesures de performance 4.1 Temps d'exécution 4.2 Accélération et efficacité Mode d évaluation : Examen. Références Foundations of Multithreaded, Parallel, and Distributed Programming, G.R. Andrews, Addison-Wesley, Java Threads (Third Edition). S. Oahs, H. Wong O'Reilly, Parallel Programming in C with MPI and Open MP, Michael J. Quinn, 2003, Mc Graw Hill Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 36

37 Intitulé du Matière : Algorithmique avancée et preuve de programmes Semestre : 2 Enseignant responsable de l UE : Nacer Eddine Benabbas Enseignant responsable de la matière: Salim Kalla Objectifs de l enseignement Acquérir des nouveaux concepts en algorithmique : récursivité et heuristiques et en preuve de programmes. Se familiariser avec les graphes et les algorithmes associés Connaissances préalables recommandées Algorithmique générale et structures de donnée Contenu de la matière : 1. Récursivité et paradigme «diviser pour régner» 2. Algorithmes gloutons 3. Algorithmes de tri 4. Graphes et arbres 5. Parcours des arbres et des graphes 6. Plus courts chemins 7. Heuristiques 8. Preuve de programmes Mode d évaluation : continu, examen. Références Eléments d algorithmique D. Beauquier, J. Berstel, P. Chrétienne - Exercices et problèmes résolus de recherche opérationnelle A. BILLIONNET, J. CARLIER Dunod Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 37

38 Intitulé du Matière : Simulation Semestre : 2 Enseignant responsable de l UE : Nacer Eddine Benabbas Enseignant responsable de la matière: Riadh Hocine Objectifs de l enseignement Familiariser l étudiant avec : les méthodes de simulation, la compréhension des problèmes de construction des modèles de simulation et l étude du comportement dynamique des systèmes à travers les techniques d analyse des résultats pour dimensionner et évaluer ces systèmes. Connaissances préalables recommandées - Mathématique : probabilité et statistiques (Formation licence LMD) - Modélisation (Formation licence LMD) Contenu de la matière : 1. Modélisation des systèmes 2. Principes de simulation 3. Développement de modèles 4. Entrées d un modèle de simulation (génération des nombres aléatoires) 5. Outils de simulation 6. Analyse et validation des résultats de simulation Mode d évaluation : continu, examen. Références - Byron J. T. Morgam «Elements of simulation» CHAPMAN AND HALL - S.V. Hoover and R.F. Perry «SIMULATION: A Problem-Solving Approach» - E. Russell «Building Simulation Models with SIMSCRIPT II.5» Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 38

39 Intitulé du Matière : Systèmes sur puce (SoC) Semestre : 2 Enseignant responsable de l UE : Hamoudi KALLA Enseignant responsable de la matière: Hamoudi KALLA Objectifs de l enseignement Un système sur puce, System-on-Chip, SoC, est un système hétérogène, composé d'éléments de natures diverses (composant logiciel, matériel, ASIC,...). Ce cours présente les différentes phases de la mise en oeuvre de tels systèmes. Connaissances préalables recommandées Architectures des ordinateurs Contenu de la matière : - Problématique des systèmes embarqués - Introduction au SoC - Etat de l'art technologique - Reuse et Les IP (Intellectual Property), composants virtuels - Modélisation des systèmes sur puce : - Les langages de haut niveau - Langage pour la conception conjointe (SystemC) - Architecture matérielle des systèmes sur puce - Les systèmes d interconnexion - partitionnement logiciel/matériel - outils de simulation et de synthèse Mode d évaluation : continu, examen. Références - OSCI and NC-SystemC. Simulators for systemc. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 39

40 Intitulé du Matière : Modélisation des systèmes embarqués Semestre : 2 Enseignant responsable de l UE : Hamoudi Kalla Enseignant responsable de la matière: Mohamed Betta Objectifs de l enseignement L objectif de cours est de montrer les techniques permettant la modélisation des aspects dynamique et temporel des systèmes embarqués. Connaissances préalables recommandées Génie logiciel, Logique mathématique, Théorie des langages Contenu de la matière : - Principe de la modélisation : Présentation des principes de modélisation : qu est-ce que modéliser, pourquoi modéliser, et comment. - Approche muti-paradigmes (Objet, Composant, Aspect) à la modélisation des systèmes Embarqués - Notion de modèle et méta-modèle - Les techniques de méta-modélisation - langages de modélisation - Automates communicants, temporisés, hiérarchiques, hybrides - Réseaux de Petri, réseaux de Petri temporels - Introduction à UML Mode d évaluation : continu, examen. Références E,-R Olderog and H. Dierks. Real-Time Systems formal specification and automatic verification. CAMBRIDGE UNIVERSITY PRESS 2008 Carol Britton and Jill Doake. A STUDENT GUIDE TO OBJECT-ORIENTED DEVELOPMENT. ELSEVIER 2005 Henri Habrias Marc Frappier. Software Specification Methods. ISTE 2006 Hermann Kopetz. REAL-TIME SYSTEMS Design Principles for Distributed Embedded Applications. KLUWER ACADEMIC PUBLISHERS 1997 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 40

41 Intitulé de la matière : Routage Semestre : 2 Enseignant responsable de l UE : Chafik ARAR. Enseignant responsable de la matière : Chafik ARAR. Objectifs de l enseignement Le routage figure parmi les composants fondamentaux d'un système de communication. Ce module, couvre les principaux aspects liés au routage dans les réseaux informatiques. Il permettra à l'étudiant de comprendre les décisions techniques prises dans plusieurs propositions existantes et de développer sa propre capacité de conception de nouvelles approches de routage. Connaissances préalables recommandées Ce cours nécessite des connaissances élémentaires sur les réseaux. (module réseaux) Contenu de la matière : Introduction aux principaux aspects liés au routage. Protocoles de routage du type unicast et multicast. Le monde Internet : adressage, subnetting et supernetting (CIDR). Routage intra et interdomaine. Routage dans les réseaux mobiles et de mobiles Les techniques modernes de routage. Mode d évaluation : continu, examen. Références 1. "Réseaux", Andrew Tanenbaum,Pearson Education. 2. "Computer Networks: A system approach", Larry Peterson and Bruce Dave, Morgan Kaufmann. 3. "Routing in the Internet", Christian Huitema, Prentice Hall. 4. "Internetworking with TCP/IP: Principles, protocols, and architectures", Douglas Comer, Prentice Hall. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 41

42 Intitulé de la matière : Sécurité des réseaux Informatique. Semestre : 2 Enseignant responsable de l UE : Chafik ARAR. Enseignant responsable de la matière : Nora ALLOUI. Objectifs de l enseignement Ce module a pour objectif de donner une vision globale et cohérente de la sécurité des réseaux. Il introduit les enjeux, les concepts, les technologies les plus à jour en sécurité. Il permet de se familiariser avec le vocabulaire, les standards et les technologies du domaine Connaissances préalables recommandées Ce cours nécessite des connaissances élémentaires sur les réseaux. (module réseaux) Contenu de la matière : Qu est ce que la sécurité des réseaux? La cryptographie. L authentification L intégrité. Stéganographie Certificats et Distribution des clés. Secure . Commerce électronique. Network-Layer Security : IPsec. Mode d évaluation : continu, examen. Références 1. Applied Cryptography. Bruce Schneier. John Wiley & Sons. 2. Les protocoles de sécurité de l'internet. S. Natkin. Dunod. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 42

43 Intitulé de la matière : Introduction aux systèmes multi-agent Semestre : 2 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Ammar LAHLOUHI Objectifs de l enseignement Cette matière permet à l étudiant de s initier aux notions de base des modèles multiagent. Elle lui explique les notions d autonomie des agents et de coopération et lui donne les premières idées sur les types d agents. Connaissances préalables recommandées Notions de base sur l ingénierie des connaissances Notions de base sur le paradigme orienté objet Contenu de la matière : Chapitre 1. Aspects individuels des agents Chapitre 2. Quelques applications des agents individuels Chapitre 3. Des agents individuels aux systèmes multi-agents Chapitre 4. Applications nécessitantes des modèles multi-agents Chapitre 5. Implémentation multi-agents : Simulation et Génie logiciel orienté agent Mode d évaluation : Examen Références Russel & Norvig, Artificial Intelligence : A Modern Approach, 2 nd édition, Prentice Hall, 2003 Michael Wooldridge, An Introduction to MultiAgent Systems, John Wiley & Sons, Inc., 2001 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 43

44 Intitulé de la matière : Méthodes de résolution de problèmes Semestre : S2 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Ammar LAHLOUHI Objectifs de l enseignement L objectif est l étude de la résolution de problèmes par recherche sur un ensemble d états est d approfondir cet aspect vers les méta-heuristiques Connaissances préalables recommandées Expérience avec des langages de programmation Contenu de la matière : Chapitre 1. Intelligence artificielle et résolution de problèmes par recherche Chapitre 2. Recherche aveugle, Chapitre 3. Méthodes heuristiques Chapitre 4. Algorithme A* Chapitre 5. Méta-heuristiques Mode d évaluation : Examen Références Russel & Norvig, Artificial Intelligence : A Modern Approach, 2 nd édition, Prentice Hall, 2003 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 44

45 Intitulé du Matière : Technologie web Semestre : 2 Enseignant responsable de l UE : Rachid Seghir Enseignant responsable de la matière: Ali Behloul Objectifs de l enseignement Le but de ce cours est d apporter aux étudiants les connaissances théoriques et pratiques des technologies Web, et en particulier présenter les principales méthodes, langages et outils dédiés à la conception d'applications Web. Connaissances préalables recommandées Contenu de la matière : - HTML/XHTML, CSS - Les concepts de la programmation dynamique Web - Introduction Les langages de programmation Web (PHP, XML, JSP, ASP,...). - PHP, PHP-MySQL - XML/ XSLT - JavaScripts et AJAX - Java Server Pages (JSP) et Servlets. Mode d évaluation : continu, examen. Références PHP professionnel, Ed. Eyrolles, août Java servlets, J. HUNTER, O'Reilly XML, R. Eckstein & M. Casabianca, 1ere édition, avril JSP Professionnel Wrox Tean Eyrolles, février 2001 JPS Java Sever Pages Développement de sites wels dynamiques XML, le guide de l utilisateur, Osman Eyrolles, E.R. Harold Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 45

46 Intitulé du Matière : Méthodologies de Recherche Semestre : 2 Enseignant responsable de l UE : Rachid Seghir Enseignant responsable de la matière: Rachid Seghir Objectifs de l enseignement Permettre aux étudiants de s initier aux principales méthodes de recherche, de mener correctement un projet de recherche, et de savoir communiquer les résultats de la recherche. Connaissances préalables recommandées Contenu de la matière : - La recherche publique et en entreprise - Méthodes de recherche - L évaluation de la recherche - Les outils d un chercheur - Communication des résultats de la recherche. Mode d évaluation : continu, examen. Références Dalhoumi S. «Cours de méthodologie», support de cours, Formation de formateurs, Cerist, Alger, Février Labasse B., «La communication scientifique ; principes et méthodes», Pôle Universitaire de Lyon, 2001 Mucchielli A., «La nouvelle communication : épistémologie des sciences de l'information communication», Armand Collin, 2000 Salvador Juan. «Méthodes de recherche en sciences socio-humaines : Approche critique des techniques», Presses Universitaires de France (PUF), 1999, p304. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 46

47 Intitulé de la matière : Systèmes multi-agent Semestre : 3 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Kadache Nabile Objectifs de l enseignement Le module permet d introduire l étudiant aux concepts des systèmes d agent et multi-agent, des principes de conception et d implémentation d agents autonomes intelligents. Il permet aussi d expliquer les techniques et approches de communication et de coopération. Connaissances préalables recommandées Notions de base d intelligence artificielle Notions des paradigmes de programmation Contenu de la matière : 1. Introduction 1.1 agents et objets 1.2 agents et systèmes experts 1.3 agents et systèmes distribués 2. Agents Intelligent 2.1 Architectures abstraites d agents 2.2 Conception d agents intelligents 2.3 Agents comme systèmes réactifs (e.g., architecture de subsumption); 2.4 Agents hybride (e.g., PRS); 3. Multiagent Systems: 3.1 Languages et protocols d interaction 3.2 Coopération 3.3 Applications 4. Prise de Decision Multiagent 4.1 interactions multi-agent 4.3 formation de coalitions 4.4 allocation de ressources rares Mode d évaluation : Examen Références 1. Russel stuart and Norvig Peter: Artificial intelligence: A modern approach, Pearson education, Michael Wooldridge: An Introduction to MultiAgent Systems - Second Edition, John Wiley & Sons, 2009 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 47

48 Intitulé de la matière : Intelligence Computationnelle Semestre : 3 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Saadi Leila Objectifs de l enseignement A l issue de module, l étudiant aura compris le paradigme de l intelligence calculatoire mais aura appris aussi de nombreuses méthodes en relation avec ce paradigme. Connaissances préalables recommandées Notions de base l intelligence artificielle et systèmes experts Contenu de la matière : 1. Optimisation et problèmes NP-Complets 2. Réseaux de neurones 3. Systèmes flous et hybrides 4. Informatique Evolutionnaire, 5. Swarm Intelligence, 6. Systèmes immunisés artificiels 7. Applications Mode d évaluation : Examen Références 1. Toel tenne and Chi-Keong Goh: Computational intelligence in optimisation, Springer, S. Sumathi and P. Surekha: Computational intelligence: Theory and practice using MATLAB, CRC Press, Andries P. Engelbrecht: Computational intelligence: An introduction, John Willey & Sons, 2002 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 48

49 Intitulé de la matière : Informatique pervasive Semestre : 3 Enseignant responsable de l UE : Ammar LAHLOUHI Enseignant responsable de la matière: Ammar LAHLOUHI Objectifs de l enseignement L objectif de ce cours est d introduire les étudiants au domaine de l informatique pervasive. Il présente l informatique pervasive et explique ses notions de base. Connaissances préalables recommandées Notions élémentaires sur les interfaces homme-machine Contenu de la matière : Chap. 1: Introduction 1.1 Tendances actuelle de l informatique: Du virtuel au physique 1.2 Contexte, Sensibilité au contexte (Context-awarness), et Situations 1.3 Quand les systèmes deviennent sensibles au contexte Chap. 2 : Structure et éléments d un système pervasive 2.1 Analogies 2.2 Les éléments d un système pervasive : Sentir, Penser, Agir 2.3 Infrastructures, Middleware, et outils 2.4 Issues de Sécurité, Protection, et efficacité Chap. 3 : Services mobiles sensibles au contexte 3.1 Essor des services mobiles 3.2 Contexte pour utilisateurs de dispositifs mobiles 3.3 Services Ambiants Chap. 4 : Systèmes pervasive sensibles au contxte 4.1 Interaction entre utilisateur et communautés multiples: Impacte du mouvement de l utilisateur 4.2 Amélioration des Services mobiles sensible au contexte avec code et politique mobiles et avec la technologie Multiagent Mode d évaluation : continu, examen. Références 1. SENG LOKE: Context-Aware Pervasive Systems: Architectures for a New Breed of Applications, Taylor & Francis, Stefan Poslad : Ubiquitous Computing : Smart Devices, Environments and Interactions, Wiley, 2009 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 49

50 Intitulé de la matière : Réseaux ad hoc et modèles de mobilité Semestre : 3 Enseignant responsable de l UE : Kalla Hamoudi Enseignant responsable de la matière: Kalla Hamoudi Objectifs de l enseignement A l issue de ce module, l étudiant doit avoir appris les notions de base des réseaux sans fils, mobile, ad hoc et peer-to-peer. Il doit aussi avoir appris les modèles de mobilité pouvant être utilisés par les nœuds mobiles. Connaissances préalables recommandées Notions de base sur les réseaux Contenu de la matière : Chap. 1: Introduction Chap. 2: Fondement des Réseaux mobiles ad hoc 2.1 Mobilité & Contrôle de Topologie 2.2 Routage : Unicast, Broadcast, Multicast, Geocast 2.3 Protocole de Transport 2.4 Qualité de Service, Gestion d énergie &Security Chap. 3 : Modèles de Mobilité individuelle 3.1 Mobilité Random Walk 3.2 Mobilité déterministe 3.3 Mobilité comportementale Chap. 4: Modèle de mobilité de group 4.1 Mobilité de groupe structuré 4.2 Mobilité de groupe assemblé 4.3 Modèles de mobilité individuelle étendant la mobilité de groupe Chap. 5: Modèles de mobilité Flocking/Swarming Mode d évaluation : Examen Références 1. Radhika Ranjan Roy: Handbook of Mobile Ad Hoc Networks for Mobility Models, Springer, Subir Kumar Sarkar, T. G. Basavaraju, C. Puttamadappa : Ad Hoc Mobile Wireless Networks: Principles, Protocols, and Applications, Taylor & Francis, 2008 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 50

51 Intitulé de la matière : Systèmes distribués Semestre : 3 Enseignant responsable de l UE : Kalla Hamoudi Enseignant responsable de la matière: Hedjazi Djalal Objectifs de l enseignement L étudiant aura appris les principes, techniques et méthodes des systèmes distribués lui permettant de comprendre saisir les aspects en relation avec la distribution des connaissances. Connaissances préalables recommandées Notions de base sur les réseaux et sur les processus Contenu de la matière : Chapitre 1: Communication Interprocessus 1.1 Processus et Threads 1.2 Modèle Client/serveur 1.3 Middleware 1.10 Agents Mobiles Chapitre 2: Modèles de Communication 2.1 Modèle de passation de message 2.2 Variables Partagées 2.3 Modélisation des agents mobiles 2.4 Relations entre les Modèles Chapitre 3: Representation des algorithmes distribués: Syntax and Semantics 3.1 Critères de Correction : Properiétés Safety and Liveness 3.2 Actions Guardées, Nondeterminisme, Operations Atomiques, Chapitre 4: Consistence et replication Chapitre 5: Systèmes tolérants aux fautes 5.2 Classification des fautes 5.3 Spécification des fautes Chapitre 6: Gestion de groupes Mode d évaluation : Examen Références 1. Sukumar Ghosh : Distributed systems: an algorithmic approach, Chapman & Hall/CRC, A. S. Tanenbaum: Distributed systems principles and paradigms, third edition, Prentice hall, 2008 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 51

52 Intitulé du Master : Robotique collective Semestre : 3 Enseignant responsable de l UE : Med Rida Abdessemed Enseignant responsable de la matière: Med Rida Abdessemed Objectifs de l enseignement La robotique collective est domaine différent du domaine informatique mais comporte des aspects d intelligence collective et de mobilité. Le but est de faire découvrir aux étudiants ses notions de base et ses applications ainsi que sa conception et implémentation. Connaissances préalables recommandées Intelligence artificielle et systèmes experts Contenu de la matière : 1. Introduction : 1.1. Architecture de robots selon le modèle senseurs-contrôleur-actionneurs, 1.2. Intelligence collective via la robotique de groupe 2. Robotique bio-inspirée 3. Algorithmes spécifiques 3.1. Greedy search 3.2. Optimisation par essaims particulaires (PSO) 3.3. Logique floue basée stratégies 4. Applications 4.1. Robotique en essaim pour la localisation des sources de signale multiples 4.2. Apprentissage du comportement 5. Robotique mobile autonome 5.1. Evitement d obstacles 5.2. Recherche collective Mode d évaluation : Examen Références 1. Janos Fodor and Janusz Kacprzyk, Aspects of Soft Computing, Intelligent Robotics and Control, Springer, Roland Siegwart and Illah R. Nourbakhsh, Introduction to Autonomous Mobile Robots, MIT Press, Reza N. Jazar, Theory of Applied Robotics, Kinematics, Dynamics, and Control, Springer Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 52

53 V- Accords ou conventions Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 53

54 VI Curriculum Vitae des Coordonateurs Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 54

55 1. Curriculum Vitae De M. NOUI Lemnouar (Responsable de domaine) Département de Mathématiques Faculté des Sciences Université de Batna Tel Grade: Professeur. I- Diplômes Date et lieu d obtention Spécialité Diplôme à Batna 1978 Mathématiques techniques Baccalauréat à USTHB Alger 1982 Algèbre DES à USTHB Alger 1985 Algèbre Magister à Montpellier France 1995 Algèbre Doctorat II- Publications et Communications A) Articles 1) L.NOUI et Phillipe REVOY, Formes trilinèaies alternées, Annales de Mathématiques, Blaise Pascal ( France), ) L.NOUI et Phillipe REVOY, Algèbres de Lie orthogonales et formes trilinèaires alternées, Communications in Algebra, 25 (2) (1997). 3) L.NOUI, Transvecteurs de rang 8 sur un corps algébriquement clos, Comptes Rendues. Academie des.sciences. Paris..Série I. p , 1997, Algèbre. 4) Algèbres de Lie 2-nilpotentes. Algebra and Number theory. Volume 1. Number 1. Year pp ISSN X. 5) On Cernikov-by-nilpotent groups. Journal of Algebra and its Applications. Volume 4- Number 2-April pp ) Maximal Complexity of Trivectors. African Journal of Mathematics. Volume 4. Number 1, pp ) Une classe de groupes localement nilpotents, African Journal of Mathematics. Volume 4. Number 1. pp ) A note on consecutive ones in a binary matrix..applied Sciences (APPS). pp Volume 9. Electronic Edition. ISSN ) K-formes of 2-Step Splitting Trivectors. International journal of Algebra. Vol. 2, 2008, no. 8, pp ) Properties of subgroups not containing their centralizers. Annales de Mathématiques. Blaise Pascal, (2009). B) Communications 1) L.NOUI, Classification des trivecteurs de rang 8 sur un corps algébriquement clos de caractéristique quelconque, Colloque d'algèbre USTHB, ) L.NOUI, Classification de certaines formes trilinèaires alternées de rang 8 sur un corps quelconque, Colloque d'algèbre USTHB, Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 55

56 3) L.NOUI, Classification des formes trilinèaires alternées de rang 8, Colloque Université Haleb.Syrie ) S. Zaouia and L. Noui Classe de Conjugaison d'une famille de groupes "Actes des Journées scientifiques Algéro- Francaises en physique théorique et mathématique, pp Publication de l'université de Haute Alsace (France) )-- NOUI Lemnouar, Algebraic and Numeric invariants of the linear codes. The 2001 International Arab Conference on Information Technology, pp (ACIT'2001). Jordan University of Science & Technology. 6)- NOUI Lemnouar, Algèbres de Lie 2-nilpotentes, 3th Symposium in Algebra And Number Theory. University Mentouri of Constantine, Algeria, Mai )- NOUI Lemnouar, Doubles Classes et Codes Linèaires, Rencontre des Mathématiciens Algériens, Alger , Mai ) NOUI Lemnouar, Invariant des codes linèaires, 2=ème Rencontre Internationale d'analyse Mathématique et ses Applications, 19, 20 et 21Novembre 2000, Université de M'sila. 9)- NOUI Lemnouar, Binary matrices and data compression, 2 nd IEEE GCC conférence November 23-25, 2004, Bahrain. 10) Noui. L, Cryptosystem based on Matrix reordering problem. Rencontre des Mathematiciens Algeriens, USTHB, RMA ) Noui. L et Chebbah Hasna, Algorithme de chiffrement d un cryptosysteme, Rama 7, Rencontre internationale d analyse mathématiques et applications, Université de Batna Novembre ) Noui. L et Midoune noureddine, Trilinear alternating forms on a vector space of dimension 8, Rama 7, Rencontre internationale d analyses mathématiques et applications, Université de Batna Octobre III- a) Encadrement de thèses de magister soutenues 1-Midoune Noureddine, Groupes d'automorphismes des formes trilinèaires alternées de rang 8, soutenue le 05 / 05 / 1998 à l'université de Constantine. 2-Chebel. Zohir. Sur les trivecteurs de rang 8, soutenue le 16 / 12 / 1998 à l'université de Constantine. 3-Chelgham Mourad. Trivecteurs et Anneaux frobenuisiens, soutenue le 06 / 05 / 2000 à l'université de Constantine. 4-Ghecham Naana. Etude comparative des codes classiques, soutenue le 18 /10 / 2001 à l'université de Batna. 5-Zaouia saliha, Etude algébrique des groupes ponctuels et cristallographiques, soutenue le 18 / 10 / 2001 à l'université de Batna.. 6. Adoui Salah, Outils algébriques et cryptosystemes, Université de Constantine.2010 III-b) Encadrement de thèses de doctorats soutenues 1, Midoune Noureddine, classification des formes trilineaires alternées de rang 8 sur un corps fini , Guenda kenza, sur la classification des codes, 22/4/2010, département de Mathématiques, USTHB IV- Projets de recherches. 1- Longueur de trivecteurs de rang 8 sur des corps spéciaux. Code B* 0501 / 02 / Théorie algébrique des codes correcteurs d'erreurs Code B* 0501 / 02 / 99 Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 56

57 3- Sur la classification des codes linèaires Code B* 0501 / 04 / L algebre et la transmission des données Code B V- Reviewer Reviewer pour Mathematical Reviews depuis Mars VI- Ouvrages 1. L. Noui Algèbre. Notions fondamentales, 1= Année de l'université, presse de l'université de Batna, L. Noui Algèbre, Algèbre linèaire, 1= Année de l'université, presse de l'université de Batna, L.Noui Algèbre par les exercices, 2= année de l'université, OPU. 4- L-Noui Algèbre par les exercises, 3=année de l'université, OPU ; VII- Responsabilité 1, Responsable du domaine Mathématiques Informatique 2, Responsable du parcours de master «Cryptographie et sécurité» au département d informatique. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 57

58 2. CV de M. Zidat Samir (Responsable de filière) Nom et prénom Date et lieu de naissance Nationalité Profession Adresse Téléphone ZIDAT Samir 04 Décembre 1961 à Batna Algérienne Enseignant Informaticien Université de Batna Département d informatique Batna, Algérie. Samir.zidat@gmail.com Expérience Professionelle Postes occupés: Administratif: Chef de département Adjoint de département Informatique, Institut National Enseignement Supérieur de Mécanique. Université de Batna. ( ) Chef de Centre de calcul Institut National d Enseignement Supérieur de Mécanique. Université de Batna. ( ) Chef de département Adjoint de département Informatique, Institut National d Enseignement Supérieur de Mécanique. Université de Batna. ( ) Responsable de la cellule de stage et formation de département Informatique,. Université de Batna. ( ) Chef adjoint de Centre de l Université de Batna. ( ) Chef de Centre de l Université de Batna. ( ) Chef adjoint de département Informatique responsable de la pédagogie. Université de Batna ( ) Chef adjoint de département Informatique responsable de la post- graduation ( ) Scientifique: Membre du conseil scientifique ( ) ( ) ( )( ) Membre Chercheur dans plusieurs projets de recherches scientifiques CNEPRU. Projet CNEPRU en cours : Codification du projet : B* Durée du projet : (03 ans) du : 01/01/2009 au 31/12/2011 Intitulé : Etude et développement d hypermédias adaptatifs pour l apprentissage. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 58

59 Autres: Président de l association Scientifique El Khawarizmi Connaissances Scientifiques Théorie Pratique Recherche opérationnelle, Système d information et intelligence artificielle, traitement d image, Réseaux et communication de données, Génie logiciel, TIC. Systems: Windows Languages: Delphi, Java, PHP, Visual Foxpro, MS SQL Server Oct Diplôme: Doctorat en Informatique, Université de Batna Sujet: Formation «Evaluation d un environnement d enseignement coopératif à distance sur Internet» 2002 Diplôme: Magistère en Informatique, Université de Batna Sujet: «Un système intelligent pour l aide au diagnostic des maladies rénales» 1985 Diplôme: Ingéniorat en Informatique, Université de Constantine 1980 Diplôme: Baccalauréat (Techniques Mathématiques) - Batna Domaines de Recherche Domaines Enseignement à distance: - Evaluation d environnements pédagogiques - Agents intelligents en EAD - Attitudes de l'apprenant - Laboratoire virtuel - Interfaces de labo. virtuel - Hypermédia adaptatif - Multimédia en elearning - Modélisation de l'usager - Les TIC en Algérie - Ontologies en Elearning Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 59

60 Publications Scientifiques Revues Internationale s Conférences Internationale s 1. Samir Zidat, Mahieddine Djoudi, "Online Evaluation of Ibn Sina Elearning Environment", Information Technology Journal (ITJ), ISSN: , Vol. 5, No. 3, 2006, Samir Zidat, Mahieddine Djoudi, "Task Collaborative Resolution Tool for Elearning Environment", Asian Journal of Information Technology (AJIT), ISSN: , Vol. 5, No. 3, 2006, Samir Zidat, Mahieddine Djoudi, "Task Collaborative Resolution Tool for Elearning Environment", Journal of Computer Science, ISSN: , Vol. 2, No. 7, 2006, Samir Zidat, Talhi Said, Djoudi Mahieddine, «Apprentissage à distance par hypermédias intelligents», Conférence internationale des technologies de l information et de la communication, Citic 2009, 4-5 mai 2009, Université de Sétif, Algérie, Zidat Samir, Bellaouar Slimane, Djoudi Mahieddine, «Construction et utilisation d un thésaurus pour la recherche d information sur le web», Conférence internationale des technologies de l information et de la communication, Citic 2009, 4-5 mai 2009, Université de Sétif, Algérie, Samir Zidat, Mahieddine Djoudi,Said Talhi (2007). " Les TIC au service de la formation universitaire. Le Premier séminaire International sur l Ingénierie Pédagogique. Université Hadj Lakhdar Batna. 02,03 Décembre 4. Talhi, S., Djoudi, M., Ouadfel, S., Zidat, S. (2007). "Un tuteur intelligent hypermédia pour le soutien en apprentissage à distance". 3e conférence en Environnement Informatique pour l'apprentissage Humain, EIAH 2007, Lausanne, Suisse., Juin 5. Talhi, S., Djoudi, M., Ouadfel, S., Zidat, S. (2007). "Un Canevas de Tuteur Intelligent Hypermédia pour l Apprentissage à Distance Universitaire". International Conference on Computer Integrated Manufacturing CIP 2007, 3 4 Novembre 6. Said Talhi, Mahieddine Djoudi, Samir Zidat, M., Ouadfel, (2007). "Ingenierie pédagogique au service de l université. Le Premier séminaire International sur l Ingénierie Pédagogique. Université Hadj Lakhdar Batna. 02,03 Décembre 7. Said Talhi, Mahieddine Djoudi, Salima Ouadfel, Samir Zidat(2007). "Authoring Intelligent Tutoring Systems for Disabled Learners", The first International Conference on Information and Communication Technology and Accessibility, Hammamet - Tunisia, April Samir Zidat, Mahieddine Djoudi, "Assessing learner's involvement in a collaborative resolution of tasks", Conférence Internationale sur l'informatique et ses Applications, CIIA'2006, Saida - Algérie, mai Said Talhi, Mahieddine Djoudi, Mohamed Batouche, Salima Ouadfel, Samir Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 60

61 Zidat, Abdelmadjid Zidani, "Formation à distance asynchrone sur le Web : Un Système Tuteur Intelligent basé sur l'hypermédia", Conférence Internationale: Sciences Electroniques, Technologies de l'information et des Télécommunications, IEEE SETIT 2005, Sousse, Tunisie, ISBN , actes sur CDROM, Mars Samir Zidat, Mahieddine Djoudi, Abdelmadjid Zidani, Said Talhi, "Résolution collaborative d'exercices en situation d'apprentissage à distance", Conférence Internationale: Sciences Electroniques, Technologies de l'information et des Télécommunications, IEEE SETIT 2005, Sousse, TUNISIE, ISBN , actes sur CDROM, Mars Samir Zidat, Mahieddine Djoudi, Said Talhi, Abdelmadjid Zidani, "Démarche pour l'évaluation de plates-formes d'enseignement à distance", Séminaire Euro-Mditerranéen pour l'approfondissement de la Formation à Distance, SEMAFORAD, Bejaia, Algérie., Nov Samir Zidat, Mahieddine Djoudi, Abdelmadjid Zidani, Said Talhi, "Appréciation de la participation des apprenants en situation de résolution collaborative d'exercices", Congrès International en Informatique Appliquée, CIIA'05, Bordj Bou Arréridj, Algérie., Novembre Said Talhi, Mahieddine Djoudi, Samir Zidat, Mohamed Batouche, "Un système tuteur intelligent hypermédia pour l'apprentissage à distance asynchrone", Congrès International en Informatique Appliquée, CIIA'05, Bordj Bou Arréridj, Algérie., Novembre Samir Zidat, Mahieddine Djoudi, Abdelmadjid Zidani, Said Talhi, "Collaborative Resolution of Exercises in Situation of Distance Learning", 2004 International Arab Conference on Information Technology (ACIT2004) Constantine, Algeria, ISSN: , December Abdelmadjid Zidani, Mahieddine Djoudi, Samir Zidat, Said Talhi, "CHELIA: Un environnement coopératif pour le l'apprentissage sur Internet", 6eme Colloque CARI'2002 de l'inria, ISBN : , Yaoundé, Cameroun, Octobre 2002, pp Samir Zidat, Abdelmadjid Zidani, Mahieddine Djoudi, Said Talhi, "CHELIA : Une Plate-forme Coopérative pour l'apprentissage sur Internet", 2eme Colloque international sur l'université virtuelle, Alger, May Mahieddine Djoudi, Abdelmadjid Zidani, Samir Zidat, "Edition coopérative de cours structurés dans l'environnement CHELIA", Séminaire international 18. Djoudi M., S. Zidat S. and Zidani A., «Collaborative Edition of Structured Courses Within CHELIA Environment» Proceedings of the International Seminary on Courses Building in Distance Learning Settings (Continue Formation University) - Algiers, January Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 61

62 Conférences Nationales Thèse 1. Samir Zidat, Mahieddine Djoudi, "Evaluation de la plate-forme d'enseignement à distance Ibn Sina", Journées d'étude sur les TIC, JeTIC2006, Bechar, Algérie, Avril Walid Touari, Mahmoud Djabir, Mahieddine Djoudi, Samir Zidat, "SAWEB : système d'évaluation en ligne des enseignements", Colloque National sur la physique et applications (CNPA02) Batna (Algérie), octobre Zidat S. «Evaluation d un environnement d enseignement à distance coopératif sur Internet» thèse de Doctorat es Science en Informatique, Université de Batna, Octobre Zidat S. «Un système intelligent pour l aide au diagnostic des maladies rénales» Magistere en Informatique, Université de Batna, Juillet Centres d intérêts Activités culturelles et Sport. Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 62

63 Curriculum vitae Informations personnelles Prénom & Nom Profession, Grade & Institution Courrier électronique Ammar LAHLOUHI Maitre de conférences A, Université Hadj Lakhder de BATNA Mobile Nationalité Algérienne Date de naissance Expérience professionnelle Actuellement Juin Sep Dec Juin Mars Dec Sep Mars Mars Sep Maitre de conférences A, Université de Batna Maitre de conférences, Université de Biskra Maitre assistant Chargé de cours, Université de Biskra Maitre assistant, Université de Biskra Assistant stagiaire, Université de Biskra Assistant stagiaire, Université de Batna Expérience de recherche Chef du projet CNEPRU intitulé " Systèmes multi-agents : Méthodologie et applications " au département d informatique de l université de Batna Elaboration de la méthodologie de développement de systèmes multi-agents MASA-Method Membre du projet européen Cristel du Programme européen commun Tempus 2005 Membre du projet de coopération Franco-Algérien de «Licence professionnelle» entre le laboratoire Lire, de l université Mantouri de CONSTANTINE, et CNAM Paris Chef du projet CNEPRU " MASA: Modélisation multi-agents de systèmes à composants autonomes et hétérogènes " au département d informatique de l université de Biskra Membre du projet de coopération franco-algérien entre le laboratoire Lire, de l université Mantouri de CONSTANTINE, et CNAM - Paris Responsabilités scientifiques Actuellement Mars Président du comité scientifique du département d informatique (Université de Batna) Président du comité scientifique du département d informatique (Université de Batna) Etablissement : Université Hadj Lakhdar de BATNA, Intitulé du master : Systèmes intelligents mobiles Page 63