「SAT」を含む例文一覧(73)

1 2 次へ＞
  • She scored high on the SAT
    彼女は、SATで高い得点を得た - 日本語WordNet
  • How can I prepare for SAT?
    SATの準備はどうすればできますか？ - 旅行・ビジネス英会話翻訳例文
  • A SAT ratio calculation part 26 calculates the ratio of the SAT presumption value and the SAT model value.
    ＳＡＴ比演算部２６は、ＳＡＴ推定値とＳＡＴモデル値との比を演算する。 - 特許庁
  • The observer gain 38 returns to the road surface μ model 31, a correction signal calculated from an estimation SAT estimated by the tire SAT model 34 based on a turning angle, estimated road surface μ, estimated yaw rate and an estimated vehicle body slippage angle, and the measurement SAT measured by the SAT measuring instrument 35.
    そして、オブザーバゲイン３８は、転舵角、推定路面μ、推定ヨーレート、推定車体すべり角に基づいてタイヤSATモデル３４により推定された推定SATと、SAT計測器３５により計測された計測SATとから演算した補正信号を路面μモデル３１に帰還する。 - 特許庁
  • This method for Boolean satisfiability(SAT) comprises a step for using variable decision heuristic in a SAT algorithm and a step for pruning the search space of the Boolean satisfiability(SAT) by using the decision heuristic.
    ブーリアン満足化可能性(SAT)のための本方法は、SATアルゴリズム内で変数決定ヒューリスティックを使用するステップと、前記決定ヒューリスティックを使用してブーリアン満足化可能性(SAT)の探索空間をプルーニングするステップを備える。 - 特許庁
  • score the SAT essays
    学力検査の作文を採点する - 日本語WordNet
  • LOGICAL FORMULA CONVERSION PROGRAM, SAT SOLVER PROGRAM, AND SAT DIFFICULTY EVALUATION PROGRAM
    論理式変換プログラム、ＳＡＴ解法プログラム、及びＳＡＴ難易度評価プログラム - 特許庁
  • To improve performance in the various examples applied with Boolean satisfiability(SAT).
    ブーリアン満足化可能性(SAT)の多数の応用例においてパフォーマンスを向上させる。 - 特許庁
  • A SAT estimating device 16 estimates SAT generated between a road surface and a tire.
    ＳＡＴ推定器１６は路面とタイヤ間で発生するＳＡＴを推定する。 - 特許庁
  • A SAT model value calculation part 25 calculates a SAT model value based on a slip angle.
    ＳＡＴモデル値演算部２５は、スリップ角に基づいてＳＡＴモデル値を演算する。 - 特許庁
  • A SAT presumption part 23 obtains the SAT presumption value based on the sum of steering torque and assist torque.
    ＳＡＴ推定部２３は、操舵トルクとアシストトルクの和に基づいてＳＡＴ推定値を得る。 - 特許庁
  • An image computation method is provided for solving the Boolean satisfiability(SAT).
    この方法を使用してブーリアン満足化可能性(SAT)を解決するイメージ計算の方法が実現される。 - 特許庁
  • LOGICAL FORMULA CONVERSION PROGRAM AND SAT SOLUTION PROGRAM
    論理式変換プログラム、及びＳＡＴ解法プログラム - 特許庁
  • A SAT presumption part 23 presumes a SAT presumption value T_SAT, and supplies it to a grip degree presumption part 30.
    ＳＡＴ推定部２３は、ＳＡＴ推定値Ｔ_ＳＡＴを求め、グリップ度推定部３０に供給する。 - 特許庁
  • A SAT model calculating device 22 calculates a SAT model value from the slip angle estimated value and the lateral force value.
    ＳＡＴモデル演算器２２は、スリップ角推定値と横力値からＳＡＴモデル値を演算する。 - 特許庁
  • Furthermore, the pattern of the SAT is set by the set value transferred from a corresponding address to a SAT generating circuit 36.
    対応するアドレスからＳＡＴ生成回路３６に転送された設定値で、ＳＡＴのパターンが設定される。 - 特許庁
  • A SAT reference value calculation part 27 presumes the SAT reference value by revising the SAT model value upward, by determining that a ground length between a tire and a road surface increases and the SAT slope becomes large by the load increase and air pressure drop when the maximum value of the SAT ratio within a predetermined time exceeds the threshold.
    ＳＡＴ基準値演算部２７は、所定時間内のＳＡＴ比の最大値が閾値を超えた場合に、荷重増加やタイヤ空気圧低下によってタイヤと路面間の接地長が増加し、ＳＡＴ勾配が大きくなったと判定して、ＳＡＴモデル値を上方修正してＳＡＴ基準値を求める。 - 特許庁
  • A gripping degree estimating device 26 estimates a gripping degree from the SAT estimated by the SAT estimating device 16, the SAT model value calculated by the SAT model calculating device 22, and the longitudinal direction state amount estimated by the longitudinal direction state amount calculating device 240.
    グリップ度推定器２６は、ＳＡＴ推定器１６により推定されたＳＡＴ、ＳＡＴモデル演算器２２により演算されたＳＡＴモデル値、及び前後方向状態量演算器２４０により推定された前後方向状態量から、グリップ度を推定する。 - 特許庁
  • To provide a control device of an electric power steering system to stabilize vehicle behavior by carrying out assist control so that an actual SAT follows a norm SAT by paying attention to an SAT of a vehicle.
    車両のＳＡＴに着目し、規範ＳＡＴに実際のＳＡＴが従うようにアシスト制御を行うことによって車両挙動を安定化させる電動パワーステアリング装置の制御装置を提供する。 - 特許庁
  • While using the downloaded SAT function, the application is executed.
    そして、ダウンロードしたＳＡＴ機能を使用してアプリケーションを実行する。 - 特許庁
  • A SAT function and an application are stored in an external storage device detachable from the portable terminal and when an SIM card connected to that terminal does not correspond to the SAT, the SAT function is downloaded from the external storage device.
    携帯端末より脱着可能な外部記憶装置にＳＡＴ機能、アプリケーションを格納しておき、その端末に接続されるＳＩＭカードがＳＡＴに対応していない場合、外部記憶装置からＳＡＴ機能をダウンロードする。 - 特許庁
  • To provide a portable terminal and an application executing method for providing a service similar to an SIM adaptable to a SAT even if having an SIM unadaptable to the SAT.
    ＳＡＴに未対応のＳＩＭを有していても、ＳＡＴ対応のＳＩＭと同様なサービスを供する携帯端末およびアプリケーション実行方法を提供する。 - 特許庁
  • To estimate SAT constantly with excellent accuracy without being affected by the disturbance of a road surface.
    路面外乱の影響を受けることなく、常に精度よくＳＡＴを推定する。 - 特許庁
  • FreeBSD BUILT-19950429 (GR386) #0: Sat Apr 29 17:50:09 SAT 1995 Or jack logs into jane's account on the same machine (jane having set up the .klogin file as above, and the person in charge of Kerberos having set up principal jack with a null instance):
    次の例では、Jackが同じマシンの Jane のアカウントにloginします。 Janeは .klogin ファイルを前述のように設定しており、 Kerberosではjackというprincipalをインスタンスなしで設定してあります。 - FreeBSD
  • 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.
    現在, 充足性(SAT)問題に関する活動的な研究領域は, 充足可能な論理積正規形(CNF)の式の解を見いだすための効果的なアルゴリズムを設計することである. - コンピューター用語辞典
  • The grip degree presumption part 30 calculates a SAT reference value T_SATO based on the integrated slip angle α_I, calculates the ratio of the SAT reference value T_SATO and the SAT resumption value T_SAT and presumes a grip degree ε corresponding to the lateral friction force margin.
    グリップ度推定部３０は、統合スリップ角α_Ｉに基づくＳＡＴ基準値Ｔ_ＳＡＴ０を演算し、ＳＡＴ基準値Ｔ_ＳＡＴ０とＳＡＴ推定値Ｔ_ＳＡＴとの比を演算して、横方向の摩擦力余裕に相当するグリップ度εを推定する。 - 特許庁
  • To improve a circuit definition by a symbol algorithm easy to mount to an arbitrary finite type variable based on new formulation and an easy definition (Constructivity-SAT) of non-calculation type constitutiveness.
    簡単な、非計算的な構成性の定義（Constructivity-SAT）と、新しい定式化に基づく、任意の有限型の変数に対して実装が簡単な記号アルゴリズムとによって、回路定義を改善する。 - 特許庁
  • The decision heuristic is based on the partitioning of a conjunctive normal form(CNF) of a Boolean formula corresponding to the Boolean satisfiability(SAT), and the portioning is induced by a separator set.
    決定ヒューリスティックは、ブーリアン満足化可能性(SAT)に対応したブーリアン式の論理積正規形(CNF)のパーティション化をベースとし、当該パーティション化はセパレーター集合により誘導される。 - 特許庁
  • A slipping angle estimating means 34 estimates the slipping angle of a front wheel in accordance with a steering angle and a vehicle speed, an SAT estimating means 36 estimates SAT in accordance with steering torque and assisting torque, and a slipping angle reference value computing means 38 computes a slipping angle reference value for an estimated value for the SAT.
    スリップ角推定手段３４で、操舵角と車速とに基づいて前輪のスリップ角を推定し、ＳＡＴ推定手段３６で、操舵トルクとアシストトルクとに基づいて、ＳＡＴを推定し、スリップ角基準値演算手段３８でＳＡＴの推定値に対するスリップ角基準値を演算する。 - 特許庁
  • The QBF is decomposed into a component section which can be analyzed by a satisfiability (SAT) solver.
    ＱＢＦは、充足可能性（ＳＡＴ）ソルバによって分析可能な構成要素部に分解される。 - 特許庁
  • After that, the SAT is executed in a state heater power of P1 is supplied to the heater 124.
    その後、Ｐ１のヒータ・パワーをヒータ１２４に供給した状態においてＳＡＴを実行する。 - 特許庁
  • METHOD AND DEVICE FOR OBTAINING SAT SOLVER ARCHITECTURE WITH A LITTLE OVERHEAD OF SYNTHESIS AND LAYOUT
    合成及びレイアウトのオーバーヘッドが少ないＳＡＴソルバー・アーキテクチャーを得るための方法及び装置 - 特許庁
  • A total control torque is set by adding the reference torque T0 to the SAT compensation torque T1 in Step S10.
    ステップＳ１０では、基準トルクT0にＳＡＴ補正トルクT1を加算してトータル制御トルクTを設定する。 - 特許庁
  • A SAT(self-aligning torque) acted on a wheel steered is calculated by a reaction force calculation part 70.
    操向される車輪に作用するＳＡＴ（セルフアライニングトルク）を反力算出部７０にて算出する。 - 特許庁
  • In order to indicate the SAT as a primary function of the angle of side-slip, a slope and an intercept of the function are determined by a function determination part 90 using an on-line least square from the calculated SAT and the angle of side-slip.
    ＳＡＴを横すべり角の一次関数として表すために、算出されたＳＡＴと横すべり角からオンライン最小二乗法を用いて、その関数の勾配、切片を、関数決定部９０により求める。 - 特許庁
  • Moreover, the insertion position of a SAT(signal for attaining the tracking of a rotary head) is set by the set value transferred from a corresponding address to a TG 37.
    対応するアドレスからＴＧ３７に転送された設定値で、ＳＡＴの挿入位置が設定される。 - 特許庁
  • To calculate a SAT reference value which is a determination reference for presuming a road surface friction state with high precision.
    路面摩擦状態を推定するための判定基準であるＳＡＴ基準値を高精度に演算する。 - 特許庁
  • A SAT estimating device 12 estimates a synthetic value of self aligning torque generated on a grounding surface of each of left and right front wheels.
    ＳＡＴ推定器１２は、左右の前輪各々の接地面に発生するセルフアライニングトルクの合成値を推定する。 - 特許庁
  • Tom and Miss Baker sat at either end of the long couch and she read aloud to him from the SATURDAY EVENING POST.——
    ミス・ベイカーとトムとはそれぞれ長椅子の両端に座って、ミス・ベイカーがトムに『サタデイ・イブニング・ポスト』を読んでやっていた—— - F. Scott Fitzgerald『グレイト・ギャツビー』
  • A SAT estimation unit 28 operates an estimated SAT value based on the actual reaction torque filtered by a vehicle speed sensible filter 24, the friction torque estimated by the friction torque estimation unit 26, and the corrected torque estimated by the corrected torque estimation unit 27.
    ＳＡＴ推定部２８は、車速感応フィルタ２４でフィルタ処理された実反力トルクと、摩擦トルク推定部２６で推定された摩擦トルクと、補正トルク推定部２７で推定された補正トルクとに基づいて、ＳＡＴ推定値を演算する。 - 特許庁
  • Additionally, the text database of "Taisho Shinshu Daizo-kyo Sutra" of Tokyo University (SAT) and other projects such as the Chinese Buddhist Electronic Text Association (CBETA) have been promoted in order to produce an electronic text of Taisho Shinshu Daizo-kyo Sutra, and they are open to the public with certain restrictions.
    また、近年東京大学の『大正新脩大藏經』テキストデータベース（SAT）や、台北の中華電子佛典協會（CBETA）といったプロジェクトが大正新脩大藏經の電子テキスト化を推進していて、一定の制約内でその使用が開放されている。 - Wikipedia日英京都関連文書対訳コーパス
  • Every boot server respectively holds server allocation tables(SAT) including the present value of the number of times that loaded the boot servers (1).
    （１）各ブート・サーバごとに、クライアントが当該ブート・サーバをロードした回数の現在値を含むサーバ割り当てテーブル（ＳＡＴ）を保持する。 - 特許庁
  • The electric power steering apparatus is provided with a function for correcting motor assist to inhibit quick steering input, when a foreseeable roll amount based on a difference between a first SAT value T_SAT1which does not include a rolling motion of a vehicle and a second SAT value T_SAT2 which includes the rolling motion of the vehicle is larger than a predetermined value.
    車両のロール運動を含まないＳＡＴ値Ｔ_ＳＡＴ１と、前記車両のロール運動を含むＳＡＴ値Ｔ_ＳＡＴ２との差に基づくロール予見量が所定値より大きい場合に、早い操舵入力をできないようにモータアシストを補正する機能を設ける。 - 特許庁
  • A rendering order control 101 reads out sprites stored in a sprite attribute table (SAT) 100 in order of storage into the SAT 100, and writes image data of the sprites to a line buffer 102 and writes a read sprite display priority order (DEPTH) to a depth buffer 103.
    描画順位制御１０１は、ＳＡＴ（スプライト属性テーブル）１００に格納されたスプライトを、ＳＡＴ１００に格納された順に読み出して、スプライトの画像データをラインバッファ１０２に書き込むとともに、読み出したスプライト表示優先順位（DEPTH）をデプスバッファ１０３に書き込む。 - 特許庁
  • A turning motor SAT component computing section 54 computes a motor torque static component Tsat by subtracting the dynamic component Tw from the torque Tm.
    そして、転舵モータＳＡＴ成分演算部５４は、トルクTmから動的成分Twを減算することにより、モータトルク静的成分Tsatを計算する。 - 特許庁
  • Meanwhile, a SAT detection value of the front wheel is detected, the rear wheel slip ratio detection value is detected, and the lateral acceleration detection value of the vehicle is detected.
    一方、前輪のＳＡＴ検出値を検出し、後輪スリップ率検出値を検出し、車両の横加速度検出値を検出する。 - 特許庁
  • A base station 1 receives a positioning signal from a positioning satellite SAT, and acquires a carrier phase integrated value and a code pseudo distance (S1).
    基地局１は、測位衛星ＳＡＴからの測位用信号を受信して、キャリア位相積算値およびコード疑似距離を取得する（Ｓ１）。 - 特許庁
  • A SAT/internal resistance calculation part 3005 estimates gradient κand viscosity coefficient ρ based on the pinion angular velocity ω_p, the side slip angle α_f, and the disturbance torque T_d.
    ＳＡＴ／内部抗力算出部３００５ではピニオン角速度ω_pと、横滑り角α_fと外乱トルクＴ_dから、勾配κと粘性係数ρとを推定する。 - 特許庁
  • A SAT/internal resistance calculation part 305 estimates gradient κ and viscosity coefficient ρ based on the pinion angular velocity ω_p, the side slip angle α_f, and the disturbance torque T_d.
    ＳＡＴ／内部抗力算出部３０５ではピニオン角速度ω_pと、横滑り角α_fと外乱トルクＴ_dから、勾配κと粘性係数ρとを推定する。 - 特許庁
  • To provide a self-aligning estimating apparatus capable of estimating self-aligning torque (SAT) which has eliminated an effect of hysteresis for friction component.
    摩擦分のヒステリシスの影響を排除したセルフアライニングトルク（ＳＡＴ）の推定が可能になるセルフアライニングトルク推定装置を提供することを課題とする。 - 特許庁
1 2 次へ＞

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