ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-11172015-120030


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