アルゴリズム設計問題の英語

現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理積正規形(CNF)の式の解を見いだすための効果的なアルゴリズムを設計することである.例文帳に追加

Presently, an active area of research on satisfiability (SAT) problem is to design efficient algorithms to find a solution for a satisfiable conjunctive normal form (CNF) formula.発音を聞く  - コンピューター用語辞典

二分決定グラフ（BDD）を用いるアルゴリズムを使用する回路設計法において、区分けのスケジューリングに起因して非効率的になってしまう問題点を軽減ること。例文帳に追加

To alleviate the problem that a circuit designing method using an algorithm using a bisection decision diagram (BDD) becomes inefficient caused by partitioned scheduling. - 特許庁

性能及び信頼性に関する設計目標を有する設計対象物の設計方法であって、局所解の数に依存せずに最適解を導出可能な最適化問題解法アルゴリズムに基づいて、前記性能の最大化と前記信頼性の最大化とを設計目標とした最適化問題を解き、導出される最適解に基づいて前記機械構造体の設計を行う、という手段を採用する。例文帳に追加

A method for designing a subject of design having design goals about performance and reliability adopts a means of solving an optimization problem where maximization of the performance and maximization of the reliability are design goals, based on an optimization problem solution algorithm that makes it possible to derive an optimum solution without depending on the number of local solutions, and designing a machine structure based on the optimum solution derived. - 特許庁

各種分野における様々な計画立案、設計、制御における組み合わせ最適化問題を解く装置に関し、特に、組み合わせ数が膨大な問題を並列計算機を用いて高速に処理する遺伝的アルゴリズム並列処理装置において、並列度数が高くなった場合に、その効果をリニアに処理性能、探索性能に活かしきれないということが挙げられる。例文帳に追加

To solve the problem that the effect of the increase of parallelism can not be linearly utilized for processing performance or retrieval performance in a device for solving the problem of combination optimization in various plan making, design, and control in various fields, especially, a genetic algorithm parallel processing device for quickly processing the problem of the huge number of combination by using parallel computers. - 特許庁