詳細情報 | 文献・情報検索システム

検索する

検索ヘルプ

No.57-22

著者（英）	1) Ichiro Hasuo, 2) Masaki Waga, 3) Zhenya Zhang, 4) Étienne André, 5) Paolo Arcaini, 6) Fuyuki Ishikawa, 7) Masaaki Konishi, 8) James Haydon
勤務先（英）	1) National Institute of Informatics/SOKENDAI, 2) Kyoto University/National Institute of Informatics, 3) Nanyang Technological University, 4) Université de Lorraine, 5) National Institute of Informatics, 6) National Institute of Informatics, 7) National Institute of Informatics, 8) National Institute of Informatics
抄録	自動車システムの安全性解析及びチューニング手法について，ソフトウェア科学的研究の最先端を紹介する．システム内部動作原理の理解が不要なブラックボックス解析手法を主題とし，1) 形式論理と数値最適化の協働の効果，2) 論理的問題分割による実効性向上，3) 適用コストを軽減する学術的成果，以上を発表する．
抄録（英）	We present some latest results in the software science research towards safety analysis and performance tuning of automotive systems. Our focus is on blackbox analysis techniques; an important feature of them is that they do not require whitebox modeling of target systems’ internal working. We present 1) the benefit of combining formal logic and numeric optimization, 2) enhanced efficiency by the logical division of problems, 3) scientific results that enable flexibility and thus improve deployability of the blackbox techniques. 翻訳

閉じる

検索条件は最大5件まで入力可能です。検索ボックスの数は右側の「＋」「−」ボタンで増減させることができます。

一つの検索ボックス内に、複数の語句をスペース（全角/半角）区切りで入力した場合、入力した語句の“すべてを含む”データが検索されます（AND検索）。

例）X（スペース）Y →「XかつY（を含む）」

「AND」を指定すると、前後の検索ボックスに入力された語句の“双方を含む”データが検索されます。また、「OR」を指定すると、前後の検索ボックスに入力された語句の“いずれかを含む”データが検索されます。

例）X AND Y →「XかつY（を含む）」 X OR Z →「XまたはZ（を含む）」

AND検索とOR検索が混在する場合は、OR検索が優先されます。

例）X AND Y OR Z → X AND (Y OR Z)

AND検索と複数のOR検索が混在する場合も、OR検索が優先されます。

例）W AND X OR Y OR Z → W AND (X OR Y OR Z)

検索結果の件数が多すぎる場合など、さらに絞り込みしたいときに「検索フィルタ」を使います。各項目にチェックを入れると、その項目が含まれるデータのみに検索結果が絞り込まれます。

各項目後ろの「（）」内の数字は、その項目が含まれるデータの件数です。

著者名で検索するときは、「自動車太郎」のように、姓名をスペースで区切って入力してください。