記号論理演算による層序組み立てのための基本アルゴリズムー論理型言語Prologを用いてー

スポンサーリンク

概要

• 論文の詳細を見る
• 1990-12-01

著者

• 塩野 清治

  大阪市立大学大学院理学研究科

• 坂本 正徳

  国学院大学自然科学研究室

• 坂本 正徳

  大阪市立大学理学部地学教室

• 塩野 清治

  大阪市立大学

関連論文

• 3次元地質モデリングのための離散数学講義ノート
• 2分木による地質構造の論理モデルの図式表現
• 地質情報の数値計算入門 : 走向・傾斜に関係する諸問題
• 面による領域分割の図式表現にもとづいて「プライオリティ」を定める方法(地質モデリング,第19回日本情報地質学会講演会講演要旨)
• 図式表現を用いた領域分割法と論理モデルとの関係(第18回日本情報地質学会講演会)
• GRASS GISを用いた河川ネットワークと流域境界の抽出 : エジプトの紅海沿岸のサファジャ地域エルーバルード盆地
• Web-GIS を用いた3次元地質モデル構築システム
• 1995年兵庫県南部地震による西宮・大阪地域の震害と地盤構造
• Griview3D : 不規則に分布する測定値に基づく3次元格子データの推定と可視化
• ボーリングデータを用いた大阪平野西部表層部の Web-GIS による3次元地質モデリング
• 地層の接触面の性質を活用した地質構造の論理モデル構築アルゴリズム
• 双3次B-スプライン曲面にもとづく地層境界線の探索
• BS-Horizon により推定した3次B-スプライン曲面の活用法 : 地形特性値の抽出を例として
• 地形解析を例としたBS-Horizonの活用(2008年度日本情報地質学会奨励賞)
• 断層を含む地質構造の表現方法(2008年度日本情報地質学会論文賞)
• P-167 Web-GISによる3次元地質モデリングのためのボーリングデータ層相対比支援システムの開発(26.情報地質,ポスター発表,一般講演)
• P-168 地質構造の論理モデルにもとづいて調査データから境界面推定用データを作成するプログラムGeoSEQのアルゴリズム(26.情報地質,ポスター発表,一般講演)
• 地形解析を例としたBS-Horizonの活用(解析手法・応用,第19回日本情報地質学会講演会講演要旨)
• 近傍関数による地質境界線の抽出(地質モデリング,第19回日本情報地質学会講演会講演要旨)
• GeoSEQ : 地質構造の論理モデルにもとづいて調査データから境界面推定用データを作成するプログラム(地質モデリング,第19回日本情報地質学会講演会講演要旨)
• 近傍関数による地質境界面の数学表現(第16回日本情報地質学会講演会)
• GRASS6.0の新機能と地質情報への応用(第16回日本情報地質学会講演会)
• 拡張地質関数を用いた地質境界線の表示
• 境界面上の点の近傍にある地質体 : 近傍関数の提案(第15回日本情報地質学会講演会講演要旨)
• 地質構造の論理モデルに基づく地質境界面の数学表現 : 閉包概念の導入
• 地質関数概念を拡張した地質境界線の表示法とその適用(第14回日本情報地質学会講演会講演要旨集)
• 地質構造の論理モデルに基づく地質境界面の抽出アルゴリズム(1) : 閉包概念の導入による数学表現(第14回日本情報地質学会講演会講演要旨集)
• 地質構造の論理モデルに基づく地質境界面の抽出アルゴリズム(3) : 3角メッシュ分割による具体化(第14回日本情報地質学会講演会講演要旨集)
• 地質構造の論理モデルに基づく地質境界面の抽出アルゴリズム(2) : GRASS GISによる具体化(第14回日本情報地質学会講演会講演要旨集)
• GRASS GIS入門(その4)
• オンライン3次元地質モデリングシステム : SISGeMの改良
• 野外調査データを用いた地質境界面推定データ作成プログラム『Georiginer』の開発(システム・ソフトウェア開発)
• 断層を含む地質構造の表現方法
• 大阪盆地構造と震害特性
• 新潟県中越地方東山丘陵の3次元地質モデリング(第17回日本情報地質学会講演会講演要旨)
• 地すべり地を含む地質構造のモデル化 : 地質構造の論理モデルの拡張(第16回日本情報地質学会講演会)
• 断層を含む地質構造の表現方法 : 地質構造の論理モデルの拡張(第15回日本情報地質学会講演会講演要旨)
• 地質境界線を可視化するための基本アルゴリズムとGeomodel2000への適用
• 断層を含む地質構造の論理モデル
• 地質構造の論理モデルを表す2分木の読み方
• 図式表現を用いたGEORAMAでの空間構造の表現
• 地質構造の論理モデルを表現する2分木の書き方と読み方
• 日本情報地質学会発行雑誌等掲載記事の書誌情報データベースと検索サービス
• P38. 地質構造の論理モデルを用いた三次元地質モデルの構築について : 野外調査データからモデル構築まで(地質構造,一般調査,環境地質,試験・計測・探査,コアタイム,ポスターセッション)
• 相関係数を用いたステレオ画像のパターンマッチング : 写真測量の自動化に向けて(第16回日本情報地質学会講演会)
• P-243 地すべり地の三次元地質モデルの構築 : 地質構造の論理モデルを基礎にして(28. 情報地質)
• 地質構造の論理モデルを用いた地すべり地の三次元地質モデリング(第15回日本情報地質学会講演会講演要旨)
• ビット演算を用いて論理モデルからminsetと地質体との対応関係を導くアルゴリズム(第15回日本情報地質学会講演会講演要旨)
• 地すべり地を含む地質構造の論理モデル
• 南海トラフから沈み込むプレートの形と中央構造線
• 野外地質調査支援システムMidFielderの開発 : 層序が確定してからの自動処理機能について(第14回日本情報地質学会講演会講演要旨集)
• GeoMapModel : 地質図描画ソフトウェア
• Horizon2000 : 等式・不等式制約条件や傾斜データを活用した地層面推定プログラムの改良
• 地質関数を用いた地質境界線の可視化
• 地質調査と地質図の論理 : コンピュータ処理の課題
• 曲面推定プログラムHORIZONの改訂 : 滑らかさ・ペナルティ・データ評価
• 論理地質学の理論を導入した3次元地質図作成システムの実用的構成
• 3次元地質モデリングのための空間情報システムの開発
• P-240 地質図作成システムCIGMAの利用効果
• 地質図作成システムCIGMAの教育利用
• 地層の3次元分布の特性と地質図作成アルゴリズム : 地質構造の論理モデル
• VRMLを用いた地質情報可視化の例
• VRMLを用いた地質図表現の試み
• 資料 : 日本情報地質学会の活動をふりかえって
• 623 GIS(GRASS)を用いた3次元地質モデリング
• 離散数学にもとづく地質図作成アルゴリズムの改良 : 野外調査データの活用法(第18回日本情報地質学会講演会)
• Web-GISによる3次元地質モデリングシステムのプロトタイプ開発(地質モデリング,第19回日本情報地質学会講演会講演要旨)
• 3次B-スプラインを用いた地層境界面の推定
• P-184 3次B-スプラインを用いた地層面・地形面の推定法(22.情報地質,ポスター発表,一般講演)
• 3次B-スプラインを用いた曲面推定法の有効性(第17回日本情報地質学会講演会講演要旨)
• 3次B-スプラインを用いた曲面推定プログラムの開発(第16回日本情報地質学会講演会)
• ボーリングデータを用いた大阪平野西部の地下地質構造の推定(第14回日本情報地質学会講演会講演要旨集)
• JERS-1のSARインターフェロメトリによって検出されたハノイ市の地盤沈下の空間分布
• 解析写真測量にもとづく共面条件を利用した空間座標の統合 : 3次元形状モデリングのための理論的基礎(第18回日本情報地質学会講演会)
• 等高線間標高情報を用いたDEMの曲面形状(その3) : 段差のある地形
• 等高線間標高情報を用いたDEMの曲面形状 (その2) : 平野の地形図について
• 地形図を基にしたDEMの作成法 : 等高線間に分布する標高情報の活用
• 等高線間標高情報によるDEMの曲面形状
• フィッショントラック年代測定における結晶形記載法と統計解析手法を用いた異質ジルコン粒子の排除
• 等高線間データを用いたDEMの作成(その2) -DEMの作成過程-
• 等高線間データを用いたDEMの作成(その1) -原理と手法-
• 岡山理科大学における大気イオン濃度解析結果
• Mathmatical Formulation of Faulted Gologic Structure : Thoretical Bases for Modeling and Visualization
• 最適化原理による不連続な曲面の推定
• 断層不連続を含む地層面の推定 -最適化原理による地層面推定法の拡張用サブルーチン*DISCONT-
• カラー立体地質図のコンピュータ作図処理
• 地質境界面の形状の格子データをフィルター処理して地質構造を解析する際の諸問題
• カラー地質図作図のための基礎プログラム
• パソコンによるカラーペイントコンターマップの作成
• 地震反射法探査記録断面の数値処理による地質構造の推定方法
• 測線データの格子データへの変換による三次元的な地質構造の復元 -指向性をもつWeighted least square methodによる方法-
• 野外地質調査支援システム-Mid Fielder-の試作
• 地質学的方位データの数値解析プログラムGEORIENT(Visual Basic版)の開発
• 地層累重の法則に関連する公理系の改良
• ボーリングデータを用いた岩相対比支援システム : Web-GISによる3次元地質モデル構築に向けて(地質モデリング,第19回日本情報地質学会講演会講演要旨)
• 順序を保存する関数 : 生層序区分を定める数学概念の提案
• 固体地球観測システム
• 画像データから地質境界面推定のためのデータを作成するプログラムの開発 : 野外調査データと地質構造の論理モデルを用いて(第15回日本情報地質学会講演会講演要旨)
• P-187 論理モデルを用いたデータ処理プログラムの開発 : 画像から境界面推定データの作成
• 風化帯を含む地質構造の三次元モデル : 兵庫県南西部地域を例として(第14回日本情報地質学会講演会講演要旨集)

もっと見る 閉じる

スポンサーリンク