処理中

しばらくお待ちください...

設定

設定

出願の表示

1. WO2020241060 - システム更新手順計画装置、方法およびコンピュータ読み取り可能な記録媒体

公開番号 WO/2020/241060
公開日 03.12.2020
国際出願番号 PCT/JP2020/015633
国際出願日 07.04.2020
IPC
G06F 8/60 2018.01
G物理学
06計算;計数
F電気的デジタルデータ処理
8ソフトウェアエンジニアリングのための装置
60ソフトウェアの配備
G06F 8/65 2018.01
G物理学
06計算;計数
F電気的デジタルデータ処理
8ソフトウェアエンジニアリングのための装置
60ソフトウェアの配備
65アップデート
出願人
  • 日本電気株式会社 NEC CORPORATION [JP]/[JP]
発明者
  • 桑原 拓也 KUWAHARA Takuya
代理人
  • 岩壁 冬樹 IWAKABE Fuyuki
  • 塩川 誠人 SHIOKAWA Masato
優先権情報
2019-10238831.05.2019JP
公開言語 (言語コード) 日本語 (JA)
出願言語 (言語コード) 日本語 (JA)
指定国 (国コード)
発明の名称
(EN) SYSTEM UPDATING PROCEDURE PLANNING DEVICE, METHOD, AND COMPUTER-READABLE RECORDING MEDIUM
(FR) DISPOSITIF DE PLANIFICATION DE PROCÉDURE DE MISE À JOUR DE SYSTÈME, PROCÉDÉ ET SUPPORT D'ENREGISTREMENT LISIBLE PAR ORDINATEUR
(JA) システム更新手順計画装置、方法およびコンピュータ読み取り可能な記録媒体
要約
(EN)
The present invention provides a system updating procedure planning device with which it is possible to prevent an explosive increase in a calculation volume when solving the problem of automatically planning a system update. A state element model simplification unit 101 applies simplification conversion based on unit belonging information to a state element model and thereby outputs a simplified state element model. An automatic planning unit 102 outputs, to the simplified state element model, an executable path from an initial state to a target state thereof. An internal transition complementing unit 103 converts the executable path from the initial state to the target state in the simplified state element model into an executable path from an initial state to a target state in the state element model before being simplified.
(FR)
La présente invention concerne un dispositif de planification de procédure de mise à jour de système au moyen duquel il est possible d'empêcher une augmentation explosive d'un volume de calcul lors de la résolution du problème de planification automatique d'une mise à jour de système. Une unité de simplification de modèle d'élément d'état 101 applique une conversion de simplification sur la base d'informations d'appartenance à une unité à un modèle d'élément d'état et délivre ainsi un modèle d'élément d'état simplifié. Une unité de planification automatique 102 délivre, au modèle d'élément d'état simplifié, un trajet exécutable d'un état initial à un état cible de celui-ci. Une unité de complémentation de transition interne 103 convertit le trajet exécutable de l'état initial à l'état cible dans le modèle d'élément d'état simplifié en un trajet exécutable d'un état initial à un état cible dans le modèle d'élément d'état avant sa simplification.
(JA)
システム更新における自動計画問題を解く際に、爆発的な計算量の増加を防止することができるシステム更新手順計画装置を提供する。状態要素モデル簡略化部101は、状態要素モデルに対しユニット所属情報に基づいた簡略化変換を施すことで、簡略化された状態要素モデルを出力する。自動計画部102は、簡略化された状態要素モデルに対し、その初期状態から目的状態までの実行可能な経路を出力する。内部遷移補完部103は、簡略化された状態要素モデル上の初期状態から目的状態までの実行可能な経路を、簡略化する前の状態要素モデル上の初期状態から目的状態までの実行可能な経路に変換する。
国際事務局に記録されている最新の書誌情報