Laurent Bitjoka

Deux principales approches de supervision par les R seaux de Petri sauf des syst mes v nements discrets sont propos es dans la litt rature savoir celle des Invariants de marquage et celle de la th orie des r gions. Il est constat que de ces deux approches qu'il n'est pas vident de v rifier la contr labilit de la sp cification qui garanti la suret de bon fonctionnement. Pour y parvenir, dans ce livre nous proposons deux approches de supervision par R seaux de Petri stochastique d'un syst me de production des pi ces m talliques sous la contrainte de stock. La premi re approche vise v rifier la contr labilit de la sp cification par transformation du mod le R seaux de Petri stochastique en mod le automate pour une application de l'algorithme de Kumar. La seconde approche vise d terminer par calcul les tats interdirent pour un meilleur fonctionnement du syst me de production. Apr s application de ces deux approches il est constat que le syst me supervis est optimal.

Cette recherche a t pr par e au d partement de g nie Electrique-Energ tique-Automatique de l'Ecole Nationale des Sciences Agro-Industrielles ( ENSAI ) de l'Universit de Ngaound r au sein du Laboratoire Energie Signal Imagerie et Automatique ( LESIA http: //lesia-cameroun.org ) en partenariat avec le Laboratoire de Biophysique, Biochimie Alimentaire et Nutrition (LBBAN) de l'Universit de Ngaound r .

La n cessit , pour les professionnels de se procurer des images de bonne qualit les a pouss s s'int resser aux fichiers RAWs ou n gatifs de la photographie num rique. Ces fichiers sont constitu s des m tadonn es et des donn es CFA. Les donn es CFA sont des valeurs num riques qui proviennent de la conversion des photons de la lumi re en valeurs num riques. Quant aux m tadonn es, ce sont des informations contenues dans l'image. Chaque fabricant poss de son propre fichier RAW et le logiciel de d codage de ce fichier. Les logiciels propos s par les fabricants effectuent des pr traitements irr versibles sur les images. L'objectif de ce travail tait donc de d velopper une m thode de pr traitement universel de donn es d'image. Pour atteindre cet objectif, nous avons propos des m thodes de correction des pixels d fectueux, qui se d roule en trois tapes. Une d tection des pixels. Ensuite, nous avons identifi les pixels d fectueux. Enfin, nous avons propos une m thode de correction des pixels d fectueux et nous avons observ une am lioration du MSE (erreur quadratique moyenne) de 2,0571E-05 en moyenne pour 16 images de r solution 6016*4016 une fois compar la m thode de Reinhart.

La mutation des syst mes de production en syst mes automatis s a engendr une flexibilit de la configuration des proc d s industriels. De ce fait, les exigences sans cesse croissantes en qualit et quantit de produits manufactur s rendent ces syst mes tr s complexes. L'effort humain visant superviser ces syst mes consiste alors en l' laboration de programmes s curis s. D'o l' mergence de la th orie de commande par supervision de Ramadge & Wonham. Dans le soucis de contribuer l'impl mentation de cette th orie dans l'industrie, la commande, dans le cadre des travaux de cet ouvrage, est obtenue en se basant sur la mod lisation du syst me et des sp cifications l'aide du Grafcet. A cet effet, deux m thodes sont propos es: la premi re est bas e sur l'algorithme de Kumar et la seconde utilise la m thode des invariants de marquage. Ces approches sont illustr es sur un syst me manufacturier.

Dans le pr sent manuscrit, nous avons tudi et r alis une chaine compl te de traitement du signal, partant de l'acquisition des signaux leur traitement num rique, permettant de d celer, de suivre et d'analyser les param tres de l' volution d'un ph nom ne physique. Le syst me ainsi con u est mis en application pour l' tude de la cuisson des l gumineuses. Ce syst me est constitu des capteurs de d placements, d'un module lectronique d'acquisition de seize entr es fonctionnant une cadence d' chantillonnage de 23 kHz et de deux applications informatiques dont l'une pour l'acquisition, le suivi en temps r el de la cuisson et l'archivage des donn es de cuisson, et l'autre pour le traitement de ces donn es. Ce syst me permet contrairement ses pr d cesseurs de traiter un nombre d'informations lev avec une grande pr cision. Ce qui am liore la qualit et la quantit d'informations trait s. Ainsi, ce syst me permet de d celer tout param tre qui aurait une influence sur la cuisson des l gumineuses. La mise en oeuvre de ce syst me a permis de montrer l'influence de la vari t , de la taille et de la temp rature de cuisson d'un chantillon de l gumineuses sur sa dur e de cuisson.