非線形擬似ブール代数解法による三面図からの物体の自動合成
スポンサーリンク
概要
- 論文の詳細を見る
三面図が表す三次元物体を求める手段として,単純に各面図の頂点や線分について各面図間で対応をとり,三次元空間上の頂点と稜線から成るウイヤフレームモデルを作成し,それらの稜線で囲まれた領域を面として認識したサーフィスモデルを作成する方法が考えられる.この方法をとると,偽の物体要素を含むサーフイスモデルを作成してしまう場合がある.この偽の物体要素を含むサーフィスモデル(真と偽が混在する候補物体要素群)から所望の物体を見出すためのこれまでの多くの方法では,試行錯誤的な探索プロセスのアルゴリズムを提案している.我々は探索アルゴリズムの提案ではなく,連立の非線形の擬似ブール代数等式・不等式を用いた定式化による手法を提案する.そこでは,候補物体要素の真偽を適切に見極めるための真偽決定規則として,物体要素群が多面体を構成するための条件および三面図に合致するための条件を挙げる.それらの条件を非線形項による模似ブール連立式で定式化する.この定式化に基づいて候補物体要素群を連立式として立式する.この連立式の解を基に,多面体を構成し,かつ三面図に合致する物体要素群を求める.この手法を確立し,種々の例題に適用し,この手法の有効性を明らかにした.我々がすで提案した手法(線形擬似ブール代数による定式化)とは,定式化の際,非線形項を導入したという点で異なり,このため擬似プール代数解法の適用範囲が拡張できた.
- 1989-06-15
著者
-
伊藤 潔
上智大学理工学部情報理工学科
-
佐々木 康仁
上智大学理工学部一般科学研究室情報科学部門
-
鈴木 誠道
上智大学
-
鈴木 誠道
上智大学理工学部
-
佐々木 康仁
上智大学大学院理工学研究科機械工学専攻博士前期課程
-
伊藤 潔
上智大学理工学部
関連論文
- ドメインとインタードメインのオントロジの構成法
- 制約充足問題としての三面図からの物体自動合成 : 擬似ブール代数解法による
- 擬似ブール代数解法による三面図からの曲面物体の自動合成
- 非線形擬似ブール代数解法による三面図からの物体の自動合成
- 三面図からの物体自動合成のための線形擬似ブール代数解法
- Collaborative Timed STDsの開発
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- 生産システム向き協調エンジニアリング分析
- 2000-SE-128-3 協調エンジニアリングの分析法 Multi-Context MapとCollaborative Linkage Mapによるアプローチ
- Mean Queue Lengths of the Alternating Traffic with Starting Delays
- 搬送システムのモデル化と解析(待ち行列(2))
- 交互交通流のモデル化と解析(待ち行列(2))
- 需要適応形生産ラインのモデル化と解析
- ηステージ直列自動生産ラインの最適バッファ配分の近似解法
- 自動生産ラインのライン構成の評価手法
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析・モデリングワーキンググループの活動
- 2 ドメイン分析・モデリングとドメイン指向システム開発 : 分野に適合したシステム開発のための構成要素 (ドメイン分析とドメインモデリング)
- 1 ドメイン分析とドメインモデリングの概説 (ドメイン分析とドメインモデリング)
- 編集にあたって (ドメイン分析とドメインモデリング)
- 協調ドメインにおけるIDEF3の逐次的構成法
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 制約充足問題としての三面図からの物体自動合成 : 擬似プール代数解法による : 画面理解および一般 : 画像処理・コンピュータビジョン
- 分散環境でのダイアグラムの共有,作成を支援するシステム(モデルとメトクリス)
- 同種ダイアグラムと異種ダイアグラムの検索と相互変換による再利用法(モデル化支援)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- システム分析のコースウェア(e-Learningの基盤技術/一般)
- コンピュータ援用立体幾何学習システム(新しいインターネット技術の教育環境への利用/一般)
- 時間経過の概念を導入したTimed STDsによる協調システムのモデリング
- 時間経過の概念を導入した Timed STDs による協調システムのモデリング
- ジェネリックタスクを包含したドメインモデルに基づくユースケースダイアグラム再利用法
- ダイアグラムを用いたシステム分析の教育(遠隔教育/一般)
- 情報と物に着目したユースケース図を利用した協調業務の分析(知能ソフトウェア工学, 一般)
- 3次元物体の理解を支援するツールの研究(e-Learning教育システムの成果と目指すべきもの/一般)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- ダイアグラム変換を利用したシステム分析
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て(ディジタルエンタープライズモデル)(ディジタルエンタープライズ,及び一般)
- ペトリネットによる協調業務の分析・評価
- ペトリネットによる協調業務の分析・評価(ビジネスモデルからソーシャルモデルへの展開 : 企業から公共,非営利組織まで)
- 割当て業務向きドメインモデル
- リレー解説「エキスパートシステムの諸事例」の開始にあたって
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- ペトリネット手法による協調エンジニアリングシステムの性能設計と改善 (特集 「医療及び化学情報マイニング」および一般)
- 自動倉庫システムにおけるクレーン走行時間分布の近似解法
- 今野浩, 『数理決定法入門』キャンパスのOR(シリーズ【現代人の数理】5), 朝倉書店, 1992, 147pp.
- 協調業務分析向きMCM/CLMからのE-Rモデルの抽出手法
- 参加型プロジェクトにおける自律的学習 : 国際政治学のマルチメディア学習教材開発作業を一例として
- 遠隔・オンデマンド学習向け語学教育システムの開発
- システム分析のためのダイアグラム記述におけるオントロジの利用 (ことば工学研究会(第36回)「文学」の「生成」(LCC2との合同研究会))
- サーフィスモデルの成立ち規則を用いた三面図からの物体自動合成法
- 非線形擬似ブール計画法による曖昧な三面図からの多面体の一意的合成
- ヒューリスティクアプローチによる協調システムの性能シミュレーション(さまざまな分野の形式的検証最前線及び一般)
- 計測制御システムの機能分散向き参照モデル Dual-Triads
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て (特集:「ディジタルエンタープライズ」および一般)
- 定性推論による協調エンジニアリングシステムの性能改善(9月16日)(「アクティブマイニング」及び一般)
- 協調作業を含む業務のドメイン分析とモデリング
- セールスドメインにおけるドメインモデルの獲得とその再利用
- セールスドメインにおけるドメインモデルの獲得とその再利用
- ドメイン分析・モデリングの利用法・研究法 : Domain Specific Software Process (DSSP)の提案
- 比較分析によるドメインモデル獲得手法の提案
- ドメイン分析・モデリング概説
- リアルタイムシステムの性能評価・改善向けドメインモデルの提案
- パイプライン計算機における性能設計支援手法
- 定性推論を用いた共有ストアを有する待ち行列ネットワークのボトルネック改善法
- ドメイン分析・モデリング技術の現状と課題
- 6. リアルタイムシステムにおけるネット指向開発技術の適用 ( ネット指向パラダイムを求めて)
- OSSES : 石油出荷ヤードのための出荷スケジューリングエキスパートシステム
- 特集「学術情報データベースの構成と利用」の編集にあたって
- 業務モデル獲得支援ツール
- 共通業務を考慮したドメインモデルに基づくプロトタイピング
- リアクティブシステムの分析・設計向きドメインモデル : Asdreas STD Triand
- 定性推論による協調エンジニアリングシステムの性能改善(「アクティブマイニング」及び一般)
- Performance Improvement of Collaboration Engineering Systems by the application of Qualitative Reasoning (小特集 「アクティブマイニング」および一般)
- 小特集「ロボットの信頼性と安全性」の編集にあたって
- システム記述評価システム : SDES
- Two-level Optimal Design Problems for Distribution Systems
- 協調エンジニアリング会議支援システムの開発と教育への適用の試み(Collaborationとagent技術/一般)
- 展望 情報システムの構築法の教育と研究
- システム開発向きドメインプロセスモデル
- 「ソフトウェア開発のためのドメイン分析・モデリング技術」シンボジウム報告
- 一車線区間の交互交通のモデル化と解析(待ち行列(1))
- 環状搬送システムの母関数法による数値解析(輸送・交通)
- 円環ルート上の搬送システムの解析(待ち行列)
- 一車線の区間を有するトラヒックの解析(OR)
- バケーションを伴う待行列による搬送システムの解析(待ち行列)
- メッシュ・データと駅対地域配分率による通勤旅客流動の推定(鉄道のOR)
- 各国のOR学会会員数の比較を通して
- ロボットの安全性技術 (ロボットの信頼性と安全性)