SHARE Vol. 59 No. 1 (2022) 新製品·新技術特集 技術論文ENGLISH 自動検証技術を応用したパラメータ探索技術の開発Automated Parameter Synthesis by Falsification Technique 和文 (1.7MB) 英文 (1MB) 西面敦義Atsuyoshi Saimen 高尾健司Kenji Takao 蓮尾一郎Ichiro Hasuo 西面敦義 高尾健司 蓮尾一郎 自動検証技術は,複雑な要件を時相論理式で表現した上で,要件を満足しない入力パターンや運転条件をシミュレータと最適化ソルバーにより探索する技術である。その技術の応用として,複数の要件を同時に満たす設計パラメータを探索できない,"しきい値を超える量も時間も短い方がよい"といったように量と時間の両方に関する要件を扱えないという課題があった。国立情報学研究所と当社の共同研究においてこれらの課題に取り組んだ結果,ガスタービンの負荷遮断時における燃料制御パラメータ設計を例に,人の設計に匹敵する設計パラメータを短時間で探索可能な技術を開発したので本報で紹介する。 三菱重工技報 Technical Review Vol. 62 No. 3 エナジードメイン特集 Vol. 62 No. 2 物流·冷熱·ドライブシステムドメイン特集 Vol. 62 No. 1 新製品·新技術特集 Vol. 61 No. 4 原子力特集 Vol. 61 No. 3 マテリアリティ特集 - 三菱重工グループが考える重要課題に対する取組み - Vol. 61 No. 2 プラント·インフラドメイン特集 Vol. 61 No. 1 新製品·新技術特集 Vol. 60 No. 4 サービス技術特集 Vol. 60 No. 3 エナジードメイン特集 Vol. 60 No. 2 物流·冷熱·ドライブシステムドメイン特集 Vol. 60 No. 1 新製品·新技術特集 Vol. 59 No. 4 カーボンニュートラル特集 Vol. 59 No. 3 デジタルイノベーション特集 Vol. 59 No. 2 プラント·インフラ特集 Vol. 59 No. 1 新製品·新技術特集 Vol. 58 No. 4 航空宇宙特集 Vol. 58 No. 3 三菱パワー特集 Vol. 58 No. 2 物流·冷熱·ドライブシステムドメイン特集 Vol. 58 No. 1 新製品·新技術特集 Vol. 57 No. 4 原子力特集 Vol. 57 No. 3 工作機械特集 Vol. 57 No. 2 インダストリー&社会基盤特集 Vol. 57 No. 1 新製品·新技術特集 Vol. 56 No. 4 冷熱特集 Vol. 56 No. 3 三菱日立パワーシステムズ特集 Vol. 56 No. 2 M-FET特集 Vol. 56 No. 1 新製品·新技術特集