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. (WO2016092605) CONSTRAINT SATISFACTION SOLUTION SEARCH DEVICE AND CONSTRAINT SATISFACTION SOLUTION SEARCH METHOD
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2016/092605    International Application No.:    PCT/JP2014/082369
Publication Date: 16.06.2016 International Filing Date: 08.12.2014
IPC:
G06F 19/00 (2011.01)
Applicants: HITACHI, LTD. [JP/JP]; 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280 (JP)
Inventors: TAKAHASHI, Yoshiyasu; (JP).
SATOU, Tatsuhiro; (JP)
Agent: ISSHIKI & CO.; Mita-Nitto Daibiru Bldg., 11-36, Mita 3-chome, Minato-ku, Tokyo 1080073 (JP)
Priority Data:
Title (EN) CONSTRAINT SATISFACTION SOLUTION SEARCH DEVICE AND CONSTRAINT SATISFACTION SOLUTION SEARCH METHOD
(FR) DISPOSITIF ET PROCÉDÉ DE RECHERCHE DE SOLUTION DE SATISFACTION DE CONTRAINTE
(JA) 制約充足解探索装置および制約充足解探索方法
Abstract: front page image
(EN)Provided is a constraint satisfaction solution search device (106), configured to comprise: a storage device (308) which stores a constraint satisfaction problem past solution history (112); and a computing device (301) which executes a process of, when searching for a solution to a constraint satisfaction problem using constraint propagation, updating, in a variable range which satisfies a constraint (110) in the constraint satisfaction problem, a statistical model generated from the constraint satisfaction problem past solution history (112), executing the constraint propagation in the updated statistical model, and estimating the constraint satisfaction solution, and a process of searching for the constraint satisfaction solution, using the updated statistical model, while giving priority to a high-likelihood value.
(FR)L'invention concerne un dispositif de recherche (106) de solution de satisfaction de contrainte, conçu pour comprendre : un dispositif de mémorisation (308) qui mémorise un historique (112) de solutions passées à des problèmes de satisfaction de contrainte; et un dispositif de calcul (301) qui exécute un traitement consistant à, lors de la recherche d'une solution à un problème de satisfaction de contrainte à l'aide d'une propagation de contrainte, mettre à jour, dans une plage variable qui satisfait une contrainte (110) du problème de satisfaction de contrainte, un modèle statistique généré à partir de l'historique (112) de solutions passées à des problèmes de satisfaction de contrainte, exécuter la propagation de contrainte dans le modèle statistique mis à jour, et estimer la solution de satisfaction de contrainte, et un traitement consistant à rechercher la solution de satisfaction de contrainte, à l'aide du modèle statistique mis à jour, tout en donnant une priorité à une valeur de probabilité élevée.
(JA)制約充足解探索装置(106)において、制約充足問題の過去解履歴(112)を格納した記憶装置(308)と、制約伝播を用いた制約充足問題の解探索に際し、制約充足問題の過去解履歴(112)から生成した統計モデルを、制約充足問題における制約(110)を充足する変数範囲で更新し、更新した統計モデルにおいて制約伝播を実行し制約充足解を推定する処理と、更新した統計モデルを用いて、尤度の高い値を優先しつつ制約充足解を探索する処理を実行する演算装置(301)を含む構成とする。
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, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, 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 (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (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: Japanese (JA)
Filing Language: Japanese (JA)