システムアーキテクチャ情報の統合化数理表現に基づくシステム最適化の自然原理の解明

• Project/Area Number: 22K03876
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 18030:Design engineering-related
• Research Institution: Osaka Metropolitan University
• Principal Investigator: 森永 英二 大阪公立大学, 大学院情報学研究科, 准教授 (80432508)
• Project Period (FY): 2022-04-01 – 2025-03-31
• Project Status: Granted (Fiscal Year 2022)
• Budget Amount: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2024: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000); Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
• Keywords: システムアーキテクチャ / 数値表現 / システム最適化 / システム設計 / 数理表現・数値表現

Outline of Research at the Start

工業製品などの人工物システムは、複数の段階を経て設計される。後半の段階では、形や大きさなど、数値で表現できる情報を決定するため、数式や数値計算に基づいて最適化と決定が行われる。他方、機能や動作などの、システムのアーキテクチャを決める、前半の段階では、言葉で表現される情報の決定が中心となり、経験や知識に基づいて適正化と決定が行われる。
本研究では、アーキテクチャの情報を数値や数式で表現する手法を構築して、システムのアーキテクチャと性能の数値的関係について考察を行う。これによって、システムの最適化全般を司る自然原理・法則の有無や内容について明らかにする。

Outline of Annual Research Achievements

工業製品をはじめとする人工物システムの設計過程は、複数の段階に分けることができる。レイアウトや形状、寸法などを決める下流側の段階では、数値表現可能な情報の処理が主体となることから、数理的アプローチに基づく最適化・意思決定が行われる。他方、アーキテクチャを決定する上流側の段階では、自然言語情報、概念情報の取扱いが中心となることから、経験・知識のデータベースを活用した設計支援が検討されてきている。本研究は、システムアーキテクチャ情報の数値・数理的統合化表現手法を構築し、上流側から下流側までの包括的最適化に関する数値的傾向・数理的法則・自然原理についての考察を行って、その存在の有無や内容について明らかにすることを目的としている。

令和４年度は、自然言語を用いた概念の表現と、それらの組合せ・階層関係のグラフ表現とで表されるシステムアーキテクチャの情報を、数値や数理式で統合的に表現する手法と、それを踏まえた、システムの良否の評価手法についての検討を行った。システムモデリング言語（SysML）の９つの図のうち、システムへの機能要求・非機能要求を整理し、木構造で細分化した要求図において、自然言語で表現された各ノードの要求の情報を、doc2vecによって数値ベクトルで表現するとともに、ノード間の意味的類似度を、cos類似度や差ベクトルのユークリッドノルム等で数値的に測り、その大小を評価することで、システムの良否の評価を行う手法を構築して、その一定の有効性を確認した。

Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

計画では、令和４年度に、システムの要件だけでなく、振舞い、構造、制約を表すためのSysMLの図に対しても、数値的に表現する手法を検討し、令和５年度に、それらを対象として、システムの良否の評価やシステムアーキテクチャレベルでの最適化原理・支配法則の考察を行う予定であった。しかし、対象を要件に絞って数値的表現手法を検討し、システムの良否の評価に対する有用性までを先行して確認し、それを振舞いやその他に適用・拡張していくことで、研究をスムーズに進められることが期待できることから、前述の通り、要求図のみを対象とした数値的表現とそれに基づくシステムの良否評価に取り組んだ。このように、研究の作業項目の順序を入れ替えて研究を遂行したが、最初の２年間で取り組む予定であった項目の概ね半分程度を令和４年度に実施したことになることから、総合的な進捗としては、概ね順調に進展していると評価できる。

Strategy for Future Research Activity

システムの要件だけでなく、振舞い、構造、制約を表すためのSysMLの図に対しても、数値的に表現する手法を検討する。特に、組合せ・階層関係のグラフ構造の情報が十分に反映できていない点があり、この部分も考慮した手法を検討する。また、その手法に基づいた、システムの良否の観点からの数値的な傾向の把握や評価法の検討を行う。