WO2024092553 - METHODS AND SYSTEMS FOR MODEL GENERATION AND INSTANTIATION OF OPTIMIZATION MODELS FROM MARKUP DOCUMENTS
National phase entry is expected:
Publication Number
WO/2024/092553
Publication Date
10.05.2024
International Application No.
PCT/CN2022/129233
International Filing Date
02.11.2022
Title **
[English]
METHODS AND SYSTEMS FOR MODEL GENERATION AND INSTANTIATION OF OPTIMIZATION MODELS FROM MARKUP DOCUMENTS
[French]
PROCÉDÉS ET SYSTÈMES DE GÉNÉRATION DE MODÈLE ET D'INSTANCIATION DE MODÈLES D'OPTIMISATION À PARTIR DE DOCUMENTS DE BALISAGE
Applicants **
HUAWEI CLOUD COMPUTING TECHNOLOGIES CO., LTD.
Huawei Cloud Data Center, Jiaoxinggong Road, Qianzhong Avenue
Gui'an New District, Guizhou 550025, CN
Inventors
RAMAMONJISON, Rindranirina
Suite 400, 303 Terry Fox Drive, Kanata
Ottawa, Ontario 231, CA
YU, Timothy Tin Long
Suite 400, 303 Terry Fox Drive, Kanata
Ottawa, Ontario 231, CA
LI, Haley
Suite 400, 303 Terry Fox Drive, Kanata
Ottawa, Ontario 231, CA
MAO, Kun
Huawei Administration Building, Bantian,Longgang District
Shenzhen, Guangdong 518129, CN
ZHOU, Zirui
Suite 400, 303 Terry Fox Drive, Kanata
Ottawa, Ontario 231, CA
ZHANG, Yong
Suite 400, 303 Terry Fox Drive, Kanata
Ottawa, Ontario 231, CA
Application details
| Total Number of Claims/PCT | * |
| Number of Independent Claims | * |
| Number of Priorities | * |
| Number of Multi-Dependent Claims | * |
| Number of Drawings | * |
| Pages for Publication | * |
| Number of Pages with Drawings | * |
| Pages of Specification | * |
| * | |
| * | |
International Searching Authority |
CNIPA
* |
| Applicant's Legal Status |
Legal Entity
* |
| * | |
| * | |
| * | |
| * | |
| Entry into National Phase under |
Chapter I
* |
| Translation |
|
Recalculate
* The data is based on automatic recognition. Please verify and amend if necessary.
** IP-Coster compiles data from publicly available sources. If this data includes your personal information, you can contact us to request its removal.
Quotation for National Phase entry
| Country | Stages | Total | |
|---|---|---|---|
| China | Filing | 1343 | |
| EPO | Filing, Examination | 8813 | |
| Japan | Filing | 589 | |
| South Korea | Filing | 482 | |
| USA | Filing, Examination | 2835 |
Total: 14062 USD
The term for entry into the National Phase has expired. This quotation is for informational purposes only
Abstract[English]
Methods and systems for generating a symbolic model from a markup document, and instantiating a model instance from a symbolic model are described. A markup document containing human language content and mathematical content is parsed into a symbolic model that contains only symbolic code representing an optimization problem. The markup document is parsed to extract a markup declaration, the markup declaration is then processed to a math content span, any metadata entity and any relationship between any metadata entity and the math content span. The math content span is processed into a math content parse tree. The math content parse tree is converted into symbolic code of the symbolic model using any relationship between the metadata entity and the math content span. The symbolic model can be instantiated using data definitions.[French]
La présente invention concerne des procédés et systèmes de génération d’un modèle symbolique à partir d’un document de balisage et d'instanciation d’une instance de modèle à partir d’un modèle symbolique. Un document de balisage contenant un contenu en langage humain et un contenu mathématique est analysé en un modèle symbolique qui contient uniquement un code symbolique représentant un problème d'optimisation. Le document de balisage est analysé pour extraire une déclaration de balisage, la déclaration de balisage est ensuite traitée vers une plage de contenu mathématique, toute entité de métadonnées et toute relation entre n'importe quelle entité de métadonnées et la plage de contenu mathématique. La plage de contenu mathématique est traitée dans un arbre d’analyse de contenu mathématique. L’arbre d’analyse de contenu mathématique est converti en un code symbolique du modèle symbolique à l’aide d’une relation quelconque entre l’entité de métadonnées et la plage de contenu mathématique. Le modèle symbolique peut être instancié à l’aide de définitions de données.