制約充足問題としての三面図からの物体自動合成 : 擬似ブール代数解法による
スポンサーリンク
概要
- 論文の詳細を見る
三面図が表す三次元物体を求める手段として,単純に各面図の頂点や線分について各面図間で対応をとり,三次元空間上の頂点と稜線から成るワイヤフレームモデルを作成し,それらの稜線で囲まれた領域を面として認識したサーフィスモデルを作成する方法が考えられる.この方法をとると,虚物体要素を含むサーフィスモデルを作成してしまう場合がある.この虚物体要素を含むサーフィスモデルから所望の物体を見出すためのこれまでの多くの方法では,試行錯誤的な探索プロセスのアルゴリズムを提案している.我々の方法は新たな探索アルゴリズムではなく,連立の非線形の擬似ブール代数等式・不等式を用いた非線形計画法による制約充足問題とみなして解く手法である.そこでは,候補物体要素の真偽を適切に見極めるための真偽決定規則として,物体要素群が多面体を構成するための条件および三面図に合致するための条件を挙げる.それらの条件を非線形項による擬似ブール連立式で定式化する.この定式化に基づいて候補物体要素群を連立式として立式する.この連立式の解を基に,多面体を構成し,かつ三面図に合致する物体要素群を求める.三面図に適合する全ての多面体はこの計画問題の制約式を連立して解いたものとなり,常識的と思われる多面体のみの合成は,heuristicsに基づいた目的関数を与えてこの計画問題を解いたものとなる.
- 1993-07-15
著者
関連論文
- ドメインとインタードメインのオントロジの構成法
- 制約充足問題としての三面図からの物体自動合成 : 擬似ブール代数解法による
- 擬似ブール代数解法による三面図からの曲面物体の自動合成
- 非線形擬似ブール代数解法による三面図からの物体の自動合成
- 三面図からの物体自動合成のための線形擬似ブール代数解法
- Collaborative Timed STDsの開発
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- 生産システム向き協調エンジニアリング分析
- 2000-SE-128-3 協調エンジニアリングの分析法 Multi-Context MapとCollaborative Linkage Mapによるアプローチ
- 自動生産ラインのライン構成の評価手法
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析・モデリングワーキンググループの活動
- 2 ドメイン分析・モデリングとドメイン指向システム開発 : 分野に適合したシステム開発のための構成要素 (ドメイン分析とドメインモデリング)
- 1 ドメイン分析とドメインモデリングの概説 (ドメイン分析とドメインモデリング)
- 編集にあたって (ドメイン分析とドメインモデリング)
- 協調ドメインにおけるIDEF3の逐次的構成法
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- 制約充足問題としての三面図からの物体自動合成 : 擬似プール代数解法による : 画面理解および一般 : 画像処理・コンピュータビジョン
- 分散環境でのダイアグラムの共有,作成を支援するシステム(モデルとメトクリス)
- 同種ダイアグラムと異種ダイアグラムの検索と相互変換による再利用法(モデル化支援)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- 複数プロジェクトに関わる作業者の割り付けを支援するシステム(スケジューリング,「Webインテリジェンス」及び一般)
- システム分析のコースウェア(e-Learningの基盤技術/一般)
- コンピュータ援用立体幾何学習システム(新しいインターネット技術の教育環境への利用/一般)
- 時間経過の概念を導入したTimed STDsによる協調システムのモデリング
- 時間経過の概念を導入した Timed STDs による協調システムのモデリング
- ジェネリックタスクを包含したドメインモデルに基づくユースケースダイアグラム再利用法
- ダイアグラムを用いたシステム分析の教育(遠隔教育/一般)
- 情報と物に着目したユースケース図を利用した協調業務の分析(知能ソフトウェア工学, 一般)
- 3次元物体の理解を支援するツールの研究(e-Learning教育システムの成果と目指すべきもの/一般)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- 複数部門からなるビジネスプロセスのモデリングにおけるロールとレスポンシビリティの分析(要求工学)
- ダイアグラム変換を利用したシステム分析
- 協調エンジニアリングシステムの性能設計と改善のための知識に基づくパースペクティブ割り当て(ディジタルエンタープライズモデル)(ディジタルエンタープライズ,及び一般)
- ペトリネットによる協調業務の分析・評価
- ペトリネットによる協調業務の分析・評価(ビジネスモデルからソーシャルモデルへの展開 : 企業から公共,非営利組織まで)
- 割当て業務向きドメインモデル
- リレー解説「エキスパートシステムの諸事例」の開始にあたって
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- 待ち行列モデルにおけるオントロジ(オントロジー,「Webインテリジェンス」及び一般)
- ペトリネット手法による協調エンジニアリングシステムの性能設計と改善 (特集 「医療及び化学情報マイニング」および一般)
- 協調業務分析向きMCM/CLMからのE-Rモデルの抽出手法
- 参加型プロジェクトにおける自律的学習 : 国際政治学のマルチメディア学習教材開発作業を一例として
- サーフィスモデルの成立ち規則を用いた三面図からの物体自動合成法
- 非線形擬似ブール計画法による曖昧な三面図からの多面体の一意的合成
- ヒューリスティクアプローチによる協調システムの性能シミュレーション(さまざまな分野の形式的検証最前線及び一般)
- 計測制御システムの機能分散向き参照モデル Dual-Triads
- 定性推論による協調エンジニアリングシステムの性能改善(9月16日)(「アクティブマイニング」及び一般)
- 協調作業を含む業務のドメイン分析とモデリング
- セールスドメインにおけるドメインモデルの獲得とその再利用
- セールスドメインにおけるドメインモデルの獲得とその再利用
- ドメイン分析・モデリングの利用法・研究法 : Domain Specific Software Process (DSSP)の提案
- 比較分析によるドメインモデル獲得手法の提案
- ドメイン分析・モデリング概説
- リアルタイムシステムの性能評価・改善向けドメインモデルの提案
- パイプライン計算機における性能設計支援手法
- 定性推論を用いた共有ストアを有する待ち行列ネットワークのボトルネック改善法
- ドメイン分析・モデリング技術の現状と課題
- 6. リアルタイムシステムにおけるネット指向開発技術の適用 ( ネット指向パラダイムを求めて)
- OSSES : 石油出荷ヤードのための出荷スケジューリングエキスパートシステム
- 特集「学術情報データベースの構成と利用」の編集にあたって
- 業務モデル獲得支援ツール
- 共通業務を考慮したドメインモデルに基づくプロトタイピング
- リアクティブシステムの分析・設計向きドメインモデル : Asdreas STD Triand
- 定性推論による協調エンジニアリングシステムの性能改善(「アクティブマイニング」及び一般)
- 小特集「ロボットの信頼性と安全性」の編集にあたって
- システム記述評価システム : SDES
- 協調エンジニアリング会議支援システムの開発と教育への適用の試み(Collaborationとagent技術/一般)
- 展望 情報システムの構築法の教育と研究
- 「ソフトウェア開発のためのドメイン分析・モデリング技術」シンボジウム報告