AntoineToullalan / Projet_Recherche_Algo_syst_repartis

0 stars 0 forks source link

Compte rendu de la séance n°1 #1

Open ghost opened 3 years ago

ghost commented 3 years ago

**Relevé de décision du 28/01/2021**

Nous allons entamer la partie conception du projet de recherche et pour cela, nous devons:

Objectif:

Modéliser un algorithme en lien avec les DHT grâce aux réseaux de Petri

Liens partagés:

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiW5fXdlLzuAhXB7eAKHVFtBFAQFjAEegQIAxAC&url=https%3A%2F%2Fwww.ietf.org%2Fproceedings%2F06mar%2Fslides%2Fplenaryt-2.pdf&usg=AOvVaw1odb88c3m_xIEOT4ZHWngn https://docs.ipfs.io/concepts/dht/ https://en.wikipedia.org/wiki/Distributed_hash_table http://www.pnml.org https://pnml.lip6.fr

Prochain RDV:

Lundi 08/02/2021 à 11h

fkordon commented 3 years ago
Bonjour,

Merci pour ce retour. Quelques remarques

Le 29 janv. 2021 à 14:50, rosaa43 notifications@github.com a écrit :

Relevé de décision:

Nous allons entamer la partie conception du projet de recherche et pour cela, nous devons:

Rédiger un mémo sur les réseaux de pétri et modéliser un comportement de notre choix Ne pas écouter votre correcteur sur «pétri». les réseaux de Petri sont nommés d’après le nom d’un informaticien (encore un peu matheux) allemand connu : Karl Adam Petri (https://fr.wikipedia.org/wiki/Carl_Adam_Petri).

Sinon, ok

Rédiger un mémo sur les DHT et leur fonctionnement oui. Se renseigner au sujet d’algorithmes concernant les DHT (ex :Algorithme de conception, de routage, ou encore sur les collisions ou la perte de nœud du leafset) Oui, à ce stade, essayons de trouver des algorithmes marra,nts à modéliser Se renseigne sur la logique temporelle (LTL, CTL) oui Créer et organiser un repository sur GitHub oui Objectif:

Modéliser un algorithme en lien avec les DHT grâce aux réseaux de Pétri

Oui. Liens partagés:

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiW5fXdlLzuAhXB7eAKHVFtBFAQFjAEegQIAxAC&url=https%3A%2F%2Fwww.ietf.org%2Fproceedings%2F06mar%2Fslides%2Fplenaryt-2.pdf&usg=AOvVaw1odb88c3m_xIEOT4ZHWngn https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiW5fXdlLzuAhXB7eAKHVFtBFAQFjAEegQIAxAC&url=https%3A%2F%2Fwww.ietf.org%2Fproceedings%2F06mar%2Fslides%2Fplenaryt-2.pdf&usg=AOvVaw1odb88c3m_xIEOT4ZHWngn https://docs.ipfs.io/concepts/dht/ https://docs.ipfs.io/concepts/dht/ https://en.wikipedia.org/wiki/Distributed_hash_table https://en.wikipedia.org/wiki/Distributed_hash_table http://www.pnml.org http://www.pnml.org/ https://pnml.lip6.fr https://pnml.lip6.fr/ Prochain RDV:

Lundi 08/02/2021 à 11h

Lors de la prochaine réunion, on commencera avec un premier exposé de 10-15 minutes avec:

Dernier point, vos relevés de décision et tout et tout doivent se trouver dans le repository qui est pour l’instant assez vide si j’ai bien compris.

A bientôt.


Fabrice Kordon
Sorbonne Université Campus Pierre & Marie Curie LIP6/MoVe, Office 26-00/202 or 26-25/216 4 place Jussieu, 75252 Paris Cedex 05 http://lip6.fr/Fabrice.Kordon/ http://lip6.fr/Fabrice.Kordon/