Contenu à venir !
Contenu à venir !
Contenu à venir !
Contenu à venir !
Les fichiers sorties de ViabLab se trouvent dans le répertoire ~/ViabLabGui/bin/VIABLAB/OUTPUT.
Un calcul génère plusieurs fichiers qui sont nommés avec le même préfixe.
Le fichier <prefixe>-grid_data.dat contient les informations sur le grille régulière sur laquelle est basée le calcul, ci-dessous un exemple :
2 ---- nombre de dimensions de l'espace des états
-2 ---- première coordonnée du point inférieur (dans toutes les dimensions) de la grille
-2 ---- deuxième (ici seconde puisqu'on est en dimension 2) coordonnée du point inférieur (dans toutes les dimensions) de la grille
2 ---- première coordonnée du point supérieur (dans toutes les dimensions) de la grille
2 ---- deuxième (ici seconde puisqu'on est en dimension 2) coordonnée du point inférieur (dans toutes les dimensions) de la grille
4001 -- nombre de points de la grille selon le premier axe
4001 -- nombre de points de la grille selon le second axe
0
0 Anya HELP !
1
1Le fichier <prefixe>-viab.dat contient les coordonnées des points de la grille suivies de 0.0 si le point n'appartient pas au noyau calculé et 1.0 s'il y appartient ; le nombre de colonnes est donc égale au nombre de dimensions de l'espace des états plus 1.
Le fichier <prefixe>-viab-bound.dat contient la liste des coordonnées des points de la grille qui ont au moins un voisin qui n'appartient pas au noyau calculé. Ils représentant la frontière de ce noyau.
Pas possible pour le moment, le fichier binaire n'est disponible que pour Linux et Windows, il faut cloner à partir d'un dépôt.
Prérequis :
Pour vérifier si g++ est installé, dans un terminal :
g++ --versionSi g++ n'est pas encore installé sur votre système :
sudo apt install g++Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :
cmake --versionSi ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :
sudo apt remove --purge cmakeVérifier la version de votre Ubuntu, dans un terminal :
lsb_release -aSi votre version est 22.04, installer CMake 3.22.1 automatiquement :
sudo apt update
sudo apt install cmakeSi votre version n’est pas 22.04, installer les dépendances nécessaires :
sudo apt update
sudo apt install -y build-essential libssl-devTélécharger CMake 3.22.1 :
wget https://github.com/Kitware/CMake/releases/download/v3.22.1/cmake-3.22.1.tar.gzExtraire l'archive :
tar -zxvf cmake-3.22.1.tar.gz
cd cmake-3.22.1Construire et installer :
./bootstrap
make -j$(nproc) # Compiles using all available CPU cores
sudo make installVérifier la version de cmake, dans un terminal :
cmake --versionDoit afficher cmake version 3.22.1.
Avoir installé l'IDE Eclipse (facultatif)
sudo apt-get install -y eclipse-cdt
Installation de Viablab :
chmod +x InstallerViabLabGui_v1_linux.run./InstallerViabLabGui_v1_linux.runcmake -G "Unix Makefiles" ../source
makeL'exécutable viabLabExe apparaît dans le répertoire build !
cmake -D_ECLIPSE_VERSION=4.5 -DCMAKE_BUILD_TYPE=Debug ../source -G"Eclipse CDT4 - Unix Makefiles" -DCMAKE_ECLIPSE_GENERATE_SOURCE_PROJECT=TRUE
Prérequis :
A l'adresse https://sourceforge.net/projects/mingw/files/latest/download , téléchargez l'application MinGW Installation Manager.
Ouvrir cette application
Dans le panneau gauche, développer All packages => MinGW, sélectionner MinGW Base System. Sélectionner dans la liste des packages tous les packages dont le nom contient « pthread », choisir Mark For Installation. Faire de même pour les packages gcc, omp, g++, libstd, mingw s’ils ne sont pas sélectionnés.
Une fois les packages sélectionnés, dans le menu Installation, cliquer sur Apply changes et attendre la fin d’installation.
Ajouter l’emplacement de l’installation MinGW dans la variable PATh du système :
Dans paramètres/settings du système, on cherche environmental/environnement et on clique dans «edit environment variables for your account »
Aller dans Path, edit, new et on copie colle : C:\MinGW\bin
Eteindre et redémarrer l'ordinateur.
Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :
??Si ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :
??Aller à l'adresse https://github.com/Kitware/CMake/releases/download/v3.31.7/cmake-3.31.7-windows-x86_64.msi pour télécharger le Windows x64 installer.
Vérifier la version de cmake, dans un terminal :
????Doit afficher cmake version 3.31.7.
Aller à l'adresse https://www.eclipse.org/downloads/packages/release/kepler/sr2/eclipse-ide-cc-developers
Cliquer sur download, à nouveau sur download.
Une fois téléchargé, cliquer sur l’installeur et chosir Eclipse IDE for C/C++ developers
On ‘’launch’’ par la suite (première exécution pour voir que tout fonctionne)
On ‘’launch’’ de nouveau.
Installation de Viablab :
????cmake -G "MinGW Makefiles" ../source
makeL'exécutable viabLabExe apparaît dans le répertoire build :
cmake -G"Eclipse CDT4 - MinGW Makefiles" -D CMAKE_BUILD_TYPE=Debug ../sourceAprès l’exécution de cmake le projet est prêt pour être importé dans Eclipse : le répertoire build ( vide au début) contient les données générées par cmake.
Dans Eclipse, aller dans le menu File => Import et sélectionner l’option Existing Projects into Workspace
Cliquer sur Next
Ensuite dans le fenêtre suivante sélectionner le répertoire build
Cliquer sur Finish
Après l’import on voit l’arborescence du projet dans le panneau gauche
This work examines viability theory and its applications to control theory and differential games. The emphasis is on the construction of feedbacks and dynamical systems by myopic optimization methods. Systems of first-order partial differential inclusions, whose solutions are feedbacks, are constructed and investigated. Basic results are then extended to the case of fuzzy control problems, distributed control problems, and control systems with delays and memory. Aimed at graduate students and research mathematicians, both pure and applied, this book offers specialists in control and nonlinear systems tools to take into account general state constraints. Viability theory also allows researchers in other disciplines—artificial intelligence, economics, game theory, theoretical biology, population genetics, cognitive sciences—to go beyond deterministic models by studying them in a dynamical or evolutionary perspective in an uncertain environment. The book is a compendium of the state of knowledge about viability...Mathematically, the book should be accessible to anyone who has had basic graduate courses in modern analysis and functional analysis…The concepts are defined and many proofs of the requisite results are reproduced here, making the present book essentially self-contained. —Bulletin of the AMS Because of the wide scope, the book is an ideal reference for people encountering problems related to viability theory in their research…It gives a very thorough mathematical presentation. Very useful for anybody confronted with viability constraints. —Mededelingen van het Wiskundig
Utilisation d’algorithmes de viabilité pour garantir la sécurité et la performance des robots évoluant dans des environnements incertains.
Approches mathématiques pour concilier développement économique et préservation du littoral.
Cet atelier propose une introduction appliquée à la théorie de la viabilité, notamment dans le cadre des écosystèmes soumis à des contraintes environnementales. Les participants exploreront comment formaliser des politiques durables de gestion à l’aide d’algorithmes de viabilité, et comment modéliser la résilience d’un système via des cas concrets comme l’eutrophisation d’un lac ou la gestion d'une population.
LUNDI 27 avril
LUNDI 27 AVRIL
8h15 - Rendez-vous de l’ensemble des participants devant la Bibliothèque Universitaire
SESSION 1 : POSER UN PROBLEME EN VIABILITE
Animateur : Bates – De Lapparent - Lavallée - Désilles
8h30 - 8h50 La viabilité mathématique en question ? (Samuel Bates)
8h50 - 9h50 Concept et illustration du noyau de viabilité (François Lavallée)
Pause & discussion
10h00-11h15 Formuler mathématiquement un problème de viabilité (François Lavallée)
11h15-12h00 Cas de résolution analytique de la viabilité (François Lavallée)
Déjeuner
13h30-14h15 Cas de résolution numérique de la viabilité (François Lavallée)
14h15-15h00 Cas de résolution de viabilité avec cible terminale (François Lavallée)
Pause & discussion
15h15-16h00 Cas de résolution de viabilité en situation de risque (François Lavallée)
16h00-16h45 Cas de résolution de viabilité en situation d’incertitude (François Lavallée)
Pause & discussion
17h00-17h45 Cas de résolution de viabilité multi-agent (Alice De Lapparent)
MARDI 28 AVRIL
SESSION 2 : L’INFORMATIQUE DE LA VIABILITE
Animateur : Désilles - Lavallée
8h00-9h00 Préparation à l’informatique de la viabilité (Anya Désilles)
9h00-10h30 Présentation du logiciel Viablab (Anya Désilles)
Pause & discussion
10h45-11h15 Enjeux informatiques sur les noyaux de viabilité (Anya Désilles)
11h15-12h00 Enjeux informatiques sur les trajectoires de viabilité (Anya Désilles)
Déjeuner
13h30-15h30 Atelier de manipulation du Logiciel autour d’un cas d’étude (1/2) (François Lavallée & Anya Désilles)
Pause & discussion
15h45-17h45 Atelier de manipulation du Logiciel autour d’un cas d’étude (2/2) (François Lavallée & Anya Désilles)
MERCREDI 29 AVRIL
SESSION 3 : ATELIERS THEMATIQUES D’APPLICATION
Animateurs Désilles - Gloglo
8h00-10h00 Atelier autour de AgroViablab : Illustration vers une montée en
complexité (Anya Désilles)
Pause & discussion
10h15-12h15 Brainstorming autour d’AgroViablab (collectif)
Déjeuner
13h45-15h45 Atelier d’application sur un système monétaire : Illustration vers une simplification de complexité (Beringer Gloglo)
15h45-17h45 Brainstorming sur les applications (collectif)
18h00-19h00 Séminaire sur la viabilité en économie monétaire (en marge de l’école chercheur à destination des étudiants de Master d’économie) (Beringer Gloglo, Samuel Bates)
JEUDI 30 AVRIL
SESSION 4 : MODELISATION EN VIABILITE
8h00-09h00 Brainstroming autour d’un 1er sujet de modélisation (collectif)
9h00-10h00 Brainstroming autour d’un 2e sujet de modélisation (collectif)
Pause & discussion
10h15-11h15 Brainstroming autour d’un 3e sujet de modélisation (collectif)
11h15-12h00 Retour d’expériences
Déjeuner & clôture hors les murs (13h00-17h00 : Saint-Pierre)
L'atelier aura lieu à l'Université des Antilles, Pôle Martinique
En remettant les processus écologiques au cœur des dynamiques de production, les systèmes agricoles écologisés doivent composer avec de nombreuses incertitudes. La résilience, l’adaptabilité et la flexibilité deviennent alors des propriétés clefs de ces systèmes. En m’appuyant sur les développements récents du cadre mathématique de la Théorie de la viabilité que j’applique à neuf cas d’étude en productions végétales et animales, je propose ici un cadre formel pour l’évaluation de ces propriétés via des méthodes numériques. Ces travaux montrent en quoi se détacher d’une logique d’optimisation monocritère est d’autant plus pertinent que l’on s’intéresse à des systèmes écologisés, c’est-à-dire complexes, évolutifs et aux dynamiques incertaines par nature. Appréhender la viabilité de ces systèmes, demande alors non seulement de considérer leur structure (les états) mais aussi la gamme d’options de pilotage disponibles (les contrôles) permettant de se maintenir dans une gamme de situations jugées acceptables (viables) par l’agriculteur.
Cela peut impliquer d’élargir le regard porté sur le système étudié en prenant en compte l’ensemble des composantes embarquées par les objectifs de l’agriculteur, quitte à dépasser le cadre agricole strict. De la même manière cet élargissement de point de vue amène à considérer le système agricole dans son environnement en intégrant les interactions avec les autres acteurs du territoire. Ces changements d’échelle que j’envisagerai dans la suite de mes recherches engagent des questions méthodologiques pour continuer à appliquer le cadre de la viabilité à des systèmes plus vastes (de plus grandes dimensions), mais aussi pour en transposer les concepts principaux à des approches plus qualitatives.
À l’échelle d’une exploitation apicole, la capacité d’adaptation est liée à différents aspects du fonctionnement : aux pratiques de gestion du cheptel, à des choix de commercialisation ou d’organisation. Cette capacité d’adaptation contribue à la durabilité de l’exploitation en lui permettant de composer avec un contexte variable, mais constitue également un élément de plus à considérer dans les compromis à trouver entre plusieurs enjeux de durabilité qui peuvent être antagonistes : viabilité économique, temps de travail… Pour révéler les difficultés possibles à concilier ces différents objectifs avec celui d’adaptabilité dans la gestion du renouvellement du cheptel, nous avons appliqué la théorie de la viabilité à une modélisation des principales options de gestion du renouvellement (gestion des reines, création de nouvelles colonies) et des dynamiques d’évolution du cheptel. Le modèle développé a permis d’étudier les conséquences de différentes pratiques sur la possibilité pour l’exploitation d’atteindre ses objectifs économiques et de temps de travail tout en maintenant un certain niveau d’adaptabilité. Certains choix techniques comme le nombre de reines disponibles (relativement au nombre de colonies de l’exploitation) apparaissent ainsi limiter en amont les options possibles de gestion du cheptel, voire la viabilité de l’exploitation dans certaines situations. L’adaptabilité de la gestion du cheptel apparaît donc comme une contrainte