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. (WO2014083589) SYSTÈME, PROCÉDÉ ET PROGRAMME SERVANT À IDENTIFIER DES DÉCLENCHEURS DE NON-PERTINENCE DE COMPOSANTS
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2014/083589    N° de la demande internationale :    PCT/JP2012/007649
Date de publication : 05.06.2014 Date de dépôt international : 28.11.2012
CIB :
H04L 12/24 (2006.01), G05B 23/02 (2006.01), G06F 11/07 (2006.01), H04L 29/14 (2006.01)
Déposants : NEC CORPORATION [JP/JP]; 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001 (JP) (Tous Sauf US).
XIANG, Jianwen [CN/JP]; (JP) (US only)
Inventeurs : XIANG, Jianwen; (JP)
Mandataire : INABA, Yoshiyuki; TMI ASSOCIATES, 23rd Floor, Roppongi Hills Mori Tower, 6-10-1, Roppongi, Minato-ku, Tokyo 1066123 (JP)
Données relatives à la priorité :
Titre (EN) A System, Method, and Program for Identifying Irrelevancy Triggers of Components
(FR) SYSTÈME, PROCÉDÉ ET PROGRAMME SERVANT À IDENTIFIER DES DÉCLENCHEURS DE NON-PERTINENCE DE COMPOSANTS
Abrégé : front page image
(EN)A system for identification of irrelevancy triggers of components includes: an Irrelevancy Formula Construction Unit for constructing the irrelevancy formula of a component from a Boolean formula representing the combinations of covered component-failures that lead to system failure, in which the positive prime implicants of the irrelevancy formula constitute the minimal irrelevancy triggers of the component.
(FR)L'invention a trait à un système destiné à l'identification de déclencheurs de non-pertinence de composants, qui comprend : une unité d'élaboration de formule de non-pertinence conçue pour élaborer la formule de non-pertinence d'un composant à partir d'une formule booléenne représentant les combinaisons des défaillances de composants couverts qui mènent à une défaillance du système, les implicants premiers positifs de cette formule de non-pertinence constituant les déclencheurs de non-pertinence minimaux du composant.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, 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, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, 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, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (AL, 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, RS, 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 : anglais (EN)
Langue de dépôt : anglais (EN)