「solver」を含む例文一覧(53)

1 2 次へ＞
  • PROBLEM SOLVER AND STORAGE MEDIUM
    問題解決器、及び記憶媒体 - 特許庁
  • QUANTIFIED BOOLEAN FORMULA (QBF) SOLVER
    限量記号付きブール式（ＱＢＦ）ソルバ - 特許庁
  • The rough mesh is set to the analyzer/solver.
    この粗メッシュはアナライザー／ソルバーに送られる。 - 特許庁
  • The solver removing liquid contains a polycarboxylic acid or its salt.
    多価カルボン酸又はその塩を含むはんだ除去液。 - 特許庁
  • LOGIC SOLVER AND ITS ARITHMETIC METHOD
    ロジックソルバーおよびその演算方法 - 特許庁
  • NONLINEAR SOLVER FOR FLEXIBLE SLENDER BODY SYSTEM
    フレキシブルスレンダボディシステム用の非線形ソルバ - 特許庁
  • MULTIVARIABLE SOLVER FOR OPTICAL PROXIMITY CORRECTION
    光近接効果補正のための多変数解法 - 特許庁
  • PROCESSING DATA GENERATION SYSTEM, AND SOLVER PROGRAM
    加工データ生成システム、ソルバプログラム - 特許庁
  • DEVELOPMENT OF GENERAL-PURPOSE LES SOLVER OF AIRCRAFT TURBOFAN ENGINE COMBUSTOR
    航空機用ターボファンエンジン燃焼器の汎用ＬＥＳソルバーの開発 - 特許庁
  • SOLVER FOR RESTRAINED DEFORMABLE SYSTEM WITH RELEASED DEGREE OF FREEDOM
    解放された自由度を有する、制約された変形しやすいシステム用のソルバ - 特許庁
  • POLYESTER BASE AND SOLVER HALIDE PHOTOGRAPHIC SENSITIVE MATERIAL
    ポリエステル支持体およびハロゲン化銀写真感光材料 - 特許庁
  • As a renowned problem solver during the Warring States period in Japan, Shakugo's great-grandfather was Hisahide MATSUNAGA, a well known master of the tea ceremony.
    戦国時代随一のフィクサーで、茶人としても有名な松永久秀は尺五の曽祖父である。 - Wikipedia日英京都関連文書対訳コーパス
  • To analyze a model with an existing analysis solver while using voxel data so as to conduct automatic element separation.
    ボクセルデータを用いて自動要素分割を行いながら、既存の解析ソルバで解くこと。 - 特許庁
  • SYSTEM, METHOD, AND LOGICAL DEVICE FOR SCHEDULING EVENT IN BOOLEAN SATISFIABILITY SOLVER
    ブール充足可能性解答装置におけるイベントをスケジューリングするシステム、方法及び論理装置 - 特許庁
  • METHOD AND COMPUTER FOR PARALLEL COMPUTATION BETWEEN ELASTIC FINITE-ELEMENT METHOD ANALYTIC SOLVER PORTIONS
    弾性有限要素法解析ソルバ部分間並列計算方法及び計算機 - 特許庁
  • NUMERICAL CALCULATION METHOD FOR HIGHER ORDER MIXED ELEMENT POISSON SOLVER BASED ON GSMAC FINITE ELEMENT METHOD
    ＧＳＭＡＣ有限要素法による高次混合要素Ｐｏｉｓｓｏｎソルバーの数値計算手法 - 特許庁
  • A field solver uses the initial process parameters to determine design coupling capacitances.
    フィールドソルバは、設計結合容量を決定するために、初期プロセスパラメータを用いる。 - 特許庁
  • LOGICAL FORMULA CONVERSION PROGRAM, SAT SOLVER PROGRAM, AND SAT DIFFICULTY EVALUATION PROGRAM
    論理式変換プログラム、ＳＡＴ解法プログラム、及びＳＡＴ難易度評価プログラム - 特許庁
  • The QBF is decomposed into a component section which can be analyzed by a satisfiability (SAT) solver.
    ＱＢＦは、充足可能性（ＳＡＴ）ソルバによって分析可能な構成要素部に分解される。 - 特許庁
  • A data production section 33 designates the data restriction to an SMT solver and produces test data.
    データ生成部３３は，ＳＭＴソルバにデータ制約を指定してテストデータを生成する。 - 特許庁
  • Finally, the above idea is incorporated into a fluid solver based on a higher-order projection method.
    最後に、上記概念が高次投影方法に基づく流体ソルバに組み込まれる。 - 特許庁
  • The analyzer/solver solves the M×M linear matrix equation of the rough mesh which is equal to the N×N linear matrix equation.
    アナライザー／ソルバーは、Ｎ＊Ｎ線形行列方程式と同等である粗メッシュのＭ＊Ｍ線形行列方程式を解く。 - 特許庁
  • METHOD AND DEVICE FOR OBTAINING SAT SOLVER ARCHITECTURE WITH A LITTLE OVERHEAD OF SYNTHESIS AND LAYOUT
    合成及びレイアウトのオーバーヘッドが少ないＳＡＴソルバー・アーキテクチャーを得るための方法及び装置 - 特許庁
  • Further, since it is not necessary to introduce discontinuous grids, a solution can be speedily and accurately calculated without necessity to use a special solver.
    しかも、不連続格子を導入する必要がないから、特殊なソルバーを用いる必要がなく、迅速に精度よく解を計算することができる。 - 特許庁
  • To apply an SMT (Satisfiability Module Theories) solver to the property matching determination processing of software handling a variable length data structure.
    可変長データ構造を扱うソフトウェアのプロパティ整合性判定処理にＳＭＴソルバを適用できるようにする。 - 特許庁
  • To enhance convergent property in a numerical calculation using a residual removal method adapting AMG (algebraic multi grid) method for an internal solver.
    ＡＭＧ法を内部ソルバに採用した残差切除法を用いた数値計算において、収束性を高める。 - 特許庁
  • The pipe network analyzing device is equipped with a model generation part 10 which generates a fluid supply pipe network model, a solver part 30 which takes a fluid analysis of the fluid supply pipe network model, and the preprocessor part 20 which generates input data for analysis for the solver part.
    流体供給管網モデルを作成するモデル作成部１０と、流体供給管網モデルに対して流体解析を実行するソルバー部３０と、ソルバー部のための解析用入力データを生成するプリプロセッサ部２０とを備えた管網解析装置。 - 特許庁
  • Further, the automatic thermal fluid analysis program 32 comprises a fluid analysis solver 54 analyzing the fluid behavior against the space by numerical approach on the basis of mesh data 38 indicating meshes, a visualization function part 56 displaying the analysis result, and an integrative operation part 68 capable of integratively operation the 3D CAD part 50, the mesh generator 52, the fluid analysis solver 54, and the visualization function part 56.
    さらに、自動熱流体解析プログラム３２は、メッシュを表すメッシュデータ３８に基づいて、空間に対して流体の挙動を数値解法により解析する流体解析ソルバ部５４と、解析結果を表示する可視化機能部５６と、３次元ＣＡＤ部５０、メッシュジェネレータ部５２、流体解析ソルバ部５４および可視化機能部５６とを統合的に操作することが可能な統合操作部６８とを備える。 - 特許庁
  • The accelerator is used as a library that is externally connected to an analyzer/solver for solving a linear matrix equation based on mesh generated by a mesh generator.
    アクセラレーターは、メッシュジェネレーターが生成したメッシュに基づいた線形行列方程式を解くアナライザー／ソルバーに外部的に接続するライブラリとして使用される。 - 特許庁
  • A dynamic deformation solver 15 deforms the mesh model based on the displacement vector, and information related to a material press-molded by the mold created by the mold CAD model.
    力学的変形ソルバ部15は、変位ベクトル、および、金型CADモデルによって作成する金型がプレス成形する材料に関する情報に基づき、メッシュモデルを変形する。 - 特許庁
  • To shorten a design time by performing a boundary condition check in an analytic model before performing an analysis by a solver and to easily and quickly acquire required data.
    ソルバーによる解析を行なう前に解析モデルにおける境界条件チェックを行なうことにより設計時間を短縮することができ、又、必要とするデータを容易かつ迅速に取得することができるようにする。 - 特許庁
  • A solver part 150 finds the analyzed result 138 expressing the positions of the respective nodal points after deformation by applying analytic conditions to the analytic model 136 and performing numerical calculation.
    ソルバ部１５０は、解析モデル１３６に対して解析条件を適用して数値計算することにより、変形後の各節点の位置を表す解析結果１３８を求める。 - 特許庁
  • To provide a magnetizing distribution calculation device which can calculates magnetizing distribution of a magnet using an existing multipurpose magnetic field calculation solver.
    既存の汎用磁界計算ソルバーを用いて磁石の磁化分布を算出することが可能な磁化分布算出処理装置を提供することを目的とする。 - 特許庁
  • To provide a logic solver as the arithmetic part of a programmable controller for performing not only absolute jump but also relative jump and its arithmetic method.
    絶対ジャンプだけでなく相対ジャンプを可能とするプログラマブルコントローラの演算部たるロジックソルバーおよびその演算方法を提供する。 - 特許庁
  • To animate a face and any other soft tissue of a character completely in the same way as animating skeleton by creating a soft tissue solver attached to surface mesh.
    キャラクタの顔面およびその他のいずれの軟組織であっても、表面メッシュに取り付けられた軟組織ソルバを作成することによって、スケルトンを動画化するのと全く同様に、動画化することを可能にする。 - 特許庁
  • A dynamic deformation solver part 15 deforms the mesh model on the basis of a motion vector at the movement instruction point and information about material with which a metal mold created by the metal mold CAD model performs press molding.
    力学的変形ソルバ部15は、移動指示点の移動ベクトルと、金型CADモデルによって作成する金型がプレス成形する材料に関する情報に基づき、メッシュモデルを変形する。 - 特許庁
  • When a set of projection points specified on the input mesh and a format file of an object in this class, the one example of which is the input mesh are provided, the soft tissue solver is automatically generated.
    この軟組織ソルバは、入力メッシュ上で指定された１組の突出点と、入力メッシュが一例である、そのクラスのオブジェクトについてのフォーマット・ファイルとが与えられると、自動的に生成することができる。 - 特許庁
  • Thus, even if the subject of analysis is complex in shape, the element breakdown information given to a rear element breaking part 30 (solver) can be created accurately at high speed.
    これにより、解析被対象物が複雑な形状を有している場合であっても、後段の要素分割部３０（ソルバー）に与える要素分割情報を正確にかつ高速に生成することができる。 - 特許庁
  • A solver 170 computes feedback signals Y^* for the individual amplifiers by using an addition result Y of the outputs for each input signal and an inverse matrix L^-1 of the predetermined matrix.
    ソルバ１７０は、入力信号毎の出力の加算結果Ｙと所定行列の逆行列Ｌ^−１とを用いて、各増幅器に対するフィードバック信号Ｙ^＊を算出する。 - 特許庁
  • Under a constraint condition derived from a configuration of the network, a mathematical planning problem of minimizing the object function is set, and a solution is obtained using a solver for solving the mathematical planning problem.
    ネットワークの構成から導出される制約条件の下に、目的関数を最小化するという数理計画問題を設定し、数理計画問題を解くソルバを用いて解を求める。 - 特許庁
  • The correct-incorrect judging means 60 compares an input sentence which a solver has inputted by using an input device 30 with an answer pattern of the answer table 56.
    正誤判定手段６０は、解答者が入力装置３０を用いて入力した入力文と、解答テーブル５６の解答パターンとを比較する。 - 特許庁
  • For example, the fee is represented by a value C1 found by multiplying the clock frequency F of a CPU, load mean value E, solver operation time T0, and the predetermined fee rate α together.
    例えば、ＣＰＵのクロック周波数Ｆ、負荷の平均値Ｅ、ソルバーの動作時間Ｔ０及び所定の料率αを乗じた値Ｃ１＝α×Ｆ×Ｅ×Ｔ０を料金とする。 - 特許庁
  • Then, a position solver 210 determines a location of the target node based on the time differences in the RREP message and the RDAT message.
    そして位置ソルバー２１０が、ＲＲＥＰメッセージ及びＲＤＡＴメッセージ内の時間差に基づいて、ターゲットノードのロケーションを確定する。 - 特許庁
  • To provide an answer correction system in which correction and making can be performed quickly to answers of examination questions and moreover injustice is never generated in a solver by the variation of correctors and markers.
    試験問題の回答に対して添削・採点を迅速に行うことができ、しかも添削・採点者によるばらつきにより回答者に不公平が生じることがないような回答添削システムを提供する。 - 特許庁
  • Further, read-in relation (x) is generated in the form of table 0-1, and an integer programming problem is formulated so as to minimize the sum of downloading times of the page and file, and solved by a solver.
    また、読み込み関係(x)を0-1の表として作成し、ページとファイルのダウンロード時間の和を最小化するように整数計画問題を定式化し、ソルバに解かせる。 - 特許庁
  • When the safety logic module is performed by the processor of the safety logic solver, a safety function is performed for one or multiple safety field devices to communicate with another safety logic module in another safety logic solver connected to the first communication bus through a second communication bus, and the process controller and the process control input/output device are communicated with each other through the first communication bus.
    安全ロジックソルバのプロセッサで安全ロジックモジュールが実行されると、一または複数の前記安全フィールドデバイスに対して安全機能を実行し、前記第一の通信バスに接続されている他の安全ロジックソルバ内の他の安全ロジックモジュールに第二の通信バスを介して通信し、前記プロセスコントローラおよび前記プロセス制御入力／出力デバイスと前記第一の通信バスを介して通信する。 - 特許庁
  • A calculation solver 24 executes the arithmetic operation of a flow rate of each unit mesh 32 again in a state that each unit mesh 32 is made to have the arithmetic operation result of the mesh model 30 before the execution of the morphing with respect to the shape after the execution of the morphing.
    そして、モーフィング実行後の形状に対して、各単位メッシュ３２にモーフィング実行前のメッシュモデル３０の演算結果を持たせたままの状態で、計算ソルバー２４によって各単位メッシュ３２の流速の演算を再度実行させる。 - 特許庁
  • A press analysis result is mapped on the finite element method characteristic analysis model 10 to add correction of a material characteristic by a press influence, and the characteristic analysis by a solver program is performed based on the corrected finite element method characteristic analysis model 13.
    プレス解析結果を有限要素法特性解析モデル１０にマッピングしてプレス影響による材料特性の修正を加え、修正された有限要素法特性解析モデル１３に基づきソルバープログラムによる特性解析を行う。 - 特許庁
  • To provide a structural design method which enables a stress analysis and structural design, giving consideration to a PΔ effect, to be performed using a generally-used simple analytical method such as "an infinitesimal deformation theory", without the use of an analysis system equipped with an advanced type of solver capable of performing an extremely complicated analysis.
    極めて複雑な解析を行える高度なソルバーを備えた解析システムを用いる事無く、「微小変形理論」等の一般的に用いられる簡単な解析手法によって、ＰΔ効果を考慮した応力解析と構造設計とを実施できる構造設計方法の提供。 - 特許庁
  • In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.
    一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁
1 2 次へ＞

例文データの著作権について