La théorie classique de l information. 1 ère partie : le point de vue de Kolmogorov.

Dimension: px
Commencer à balayer dès la page:

Download "La théorie classique de l information. 1 ère partie : le point de vue de Kolmogorov."

Transcription

1 La théore classque de l nformaton. ère parte : le pont de vue de Kolmogorov.

2 La sute de caractères comme outl de descrpton des systèmes. La scence peut être vue comme l art de compresser les données quelles qu en soent la provenance et la sgnfcaton du contenu. Ces données, ssues le plus souvent d un ensemble de mesures expérmentales, peuvent très généralement être encodées dans de grands fchers assmlables à de longues sutes de caractères. Voc quelques exemples choss : ) Sute de nucléotdes, longue de bases (Adénne, Cytosne, Guanne, Thymne), au début de la séquence contenant les gènes d hormone de crossance et d hormone choronque humane (extrat de : O. Delgrange, La Compresson Informatque) ) Sute de trages bnares (ex. ple = 0 ou face = ) : ) Sute de nombres, dgtalsant sur 8 ou 6 bts un sgnal sonore ou graphque, un texte écrt dans n mporte quelle langue, une conversaton téléphonque, : ) Sute de nombres, {x, y}, extrats d un tableau de «mesures», peu mporte pour l nstant ce qu elles représentent mas on y revendra à la fn de l exposé : , 0<, , <, ,.9085<, 8.504,.76<, , 3.39<, , <, , <, , <, , <, 8.750, <, , <, , <, , <, , 5.886<, , 5.004<, , <, , <, , <, , <, , 4.3<, , << 5) Sute étquetée des stes vstés par un pont matérel qu décrt une trajectore dans l espace des phases. Cet espace est préalablement parttonné en N cellules auxquelles on colle une étquette codée dans un alphabet à N symboles. La dmenson des cellules dépend de la précson vsée. On capture l essentel de l nformaton concernant l évoluton du pont matérel en écrvant la sute des codes des cellules vstées à ntervalles de temps régulers suffsamment rapprochés. Voc l exemple d un pont qu décrt une courbe de Lssajous :

3 start St Echantllonnée aux temps dscrets, t = /0, /0,, la trajectore peut être encodée par la sute suvante : DDDDDDDDCCCAAAAAAAAAABDDDDDDDDDDBBBAAAAAACCCCCCCCD On peut naturellement amélorer la précson de l encodage en parttonnant l espace plus fnement mas cela allonge l alphabet. L étude des sutes dans le cadre d une théore classque de l nformaton. Les exemples qu précèdent ont en commun de consgner l nformaton dans des sutes de caractères prélevés dans un alphabet qu en comporte C, {a, a,, a C }. La dmenson de l alphabet n a pas réellement d mportance et l est toujours possble de réencoder la sute sous forme bnare en n utlsant que les caractères, '0' et '', appelés bts dans ce cas précs. Le fat que la sute sot l outl de prédlecton pour l encodage des données amène à poser un ensemble de questons fondamentales parm lesquelles nous en retendrons quatre : Comment encoder une sute sur un support en sorte qu elle sot décodable sans ambguïté? Comment effectuer cet encodage le plus économquement possble? Comment transmettre économquement le contenu d une sute à un correspondant lontan? Comment formalser et quantfer le contenu nformatonnel d une sute? La théore classque de l nformaton a notamment pour objet de répondre à ces questons. Applquée à des systèmes physques macroscopques qu encodent et manpulent les caractères de l alphabet, elle est à la base de la révoluton nformatque. La théore de l nformaton étude ben d autres questons : reconstructon d un sgnal échantllonné, protecton contre le brut de l encodage ou de la transmsson d un fcher, correctons d erreurs, compresson avec pertes,, qu relèvent davantage du domane de l ngéneur et qu ne concernent pas drectement la physque. Sgnalons encore l exstence d une théore quantque de l nformaton. La premère dfférence se stue au nveau du support physque qu réalse l encodage de l nformaton, support classque donc macroscopque dans le cas qu nous occupe c et quantque donc à l échelle atomque dans la théore quantque. D autres dfférences essentelles surgssent dues aux los qu régssent le monde quantque, très dfférentes de celles qu nous sont famlères. La théore quantque de l nformaton fat l objet d exposés séparés. 3

4 Encodage et mémorsaton d une sute : le problème du délmteur «endoffle». Il exste C N sutes dstnctes, de longueur N, écrtes dans un alphabet comprenant C caractères. Par exemple, l exste 4 = 6 sutes bnares de longueur, N=4 : 0000, 000, 000, 00, 000, 00, 00, 0, 000, 00, 00, 0, 00, 0, 0,. La mémorsaton d une sute partculère à l état brut, c est-à-dre caractère après N caractère, exge un emplacement en mémore égal à sa longueur, sot, l g C ( C ) = N, exprmé dans une unté qu on pourrat baptser C-bt (bt s C=, trt s C=3, etc ). Il est d usage de n utlser que le bt comme unté d nformaton, d où toute sute occupe, N l g( C ) = Nlg( C ) bts, en mémore ( l g, sans ndce, désgne le logarthme en base ). En partculer, s la sute est bnare, C=, N bts sont nécessares. L nventare complet des sutes, quelles qu en sot la longueur, est facle à dresser dans un ordre canonque : Λ={ε={},{0},{},{00},{0},{0},{},{000},{00},{00},{0},{00},{0},{0},{},{0000},{000},{000}, } Sot l une quelconque de ces sutes, de longueur, N, que l on cherche à mémorser au début d un support quelconque, conventonnellement appelé dsque dur (DD). Dans l exemple qu sut, cette sute est bnare pour smplfer : s = N * Sans précautons partculères, sa mémorsaton à l état brut, au début du DD, fat crandre qu elle se trouve noyée dans l ensemble des caractères déjà écrts sur le DD (éventuellement un paquet de '0') sans qu l sot possble de reconnaître l endrot exact où elle se termne. L dée qu vent mmédatement à l esprt d utlser un séparateur, une vrgule ou n mporte quel sgne dstnctf, #, ne convent pas car elle sgnfe l ntroducton d un caractère ntrus dans l alphabet bnare. On peut régler ce problème de pluseurs façons plus ou mons élégantes en recourant à une technque de délmtaton externe. Réencodage double. S on duplque chaque bt de la sute, conformément aux règles, 0 00 et, on récupère les doublets, 0 ou 0, pour l encodage du symbole termnal, #, (en gras dans l exemple) : # 0 (ou 0). Avec cette stratége, la sute s N se réécrrat : s N On vot que la sute est devenue parfatement décodable grâce au doublet 0 termnal. Toutefos sa longueur a plus que doublé ce qu représente un gaspllage nacceptable. Codage préfxe varable. Un codage varable ne consomme pas le même nombre de bts pour l'encodage de tous les symboles du message d'orgne. On comprend ntutvement qu un codage varable pusse être ntéressant pour encoder économquement une sute toutes les fos que les symboles alphabétques n y apparassent pas avec des fréquences égales : l sufft de réserver les codes courts aux symboles fréquents. Toutefos la varablté du codage ne garantt pas qu l sot unquement décodable. De fat, le codage varable suvant est ambgu : 4

5 0 0, 0, # 0. On vot que '0' étant préfxe de '0', jamas le décodeur qu commence à lre '000 ' ne saura s l dot comprendre '00#' ou '00 '. Pour être unquement décodable, un codage varable dot oblgatorement être (lbre de tout) préfxe. Un codage est préfxe s aucun des codes qu le consttuent n est le préfxe d un autre code. De plus, l est dt complet s aucune adjoncton de code n est possble sans brser le caractère préfxe de l ensemble. Par exemple le codage suvant est préfxe complet : 0 0, 0, # Il est complet parce que tout symbole supplémentare commencerat fatalement par 0, 0 ou. Ce codage préfxe permet l encodage unquement décodable de la sute, s, sous la forme : s = ** * Il semblerat que ce codage préfxe sot coûteux pusque dans le cas d'une sute aléatore, on passe, en moyenne, de bt/symbole (en abrégé b/s) à : ()/ =.5 b/s (on néglge provsorement les deux bts qu encodent le symbole termnal, #, qu n apparaît qu une seule fos en fn de sute). Toutefos, on amélorerat la stuaton en lsant la sute par blocs de deux caractères comme s elle avat été écrte dans un alphabet comprenant quatre caractères, les blocs, 00, 0, 0 et. Voc un codage préfxe complet valable pour un alphabet à quatre symboles plus un séparateur : 00 00, 0 0, 0 0, 0, # Remarque : l convendrat tout auss ben à l encodage d une séquence ADN : A 00, C 0, G 0, T 0, #. La sute de départ s encode cette fos comme sut : s = S la sute est aléatore, l encodage moyen ne consomme plus que : (/) (3x3)/4 =.5 b/s. On amélorerat encore la stuaton en lsant la sute par blocs successfs de tros bts et en utlsant le code : , 00 00, 00 00, 0 0, 00 00, 0 0, 0 0, 0, #, pour une longueur moyenne d'encodage tombant à : (/3) (7x34)/8 =.04 b/s. Le codage préfxe moyen semble tendre vers b/s à mesure que la dmenson, n, des blocs augmente mas c'est sans compter qu'l faut ncorporer la valeur de n quelque part dans l'encodage de la sute ans que le détal des codes partculers utlsés. Sans cela le décodeur sera ncapable d'effectuer son traval. Ces détals de décodablté ont un prx que l'on peut 5

6 estmer avec précson : on trouve que l encodage préfxe varable d'une sute quelconque de longueur, N, consomme, en moyenne un nombre de bts qu est de l'ordre de : * N l g( N ) lg( lg( N )) lg( lg( lg( N ))) L N lg ( N ) * où on a ntrodut la notaton condensée, l g ( n ) = lglgllg( n ). k = k fos L'encodage varable est couramment utlsé en nformatque mas l n'est pas le plus avantageux du pont de vue théorque qu nous ntéresse c. En partculer, le découpage de la sute d'orgne en blocs de longueurs constantes, n, ntrodut une dffculté qu réclame des aménagements toutes les fos que N n'est pas un multple de n. Une méthode, théorquement déale, exste qu est basée sur l'auto délmtaton. Sutes préfxes auto délmtées. On peut se passer du symbole termnal, #, en procédant comme sut. On préfxe la sute bnare par une étquette, en fat un enter bnare, qu dcte sa longueur. Comme l n'exste aucun moyen de savor où l'étquette se termne et où la sute commence, on fat parel avec l'étquette. On poursut tératvement jusqu'à rencontrer l'une ou l'autre des étquettes à deux bts, 0 ou, ce qu ne peut manquer de se produre. A ce stade, l ne reste plus qu'à préfxer le tout par le nombre total d'étquettes utlsées, en notaton unare n'utlsant que le chffre 0. Une économe est possble à tous les stades de l'tératon du fat que toute étquette bnare commençant nécessarement par le chffre, celu-c peut être oms ( l est ms entre parenthèses dans l'exemple qu sut). Seules les étquettes termnales, 0 ou, dovent être écrtes n extenso. Nous llustrons la méthode en encodant la sute, 000, de longueur, 5. 5 se note '0' en bnare où le '' ntal peut être sous-entendu ce qu lasse subsster, '0'. '0' est de longueur,, sot '0' en bnare. '0' est donc l'étquette termnale, écrte n extenso. On préfxe le tout par un double '0' pusque deux étquettes ont été nécessares au total = 0 5= ( ) () Le programme Mathematca suvant automatse l'encodage : l={,0,0,0,};longet=length[l];=0;whle[longet>3,{et=rest[integerdg ts[longet,]];l=jon[et,l],longet=length[et]};];jon[table[0,{} ],IntegerDgts[longet,],l] {0,0,,0,0,,,0,0,0,} Le décodage s'effectue comme sut. Sot à décoder, noyée à drote dans une mer de 0 et de qu polluent éventuellement le DD. On commence par compter comben de 0 préfxent le message, en fat,. Deux étquettes sont donc nécessares. La premère étquette est toujours 0 ou, c c'est 0. Elle mpose la longueur de la deuxème étquette à la valeur (=0 en bnare). Celle-c vaut '0', en fat '0' car le '' ntal a été oms à l'encodage, sot le nombre 5. Il convent donc de lre les 5 bts suvants qu consttuent la sute cherchée, en l'occurrence,

7 Cette procédure échoue pour la sute vde et les sutes à un seul élément, {0} et {}. On les encode séparément sous les formes suvantes, {,0}, {,,0} et {,,}, ce qu ne mène à aucune ambguïté pusqu'elles sont les seules à commencer par le chffre. Voc le détal des encodages des premères sutes, en commençant par la sute vde : ε {,0} {0} {,,0} {} {,,} {0,0} {0,,0,0,0} {0,} {0,,0,0,} {,0} {0,,0,,0} {,} {0,,0,,} {0,0,0} {0,,,0,0,0} {0,0,} {0,,,0,0,} {0,,0} {0,,,0,,0} {0,,} {0,,,0,,} {,0,0} {0,,,,0,0} {,0,} {0,,,,0,} {,,0} {0,,,,,0} {,,} {0,,,,,} {0,0,0,0} {0,0,,0,0,0,0,0,0,0} {0,0,0,} {0,0,,0,0,0,0,0,0,} Voc, en résumé, la lste des sutes préfxes écrte dans l ordre canonque : Λ pref ={{0},{0},{},{0000},{000},{000},{00},{0000},{000},{0 00},{00},{000},{00},{00},{0},{ },{ }, } Toutes les sutes de longueurs, N, sont encodées par une sute de longueur, l(n)>n, ou l'allongement, l(n)-n, est le prx que l'on paye pour la décodablté. La foncton, l(n), croît de façon plus ou mons régulère, on trouve pour, N =0,,, 3, 4, : l(n)={,3,5,6,0,,,3,5,6,7,8,9,0,,,7,8,9,30,3,3,33,34,35,36,37,38,39,40,4,4,44, } La sute, l(n), se comporte asymptotquement comme : * l( N ) N l g( N ) lg( lg( N )) lg( lg( lg( N ))) L N lg ( N ). On trouve ce comportement en observant que l'encodage consste à préfxer tératvement la sute d'orgne par des étquettes de plus en plus courtes qu ont typquement pour longueur le logarthme en base deux de la sute qu'elles étquettent. L (n)égalté de Kraft. Tous les codages préfxes partagent une proprété qu s avère essentelle pour la sute : ls obéssent à l (n)égalté de Kraft, l où les l représentent les longueurs des codes et où le cas d égalté à correspond aux codages complets. Illustrons cette relaton sur le codage fn préfxe et complet, , 00 00, 00 00, 0 0, 00 00, 0 0, 0 0, 0, #. 7

8 On y dénombre sept codes de longueur 3 et deux codes de longueur 4. On vérfe que l on a effectvement, = et que l égalté se transforme en une négalté s l on ampute ce code complet,. Contentons-nous de donner une «démonstraton graphque» de cette négalté mportante. A partr d un nœud ntal stué au sommet, dessnons un arbre bnare descendant. A chaque dédoublement, les branches nassantes sont étquetées '0' et ''. Affectons les pods -k aux génératons successves (k=,,...) et sélectonnons un nombre fn de nœuds de telle manère qu aucun nœud ne possède un nœud déjà chos parm ses ascendants. Ces nœuds défnssent un code préfxe à condton de lre les symboles en partant du sommet et en descendant vers chaque nœud séparément. Le code obtenu est complet s l n y a plus moyen d ajouter un nœud qu respecte la condton préfxe. On constate qu un code complet est toujours tel qu l satsfat l égalté l = alors qu un code ncomplet satsfat l négalté correspondante. Dans la fgure c-dessus, les nœuds roses défnssent un code préfxe ncomplet, 00, 0 et 00, que les deux nœuds verts vennent compléter par 0 et. T Compresson des sutes. La compresson des sutes obét certanement à des motvatons utltares : en effet une sute compressée occupe un espace mémore rédut sur un DD. De même, l envo d une sute compressée à un correspondant lontan, va un canal quelconque, économse les ressources de transmsson. Nous revendrons sur ces aspects pratques dans l'exposé consacré à la théore de Shannon. Ic nous nous préoccupons unquement de l'étude théorque relatve à la compresson des sutes. Il revent à Kolmogorov d avor comprs en premer que compresser une sute c est comprendre sa logque nterne et par conséquent que c est pénétrer l organsaton du système que cette sute décrt. L dée de base apparaît clarement lorsqu on consdère la sute suvante, partculèrement régulère : 8

9 s = ' ' N qu répète N/ fos le motf '0'. On est en drot de penser que consommer N bts pour la mémorser sur un DD représente un fameux gaspllage. De même, s l on veut communquer son contenu à un correspondant lontan, l serat du plus haut rdcule de la transmettre telle quelle alors qu l suffrat d envoyer un programme nettement plus court, du style «Répéter N/ fos le motf '0'». Dans l optque de Kolmogorov, compresser une sute revent à substtuer la «recette» de la sute à la sute elle-même. Par défnton, on dt qu une sute, s, de longueur, N, est compressble s l exste un programme, p, de longueur, M, nféreure à N, qu est capable de la reconsttuer sans perte, Output[p] = s. S ce programme n exste pas, la sute est ncompressble. Dans cette défnton, l faut comprendre, une fos pour toutes, que tant la sute que le programme qu la compresse dovent être unquement décodables. La sute s est compressble : en effet, le programme suvant la compresse sans perte d nformaton (peu mporte le langage de programmaton utlsé) : p(s) = Do[Prnt['0'],{k,,N/}] La longueur de p(s) correspond en gros, c est-à-dre à des termes constants nessentels près, à l encodage de la valeur de N sot, l gn bts, ce qu est ben nféreur à N. Les termes constants sont nessentels dans la mesure où l on ne s ntéresse qu à de très longues sutes (N>>) d où l résulte que seuls les termes asymptotquement crossants comptent. On peut remplacer la noton de programme par celle du plus pett numéro, dans la notaton de Wolfram, de la machne de Turng qu, travallant sur une bande ntalement verge, s arrête après avor mprmé la sute. Meux, on peut se mettre d accord sur une machne de Turng unverselle et rechercher le plus court fcher auto délmté à nscrre préalablement sur la bande de lecture de cette MTU afn qu elle s arrête après avor écrt la sute donnée sur la bande d'écrture. Rappelons que l auto délmtaton est mportante car on dot pouvor dstnguer, sur la bande de lecture de la MTU, où se termne le programme qu provoque le calcul de la sute consdérée. L'étude des MTU est détallée par alleurs. 9

10 Dans cet exposé, nous utlsons une varante de MTU à tros bandes. La bande de lecture est fne et héberge le programme décodable. La bande d écrture, potentellement sem nfne, reçot les résultats, c'est-à-dre la sute vsée, également décodable. Enfn, la bande de traval, potentellement doublement nfne, sert aux calculs ntermédares. Comme dans toute MTU, l unté centrale peut se trouver dans un nombre fn d état dont l un, S, est l état de départ et l autre, H, est l état sur lequel la MTU arrête son calcul pour autant qu elle y parvenne un jour. Imagnons un observateur qu désre envoyer une sute, s, à un correspondant lontan et qu tente, pour ce fare, de la compresser par un programme plus court qu elle. Pour le receveur tout est smple : l reçot la sute compressée sous la forme d un programme qu l n a qu à nscrre sur la bande de lecture de sa MTU. Une fos le calcul lancé, l arrêt de la MTU est certan car l encodeur ne promet que des programmes ben formés et le résultat sera la sute, s, nscrte n extenso dans un format unquement décodable sur la bande d écrture. La stuaton de l expédteur est beaucoup mons confortable car c est à lu qu ncombe la tâche de trouver un programme court qu est capable de reconstrure la sute sans perte. Or l n exste pas de procédure algorthmque donc de programme qu effectuerat à tout coup la tâche de lre n mporte quelle sute, s, et de s arrêter en écrvant un de ses programmes compresseurs s l en exste au mons un ou de répondre «mpossble» s l n en n exste pas. En bref, l n est pas garant de pouvor trouver un programme compresseur d une sute quelconque et encore mons de trouver le plus court de tous. Complexté algorthmque d une sute. S on connaît un programme compresseur d'une sute, on sat que celle-c est compressble et ren n empêche a pror qu on pusse en trouver d autres. Parm l ensemble des programmes compresseurs, l y en a forcément un qu est le plus court de tous. On défnt précsément la complexté algorthmque d une sute comme la longueur du plus court programme (auto délmté) capable de la reconsttuer sans perte : K( s ) = mn p:mtu ( p ) = s l( p ) On peut montrer que le chox de la MTU n a pas vrament d mportance. Certes, deux MTU dstnctes lvreront des complextés dfférentes mas la dfférence ne portera que sur un nombre fn et constant de bts, précsément la longueur du programme capable d émuler une MTU à partr de l autre. Cette constante addtve ne joue aucun rôle sgnfcatf pour les très N longues sutes consdérées en pratque du fat que Ks ( ) croît au mnmum comme l gn. Reprenons l'exemple de la sute s : s = Le programme, Prnt[s], qu mprme la sute n extenso requert, en gros, N bts : une machne à écrre ne ferat pas plus mal! Nous connassons une compresson possble de s qu consomme l gn bts : 0

11 Do[Prnt['0'],{k,,N/}] En voc une autre, équvalente en ressources consommées, qu calcule, en base deux, le développement fractonnare de /3 : Prnt[Frac[/3],base,N] Ces deux programmes sont optmaux car l n'y a pas moyen de fare meux. En effet, tout programme compresseur dot au mnmum spécfer la longueur de la sute qu l entend compresser d où l résulte que, à une constante nessentelle près, sa complexté ne peut descendre en dessous de l gn bts. Pusque à l opposé, la complexté ne peut excéder la longueur, N, de l encodage n extenso, on a que la complexté d une sute est, en gros, comprse entre deux lmtes extrêmes : l N gn K( s ) c N Compresson maxmum Incompressblté = Sute aléatore Ramenée à un symbole bnare, l entrope algorthmque d une sute est donc comprse entre l gn ( )/ Net, sot entre 0 et bt/symb, à la lmte des sutes nfnes. Etudons de plus près les deux extrêmes. Incompressble aléatore! Une sute ncompressble n obét à aucune logque nterne qu pourrat être mse à proft pour la compresser : l se fat qu l n exste pas de melleure défnton du caractère aléatore d une sute. Les fondements modernes du calcul des probabltés, dus à Kolmogorov, posent précsément que la sute ncompressble défnt la sute aléatore et nversement donc que ces deux notons se recouvrent exactement. Il est ntéressant de confronter cette défnton à l ntuton. En supposant que nous voulons transmettre à un correspondant lontan la sute des N trages successfs d un processus bnare complètement aléatore, , on ne vot, de fat, pas comment on pourrat travaller autrement que bt par bt, sans espor de compresson. A cet égard, l est satsfasant qu une sute aléatore sot ncompressble.

12 Exemples de systèmes fortement compressbles. La sute des chffres dans l écrture bnare du nombre π-3 est fortement compressble car l exste de nombreux algorthmes courts qu calculent ce nombre : De même la sute des chffres du dx mllardème nombre premer, , l ensemble fractal de Mandelbrot ou un tableau de Mondran : L mmense majorté des sutes de longueur N sont ncompressbles tout smplement parce qu l est mpossble qu l en sot autrement. Déjà, l exste N sutes bnares de N longueur N alors qu l n exste que k N = programmes bnares dstncts plus courts. k = 0 On vot qu une sute au mons ne sera pas comprmée. Plus généralement, suvant le même argument, seule une pette fracton, / n, pourrat être compressée de n bts, /000 s n=0! La réalté est ben pre que cela car la plupart des sutes (courtes ou non) ne consttuent pas un programme générque de sute. En effet, tout programme de compresson, p(s), d une sute, s, de longueur, N, peut être vu comme la sute bnare qu almente la bande de lecture d une MTU afn qu après exécuton, celle-c s arrête en mprmant la sute donnée s. S on almente cette MTU successvement par chacune des N - sutes courtes, on constate rapdement que la plupart du temps, la MTU boucle ou se retrouve bloquée du fat que le programme correspondant est syntaxquement ncorrect. Même lorsqu'l n'y a aucune faute de programmaton, on sat que la MTU peut calculer sans répt sans qu'on sot capable de prédre son arrêt éventuel. Au blan, l n y a qu un très pett nombre de programmes qu répondent à la queston posée sans parler de ceux qu mprment une sute déjà trouvée. On peut comprendre autrement l extrême rareté des sutes compressbles. Le fat qu'un programme valable est nécessarement de longueur fne et que l ensemble des sutes fnes est dénombrable a pour conséquence que l ensemble des sutes compressbles est, lu auss, dénombrable. Par contre, l ensemble de toutes les sutes exstantes, fnes ou nfnes, n est pas dénombrable. On en conclut que l mmense majorté des sutes sont ncompressbles donc aléatores! Dt encore autrement, toute sute bnare est équvalente à la lmte nfne à un réel comprs entre 0 et et on sat que l ensemble de ces réels n est pas dénombrable. Or comme l ensemble des machnes de Turng est dénombrable, on en conclut à nouveau qu l y a nfnment plus de sutes que de programmes compresseurs.

13 Génératon des sutes aléatores. Les sutes aléatores étant ncompressbles, elles sont nfnment plus nombreuses que les sutes régulères essentellement parce que, rappelons-le, l y a beaucoup plus de sutes que d algorthmes compresseurs. Paradoxalement, l est dffcle de produre une sute aléatore. C est même, par défnton, une tâche quasment mpossble pour le cerveau human qu tôt ou tard se traht par un recours souterran à un algorthme nconscent. Le test classque consstant à demander à un sujet de placer 400 ponts au hasard dans un carré révèle nvarablement une compressblté ndésrable Test : quel motf est aléatore? Pour engendrer une sute vértablement aléatore, une expérence quantque devrat pouvor fare l affare. Un dspostf envsageable consste à réalser de façon répétée l expérence des deux fentes d Young avec un seul photon. Deux détecteurs placés en postons symétrques se voent affecter les symboles 0 et respectvement. Chaque fos qu un détecteur enregstre l arrvée d un photon, la sute est complétée du symbole correspondant. Dans la pratque courante, on se contente souvent du lancer d une pèce de monnae non basée ou de dspostfs équvalents telle la roulette de casno. On pourrat penser que de telles procédures ne devraent pas pouvor lvrer de sutes aléatores du fat que la trajectore de la pèce ou de la roulette est en prncpe prédctble à partr des los de la mécanque et des condtons ntales qu, ensemble, fonctonnent comme un algorthme plus ou mons court. Ce qu sauve la méthode, c est le fat que la dynamque en queston est chaotque. Elle fonctonne donc à condton d agter la pèce dans un cornet un temps suffsant en sorte qu on pusse être sûr que l encodage de sa poston ntale consomme un nombre de chffres bnares sgnfcatfs égal à la longueur de la sute que l on veut construre. Non calculablté de la complexté algorthmque. S sédusante et naturelle que pusse paraître la défnton de la complexté d une sute, elle souffre d un handcap profond et rrémédable : l n exste pas d algorthme général permettant de répondre, dans tous les cas, par ou ou par non, à la queston de savor s une sute donnée est compressble ou s elle ne l est pas. A fortor, l est mpossble de proposer un algorthme unversel capable de compresser au maxmum une sute s elle est compressble et de la resttuer telle quelle snon, en un mot de calculer K(s) : ces problèmes sont 3

14 ndécdables au sens de Turng. Il en résulte que la défnton de l entrope algorthmque n est pas effectve ou s l on préfère que la foncton K(s) n est pas calculable. Ce résultat négatf dot être tempéré par l observaton que ren n empêche le problème de la compresson algorthmque d être soluble dans un très grand nombre de cas partculers. En général, plus un observateur est sagace, plus l a de chance d amélorer la compresson d une sute compressble et de se rapprocher de la valeur optmale de sa complexté algorthmque, K(s). Sauf cas partculer plutôt exceptonnel, tel celu de la sute s, qu est compressble à l optmum, K( s) lgn, de façon partculèrement évdente, cet observateur n aura cependant pas souvent la certtude d avor attent l optmum. Dans cette optque, l y a leu de penser que la théore ultme qu serat capable de compresser au maxmum théorque l ensemble des données expérmentales de la physque a toutes les chances d être une quête sans fn : ce problème serat lu auss ndécdable au sens de Turng. Arguments Kolmogorovens. La double négalté qu caractérse la complexté algorthmque d une sute fournt un ensemble d arguments heurstques qu éclarent quelques problèmes classques de la théore des nombres. Nous en avons retenu quatre. ) Il exste une nfnté de nombres premers. Procédons par l absurde et posons qu un nombre premer, p k, serat plus grand que tous les autres. On sat que tout enter, n, admet la décomposton en facteurs premers : n p p p k e e e = k L (où p =, p =3, est la sute des nombres premers) Certans exposants peuvent éventuellement être nuls sgne que le facteur correspondant est absent. La sute des exposants, {e, e, e 3,, e k } = code(n) fournt un codage possble de l enter n. Par exemple le nombre n=63=3 7 serat codé par la sute {0,, 0, }. On a de façon évdente que : lgn = e lgp e lgp L e l gp k k Il résulte de cette égalté que : e l gn. Cette négalté sgnfe que chaque exposant peut s écrre en bnare avec un maxmum de kg l ( lgn)) chffres. On aurat dès lors trouvé le moyen d encoder n mporte quel enter, n, s grand sot-l, avec un maxmum de kg l ( l gn)) chffres. Or cela est mpossble car l faut en général l gn chffres bnares pour encoder un enter quelconque. ) Comment trouver smplement une borne supéreure pour le ème nombre premer noté, p? Tout nombre, n, qu est multple de p peut trvalement s écrre : 4

15 n= n p p Un codage possble pour n serat donc de coder l ndce sous forme préfxe (car un séparateur est nécessare) pus la valeur du quotent n/p. Il n y a aucune rason pour que ce codage coïncde avec la complexté du nombre mas quo qu l en sot, on aura toujours : Kn ( ) Kn (, / p ) lgn K( n) K(, n / p ) lg lg( lg)) L lgn l gp lgp lg lg( lg)) L p l g On retrouve un résultat ben connu de la théore des nombres. 3) A comben de 0 (ou de ) consécutfs peut-on s attendre dans une sute aléatore de longueur, N? Précsons la queston posée. S un grand nombre de lanceurs de pèces de monnae construsent chacun une sute bnare aléatore de longueur, N, et qu ls notent la dmenson de la plus longue sute de bts consécutfs dentques quel sera la valeur la plus souvent observée? La réponse, l gn, serat dérasonnable car elle sgnferat qu on observerat fréquemment une sute du type, s = u00l0 lgn v Dans ce cas, on devrat pouvor mettre à proft l abondance de 0 consécutfs pour compresser cette sute ce qu contredrat le fat qu elle est aléatore. En effet, on, aurat successvement : N K( s ) ( K( u ) K( v )) lg u lg( lg u ) L ( N lgn ) lgn lglgn L On remarque que la contradcton dsparaît dès qu on se montre mons gourmand quant au nombre de 0 consécutfs, en l occurrence, l gn. Lors de N=0 9 lancers consécutfs, on observera très probablement quelque part une trentane de 0 (ou de '') qu se suvent. 4) Complexté d un système formel. C est en suvant la même démarche que l on trouve que la complexté d'un théorème énoncé dans le cadre d'un système formel, ne peut dépasser celles combnées des axomes de base de ce système, des règles de productons logques et de l'archvage du chemn le plus court qu permet de dédure le théorème des axomes. Selon une formule chère à Chatn, dans un système formel, un klo d axomes ne donnera jamas une tonne de théorèmes pusque les énoncés de ceux-c sont largement comprs dans les prémces. Nous revendrons plus en détal sur cet argument dans l'exposé consacré à l'unversalté au sens de Gödel. 5

16 L nférence d un modèle à partr des données. La compresson des données n est pas qu une préoccupaton utltare vsant à alléger le stockage et la transmsson des données. C est auss l affare de tous les scentfques à la recherche du melleur modèle qu rend compte de leurs données expérmentales. Souvenons-nous des premers astronomes qu consgnaent, jours après jours, dans de grands regstres, les postons des astres dans le cel. Des années d observatons représentaent une somme d nformatons qu se serat rapdement avérée ngérable sans la découverte d un fl conducteur révélant que cette somme est, en fat, largement redondante. C est précsément un des objets de la scence de découvrr des procédés algorthmques courts capables de condenser l nformaton expérmentale dans un modèle cohérent. Inversement, celu-c dot pouvor reconstrure le fcher des valeurs expérmentales vore déalement l extrapoler. Etudons le problème suvant et demandons-nous s l est ben posé. Compléter la sute :,,4,8,6,? Au vu de ce qu sut, l semblerat que la réponse sot négatve. On trouve, sans grande surprse, autant de solutons que l on veut! TableA k, 8k, 6<E 8,, 4, 8, 6, 3< TableA 4 I4 8 k 3 k 6k 3 k 4 M, 8k, 6<E 8,, 4, 8, 6, 3< 384 TableA k 544 k 37 k 3 44 k 4, 8k, 6<E 3 k5 8,, 4, 8, 6, < On pourrat être tenté de rejeter ce type de problème en prétextant qu l est mal formulé mas ce serat gnorer que la démarche scentfque procède fréquemment de la sorte : devant un tableau de mesures, l serat faux de prétendre qu l n exste qu un seul modèle qu les explque. C est tout le problème de l nférence du melleur modèle qu rend compte des données. Pluseurs phlosophes ont vu le jour à cet égard : Le prncpe d ndfférence prescrt de n écarter aucune hypothèse et d attendre que les mesures ultéreures s affnent et tranchent en défaveur d un ensemble de modèles que l on écartera pour ne garder que ceux qu restent. Le prncpe du rasor d Occam prescrt d opter pour l explcaton la plus smple c est-à-dre celle dont la complexté est la plus pette. Dans l exemple présenté, ce serat la premère qu correspond au programme le plus court. La thèse SKC (Solomonoff-Kolmogorov-Chatn), adopte un pont de vue ntermédare : elle p*) n écarte aucune hypothèse mas elle lu attrbue une probablté de vrasemblance, l(, où l( p*) est la longueur du programme préfxe qu reprodut les données sans pertes. 6

17 Solomonoff Kolmogorov Chatn Thèse SKC. En scences, toutes les hypothèses compatbles avec les données ne sont pas équprobables : elles ont une probablté de vrasemblance a pror égale à p*) l(. Probablté unverselle d une sute. Pour comprendre le contenu de la thèse SKC, l convent de se poser une queston préalable. Quel sens peut-on donner un sens à l nterrogaton suvante : quelle est la probablté de trer au hasard une sute bnare partculère? S on se restregnat aux sutes de longueur, N, la réponse serat clare. Comme elles sont en nombre fn, sot N, on pourrat les mettre toutes dans un chapeau et on aurat une chance sur N d'en trer une. La somme des probabltés vaudrat ben. Par contre, la queston se complque s on autorse toutes les sutes sans restrcton de longueur. Il est clar qu'l n'est plus possble de les mettre toutes dans un chapeau afn d'en extrare une au hasard! Il faut donc trouver autre chose et, en partculer, l faut abandonner l'dée que toutes les sutes pussent être équprobables pusque la somme des probabltés serat nfne. C'est précsément ce que fat la thèse SKC lorsqu'elle assoce à toute sute une densté de probablté proportonnelle à (/) exposant la longueur de son encodage préfxe. La vablté de cette procédure repose sur ce fat que trer progressvement à ple ou face une sute de '0' et de '' engendre tôt ou tard une sute fne qu fat parte une et une seule fos de l'ensemble préfxe canonque, Λ pref = {{0},{0},{},{0000},{000},{000},{00},{0000},{000},{000 },{00},{000},{00},{00},{0},{ },{ }, } La thèse SKC attrbue donc une probablté d'occurrence -l(n) à toute sute comportant N bts. Par exemple, la sute, {0,0,0,}, est encodée par, {0,0,,0,0,0,0,0,0,}, d'où une probablté d'occurrence égale à -0. Il est essentel de prendre l'encodage préfxe comme base de calcul. Poser la probablté de la sute, {0,0,0,}, proportonnelle à -4, sous le prétexte qu'elle ne consomme que 4 bts ne fonctonne pas. Il exste, en effet, une sute vde, deux sutes à bt, 4 sutes à deux bts, etc, et la somme des probabltés affectées à chacune dvergerat : 7

18 L = L =. Cette méthode d'attrbuton des probabltés a pror peut paraître ben complquée mas c'est la seule qu n'ntrodut aucun bas. On pourrat penser procéder plus smplement pour sélectonner aléatorement une sute parm l'ensemble, Λ, Λ = {ε, 0,, 00, 0, 0,, 000, 00, 00, 0, 00, 0, 0,, 0000, }. La procédure suvante semblerat équtable. On lancerat une pèce de monnae en fasant la dstncton suvante entre lancers mpars et pars. Les lancers mpars servraent unquement à permettre une nterrupton de la procédure selon le code suvant : un trage, "ple"='', sgnferat 'contnue' et un trage 'face'='0' sgnferat "arrête". Les lancers pars feraent quant à eux parte ntégrante de la sute cherchée auss longtemps qu'aucune nstructon d'arrêt n'a pas nterrompu la procédure. De cette manère, la sute vde, ε, aurat une chance sur deux de se produre, les séquences à un bt auraent une chance sur quatre de se produre et plus généralement, les N séquences à N bts auraent chacune une probablté d'occurrence égale à -N. Au blan on aurat que la somme des probabltés vaudrat. Ce que la thèse SKC reproche à cette méthode c'est de ne pas être mpartale, elle favorse trop les sutes courtes. De fat, elle correspond en gros à un schéma de délmtaton des sutes basé sur le doublement de leur longueur ce que nous savons excessf. L'encodage préfxe lu est mpartal : toute sute orgnellement de longueur, N, est n'allongée que d'un facteur, l(n), asymptotquement égal à l g * ( N ) et cet allongement est précsément tout juste ce qu'l faut pour fare converger la somme des probabltés. De plus, la convergence se fat automatquement vers, en vertu de l'égalté de Kraft, pusque l'ensemble, Λ pref, est complet. Voc les probabltés unverselles des sutes les plus smples : P( ε ) =, P(0 ) = P() =, P(00 ) = P(0) = P(0 ) = P() =, 3 5 P(000 ) = P(00) = L =,P(0000 ) = P(000) = L =, L 6 0 On vérfe asément que la somme de ces probabltés vaut comme l se dot. On a en effet, en regroupant toutes les sutes de longueurs, N : N l( N ) P = =... = N = Toutefos, la convergence de cette sute est extrêmement lente du fat du comportement asymptotque de ses termes. La sére, ( l( N ) N ) l N ) = g*( = N N N N( lgn )( lglgn )( lglglgn ) L se stue, en effet, très exactement à la frontère entre la convergence et la dvergence. Le crtère de convergence de l'ntégrale assocée permet de démontrer que les séres suvantes dvergent toutes de plus en plus lentement : 8

19 n n n n( lgn ) n n( lgn )( lglgn ) n n( lgn )( lglgn )( lglglgn ) Par contre, les séres suvantes convergent de plus en plus lentement : n n n( lgn ) n( lgn )( lglgn ) n n n n( lgn )( lglgn )( lglglgn ) On peut d'alleurs se fare une dée de la lenteur de la convergence en observant comment la sére tend effectvement vers = 0.Lbn. On calcule les premers termes de cette sére en regroupant comme l a été dt les contrbutons provenant des sutes non préfxes de longueurs égales. Il exste k programmes de longueurs, k (=0,,, ), dont l'encodage préfxe consomme respectvement, {,3,5,6,0,,,3,5,6,7,8,9,0,,, } bts. Le programme vde, ε, de longueur préfxe,, contrbue pour, / = 0.0bn, à la valeur de S. Les deux programmes de longueur,, de longueur préfxe, 3, contrbuent ensemble pour, / 8 = 0. 0, sot au total partel, / 4 / 4 = / = 0.bn. A ce stade, 3 =, programmes ont été comptablsés et le premer chffre de S après la vrgule est stablsé à sa valeur défntve. On montre de la même manère que pour stablser le deuxème après la vrgule, l faut comptablser les, 5 =, premers programmes pus qu'l en faut, = 65535, pour stablser le trosème, etc. On réalse la lenteur de la convergence. Cette lenteur est essentelle dans la phlosophe SKC car c'est elle qu garantt que l'on ne trche pas dans l'nventare des modèles possbles. Procéder autrement revendrat à prvléger ndûment les programmes courts c'est-à-dre revendrat à coller de trop près et sans justfcaton à la théore d'occam. En résumé, pour en revenr à la queston posée au début de ce paragraphe, le trage aléatore d'une sute quelconque se conçot comme sut. On lance une pèce de monnae un nombre suffsant de fos et on compte comben de fos on commence par trer "face" = "0". S ce nombre vaut zéro, c'est qu'on est dans l'un des tros cas suvants, facles à dstnguer au vu des trages suvants, {,0} ε {,,0} {0} {,,} {} S ce nombre vaut, c'est qu'on est dans l'un des dx cas suvants, facles à dstnguer, {0,,0,0,0} {0,0} {0,,0,0,} {0,} {0,,0,,0} {,0} {0,,0,,} {,} {0,,,0,0,0} {0,0,0} {0,,,0,0,} {0,0,} {0,,,0,,0} {0,,0} {0,,,0,,} {0,,} {0,,,,0,0} {,0,0} {0,,,,0,} {,0,} {0,,,,,0} {,,0} {0,,,,,} {,,} et ans de sute. On arrête les lancers lorsque la sute de bts obtenue coïncde avec un code de l'ensemble préfxe, Λ pref, ce qu ne peut manquer de se produre pusque c'est la défnton d'un ensemble préfxe de ne pas tolérer qu'un code sot le préfxe d'un autre. 9

20 L'nférence du modèle dans le cadre du modèle SKC. On appelle modèle d'une sute, s, de données tout programme préfxe, p*, qu prénscrt sur la bande d'une MTU provoque l'arrêt de celle-c en mprmant cette sute s. le programme qu almente la MTU dot être préfxe afn qu'on sache où l se termne sur la bande. De plus, l dot ncorporer les données éventuelles, ce qu ne pose jamas de problème de prncpe. Il peut exster pluseurs vore une nfnté de programmes dstncts qu effectuent cette tâche partculère et tous sont recevables au ttre de modèle des données, s. Tous les programmes n'ont cependant pas le même degré de vrasemblance et c'est précsément l'objet de la thèse SKC que de quantfer cette propenson à la vrasemblance, P(s). La quantté, P(s), peut être vue comme la probablté unverselle «a pror» d occurrence de la sute s. Les programmes courts contrbuent majortarement à P(s) d'où l en résulte qu'une sute qu n est engendrée par aucun programme court n a que très peu de chances d apparaître un jour à un expérmentateur. S le programme le plus court fournssat, à lu seul, le terme domnant de P(s), on K( s ) écrrat, P( s ). En réalté et afn de tenr compte de programmes concurrents, on peut démontrer (c est lon d être trval!) que l on dot écrre qu l exste une constante, c, ndépendante de s, telle que l on a : K( s ) P( s ) c K( s ) K( s ) c' l g P( s ) K( s ) Il y a donc un rapport drect entre la complexté d une sute et sa probablté unverselle d occurrence. Tout se passe comme s la nature favorsat l occurrence des sutes de fables complextés. Inversement les programmes courts garantssent des sutes non aléatores qu structurent nos mesures. Dans un sens l est heureux qu on parvenne à cette concluson sans laquelle la quête scentfque serat sans espor éternellement confrontée à des données aléatores mpossbles à exploter. Il est amusant de comparer la probablté pour qu'un bonobo mprme une verson explotable des 0 6 bts d une œuvre de Shakespeare selon qu'l tapote le claver d'une machne à écrre ou celu d'un ordnateur unversel : dans le premer cas, la probablté est de l'ordre de -N = tands que dans le second cas, elle est de l'ordre de -K(N) = , s l on adopte l dée d un taux de compresson de la langue anglase approxmatvement égal à 3! Il n y a ren de mystéreux là-dessous : smplement, pour répondre à la queston qu lu est posée, le bonobo n a pas beson de taper le texte mmédatement lsble, sa compresson sufft dans le cadre du modèle reconnu optmal pour ce qu concerne la langue anglase. Noton de complexté calculatore. La complexté calculatore d un programme est une noton relatvement nformelle quantfée par le «temps» que met le programme décompresseur à calculer les termes de la sute avant de les mprmer. Pour des rasons évdentes d ndépendance vs-à-vs d une machne partculère, ce temps se mesure en nombre de transtons subes par la MTU plutôt qu en secondes. La complexté calculatore du programme de compresson maxmale d une sute s appelle la profondeur logque de cette sute. Les sutes aléatores sont ncompressbles et de complexté maxmale : elles sont caractérsées par une profondeur logque nulle pusque le programme mnmum qu les décrt 0

Remboursement d un emprunt par annuités constantes

Remboursement d un emprunt par annuités constantes Sére STG Journées de formaton Janver 2006 Remboursement d un emprunt par annutés constantes Le prncpe Utlsaton du tableur Un emprunteur s adresse à un prêteur pour obtenr une somme d argent (la dette)

Plus en détail

Les jeunes économistes

Les jeunes économistes Chaptre1 : les ntérêts smples 1. défnton et calcul pratque : Défnton : Dans le cas de l ntérêt smple, le captal reste nvarable pendant toute la durée du prêt. L emprunteur dot verser, à la fn de chaque

Plus en détail

Mesure avec une règle

Mesure avec une règle Mesure avec une règle par Matheu ROUAUD Professeur de Scences Physques en prépa, Dplômé en Physque Théorque. Lycée Alan-Fourner 8000 Bourges ecrre@ncerttudes.fr RÉSUMÉ La mesure d'une grandeur par un système

Plus en détail

Plan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks

Plan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks Plan Geston des stocks Abdellah El Fallah Ensa de Tétouan 2011 Les opératons de gestons des stocks Les coûts assocés à la geston des stocks Le rôle des stocks Modèle de la quantté économque Geston calendare

Plus en détail

ÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS.

ÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS. ÉLÉMETS DE THÉORIE DE L IFORMATIO POUR LES COMMUICATIOS. L a théore de l nformaton est une dscplne qu s appue non seulement sur les (télé-) communcatons, mas auss sur l nformatque, la statstque, la physque

Plus en détail

STATISTIQUE AVEC EXCEL

STATISTIQUE AVEC EXCEL STATISTIQUE AVEC EXCEL Excel offre d nnombrables possbltés de recuellr des données statstques, de les classer, de les analyser et de les représenter graphquement. Ce sont prncpalement les tros éléments

Plus en détail

Contrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations

Contrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations Contrats prévoyance des TNS : Clarfer les règles pour sécurser les prestatons Résumé de notre proposton : A - Amélorer l nformaton des souscrpteurs B Prévor plus de souplesse dans l apprécaton des revenus

Plus en détail

Editions ENI. Project 2010. Collection Référence Bureautique. Extrait

Editions ENI. Project 2010. Collection Référence Bureautique. Extrait Edtons ENI Project 2010 Collecton Référence Bureautque Extrat Défnton des tâches Défnton des tâches Project 2010 Sasr les tâches d'un projet Les tâches représentent le traval à accomplr pour attendre l'objectf

Plus en détail

Fiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage

Fiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage Fche n 7 : Vérfcaton du débt et de la vtesse par la méthode de traçage 1. PRINCIPE La méthode de traçage permet de calculer le débt d un écoulement ndépendamment des mesurages de hauteur et de vtesse.

Plus en détail

Montage émetteur commun

Montage émetteur commun tour au menu ontage émetteur commun Polarsaton d un transstor. ôle de la polarsaton La polarsaton a pour rôle de placer le pont de fonctonnement du transstor dans une zone où ses caractérstques sont lnéares.

Plus en détail

LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF

LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF 1 LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régme») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF AVIS AUX RETRAITÉS ET AUX PARTICIPANTS AVEC DROITS ACQUIS DIFFÉRÉS Expédteurs

Plus en détail

Assurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire

Assurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire Assurance malade et aléa de moralté ex-ante : L ncdence de l hétérogénété de la perte santare Davd Alary 1 et Franck Ben 2 Cet artcle examne l ncdence de l hétérogénété de la perte santare sur les contrats

Plus en détail

DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS

DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS Le cabnet Enetek nous démontre les mpacts négatfs de la multplcaton des stocks qu au leu d amélorer le taux de servce en se rapprochant du clent, le dégradent

Plus en détail

Terminal numérique TM 13 raccordé aux installations Integral 33

Terminal numérique TM 13 raccordé aux installations Integral 33 Termnal numérque TM 13 raccordé aux nstallatons Integral 33 Notce d utlsaton Vous garderez une longueur d avance. Famlarsez--vous avec votre téléphone Remarques mportantes Chaptres à lre en prorté -- Vue

Plus en détail

Grandeur physique, chiffres significatifs

Grandeur physique, chiffres significatifs Grandeur physque, chffres sgnfcatfs I) Donner le résultat d une mesure en correspondance avec l nstrument utlsé : S avec un nstrument, ren n est ndqué sur l ncerttude absolue X d une mesure X, on consdère

Plus en détail

CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE?

CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE? CREATION DE VALEUR EN ASSURANCE NON VIE : COMMENT FRANCHIR UNE NOUVELLE ETAPE? Boulanger Frédérc Avanssur, Groupe AXA 163-167, Avenue Georges Clémenceau 92742 Nanterre Cedex France Tel: +33 1 46 14 43

Plus en détail

Integral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation

Integral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation Integral T 3 Compact raccordé aux nstallatons Integral 5 Notce d utlsaton Remarques mportantes Remarques mportantes A quelle nstallaton pouvez-vous connecter votre téléphone Ce téléphone est conçu unquement

Plus en détail

Exercices d Électrocinétique

Exercices d Électrocinétique ercces d Électrocnétque Intensté et densté de courant -1.1 Vtesse des porteurs de charges : On dssout une masse m = 20g de chlorure de sodum NaCl dans un bac électrolytque de longueur l = 20cm et de secton

Plus en détail

TD 1. Statistiques à une variable.

TD 1. Statistiques à une variable. Danel Abécasss. Année unverstare 2010/2011 Prépa-L1 TD de bostatstques. Exercce 1. On consdère la sére suvante : TD 1. Statstques à une varable. 1. Calculer la moyenne et l écart type. 2. Calculer la médane

Plus en détail

1.0 Probabilité vs statistique...1. 1.1 Expérience aléatoire et espace échantillonnal...1. 1.2 Événement...2

1.0 Probabilité vs statistique...1. 1.1 Expérience aléatoire et espace échantillonnal...1. 1.2 Événement...2 - robabltés - haptre : Introducton à la théore des probabltés.0 robablté vs statstque.... Expérence aléatore et espace échantllonnal.... Événement.... xomes défnton de probablté..... Quelques théorèmes

Plus en détail

Dirigeant de SAS : Laisser le choix du statut social

Dirigeant de SAS : Laisser le choix du statut social Drgeant de SAS : Lasser le chox du statut socal Résumé de notre proposton : Ouvrr le chox du statut socal du drgeant de SAS avec 2 solutons possbles : apprécer la stuaton socale des drgeants de SAS comme

Plus en détail

Q x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2

Q x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2 Exo7 Nombres complexes Vdéo parte. Les nombres complexes, défntons et opératons Vdéo parte. Racnes carrées, équaton du second degré Vdéo parte 3. Argument et trgonométre Vdéo parte 4. Nombres complexes

Plus en détail

Interface OneNote 2013

Interface OneNote 2013 Interface OneNote 2013 Interface OneNote 2013 Offce 2013 - Fonctons avancées Lancer OneNote 2013 À partr de l'nterface Wndows 8, utlsez une des méthodes suvantes : - Clquez sur la vgnette OneNote 2013

Plus en détail

Calculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria.

Calculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria. 1 CAS nédt d applcaton sur les normes IAS/IFRS Coût amort sur oblgatons à taux varable ou révsable La socété Plumera présente ses comptes annuels dans le référentel IFRS. Elle détent dans son portefeulle

Plus en détail

Chapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique

Chapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique Spécale PSI - Cours "Electromagnétsme" 1 Inducton électromagnétque Chaptre IV : Inductance propre, nductance mutuelle. Energe électromagnétque Objectfs: Coecents d nductance propre L et mutuelle M Blan

Plus en détail

Chapitre 3 : Incertitudes CHAPITRE 3 INCERTITUDES. Lignes directrices 2006 du GIEC pour les inventaires nationaux de gaz à effet de serre 3.

Chapitre 3 : Incertitudes CHAPITRE 3 INCERTITUDES. Lignes directrices 2006 du GIEC pour les inventaires nationaux de gaz à effet de serre 3. Chaptre 3 : Incerttudes CHAPITRE 3 INCERTITUDES Lgnes drectrces 2006 du GIEC pour les nventares natonaux de gaz à effet de serre 3.1 Volume 1 : Orentatons générales et établssement des rapports Auteurs

Plus en détail

MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES

MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES Émle Garca, Maron Le Cam et Therry Rocher MENESR-DEPP, bureau de l évaluaton des élèves Cet artcle porte sur les méthodes de

Plus en détail

1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h.

1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h. A2 Analyser le système Converson statque de l énerge Date : Nom : Cours 2 h 1 Introducton Un ConVertsseur Statque d énerge (CVS) est un montage utlsant des nterrupteurs à semconducteurs permettant par

Plus en détail

Généralités sur les fonctions 1ES

Généralités sur les fonctions 1ES Généraltés sur les fonctons ES GENERALITES SUR LES FNCTINS I. RAPPELS a. Vocabulare Défnton Une foncton est un procédé qu permet d assocer à un nombre x appartenant à un ensemble D un nombre y n note :

Plus en détail

BTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES

BTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES MATHEMATIQUES FINANCIERES I. Concepts généraux. Le référentel précse : Cette parte du module M4 «Acquérr des outls mathématques de base nécessares à l'analyse de données économques» est en relaton avec

Plus en détail

santé Les arrêts de travail des séniors en emploi

santé Les arrêts de travail des séniors en emploi soldarté et DOSSIERS Les arrêts de traval des sénors en emplo N 2 2007 Les sénors en emplo se dstnguent-ls de leurs cadets en termes de recours aux arrêts de traval? Les sénors ne déclarent pas plus d

Plus en détail

GEA I Mathématiques nancières Poly. de révision. Lionel Darondeau

GEA I Mathématiques nancières Poly. de révision. Lionel Darondeau GEA I Mathématques nancères Poly de révson Lonel Darondeau Intérêts smples et composés Voc la lste des exercces à révser, corrgés en cours : Exercce 2 Exercce 3 Exercce 5 Exercce 6 Exercce 7 Exercce 8

Plus en détail

Système solaire combiné Estimation des besoins énergétiques

Système solaire combiné Estimation des besoins énergétiques Revue des Energes Renouvelables ICRESD-07 Tlemcen (007) 109 114 Système solare combné Estmaton des besons énergétques R. Kharch 1, B. Benyoucef et M. Belhamel 1 1 Centre de Développement des Energes Renouvelables

Plus en détail

EH SmartView. Identifiez vos risques et vos opportunités. www.eulerhermes.be. Pilotez votre assurance-crédit. Services en ligne Euler Hermes

EH SmartView. Identifiez vos risques et vos opportunités. www.eulerhermes.be. Pilotez votre assurance-crédit. Services en ligne Euler Hermes EH SmartVew Servces en lgne Euler Hermes Identfez vos rsques et vos opportuntés Plotez votre assurance-crédt www.eulerhermes.be Les avantages d EH SmartVew L expertse Euler Hermes présentée de manère clare

Plus en détail

COMPARAISON DE MÉTHODES POUR LA CORRECTION

COMPARAISON DE MÉTHODES POUR LA CORRECTION COMPARAISON DE MÉTHODES POUR LA CORRECTION DE LA NON-RÉPONSE TOTALE : MÉTHODE DES SCORES ET SEGMENTATION Émle Dequdt, Benoît Busson 2 & Ncolas Sgler 3 Insee, Drecton régonale des Pays de la Lore, Servce

Plus en détail

INTERNET. Initiation à

INTERNET. Initiation à Intaton à INTERNET Surfez sur Internet Envoyez des messages Téléchargez Dscutez avec Skype Découvrez Facebook Regardez des vdéos Protégez votre ordnateur Myram GRIS Table des matères Internet Introducton

Plus en détail

MODÈLE D ISING À UNE ET DEUX DIMENSIONS.

MODÈLE D ISING À UNE ET DEUX DIMENSIONS. Chapter MODÈLE DISIG À UE ET DEUX DIMESIOS.. ITRODUCTIO. ous commençons, dans ce chaptre, létude dun problème de mécanque statstque de la matère condensée où leffet des nteractons est mportant. Le modèle

Plus en détail

Paquets. Paquets nationaux 1. Paquets internationaux 11

Paquets. Paquets nationaux 1. Paquets internationaux 11 Paquets Paquets natonaux 1 Paquets nternatonaux 11 Paquets natonaux Servces & optons 1 Créaton 3 1. Dmensons, pods & épasseurs 3 2. Présentaton des paquets 4 2.1. Face avant du paquet 4 2.2. Comment obtenr

Plus en détail

L enseignement virtuel dans une économie émergente : perception des étudiants et perspectives d avenir

L enseignement virtuel dans une économie émergente : perception des étudiants et perspectives d avenir L ensegnement vrtuel dans une économe émergente : percepton des étudants et perspectves d avenr Hatem Dellag Laboratore d Econome et de Fnances applquées Faculté des scences économques et de geston de

Plus en détail

hal-00409942, version 1-14 Aug 2009

hal-00409942, version 1-14 Aug 2009 Manuscrt auteur, publé dans "MOSIM' 008, Pars : France (008)" 7 e Conférence Francophone de MOdélsaton et SIMulaton - MOSIM 08 - du mars au avrl 008 - Pars - France «Modélsaton, Optmsaton et Smulaton des

Plus en détail

Corrections adiabatiques et nonadiabatiques dans les systèmes diatomiques par calculs ab-initio

Corrections adiabatiques et nonadiabatiques dans les systèmes diatomiques par calculs ab-initio Correctons adabatques et nonadabatques dans les systèmes datomques par calculs ab-nto Compte rendu du traval réalsé dans le cadre d un stage de quatre mos au sen du Groupe de Spectroscope Moléculare et

Plus en détail

GENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation)

GENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation) GENESS - Generalzed System for mputaton Smulatons (Système généralsé pour smuler l mputaton) GENESS est un système qu permet d exécuter des smulatons en présence d mputaton. L utlsateur fournt un ensemble

Plus en détail

Impôt sur la fortune et investissement dans les PME Professeur Didier MAILLARD

Impôt sur la fortune et investissement dans les PME Professeur Didier MAILLARD Conservatore atonal des Arts et Méters Chare de BAQUE Document de recherche n 9 Impôt sur la fortune et nvestssement dans les PME Professeur Dder MAILLARD Avertssement ovembre 2007 La chare de Banque du

Plus en détail

TRAVAUX PRATIQUES SPECTRO- COLORIMETRIE

TRAVAUX PRATIQUES SPECTRO- COLORIMETRIE UNIVERSITE MONTPELLIER 2 Département de Physque TRAVAUX PRATIQUES DE SPECTRO- COLORIMETRIE F. GENIET 2 INTRODUCTION Cet ensegnement de travaux pratques de seconde année se propose de revor rapdement l'aspect

Plus en détail

IDEI Report # 18. Transport. December 2010. Elasticités de la demande de transport ferroviaire: définitions et mesures

IDEI Report # 18. Transport. December 2010. Elasticités de la demande de transport ferroviaire: définitions et mesures IDEI Report # 18 Transport December 2010 Elastctés de la demande de transport ferrovare: défntons et mesures Elastctés de la demande de transport ferrovare : Défntons et mesures Marc Ivald Toulouse School

Plus en détail

CHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE

CHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE HAITRE 4 : RAISONNEMENT DES SYSTÈMES DE OMMANDE RAISONNEMENT DES SYSTÈMES DE OMMANDE... 2 INTRODUTION... 22 RAELS... 22 alcul de la valeur ntale de la répone à un échelon... 22 alcul du gan tatque... 22

Plus en détail

Pourquoi LICIEL? Avec LICIEL passez à la vitesse supérieure EPROUVE TECHNICITE CONNECTE STABILITE SUIVIE COMMUNAUTE

Pourquoi LICIEL? Avec LICIEL passez à la vitesse supérieure EPROUVE TECHNICITE CONNECTE STABILITE SUIVIE COMMUNAUTE L og c el s de D agnos t c s I mmob l er s Cont ac t eznous 32BddeS t r as bougcs3010875468 Par scedex10tel. 0253354064Fax0278084116 ma l : s er v c e. c l ent @l c el. f r Pourquo LICIEL? Implanté sur

Plus en détail

Le Prêt Efficience Fioul

Le Prêt Efficience Fioul Le Prêt Effcence Foul EMPRUNTEUR M. Mme CO-EMPRUNTEUR M. Mlle Mme Mlle (CONJOINT, PACSÉ, CONCUBIN ) Départ. de nass. Nature de la pèce d dentté : Natonalté : CNI Passeport Ttre de séjour N : Salaré Stuaton

Plus en détail

CHAPITRE DEUX : FORMALISME GEOMETRIQUE

CHAPITRE DEUX : FORMALISME GEOMETRIQUE CHPITRE DEUX FORMLISME GEOMETRIQUE. CHPITRE DEUX : FORMLISME GEOMETRIQUE verson.3, -8 I. GEOMETRIE DNS L ESPCE-TEMPS ) Prncpe de relatvté Le prncpe de relatvté peut s exprmer ans : toutes les los physques

Plus en détail

Be inspired. Numéro Vert. Via Caracciolo 20 20155 Milano tel. +39 02 365 22 990 fax +39 02 365 22 991

Be inspired. Numéro Vert. Via Caracciolo 20 20155 Milano tel. +39 02 365 22 990 fax +39 02 365 22 991 Ggaset SX353 / französsch / A31008-X353-P100-1-7719 / cover_0_hedelberg.fm / 03.12.2003 s Be nspred www.onedrect.fr www.onedrect.es www.onedrect.t www.onedrect.pt 0 800 72 4000 902 30 32 32 02 365 22 990

Plus en détail

Prêt de groupe et sanction sociale Group lending and social fine

Prêt de groupe et sanction sociale Group lending and social fine Prêt de roupe et sancton socale Group lendn and socal fne Davd Alary Résumé Dans cet artcle, nous présentons un modèle d antsélecton sur un marché concurrentel du crédt. Nous consdérons l ntroducton de

Plus en détail

Thermodynamique statistique Master Chimie Université d Aix-Marseille. Bogdan Kuchta

Thermodynamique statistique Master Chimie Université d Aix-Marseille. Bogdan Kuchta hermodynamque statstque Master Chme Unversté d Ax-Marselle Bogdan Kuchta Plan: Rappel: thermodynamque phénoménologque (dscuter l entrope, l évoluton de gaz parfat,) Premer prncpe Deuxème prncpe (transformaton

Plus en détail

Pour plus d'informations, veuillez nous contacter au 04.75.05.52.62. ou à contact@arclim.fr.

Pour plus d'informations, veuillez nous contacter au 04.75.05.52.62. ou à contact@arclim.fr. Régulaton Sondes & Capteurs Détente frgo électronque Supervson & GTC Humdfcaton & Déshu. Vannes & Servomoteurs Comptage eau, elec., énerge Ancens artcles Cette documentaton provent du ste www.arclm.eu

Plus en détail

En vue de l'obtention du. Présentée et soutenue par Meva DODO Le 06 novembre 2008

En vue de l'obtention du. Présentée et soutenue par Meva DODO Le 06 novembre 2008 THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par l'unversté Toulouse III - Paul Sabater Spécalté : Informatque Présentée et soutenue par Meva DODO Le 06 novembre 2008 Ttre

Plus en détail

Page 5 TABLE DES MATIÈRES

Page 5 TABLE DES MATIÈRES Page 5 TABLE DES MATIÈRES CHAPITRE I LES POURCENTAGES 1. LES OBJECTIFS 12 2. LES DÉFINITIONS 14 1. La varaton absolue d'une grandeur 2. La varaton moyenne d'une grandeur (par unté de temps) 3. Le coeffcent

Plus en détail

I. Présentation générale des méthodes d estimation des projets de type «unité industrielle»

I. Présentation générale des méthodes d estimation des projets de type «unité industrielle» Evaluaton des projets et estmaton des coûts Le budget d un projet est un élément mportant dans l étude d un projet pusque les résultats économques auront un mpact sur la réalsaton ou non et sur la concepton

Plus en détail

P R I S E E N M A I N R A P I D E O L I V E 4 H D

P R I S E E N M A I N R A P I D E O L I V E 4 H D P R I S E E N M A I N R A P I D E O L I V E 4 H D Sommare 1 2 2.1 2.2 2.3 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 5 6 7 7.1 7.2 7.3 8 8.1 8.2 8.3 8.4 8.5 8.6 Contenu du carton... 4 Paramétrage... 4 Connexon

Plus en détail

VIELLE Marc. CEA-IDEI Janvier 1998. 1 La nomenclature retenue 3. 2 Vue d ensemble du modèle 4

VIELLE Marc. CEA-IDEI Janvier 1998. 1 La nomenclature retenue 3. 2 Vue d ensemble du modèle 4 GEMINI-E3 XL France Un outl destné à l étude des mpacts ndustrels de poltques énergétques et envronnementales VIELLE Marc CEA-IDEI Janver 1998 I LA STRUCTURE DU MODELE GEMINI-E3 XL FRANCE 3 1 La nomenclature

Plus en détail

Parlons. retraite. au service du «bien vieillir» L Assurance retraite. en chiffres* 639 192 retraités payés pour un montant de 4,2 milliards d euros

Parlons. retraite. au service du «bien vieillir» L Assurance retraite. en chiffres* 639 192 retraités payés pour un montant de 4,2 milliards d euros Édton Pays de la Lore Parlons La lettre aux retratés du régme général de la Sécurté socale 2012 retrate L Assurance retrate en chffres* 12,88 mllons de retratés 17,58 mllons de cotsants 346 000 bénéfcares

Plus en détail

Réseau RRFR pour la surveillance dynamique : application en e-maintenance.

Réseau RRFR pour la surveillance dynamique : application en e-maintenance. Réseau RRFR pour la survellance dynamue : applcaton en e-mantenance. RYAD ZEMOURI, DANIEL RACOCEANU, NOUREDDINE ZERHOUNI Laboratore Unverstare de Recherche en Producton Automatsée (LURPA) 6, avenue du

Plus en détail

Faire des régimes TNS les laboratoires de la protection sociale de demain appelle des évolutions à deux niveaux :

Faire des régimes TNS les laboratoires de la protection sociale de demain appelle des évolutions à deux niveaux : Réformer en profondeur la protecton socale des TNS pour la rendre plus effcace Résumé de notre proposton : Fare des régmes TNS les laboratores de la protecton socale de deman appelle des évolutons à deux

Plus en détail

TABLE DES MATIERES CONTROLE D INTEGRITE AU SEIN DE LA RECHERCHE LOCALE DE LA POLICE LOCALE DE BRUXELLES-CAPITALE/IXELLES (DEUXIEME DISTRICT) 1

TABLE DES MATIERES CONTROLE D INTEGRITE AU SEIN DE LA RECHERCHE LOCALE DE LA POLICE LOCALE DE BRUXELLES-CAPITALE/IXELLES (DEUXIEME DISTRICT) 1 TABLE DES MATIERES CONTROLE D INTEGRITE AU SEIN DE LA RECHERCHE LOCALE DE LA POLICE LOCALE DE BRUXELLES-CAPITALE/IXELLES (DEUXIEME DISTRICT) 1 1. PROBLEMATIQUE 1 2. MISSION 1 3. ACTES D ENQUETE 2 4. ANALYSE

Plus en détail

Avez-vous vous aperçu cette drôle de trogne? Entre nature et histoire autour de Mondoubleau

Avez-vous vous aperçu cette drôle de trogne? Entre nature et histoire autour de Mondoubleau Avez-vous vous aperçu cette drôle de trogne? Entre nature et hstore autour de Mondoubleau Thème de la cache : NATURE ET CULTURE Départ : Parkng Campng des Prés Barrés à Mondoubleau Dffculté : MOYENNE Dstance

Plus en détail

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune Marc Bourreau Abel Franços Jun 2006 Département Scences Economques et

Plus en détail

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises

Les déterminants de la détention et de l usage de la carte de débit : une analyse empirique sur données individuelles françaises Les détermnants de la détenton et de l usage de la carte de débt : une analyse emprque sur données ndvduelles françases Davd Boune a, Marc Bourreau a,b et Abel Franços a,c a Télécom ParsTech, Département

Plus en détail

INTRODUCTION. Jean-Pierre MAGNAN Chef de la section des ouvrages en terre Département des sols et fondations Laboratoire central

INTRODUCTION. Jean-Pierre MAGNAN Chef de la section des ouvrages en terre Département des sols et fondations Laboratoire central Etude numérque de la consoldaton undmensonnelle en tenant compte des varatons de la perméablté et de la compressblté du sol, du fluage et de la non-saturaton Jean-Perre MAGNAN Chef de la secton des ouvrages

Plus en détail

Professionnel de santé équipé de Médiclick!

Professionnel de santé équipé de Médiclick! Professonnel de santé équpé de Médclck! Dosser Médcal Partagé en Aqutane Ce gude vous présente les prncpales fonctonnaltés réservées aux professonnels de santé membres du réseau AquDMP. Sommare Connexon

Plus en détail

Contact SCD Nancy 1 : theses.sciences@scd.uhp-nancy.fr

Contact SCD Nancy 1 : theses.sciences@scd.uhp-nancy.fr AVERTISSEMENT Ce document est le frut d'un long traval approuvé par le jury de soutenance et ms à dsposton de l'ensemble de la communauté unverstare élarge. Il est soums à la proprété ntellectuelle de

Plus en détail

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE MEMOIRE Présentée à L Unversté de Batna Faculté des Scences Département de Physque

Plus en détail

Pro2030 GUIDE D UTILISATION. Français

Pro2030 GUIDE D UTILISATION. Français Pro2030 GUIDE D UTILISATION Franças Contents Garante... Introducton... 1 Artcle nº 605056 Rév C Schéma nº A605056 Novembre 2010 2010 YSI Incorporated. Le logo YSI est une marque déposée de YSI Incorporated.

Plus en détail

Projet de fin d études

Projet de fin d études Unversté Franços Rabelas Tours Ecole Polytechnque Unverstare de Tours Département Informatque Projet de fn d études Ordonnancement Juste à Temps avec geston des stocks Chopn Antone Mrault Arnaud 3ème année

Plus en détail

Économétrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University

Économétrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University Économétre 5 e édton Annexes : exercces et corrgés Wllam Greene New York Unversty Édton françase drgée par Dder Schlacther, IEP Pars, unversté Pars II Traducton : Stéphane Monjon, unversté Pars I Panthéon-Sorbonne

Plus en détail

UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE

UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE UNIVERSITÉ DU QUÉBEC À MONTRÉAL L ASSURANCE AUTOMOBILE AU QUÉBEC : UNE PRIME SELON LE COÛT SOCIAL MARGINAL MÉMOIRE PRÉSENTÉ COMME EXIGENCE PARTIELLE DE LA MAÎTRISE EN ÉCONOMIQUE PAR ERIC LÉVESQUE JANVIER

Plus en détail

BUREAU D'APPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES

BUREAU D'APPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES BUREAU DAPPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES BAMSI REPRINT 04/2003 Introducton à l analyse des données Samuel AMBAPOUR BAMSSI I BAMSI B.P. 13734 Brazzavlle BAMSI REPRINT 04/2003 Introducton

Plus en détail

Corrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0.

Corrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0. Corrgé du problème de Mathématques générales 2010 - Parte I - 1(a. Sot X S A. La matrce A est un polynôme en X donc commute avec X. 1(b. On a : 0 = m A (A = m A (X n ; le polynôme m A (x n est annulateur

Plus en détail

Analyse des Performances et Modélisation d un Serveur Web

Analyse des Performances et Modélisation d un Serveur Web SETIT 2009 5 th Internatonal Conference: Scences of Electronc, Technologes of Informaton and Telecommuncatons March 22-26, 2009 TUNISIA Analyse des Performances et Modélsaton d un Serveur Web Fontane RAFAMANTANANTSOA*,

Plus en détail

Une analyse économique et expérimentale de la fraude à l assurance et de l audit

Une analyse économique et expérimentale de la fraude à l assurance et de l audit Une analyse économque et expérmentale de la fraude à l assurance et de l audt Sameh Borg To cte ths verson: Sameh Borg. Une analyse économque et expérmentale de la fraude à l assurance et de l audt. Economes

Plus en détail

En vue de l'obtention du. Présentée et soutenue par Elayeb Bilel Le 26 juin 2009

En vue de l'obtention du. Présentée et soutenue par Elayeb Bilel Le 26 juin 2009 THÈSE En vue de l'obtenton du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délvré par Insttut Natonal Polytechnque de Toulouse (INPT) Dscplne ou spécalté : Informatque Présentée et soutenue par Elayeb Blel Le

Plus en détail

UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS

UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS BRUSSELS ECONOMIC REVIEW - CAHIERS ECONOMIQUES DE BRUXELLES VOL. 49 - N 2 SUMMER 2006 UNE ETUDE ECONOMÉTRIQUE DU NOMBRE D ACCIDENTS DANS LE SECTEUR DE L ASSURANCE AUTOMOBILE* MARÍA DEL CARMEN MELGAR**

Plus en détail

Des solutions globales fi ables et innovantes. www.calyon.com

Des solutions globales fi ables et innovantes. www.calyon.com Des solutons globales f ables et nnovantes www.calyon.com OPTIM Internet: un outl smple et performant Suv de vos comptes Tratement de vos opératons bancares Accès à un servce de reportng complet Une nterface

Plus en détail

1. Les enjeux de la prévision du risque de défaut de paiement

1. Les enjeux de la prévision du risque de défaut de paiement Scorng sur données d entreprses : nstrument de dagnostc ndvduel et outl d analyse de portefeulle d une clentèle Mrelle Bardos Ancen chef de servce de l Observatore des entreprses de la Banque de France

Plus en détail

LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P.

LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P. LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50 Année 004-005 MODÉLISATION Recherche des paramètres d'une représentaton analytque JP DUBÈS 3 MODÉLISATION Recherche des paramètres d'une représentaton analytque

Plus en détail

- Acquisition de signaux en sismologie large bande. - Acquisition de signaux lents, magnétisme, MT.

- Acquisition de signaux en sismologie large bande. - Acquisition de signaux lents, magnétisme, MT. 87 DUCAPTEURAUXEANQUESDEDONNEES. TECHNQUES D'NSTRUMENTATON EN GEOPEY8QUE. J:M. CANTN Unversté Lous Pasteur (Strasbourg 1) nsttut de Physque du Globe de Strasbourg Ecole et Observatore de Physque du Globe.

Plus en détail

Stéganographie Adaptative par Oracle (ASO)

Stéganographie Adaptative par Oracle (ASO) Stéganographe Adaptatve par Oracle ASO Sarra Kouder, Marc Chaumont, Wllam Puech To cte ths verson: Sarra Kouder, Marc Chaumont, Wllam Puech. Stéganographe Adaptatve par Oracle ASO. CORESA 12: COmpresson

Plus en détail

Dynamique du point matériel

Dynamique du point matériel Chaptre III Dynaqe d pont atérel I Généraltés La cnéatqe a por objet l étde des oveents des corps en foncton d teps, sans tenr copte des cases q les provoqent La dynaqe est la scence q étde (o déterne)

Plus en détail

Les méthodes numériques de la dynamique moléculaire

Les méthodes numériques de la dynamique moléculaire Les méthodes numérques de la dynamque moléculare Chrstophe Chpot Equpe de chme et & bochme théorques, Unté Mxte de Recherche CNRS/UHP 7565, Insttut Nancéen de Chme Moléculare, Unversté Henr Poncaré, B.P.

Plus en détail

ErP : éco-conception et étiquetage énergétique. Les solutions Vaillant. Pour dépasser la performance. La satisfaction de faire le bon choix.

ErP : éco-conception et étiquetage énergétique. Les solutions Vaillant. Pour dépasser la performance. La satisfaction de faire le bon choix. ErP : éco-concepton et étquetage énergétque Les solutons Vallant Pour dépasser la performance La satsfacton de fare le bon chox. ErP : éco-concepton et étquetage énergétque Eco-concepton et Etquetage

Plus en détail

La Quantification du Risque Opérationnel des Institutions Bancaires

La Quantification du Risque Opérationnel des Institutions Bancaires HEC Montréal Afflée à l Unversté de Montréal La Quantfcaton du Rsque Opératonnel des Insttutons Bancares par Hela Dahen Département Fnance Thèse présentée à la Faculté des études supéreures en vue d obtenton

Plus en détail

Les prix quotidiens de clôture des échanges de quotas EUA et de crédits CER sont fournis par ICE Futures Europe

Les prix quotidiens de clôture des échanges de quotas EUA et de crédits CER sont fournis par ICE Futures Europe Méthodologe CDC Clmat Recherche puble chaque mos, en collaboraton avec Clmpact Metnext, Tendances Carbone, le bulletn mensuel d nformaton sur le marché européen du carbone (EU ETS). L obectf de cette publcaton

Plus en détail

MEMOIRE. Présenté au département des sciences de la matière Faculté des sciences

MEMOIRE. Présenté au département des sciences de la matière Faculté des sciences REPUBLIQUE LERIEN DEMOCRTIQUE ET POPULIRE Mnstère de l ensegnement supéreur et de la recherche scentfque Unversté El-Hadj Lakhdar-BTN- MEMOIRE Présenté au département des scences de la matère Faculté des

Plus en détail

RAPPORT DE STAGE. Approcher la frontière d'une sous-partie de l'espace ainsi que la distance à cette frontière. Sujet : Master II : SIAD

RAPPORT DE STAGE. Approcher la frontière d'une sous-partie de l'espace ainsi que la distance à cette frontière. Sujet : Master II : SIAD UFR SCIENCES ET TECHNOLOGIES DEPARTEMENT DE MATHEMATIQUES ET INFORMATIQUE 63 177 AUBIERE CEDEX Année 2008-2009 Master II : SIAD RAPPORT DE STAGE Sujet : Approcher la frontère d'une sous-parte de l'espace

Plus en détail

22 environnement technico-professionnel

22 environnement technico-professionnel 22 envronnement technco-professonnel CYRIL SABATIÉ Drecteur du servce jurdque FNAIM Ouverture du ma IMMOBILIER, OÙ 1 Artcle paru également dans la Revue des Loyers, jullet à septembre 2007, n 879, p. 314

Plus en détail

Calcul de tableaux d amortissement

Calcul de tableaux d amortissement Calcul de tableaux d amortssement 1 Tableau d amortssement Un emprunt est caractérsé par : une somme empruntée notée ; un taux annuel, en %, noté ; une pérodcté qu correspond à la fréquence de remboursement,

Plus en détail

II - Notions de probabilité. 19/10/2007 PHYS-F-301 G. Wilquet 1

II - Notions de probabilité. 19/10/2007 PHYS-F-301 G. Wilquet 1 II - Notos de probablté 9/0/007 PHYS-F-30 G. Wlquet Ue varable aléatore est ue varable dot la valeur e peut être prédte avec certtude mas dot la probablté d occurrece d ue valeur (varable dscrète) ou d

Plus en détail

L ABC du traitement cognitivo-comportemental de l insomnie primaire

L ABC du traitement cognitivo-comportemental de l insomnie primaire F É D É R A T I O N D E S M É D E C I N S O M N I P R A T I C I E N S D U Q U É B E C L ABC du tratement cogntvo-comportemental de l nsomne prmare par Anne Vallères, Bernard Guay et Charles Morn M me Tousgnant

Plus en détail

Guide d installation. Système d alarme bidirectionnel sans-fil. Modèles:

Guide d installation. Système d alarme bidirectionnel sans-fil. Modèles: Système d alarme bdrectonnel sans-fl Gude d nstallaton Modèles: PC9155-433/868 PC9155G-433/868 PC9155D-433/868 Utlsé avec : WT5500-433/868 WT5500P-433/868 Sére de claver bdrectonnel sans-fl IMPORTANT :

Plus en détail

Le guide pratique pour y parvenir

Le guide pratique pour y parvenir Le gude pratque pour y parvenr 1 2 3 4 Il n est pas facle d arrêter de fumer. Il s agt de renoncer à une habtude quotdenne soldement nstallée, de changer de comportement Celaprenddu tempset sefat généralement

Plus en détail

Mots-clés : Système multicapteurs, Réseau local, Réseaux de neurones, Supervision, Domotique. xigences système d'une nouvelle

Mots-clés : Système multicapteurs, Réseau local, Réseaux de neurones, Supervision, Domotique. xigences système d'une nouvelle Mots-clés : xgences système d'une nouvelle fonctonnalté dans l'habtat ndvduel : cas de la survellance Système multcapteurs, Réseau local, Réseaux de neurones, Supervson, Domotque. des personnes âgées et

Plus en détail

GATE Groupe d Analyse et de Théorie Économique DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24. Préférences temporelles et recherche d emploi

GATE Groupe d Analyse et de Théorie Économique DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24. Préférences temporelles et recherche d emploi GATE Groupe d Analyse et de Théore Économque UMR 5824 du CNRS DOCUMENTS DE TRAVAIL - WORKING PAPERS W.P. 08-24 Préférences temporelles et recherche d emplo «Applcatons économétrques sur le panel Européen

Plus en détail

THESE. Khalid LEKOUCH

THESE. Khalid LEKOUCH N d ordre : /2012 THESE Présentée à la FACULTE DES SCIENCES D AGADIR En vue de l obtenton du GRADE DE DOCTEUR EN PHYSIQUE (Spécalté : Energétque, Thermque et Métrologe) Par Khald LEKOUCH MODELISATION ET

Plus en détail