| 研究課題/領域番号 |
21K12020
|
|---|
| 研究機関 | 関西学院大学 |
|---|
研究代表者 |
高橋 和子 関西学院大学, 工学部, 教授 (30330400)
|
|---|
| 研究分担者 |
増田 佳代 関西学院大学, 理学部, 教授 (40280416)
巳波 弘佳 関西学院大学, 工学部, 教授 (40351738)
壷井 基裕 関西学院大学, 生命環境学部, 教授 (60411774)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2024-03-31
|
| キーワード | 定性空間推論 / 構造地質学 / トポロジー / 論理推論 |
|---|
| 研究実績の概要 |
本研究は，隣接するオブジェクトとの接続関係についての制約条件を満たしながら形状変化をする空間データに対して，論理的に推論するシステムの基盤を与えることを目的とする．
代表的な応用例として地層，中でも比較的単純な形の褶曲構造を対象としている．褶曲構造は，平坦な地層に外圧が加わることで変形してできるもので，力の方向によって回転したり折りたたまれていったりするが，層間の隣接関係は不変である．
昨年度は，褶曲構造の断面図を定性的に表す記号表現を試験的に定め，その表現上で２つの局所データ間の同一性と連続性を機械的に判定する手法を考案した．今年度はこの記号表現をもとに，より洗練され実装の簡便さを考慮した記述言語を考案しその上でいくつかの推論を行った．具体的には以下の通りである．
(1)局所的な地層データに対してモデルを定義した．(2)1次元の記号列でモデルを定性的に表現する記述言語を考案した．(3)記号表現の妥当性を定義しモデルとの対応関係を示した．(4)モデル上での変化に対応する状態遷移として記号表現上でその関係を定義した．(5) 記号表現からモデルの図を描くシステムを実装した．(6)記号表現上で妥当性の判定および状態遷移関係を取り扱うシステムを実装した．(7)2つの局所的なデータの連続性を判定する手法を考案し定式化した．(8)連続性を使って複数の局所的データをつないで大域的データを生成する手法を検討した．
これらの成果は国内外の学会で発表している．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
表現の妥当性判定，状態遷移規則，連続性の判定それぞれを定式化し，最初の2つおよび記号表現に対応するモデル図の描画プログラムを作成できている．
|
| 今後の研究の推進方策 |
2次元へ射影したモデルから3次元に拡張したモデル上で推論を行う．また褶曲以外の地形変化を考察する．
|
| 次年度使用額が生じた理由 |
研究協力者の学生が使用する計算機を購入する予定だったが，既存のもので対応できたため購入しなかった．最終年度に海外での成果発表数件を予定しているが，海外出張旅費の高騰のため主に旅費として使用する予定である．
|
