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. (WO2018099901) PROCÉDÉ DE VÉRIFICATION, DISPOSITIF ET PRODUIT PROGRAMME D’ORDINATEUR
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/099901 N° de la demande internationale : PCT/EP2017/080631
Date de publication : 07.06.2018 Date de dépôt international : 28.11.2017
CIB :
G05B 19/418 (2006.01)
Déposants : SIEMENS AKTIENGESELLSCHAFT[DE/DE]; Werner-von-Siemens-Straße 1 80333 München, DE
Inventeurs : GRIMM, Stephan; DE
HASELBÖCK, Alois; AT
Données relatives à la priorité :
10 2016 223 646.629.11.2016DE
10 2016 224 457.408.12.2016DE
Titre (EN) CHECKING METHOD, DEVICE, AND COMPUTER PROGRAM PRODUCT
(FR) PROCÉDÉ DE VÉRIFICATION, DISPOSITIF ET PRODUIT PROGRAMME D’ORDINATEUR
(DE) VERFAHREN ZUR PRÜFUNG, VORRICHTUNG UND COMPUTERPROGRAMMPRODUKT
Abrégé : front page image
(EN) The invention relates to a method for checking whether and/or how a technical process can be carried out using a technical system with two or more units which have technical capabilities that are potentially relevant to the technical process. At least one ontology is used which describes the technical system and the technical process, and a constraint satisfaction problem is generated using the at least one ontology. In the method according to the invention, solutions are found for the constraint satisfaction problem and are preferably output.
(FR) L’invention concerne un procédé de vérification, un dispositif et un produit programme d’ordinateur. Le procédé selon l’invention permet de vérifier si et/ou comment une opération technique peut être mise en oeuvre à l’aide d’un système technique pourvu d’au moins deux unités ayant respectivement des aptitudes techniques potentiellement pertinentes pour l’opération technique. Selon ce procédé, au moins une ontologie qui décrit le système technique ainsi que l’opération technique, est pris en compte et un problème-satisfaction-contrainte est formé à l’aide de l’au moins une ontologie. Lors du procédé selon l’invention, des solutions sont recherchées pour le problème-satisfaction-contrainte et, de préférence, sorties. Figur
(DE) Verfahren zur Prüfung, Vorrichtung und Computerprogrammpro- dukt Beim erfindungsgemäßen Verfahren zur Prüfung, ob und/oder wie ein technischer Vorgang mittels eines technischen Systems mit zwei oder mehreren Einheiten mit je für den technischen Vor- gang potentiell relevanten technischen Fähigkeiten umsetzbar ist, wird mindestens eine Ontologie, die das technische Sys- tem sowie den technischen Vorgang beschreibt, herangezogen und es wird mithilfe der mindestens einen Ontologie ein Constraint-Satisfaction-Problem gebildet. Bei dem erfindungs- gemäßen Verfahren werden Lösungen des Constraint- Satisfaction-Problems gesucht und vorzugsweise ausgegeben. Figur
É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, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, 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, SA, 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, ST, 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, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : allemand (DE)
Langue de dépôt : allemand (DE)