WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2003084465) MODELISATION DE SYSTEMES BIOLOGIQUES
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2003/084465    N° de la demande internationale :    PCT/US2002/014373
Date de publication : 16.10.2003 Date de dépôt international : 07.05.2002
Demande présentée en vertu du Chapitre 2 :    09.12.2002    
CIB :
G01N 33/48 (2006.01), G06G 7/48 (2006.01), G06G 7/58 (2006.01)
Déposants : SRI INTERNATIONAL, INC. [US/US]; 333 Ravenswood Avenue, Menlo Park, CA 94025 (US)
Inventeurs : LINCOLN, Patrick, Denis; (US).
LADEROUTE, Keith, Richard; (US).
EKER, Steven, Mark; (US).
KNAPP, A., Merrill; (US)
Mandataire : TONG, Kin-Wah; Moser, Patterson & Sheridan, LLP, 595 Shrewsbury Avenue, Shrewsbury, NJ 07702 (US)
Données relatives à la priorité :
60/289,973 10.05.2001 US
09/855,458 15.05.2001 US
Titre (EN) MODELING BIOLOGICAL SYSTEMS
(FR) MODELISATION DE SYSTEMES BIOLOGIQUES
Abrégé : front page image
(EN)Biological systems are modeled using formal languages and theorem provers and model checkers and term rewriting systems. The model include rules that express a substitution of at least one symbol by at least another symbol. The symbols represent elements of the biological system, and the rules are expressed in a manner that, for example, enables an inference engine to infer alternative results from the system based on an initial hypothetical state. Inference engines are also applied to symbolically simulate, test properties, and explore the biological system. Abstractions and algorithms can be employed to enable symbolic calculation of state sets for the biological system.
(FR)L'invention porte sur des systèmes biologiques modélisés au moyen de langages artificiels et de démonstrateurs de théorèmes, ainsi qu'au moyen de vérificateurs de modèles et de systèmes de réécriture de termes. Le modèle comprend des règles qui expriment une substitution d'au moins un symbole par un autre symbole. Les symboles représentent des éléments du système biologique, et les règles sont exprimées de manière, par exemple, à permettre à un moteur d'inférence d'inférer des résultats alternatifs du système en fonction d'un état initial hypothétique. Des moteurs d'inférence sont également appliqués pour simuler symboliquement des propriétés de test et pour explorer le système biologique. Des abstractions et des algorithmes peuvent être utilisés pour permettre un calcul symbolique des ensembles d'états s'appliquant au système biologique.
États désignés : JP.
Office européen des brevets (OEB) (AT, BE, CH, CY, DE, DK, ES, FI, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE, TR).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)