論文の概要: Portfolio of Solving Strategies in CEGAR-based Object Packing and Scheduling for Sequential 3D Printing

• arxiv url: http://arxiv.org/abs/2603.12224v1
• Date: Thu, 12 Mar 2026 17:48:14 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-13 14:46:26.264785
• Title: Portfolio of Solving Strategies in CEGAR-based Object Packing and Scheduling for Sequential 3D Printing
• Title（参考訳）: 連続3DプリンティングのためのCEGARを用いたオブジェクトパッキングとスケジューリングにおける解法のポートフォリオ
• Authors: Pavel Surynek,
• Abstract要約: 本稿では、現代のマルチコアパーソナルコンピュータCPUの計算能力を効果的に活用する方法を示す。 逐次3Dプリンティングのためのオブジェクト配置とスケジューリングの複雑な問題を解決する方法について述べる。
• 参考スコア（独自算出の注目度）: 7.766921168069531
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Computing power that used to be available only in supercomputers decades ago especially their parallelism is currently available in standard personal computer CPUs even in CPUs for mobile telephones. We show how to effectively utilize the computing power of modern multi-core personal computer CPU to solve the complex combinatorial problem of object arrangement and scheduling for sequential 3D printing. We achieved this by parallelizing the existing CEGAR-SEQ algorithm that solves the sequential object arrangement and scheduling by expressing it as a linear arithmetic formula which is then solved by a technique inspired by counterexample guided abstraction refinement (CEGAR). The original CEGAR-SEQ algorithm uses an object arrangement strategy that places objects towards the center of the printing plate. We propose alternative object arrangement strategies such as placing objects towards a corner of the printing plate and scheduling objects according to their height. Our parallelization is done at the high-level where we execute the CEGAR-SEQ algorithm in parallel with a portfolio of object arrangement strategies, an algorithm is called Porfolio-CEGAR-SEQ. Our experimental evaluation indicates that Porfolio-CEGAR-SEQ outperforms the original CEGAR-SEQ. When a batch of objects for multiple printing plates is scheduled, Portfolio-CEGAR-SEQ often uses fewer printing plates than CEGAR-SEQ.
• Abstract（参考訳）: 何十年も前にスーパーコンピュータでしか利用できなかった計算能力、特に並列性は、携帯電話のCPUでも標準のパーソナルコンピュータCPUで利用することができる。 本稿では,最新のマルチコアパーソナルコンピュータCPUの計算能力を効果的に活用して,オブジェクト配置と逐次3Dプリンティングのためのスケジューリングの複雑な組み合わせ問題を解く方法について述べる。 そこで我々は,CEGAR-SEQアルゴリズムを並列化し,逐次的オブジェクト配置とスケジューリングを線形算術公式として表現し,反例誘導抽象洗練法(CEGAR)にインスパイアされた手法で解いた。 オリジナルのCEGAR-SEQアルゴリズムでは、オブジェクトをプリントプレートの中央に配置するオブジェクト配置戦略を採用している。 印刷板の角にオブジェクトを配置し,その高さに応じてオブジェクトをスケジューリングするなど,代替的なオブジェクト配置戦略を提案する。 我々の並列化は、CEGAR-SEQアルゴリズムをオブジェクト配置戦略のポートフォリオと並行して実行する高レベルで行われ、アルゴリズムはPorfolio-CEGAR-SEQと呼ばれる。 実験の結果,Porfolio-CEGAR-SEQはオリジナルのCEGAR-SEQよりも優れていた。 複数のプリントプレートのバッチがスケジュールされている場合、Portfolio-CEGAR-SEQはCEGAR-SEQよりも少ないプリントプレートを使用することが多い。

関連論文リスト

• Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver [9.2246583941469]
  逐次3次元印刷におけるオブジェクト配置とスケジューリングの問題に対処する。 シーケンシャルの場合、プリンタの可動部が以前の印刷物と衝突しないようにする必要がある。 本稿では,この問題を線形算術公式として表現し,満足度変調理論(SMT)の解法を用いて解くことを提案する。
  論文  参考訳（メタデータ） (2025-03-07T01:31:40Z)
• Efficient Compilation for Shuttling Trapped-Ion Machines via the Position Graph Architectural Abstraction [0.9199465050084297]
  この研究は、異なるタイプのハードウェアアーキテクチャのための、位置グラフと呼ばれる新しい統一抽象化を提示している。 我々は、トラップイオン量子電荷結合デバイス(QCCD)アーキテクチャをモデル化し、高品質で超伝導のスケーラブルなコンパイル方法を実現する。 このアプローチは、シャットリングベースの量子コンピュータの物理的制約に従うハードウェア上で、ネイティブで実行可能な回路とイオン命令を生成する。
  論文  参考訳（メタデータ） (2025-01-21T19:39:03Z)
• Extreme Compression of Large Language Models via Additive Quantization [59.3122859349777]
  我々のアルゴリズムは、AQLMと呼ばれ、情報検索のための古典的な加算量子化(AQ)アプローチを一般化する。 トークン生成のためのAQLMの高速GPUおよびCPU実装を提供しており、最適化されたFP16実装を高速にマッチングまたは性能良くすることができる。
  論文  参考訳（メタデータ） (2024-01-11T18:54:44Z)
• Soft Convex Quantization: Revisiting Vector Quantization with Convex Optimization [40.1651740183975]
  ベクトル量子化(VQ)の直接代用として,ソフト凸量子化(SCQ)を提案する。 SCQは微分凸最適化(DCO)層のように機能する。 CIFAR-10, GTSRB, LSUNデータセット上での有効性を示す。
  論文  参考訳（メタデータ） (2023-10-04T17:45:14Z)
• Online Clustered Codebook [100.1650001618827]
  オンラインコードブック学習のための簡単な代替手法であるClustering VQ-VAE(CVQ-VAE)を提案する。 弊社のアプローチでは、コード化された機能をアンカーとして選択し、デッドのコードベクタを更新すると同時に、元の損失によって生存しているコードブックを最適化する。 私たちのCVQ-VAEは、ほんの数行のコードで既存のモデルに簡単に統合できます。
  論文  参考訳（メタデータ） (2023-07-27T18:31:04Z)
• Harnessing Deep Learning and HPC Kernels via High-Level Loop and Tensor Abstractions on CPU Architectures [67.47328776279204]
  この研究は、効率的でポータブルなDeep LearningとHigh Performance Computingカーネルを開発するためのフレームワークを導入している。 1)プロセッシングプリミティブ(TPP)を用いた計算コアの表現と,2)高レベルな宣言的手法でTPPのまわりの論理ループの表現の2つのステップでカーネルの開発を分解する。 我々は、スタンドアロンカーネルと、さまざまなCPUプラットフォームにおける最先端実装よりも優れたエンドツーエンドワークロードを使用して、このアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2023-04-25T05:04:44Z)
• Batch-efficient EigenDecomposition for Small and Medium Matrices [65.67315418971688]
  EigenDecomposition (ED)は多くのコンピュータビジョンアルゴリズムとアプリケーションの中心にある。 本稿では,コンピュータビジョンの応用シナリオに特化したQRベースのED手法を提案する。
  論文  参考訳（メタデータ） (2022-07-09T09:14:12Z)
• Machine Learning for CUDA+MPI Design Rules [0.0]
  本稿では,キー+MPIプログラムの設計空間を自動探索する新しい戦略を提案する。 モンテカルロ木探索は、プログラムの性能に大きな影響を与えるデザイン空間の領域を発見する。 決定木は、各クラスの設計ルールを作成するために、機能とラベルに基づいて訓練される。
  論文  参考訳（メタデータ） (2022-03-04T19:17:00Z)
• MPLP++: Fast, Parallel Dual Block-Coordinate Ascent for Dense Graphical Models [96.1052289276254]
  この研究は、人気のあるDual Block-Coordinate Ascent原則に基づく新しいMAP-solverを導入している。 驚いたことに、性能の低い解法に小さな変更を加えることで、既存の解法を大きなマージンで大幅に上回る新しい解法MPLP++を導出します。
  論文  参考訳（メタデータ） (2020-04-16T16:20:53Z)

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

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