ETD system

Electronic theses and dissertations repository

 

Tesi etd-11172015-120030


Thesis type
Tesi di laurea specialistica
Author
BOMPADRE, ALESSANDRO
URN
etd-11172015-120030
Title
Multilevel Attributed Probabilistic P System Implementazione e Definizione
Struttura
INFORMATICA
Corso di studi
INFORMATICA
Commissione
relatore Prof. Barbuti, Roberto
relatore Dott. Milazzo, Paolo
relatore Dott. Bove, Pasquale
Parole chiave
  • Ethology
  • P Systems
Data inizio appello
04/12/2015;
Consultabilità
completa
Riassunto analitico
1 Introduction 1<br>1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br>1.2 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br>1.3 Published Material . . . . . . . . . . . . . . . . . . . . . . . . 5<br>2 State of the art 7<br>3 Background 13<br>3.1 Denition of multiset and related operations . . . . . . . . . . 13<br>3.2 Notions of P Systems . . . . . . . . . . . . . . . . . . . . . . . 14<br>3.2.1 Formal denition of a P Systems . . . . . . . . . . . . 15<br>3.2.2 Some relevant extensions . . . . . . . . . . . . . . . . . 16<br>3.2.3 Minimal Probabilistic P systems . . . . . . . . . . . . 18<br>3.2.4 Attributed Probabilistic P Systems . . . . . . . . . . . 22<br>4 Multilevel Attributed Probabilistic P Systems 25<br>4.1 MAPPS formal and informal denition . . . . . . . . . . . . . 26<br>4.1.1 informal denition . . . . . . . . . . . . . . . . . . . . 26<br>4.1.2 Formal denition . . . . . . . . . . . . . . . . . . . . . 28<br>4.2 Semantics, formal denition . . . . . . . . . . . . . . . . . . . 31<br>4.2.1 notes about termination . . . . . . . . . . . . . . . . . 36<br>4.3 MAPPS a simple example . . . . . . . . . . . . . . . . . . . . 37<br>4.4 MAPPS another example: Predator / Prey . . . . . . . . . . 39<br>4.4.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42<br>4.4.2 Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . 43<br>4.4.3 Functions . . . . . . . . . . . . . . . . . . . . . . . . . 45<br>5 APP - General purpose implementation 47<br>5.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47<br>5.1.1 Programming language used in the project . . . . . . . 47<br>5.2 Commentary to code . . . . . . . . . . . . . . . . . . . . . . . 48<br>5.2.1 software engine . . . . . . . . . . . . . . . . . . . . . . 48<br>5.2.2 input les . . . . . . . . . . . . . . . . . . . . . . . . . 50<br>5.2.3 apply method . . . . . . . . . . . . . . . . . . . . . . . 52<br>7<br>5.2.4 Rating method . . . . . . . . . . . . . . . . . . . . . . 53<br>5.2.5 How we implements the probability - Matrices of choice 54<br>5.2.6 State updating . . . . . . . . . . . . . . . . . . . . . . 56<br>6 MAPP - General purpose implementation 59<br>6.1 Software engine extension . . . . . . . . . . . . . . . . . . . . 59<br>6.1.1 class Membrane . . . . . . . . . . . . . . . . . . . . . 59<br>6.1.2 input les . . . . . . . . . . . . . . . . . . . . . . . . . 62<br>6.1.3 class Membrane implementation . . . . . . . . . . . . 62<br>6.1.4 Membrane Attributes . . . . . . . . . . . . . . . . . . 63<br>6.1.5 Updating functions . . . . . . . . . . . . . . . . . . . . 64<br>6.1.6 Membrane example . . . . . . . . . . . . . . . . . . . . 65<br>7 A case of study: Serengeti Lions. 67<br>7.1 Serengeti Lions - informal description . . . . . . . . . . . . . . 69<br>7.2 Serengeti Lions - Formal denition . . . . . . . . . . . . . . . 71<br>8 Experimental results 83<br>8.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83<br>8.2 data and results . . . . . . . . . . . . . . . . . . . . . . . . . . 83<br>8.2.1 rst results . . . . . . . . . . . . . . . . . . . . . . . . 83<br>8.3 A step forward . . . . . . . . . . . . . . . . . . . . . . . . . . 89<br>9 Final Conclusions 93<br>Bibliography 95
File