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

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2018099901) CHECKING METHOD, DEVICE, AND COMPUTER PROGRAM PRODUCT
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2018/099901 International Application No.: PCT/EP2017/080631
Publication Date: 07.06.2018 International Filing Date: 28.11.2017
IPC:
G05B 19/418 (2006.01)
Applicants: SIEMENS AKTIENGESELLSCHAFT[DE/DE]; Werner-von-Siemens-Straße 1 80333 München, DE
Inventors: GRIMM, Stephan; DE
HASELBÖCK, Alois; AT
Priority Data:
10 2016 223 646.629.11.2016DE
10 2016 224 457.408.12.2016DE
Title (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
Abstract: 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
Designated States: 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
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: German (DE)
Filing Language: German (DE)