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. (WO2010018313) OUTIL DE VÉRIFICATION INFORMATIQUE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2010/018313    N° de la demande internationale :    PCT/FR2009/000860
Date de publication : 18.02.2010 Date de dépôt international : 10.07.2009
CIB :
G06F 17/50 (2006.01)
Déposants : INRIA INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE [FR/FR]; Domaine de Voluceau Boîte postale 105 Rocquencourt F-78150 Le Chesnay (FR) (Tous Sauf US).
UNIVERSITE DE RENNES 2 - HAUTE BRETAGNE [FR/FR]; Place du Recteur Henri le Moal F-35000 Rennes (FR) (Tous Sauf US).
CEROU, Frédéric [FR/FR]; (FR) (US Seulement).
FURON, Teddy [FR/FR]; (FR) (US Seulement).
GUYADER, Arnaud [FR/FR]; (FR) (US Seulement)
Inventeurs : CEROU, Frédéric; (FR).
FURON, Teddy; (FR).
GUYADER, Arnaud; (FR)
Mandataire : JACOBSON, Claude; c/o CABINET LAVOIX 2 Place d'Estienne d'Orves F-75441 Paris Cedex 09 (FR)
Données relatives à la priorité :
08/04584 13.08.2008 FR
Titre (EN) COMPUTER CHECKING TOOL
(FR) OUTIL DE VÉRIFICATION INFORMATIQUE
Abrégé : front page image
(EN)The invention relates to a computer checking tool that can repeatedly process a plurality of data sets including data distributed according to a statistical rule. The tool includes an estimator (8) that can establish, for a data set, a value characterising the reproduction of a criterion concerning the data contained therein, a driver (6) designed to call the estimator (8) with a plurality of data sets in order to determine a plurality of values and establish a new plurality of sets from the plurality of values, and repeat the estimator (8) call with a new previously established plurality of sets until a condition is verified that involves an extremum of said plurality of values and/or number of repetitions. The tool also includes a mixer (10) that can establish a new set of data on the basis of an existing data set while maintaining the distribution according to the statistical rule, and the driver (6) is designed to call the mixer (10) with at least some of the data sets according to a rule based on the plurality of values associated with said sets.
(FR)Un outil de vérification informatique, propre à traiter répétitivement une pluralité de jeux de données qui comprennent des données réparties selon une loi statistique. L'outil comprend un estimateur (8), capable d'établir pour un jeu de données une valeur caractérisant la reproduction, d'un critère relatif aux données qu'il contient, un pilote (6), agencé pour appeler l'estimateur (8) avec une pluralité de jeux pour déterminer une pluralité de valeurs, et pour établir une nouvelle pluralité de jeux à partir de la pluralité de valeurs, et pour répéter l'appel de l'estimateur (8) avec une nouvelle pluralité de jeux établie précédemment, jusqu'à vérifier une condition qui fait intervenir un extremum de ladite pluralité de valeurs et/ou du nombre de répétitions. L'outil comprend également un mélangeur (10), capable d'établir un nouveau jeu de données, sur la base d'un jeu de données existant, en maintenant la répartition selon la loi statistique, et le pilote (6) est agencé pour appeler le mélangeur (10) avec certains au moins des jeux de données en fonction d'une règle basée sur la pluralité de valeurs associée à ces jeux.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : français (FR)
Langue de dépôt : français (FR)