Elysia Tools

Parcourez outils, exemples, explications visuelles et guides thématiques dans un espace clair.

Catégories populaires

Dossiers

Langue

ZH DE RU PT EN FR ES

Elysia Tools

Navigation mobile

Biology

Réplication et Transcription de l'ADN — Animation du Dogme Central

Animation interactive étape par étape : du déroulement de la double hélice à la transcription de l'ARNm

Ouvrir la visualisation statique

Associé

Outils et dossiers associés

Suivant

Autres visualisations proches

Nettoyage d'image, redimensionnement et renforcement du detail

Preparez des images validees en corrigeant l'orientation, en rognant les bords, en reduisant le bruit, en redimensionnant precisement et en restaurant la nettete.

Outils de restauration, réparation du bruit et nettoyage audio

Diagnostiquez et réparez clics, ronflement, écrêtage, crépitements, son de pièce, souffle et dureté sans promettre une restauration sans perte.

Revue et livraison d’un module de jeu promotionnel auto-hébergé

Contrôlez configuration, exemples de réponses, lisibilité et affichage adaptatif avant de livrer les fichiers du module et les preuves de recette de son intégration.

Corruption et mutation volontaires du texte à des fins de test

Abîmez un texte propre avec intention — filtrez, dupliquez et inversez phrases et mots, injectez lettres et symboles aléatoires, mélangez lignes et mots, et prouvez que chaque mutation reste maîtrisée pour les tests de robustesse d'analyseurs, les répétitions d'OCR et les expériences linguistiques.

Visualisations471

Visionneuses de fichiers103

Images, audio et vidéo657

Outils de traitement, conversion et optimisation d’images, d’audio et de vidéo

Maths, dates et finance647

Calculateurs, outils numériques, logique de dates, statistiques et finance

Design et couleur298

Outils de couleur, mise en page, graphisme, style visuel et assistance design

Texte et rédaction209

Outils de rédaction, nettoyage, formatage, extraction et analyse de texte

Développement et Web193

Utilitaires développeur, réseau, débogage Web et assistants d’automatisation

Conversion et encodage175

Outils de conversion de formats, fichiers, archives, unités et encodages

Lancement d’un quiz de prospection et transmission des contacts

Textes commémoratifs : validation familiale et remise pour impression

Habitudes privées : sauvegarde, restauration et partage vérifié

D’un article aux brouillons X et LinkedIn : revue factuelle et livraison

Revue de cours Markdown interactif et livraison hors ligne

© 2026 Elysia Tools. Tous droits réservés.

Documentation Tarifs À propos Conditions d'utilisation Politique de confidentialité Cookies Contact

Science & Education

Orchestrateur de vérification formelle SMT-LIB 2.7 / AIGER / BTOR2 (CDCL + BMC + k-induction + interpolation de Craig + IC3)

Une pile complète de vérification formelle dans le navigateur — sans binaire cvc5/Z3 : un analyseur de scripts SMT-LIB 2.7 pour le cœur QF_BV + Bool avec bit-blasting Tseitin des opérateurs FixedSizeBitVectors, un lecteur AIGER (aag ASCII et aig binaire avec décodage delta ; sorties comme propriétés bad), un lecteur BTOR2 avec bit-blasting au niveau du mot et un moteur SAT CDCL écrit à la main (littéraux doublement surveillés, activités façon VSIDS, apprentissage 1-UIP, redémarrages). Sur les modèles séquentiels : BMC avec traces témoins, k-induction avec renforcement par états uniques, interpolation de Craig à la McMillan re-certifiée par SAT, et une boucle IC3/PDR-lite à blocage de cubes.

Health

Calculateur de l'Indice de Production Réticulocytaire (RPI)

Calcule l'indice de production réticulocytaire RPI, en corrigeant pour le degré d'anémie et le temps de maturation dans le sang périphérique. Étapes : ①numération réticulocytaire corrigée CRC = rétic% × (Hte du patient / Hte normal) (Hte normal : homme 45%, femme 40%) ; ②facteur de maturation (jours) selon l'Hte : 45%→1.0, 35%→1.5, 25%→2.0, 15%→2.5 (interpolation linéaire) ; ③RPI = CRC / facteur de maturation. Interprétation : RPI > 2 (surtout > 3) → réponse médullaire appropriée : hémolyse ou récupération après hémorragie aiguë (la moelle répond, cherchez une perte/destruction périphérique) ; RPI < 2 → anémie hypoproliférative (carence martiale, anémie inflammatoire/chronique, aplasique, rénale, SMD, infiltration médullaire, mégaloblastique non traitée). Limites : le RPI est moins fiable si l'anémie évolue rapidement ; si la numération absolue des réticulocytes (ARC, ×10⁹/L) est disponible, la préférer. Sources : Hillman & Finch, Berlin Blood 1959, MDCalc. Non un avis médical.

Health

Coach de modélisation épidémique SIR/SEIR, R0 et interventions

Intègre les EDO SIR/SEIR/SEIR+V/SEIR+H par RK4 : R0, seuil d’immunité, pic et taille finale analytiques, conversion du taux de croissance, matrice de nouvelle génération WAIFW, ajustement MCO et simulation d’interventions.

Math & Numbers

Conduction Radiale Cylindrique (Q=2πkL·ΔT/ln(r₂/r₁))

Calcule la conduction thermique radiale en régime stationnaire à travers une paroi cylindrique monocouche d'après la loi de Fourier en coordonnées cylindriques : flux radial Q=2π·k·L·ΔT/ln(r₂/r₁) (W), densité de flux sur la surface intérieure q_inner=Q/(2π·r₁·L) (W/m²), densité sur la surface extérieure q_outer=Q/(2π·r₂·L) (W/m²) et résistance thermique cylindrique R=ln(r₂/r₁)/(2π·k·L) (K/W). k est la conductivité (W/(m·K)) ; L la longueur du cylindre ; r₁ le rayon intérieur, r₂ le rayon extérieur (r₂>r₁>0) ; ΔT la différence de température (K ; différence en °C = différence en K, différence en °F ×5/9). ΔT peut être négatif (flux inverse), mais k, L, r₁ et r₂ doivent être positifs. Longueur et rayon en m/cm/mm.

Réaction d'Ordre Zéro - Visualisation Interactive

Visualisation interactive de la cinétique de réaction d'ordre zéro et des changements de concentration au cours du temps

Réaction de Premier Ordre - Visualisation Interactive

Visualisation interactive de la cinétique de réaction de premier ordre et de la décroissance exponentielle de concentration

Réaction de Deuxième Ordre - Visualisation Interactive

Visualisation interactive de la cinétique de réaction de deuxième ordre et de la dynamique de collision bimoléculaire

Équation d'Arrhenius

Visualisation interactive de l'effet de la température sur la vitesse de réaction - Explorez l'énergie d'activation, le facteur pré-exponentiel et la relation avec la constante de vitesse

Réaction Réversible

Visualisation interactive de la cinétique de réaction réversible A ⇌ B - Explorez les taux de réaction directs et inverses, la constante d'équilibre et les changements de concentration

Réaction Consécutive

Visualisation interactive de la cinétique de réaction consécutive A → B → C - Explorez les pics de concentration intermédiaire et les étapes déterminantes

Réaction en Chaîne

Visualisation interactive de la polymérisation radicalaire en chaîne

Principe de Le Chatelier

Visualisation interactive du principe de Le Chatelier - Explorez comment les changements de concentration, pression et température affectent l'équilibre chimique