Exemple de rapport de projet
Contents
1. de BibTeX Le livre de R David et H Alla 2 est une bonne introduction aux r seaux de Petri en Franais L article de T Murata 4 est une tr s bonne synth se sur de nombreux aspects des r seaux de Petri On utilisera les exemples de ce papier comme jeu de base pour les tests g n raux des logiciels Dans 6 l auteur expose les preuves de r sultats difficiles sur les r seaux Les r seaux color s 3 et les r seaux stochastiques 1 constituent des extensions maintenant classiques des r seaux de Petri ordinaires Conclusion Placer la conclusion dans cette section UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 5 7 A Fichiers du syst me PJR La composition automatique du rapport emploie trois types de fichiers Fichiers du syst me lATEX2e ils font partie de la distribution de l TEX2e ne pas les modifier Fichiers du syst me PJR ils permettent de composer un rapport selon le mod le voulu voir leur liste dans le tableau 1 IIs ne doivent pas tre modifi s exemple pjr tex Fichiers sp cifiques un rapport ils contiennent les textes r dig s par l auteur du rapport pro prement dit Ils sont employ s par le syst me PJR par des commandes d inclusion include fichier et doivent donc obligatoirement tre pr sents Tab 1 Remarque A 1 Ne modifier que les fichiers indiqu s modifiables dans le tableau 1 Par exemple le fichier p2. que pour le corps du rapport biblio bib contient les r f rences bibliographiques pour le rapport au format BibTex Lorsque ces fichiers sont jour il suffit de lancer la compilation compiler une premi re fois le fichier pjir tex lancer BibTex recompiler relancer BibTex si n cessaire O A N gt recompiler UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 2 7 Ps p P3 Pa FIG 1 Exemple de GSPN avec transition PH On obtient le fichier pjr dvi Il est alors possible de le visualiser ou de l imprimer apr s l avoir converti en format d impression avec dvips par exemple Les fichiers de commandes sous MS DOS t bat etpjr bat permettent de compiler une partie ou l ensemble regroupant donc toutes les phases ci dessus du rapport Ils doivent tre adapt s chaque configuration et sont facilement transposables en scripts sous UNIX Le fichier pjx davi est la version avi du pr sent texte pix ps en est la version Postscript c est celle ci qui permet de v rifier le r sultat final avec le dessin La version pdf est aussi fournie pjr paf Dans la configuration par d faut le rapport utilise des fontes Postscript ce qui permet une g n ration du format pdf de bonne qualit Pour cela il faut g n rer la version Postscript par la commande dvips P amz P cmz pjr puis la version pdf par la commande ps2pdf pjr ps pjr pdf ou pa
3. Universit de REIMS Champagne Ardenne UFR de Sciences Exactes et Naturelles Exemple de rapport de projet syst me ProlJect Report PJR sous lATEX2e P Moreaux Responsable M P Moreaux Licence d Informatique UV Projet 2004 2005 R sum Ce document est un exemple et un mod le pour la r daction de rapport de projet de l UFR de Sciences Exactes et Naturelles de l Universit de Reims Champagne Ardenne On explique la struc ture d un rapport et on montre comment utiliser les particularit s du syst me PJR Mots cl s bibliographie conclusion introduction projet r sum Abstract This document is an example and a model for writing a report project at the UFR de Sciences Exactes et Naturelles of the Universit de Reims Champagne Ardenne France It contains an explanation of the report structure and shows how to use the specific facilities of the PJR system Key words abstract bibliography conclusion introduction project Table des mati res Introduction 1 Aper u sur le syst me PJR 2 Exemple d inclusion de graphique 3 Macros du syst me PJR 8 1 Ensembles de nombres 3 2 Dialogues machine ze 8 28 mure RE re age 6 EE ae Res alt 3 3 Commandes diverses 2 202 Aus dis ed e br A NA rt de el M se 26 4 Environnements du syst me PJR 5 Exemple d inclusion de fichier source 6 Indications bibliographiques Conclusion A Fichiers du syst me PJR R f rence
4. algorithme 4 1 cor respond la lecture d une suite de notes et au calcul de leur moyenne Il existe aussi des environnements pour les th or mes begin theorem end theorem sans e ni accent les d finitions begin definition end definition sans accent les remarques begin remark end remark k les exemples begin example end example avecunal UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 4 7 5 Exemple d inclusion de fichier source Dans les rapports de travaux informatiques il est souvent n cessaire de pr senter des textes de sources de programmes Pour viter de les recopier dans le texte du rapport il faut toujours les inclure directement dans le document include lt stdio h gt define NBFLOATS 1199 1 2 3 4 main 5 6 int i 7 float t NBFLOATS 8 9 for i 0 i lt NBFLOATS i t i 1 2 i 0 x main 1 Pour cela on utilise la commande 1stinputlisting nomdufichiersource du package listings dont on pourra consulter la documentation 6 Indications bibliographiques Cette section est uniquement destin e montrer comment utiliser le syst me de bibliographie de TEX2e Dans ce but on y parle de r seaux de Petri mais on aurait pu choisir un autre domaine On trouvera des indications d taill es sur les r f rences bibliographiques dans la documentation
5. eur etc frabstra tex r sum et mots cl s fran ais intro tex introduction usabstra tex r sum et mots cl s anglais Fichiers produits par le syst me PJR pjr dvi version dvi du rapport TAB 1 Fichiers du syst me PJR UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 7 7 R f rences 1 M Ajmone Marsan G Balbo G Conte S Donatelli and G Franceschinis Modelling with Ge neralized Stochastic Petri Nets Wiley series in parallel computing John Wiley amp Sons England 1995 2 R David and H Alla Du Grafcet aux r seaux de Petri Hermes Paris 1989 3 K Jensen Coloured Petri nets In W Brauer W Reisig and G Rozenberg editors Petri Nets Central Models and their Properties Advances in Petri Nets Part I number 254 in LNCS pages 249 299 Bad Honnef Germany September 8 19 1986 Springer Verlag 4 T Murata Petri nets properties analysis and applications Proc of IEEE 77 4 541 580 April 1989 5 T Oetiker H Partl I Hyna and E Schlegl Une courte 7 introduction lATEX2e Technical report Dpt of Elec Eng Swiss Federal Ins of Tec Zurich Swiss November 2001 Traduction de M Herrb http www laas fr matthieu cours latex 6 C Reutenauer Aspects math matiques des r seaux de Petri E R I Masson Paris 1989 UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet
6. faire L adaptation du syst me PJR d autres formations travail qui est du ressort des responsables de ces formations est assur e par le fichier de configuration pjircfg tex Nouveaut s 2002 2003 accents le texte d entr e est au format Latin1 lettres accentu es pdf la g n ration de fichiers pdf est int gr e expos s un package lATEX2e pour r aliser des pr sentations cran EZTALK sera bient t dispo nible et permettra de r aliser du copier coller avec les sources l TEX2e d un rapport PJR Merci de signaler tout probl me l auteur email patrice moreaux univ reims fr 1 Aper u sur le syst me PJR Pour composer son rapport l auteur compl te modifie ou cr e simplement les quelques fichiers suivant pr sent s dans l ordre de lecture du rapport qui n est pas en g n ral celui de r daction defs tex contient les d finitions concernant les titre sous titre nom de des auteur s dates etc frabstra tex contient le r sum en Fran ais ainsi que la liste des mots cl s du rapport usabstra tex contient le r sum en Anglais ainsi que la liste des mots cl s du rapport intro tex contient l introduction du rapport body tex contient le corps du rapport Il est conseill d utiliser des commandes lATEX2e d inclusion de fichiers correspondant un d coupage logique du texte conclu tex contient la conclusion du rapport appendix tex contient les annexes du rapport m me principe
7. inon afficher pas de note finsi fin pjrkbd clavier repr sente la suite de cararct res clavier frapp s au clavier clavier pijrscr ecran repr sente la suite de cararct res ecran affich s sur l ecran ecran pjrkey CTRL repr sente la frappe de la touche CTRL au clavier pjrcode z u repr sente du code de programme dans un langage de programmation quel qu il soit z u pjrfile nomfichier repr sente un nom de fichier nomfichier pjrvar nomvar repr sente un nom de variable nomvar 3 3 Commandes diverses Pour indiquer une d finition dans une expression math matique utiliser bydef Par exemple def sinx tan x bydef frac sin x cos x donne tanx 55 Pour indiquer une citation latine utiliser 1oclat vice versa ce qui donne vice versa pour la distinguer du Fran ais Remarque 3 1 Pour pouvoir composer correctement les textes en Fran ais le syst me PJR utilise le package ITEX2e Babel Consulter la partie fran aise de la documentation de Babel pour les d tails De plus l encodage en entr e fichiers texte source est au format Latin donc vous pouvez ins rer des lettres accentu es directement dans cet encodage Linux Winxx mais pas MSDOS 4 Environnements du syst me PJR Avec le syst me PJR on dispose de plusieurs environnements sp ciaux d finis dans le fichier pjrmac tex Un environnement pour les algorithmes permet de les mettre en vidence L
8. jrmac tex ne doit pas tre modifi par l utilisateur UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 6 7 Nom du fichier _ Contenu Fichiers du syst me PJR ne PAS modifier pir bat commandes MS DOS pour g n rer le rapport pir tex pilote du rapport pircfg tex fichier de configuration pirmac tex macros du syst me PJR Fichiers pour compilation isol e ne PAS modifier commandes MS DOS pour compiler un fichier seul version avi d un fichier compil seul pilote de compilation d un fichier seul cr par le pilote de compilation d un fichier seul Fichiers du pr sent rapport Exemple gspncoxl eps dessin au format Postscript encapsul begin tex premier fichier du corps du rapport exgraph tex autre fichier du corps du rapport exsource tex autre fichier du corps du rapport infbpn tex autre fichier du corps du rapport locality c autre fichier code c du corps du rapport macinfos tex autre fichier du corps du rapport fileinfo tex fichier d annexe du rapport pjx dvi version avi du pr sent document pjx ps version Postscript du pr sent document pjx pdf version pdf du pr sent document Fichiers cr s ou modifi s par l auteur appendix tex fichier des annexes biblio bib r f rences bibliographiques au format BibTeX body tex fichier contenant le corps du rapport conclu tex conclusion defs tex fichier d en t te titre sous titre nom de l aut
9. r la fonction convert de Ghostview avec le choix pdfwrite 2 Exemple d inclusion de graphique Le moyen le plus s r pour les dessins est l inclusion de fichiers Postscript gr ce des commandes appropri es qui apportent de plus une grande souplesse sur la m thode d inclusion La figure 1 pr sente un r seau de Petri g n ralis stochastique L inclusion a t demand e avec 95 de largeur de page en respectant les proportions 3 Macros du syst me PJR Le syst me PJR met la disposition du r dacteur un ensemble sp cial de macros lATEX2e d fi nies dans le fichier pjrmac tex 3 1 Ensembles de nombres Pour simplifier on dispose des commandes suivantes pour les ensembles math matiques sans utiliser de fonte particuli re ensemble macro r sultat entiers N IN relatifs Z Z r els R R complexes C C 3 2 Dialogues machine Les commandes suivantes permettent de pr senter des dialogues avec une machine ou des informations ayant une repr sentation en machine Elles sont inspir es du syst me TEXInfo de la FSF pour la cr ation de documents interactifs et papier du type manuel d utilisation UFR Sciences de Reims Licence d Informatique 2004 2005 UV Projet P Moreaux Exemple de rapport de projet 3 7 Algorithme 4 1 Calcul de la moyenne d une liste de nombres debut c0 s0 lire n tantque n gt 0 faire S s n c c l lire n finpour si c gt 0 alors afficher moyenne s c s
10. s Table des figures 1 Exemple de GSPN avec transition PH Liste des tableaux 1 Fichiers du syst me PJR SE SE ne UN SA EE 2 tee at ses D D N N P Moreaux Exemple de rapport de projet 1 7 Introduction Ce document est un exemple de rapport de projet r alis avec le syst me PJR configur pour PUV Projet de la Licence d Informatique de l UFR de Sciences Exactes et Naturelles de Reims Il est destin servir de mod le et de base de d part pour les rapports effectifs des tudiants L objectif du syst me PJR est de simplifier le travail de mise en forme du texte haut et bas de page titres table des mati res etc et d assurer une pr sentation homog ne de tous les rapports d une m me formation Pour r diger un v ritable rapport il suffit de compl ter ou cr er les diff rents fichiers que doit comporter un rapport sec 1 Lorsque cela est fait on lance la compilation l TEX2e et on obtient le rapport complet fichier pjr dvi La section 4 pr sente les environnements suppl mentaires disponibles avec PJR et la section 3 d taille les quelques macros sp cifiques au syst me PJR La section 2 donne un exemple d inclusion de dessin Postscript dans le document Le futur auteur d un rapport qui ne conna t pas le syst me lATEX devra lire le document de T Oetiker 5 sur TEX2e ou un document quivalent s il veut comprendre le pr sent texte ce qu il doit r ussir
Download Pdf Manuals
Related Search