in silico
Phase 1 : In Silico Validation
- Objectif
- Tester la faisabilité fondamentale du mapping ACO-SNN et vérifier les prédictions centrales de précision d’attribution de crédit dans un environnement simulé contrôlé.
- Coût estimé
- €0-500 (coût marginal de calcul)
- Durée estimée
- 4-6 semaines
- Critères de réussite
- Précision d’attribution de crédit (C_accuracy) - Corrélation de Pearson entre poids appris et poids causaux vrais. · ACO-STDP ≥ 1.25 * STDP+R, avec une différence statistiquement significative (p < 0.01, test t bilatéral). · (Moyenne sur 50 runs à complexité de chemin = 100.)
- Vitesse de convergence (T_converge) - Nombre d’essais pour atteindre 90% de succès. · ACO-STDP ≤ 0.7 * STDP+R pour complexité = 1000, différence significative (p < 0.05, test de log-rank). · (Médiane sur 50 runs.)
- Maintien du régime équilibré - Coefficient de variation des intervalles inter-spikes (CV ISI). · CV ISI > 0.8 pendant >95% de la durée de simulation. · (Calculé sur la période de spike train des neurones excitateurs.)
- On continue si
- Les deux critères de succès principaux (précision et vitesse) sont atteints ET le régime équilibré est maintenu.
- On arrête si
- Aucune différence significative en faveur d’ACO-STDP sur la précision OU la vitesse, OU le régime de réseau s’effondre (synchronisation, silence).
- On réoriente si
- ACO-STDP est meilleur sur un seul critère. Pivoter vers l’analyse des paramètres (ρ, R_k) pour optimiser la règle avant Phase 2.
- Risques
- Instabilité numérique ou explosion/vanissement des poids synaptiques avec la règle ACO-STDP.Probabilité : mediumParade : Implémenter des bornes sur les poids (e.g., 0 à w_max), utiliser un pas d’intégration adaptatif, tester une gamme de taux d’évaporation (η).
- La tâche simulée est trop simple/triviale et ne requiert pas d’attribution de crédit populationnelle.Probabilité : lowParade : Concevoir une tâche où le chemin optimal nécessite la coordination de plusieurs neurones, avec un fort bruit dans les connexions alternatives.
- Temps de simulation prohibitif pour 50 runs avec 1000 neurones.Probabilité : mediumParade : Commencer avec des populations plus petites (N=100), optimiser le code avec la vectorisation Brian2, utiliser un GPU si disponible, ou réduire le nombre de runs initiaux à 20.