論文の概要: Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver

• arxiv url: http://arxiv.org/abs/2503.05071v1
• Date: Fri, 07 Mar 2025 01:31:40 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-03-10 12:21:21.257107
• Title: Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
• Title（参考訳）: 連続3次元印刷のためのオブジェクトパッキングとスケジューリング:線形算術モデルとCEGARによる最適解法
• Authors: Pavel Surynek, Vojtěch Bubník, Lukáš Matěna, Petr Kubiš,
• Abstract要約: 逐次3次元印刷におけるオブジェクト配置とスケジューリングの問題に対処する。 シーケンシャルの場合、プリンタの可動部が以前の印刷物と衝突しないようにする必要がある。 本稿では,この問題を線形算術公式として表現し,満足度変調理論(SMT)の解法を用いて解くことを提案する。
• 参考スコア（独自算出の注目度）: 9.2246583941469
• License:
• Abstract: We address the problem of object arrangement and scheduling for sequential 3D printing. Unlike the standard 3D printing, where all objects are printed slice by slice at once, in sequential 3D printing, objects are completed one after other. In the sequential case, it is necessary to ensure that the moving parts of the printer do not collide with previously printed objects. We look at the sequential printing problem from the perspective of combinatorial optimization. We propose to express the problem as a linear arithmetic formula, which is then solved using a solver for satisfiability modulo theories (SMT). However, we do not solve the formula expressing the problem of object arrangement and scheduling directly, but we have proposed a technique inspired by counterexample guided abstraction refinement (CEGAR), which turned out to be a key innovation to efficiency.
• Abstract（参考訳）: 逐次3次元印刷におけるオブジェクト配置とスケジューリングの問題に対処する。 通常の3Dプリンティングとは違い、すべてのオブジェクトをスライスして一斉にスライスし、シーケンシャルな3Dプリンティングでは、オブジェクトが次々に完成する。 シーケンシャルの場合、プリンタの可動部が以前の印刷物と衝突しないようにする必要がある。 組合せ最適化の観点から、逐次印刷問題を考察する。 本稿では,この問題を線形算術公式として表現し,満足度変調理論(SMT)の解法を用いて解くことを提案する。 しかし、オブジェクト配置とスケジューリングを直接的に表現する公式は解決していないが、我々は反例誘導抽象化改良(CEGAR)にインスパイアされた手法を提案しており、効率性にとって重要な革新であることが判明した。

関連論文リスト

• Gaussian Process Model with Tensorial Inputs and Its Application to the Design of 3D Printed Antennas [9.14263004805318]
  GPカーネルに一般化された距離尺度を組み込むことを提案し、3Dプリントされたデザインから空間情報をGPフレームワークに組み込む新しい便利な手法を提案する。 提案手法は,GPサロゲートに基づくシミュレーション最適化から利用可能なツールの多元性を生かした3次元プリントオブジェクトの複雑な設計問題を実現する。
  論文  参考訳（メタデータ） (2024-07-19T15:51:03Z)
• Instant3D: Instant Text-to-3D Generation [101.25562463919795]
  Instant3Dと呼ばれる高速テキストから3D生成のための新しいフレームワークを提案する。 Instant3Dはフィードフォワードネットワークの単一実行で1秒未満で、目に見えないテキストプロンプトのための3Dオブジェクトを作成することができる。
  論文  参考訳（メタデータ） (2023-11-14T18:59:59Z)
• Directional Texture Editing for 3D Models [51.31499400557996]
  ITEM3D は textbf3D オブジェクトの自動編集のために設計されている。 拡散モデルと微分可能レンダリングを活用して、ITEM3Dはレンダリングされた画像をテキストと3D表現のブリッジとして取り込む。
  論文  参考訳（メタデータ） (2023-09-26T12:01:13Z)
• An overview of some mathematical techniques and problems linking 3D vision to 3D printing [1.534667887016089]
  形状変換問題と3Dプリンティングの技法の概要を提示するギャップを埋めようとしている。 また、オブジェクトの1つ以上の画像から始まり、最終的な3Dプリントで終わるオブジェクト製造のプロセスを完成させるために、可能な結合をスケッチする。
  論文  参考訳（メタデータ） (2023-09-19T11:56:00Z)
• PlankAssembly: Robust 3D Reconstruction from Three Orthographic Views with Learnt Shape Programs [24.09764733540401]
  本研究では、3つの正書法からの2次元線図を3次元CADモデルに自動変換する手法を開発した。 我々はトランスフォーマーに基づくシーケンス生成モデルにおける注意機構を利用して、入力と出力の間の柔軟なマッピングを学習する。 提案手法は,入力がノイズや不完全である場合,既存の手法よりも大幅に優れる。
  論文  参考訳（メタデータ） (2023-08-10T17:59:34Z)
• Efficient Text-Guided 3D-Aware Portrait Generation with Score Distillation Sampling on Distribution [28.526714129927093]
  本研究では,DreamPortraitを提案する。DreamPortraitは,テキスト誘導型3D画像の単一フォワードパスで効率よく作成することを目的としている。 さらに,テキストと3D認識空間の対応をモデルが明示的に知覚できるように,3D対応のゲート・アテンション機構を設計する。
  論文  参考訳（メタデータ） (2023-06-03T11:08:38Z)
• Searching Dense Point Correspondences via Permutation Matrix Learning [50.764666304335]
  本稿では,3次元点雲の高密度対応を推定するエンド・ツー・エンドの学習手法を提案する。 本手法は,高密度対応学習のための最先端性能を実現する。
  論文  参考訳（メタデータ） (2022-10-26T17:56:09Z)
• A Scalable Combinatorial Solver for Elastic Geometrically Consistent 3D Shape Matching [69.14632473279651]
  本稿では,3次元形状間の幾何学的一貫したマッピング空間をグローバルに最適化するスケーラブルなアルゴリズムを提案する。 従来の解法よりも数桁高速なラグランジュ双対問題と結合した新しい原始問題を提案する。
  論文  参考訳（メタデータ） (2022-04-27T09:47:47Z)
• Input-level Inductive Biases for 3D Reconstruction [88.5073749335147]
  一般認識モデルであるPerceiver IOを用いて3次元再構成を行った。 モデルはクエリマトリックスを使用して問合せされ、クエリ毎に出力を生成する。 本稿では,入力画像対のすべての画素に対する出力値について述べる。
  論文  参考訳（メタデータ） (2021-12-06T18:49:52Z)
• Growing and Evolving 3D Prints [5.837881923712394]
  本稿では, 生物にインスパイアされた発達モデルについて, 生成型ファイリングシステムの基盤として記述する。 従来のシステムとは異なり,本手法では直接3Dプリント可能なオブジェクトを生成することができる。
  論文  参考訳（メタデータ） (2021-07-07T01:51:29Z)
• Implicit Functions in Feature Space for 3D Shape Reconstruction and Completion [53.885984328273686]
  Implicit Feature Networks (IF-Nets) は連続的な出力を提供し、複数のトポロジを扱える。 IF-NetsはShapeNetにおける3次元オブジェクト再構成における先行作業よりも明らかに優れており、より正確な3次元人間の再構成が得られる。
  論文  参考訳（メタデータ） (2020-03-03T11:14:29Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。