「solver」を含む例文一覧(55)
＜前へ 1 2- 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.
極めて複雑な解析を行える高度なソルバーを備えた解析システムを用いる事無く、「微小変形理論」等の一般的に用いられる簡単な解析手法によって、ＰΔ効果を考慮した応力解析と構造設計とを実施できる構造設計方法の提供。 - 特許庁 - The process plant includes a process controller connected to a process control input/output device for performing a process control function, and a safety logic solver connected to a safety field device to communicate through a first communication bus, and the safety logic module system includes a computer readable memory storing in the safety logic module.
プロセスプラントに、プロセス制御機能を実行するプロセス制御入力／出力デバイスと、安全フィールドデバイスに接続されている安全ロジックソルバとに第一の通信バスを介して通信可能に接続されているプロセスコントローラを備え、安全ロジックモジュールシステムは、安全ロジックモジュールが格納されたコンピュータ読み取り可能メモリを備えている。 - 特許庁 - 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.
一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁 - The method for generating test data for an automotive lookup table includes each step of dividing the automotive lookup table into categories, generating a list of assertions corresponding in a one-to-one relationship to the categories such that each of the categories has an assertion corresponding to it, generating an execution trace for each assertion using a constraint solver, and generating test data for each execution trace.
自動車用ルックアップテーブルのためのテストデータを発生する方法は、自動車用ルックアップテーブルをカテゴリーに分割し、前記各カテゴリーが対応するアサーションを有するように、カテゴリーと一対一の関係で対応するアサーションのリストを発生し、制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む。 - 特許庁 - Sampling a current state of the controlled system 100 at time t, a cost function minimizing manipulated variables MV trajectories is computed with the MPC model for a relatively short time interval in the future, wherein the MPC uses a quadratic programming (QP) algorithm to find the optimal solution, and wherein the QP algorithm is solved by using an Active Sets solver class algorithm with simple constraints based on gradient projection and by using Newton step projection.
時間ｔにおいて被制御システム１００の現在の状態をサンプリングし、操作変数ＭＶ軌跡を最小化する費用関数が将来の比較的短い時間区間の間にＭＰＣモデルを用いて計算され、ＭＰＣは最適解を見つけるために二次計画（ＱＰ）アルゴリズムを使用し、ＱＰアルゴリズムは、勾配射影に基づいておよびニュートンステップ射影を使用して、単純制約を有するアクティブセットソルバクラスアルゴリズムを使用して解かれる。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
