Unité de R&D · iMuna Technology LLCRetour à iMuna.Tech ↗
Inventions
Préliminaire · Recherche

THML / THM / RVM : calcul symbolique

Langage symbolique, représentation des états et architecture expérimentale de l’environnement d’exécution.

Recherche / lecture visuelle

États, relations et contexte

  1. Sémantique du langage
  2. Modèles d’état de simulation
  3. Comportement à l’exécution
Relation conceptuelle entre les éléments décrits sur cette page.

Périmètre du regroupement

Langage symbolique, représentation des états et architecture expérimentale de l’environnement d’exécution.

Domaines des mécanismes

  • Sémantique du langage
  • Modèles d’état de simulation
  • Comportement à l’exécution

De l’idée à une description évaluable

Une famille de produits peut contenir plusieurs mécanismes différents. C’est pourquoi les archives distinguent les noms des familles de produits des déclarations potentielles d’invention.

  • Un problème technique délimité
  • Un mécanisme concret et une description de son implémentation
  • Les alternatives et leurs différences
  • Des exemples, des tests ou des éléments probants issus de prototypes
  • L’attribution et la traçabilité du développement
  • Un examen indépendant de la nouveauté, des droits et des restrictions applicables

État de l’inventaire

Inventaire de recherche uniquement. La nouveauté, la possibilité de protection, la titularité des droits et la liberté d’exploitation ne sont pas établies ici.