小窓モード


プレミアム

ログイン
設定

設定

時相演算子の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 temporal operator


コンピューター用語辞典での「時相演算子」の英訳

時相演算子


「時相演算子」の部分一致の例文検索結果

該当件数 : 21



例文

任意線形間論理特性の有界モデル検査方法であって、Fはeventuality演算、Gはglobally演算、Uはuntil演算、Xはnext−time演算を表す時相演算子F(p)、G(p)、U(p, q)、X(p)に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。例文帳に追加

This bound model inspection method for a desired linear time logic tense property comprises a step of converting a property related to tense operators F(p), G(p), U(p, q), and X(p), for F as eventuality operator, G as globally operator, U as until operator, and X as next-time operator into a property inspection schema comprising Boolean satisfiability test. - 特許庁

そして、2n−1番目と2n番目のデータ線に対応した2個の演算増幅器20のうち、立ち上がり波形の出力演算増幅器20に位補償容量素40を接続するとともに、立ち下がり波形の出力演算増幅器20に位補償容量素30を接続するようにしている。例文帳に追加

Here, of the two operational amplifiers 20 corresponding to (2n-1)-th data line and 2n-th data line, the operational amplifier 20 for outputting of rising edge waveform is connected to the phase compensation capacitive element 40; while the operational amplifier 20 for outputting falling edge waveform is connected to the phase compensation capacitive element 30. - 特許庁

ファイル間互の関連度の演算処理は、まず、アクセスログを取得し(ステップS201)、ユーザが作業を行っている間を定義して活動間を演算し、ファイル名ごとにアクセスログを分類し、すぐにロックを離す拡張を抽出する(ステップS202〜S204)。例文帳に追加

The arithmetic processing of relevance between files includes steps for acquiring an access log (step S201), calculating an activity time by defining a time when a user performs an operation, classifying access logs at each file name, and immediately extracting expanders to release lock (steps S202 to S204). - 特許庁

入力端電圧演算回路201は電流Iu,Ivを離散間的に入力し、電源角周波数ω、直列容量C、及び負荷抵抗RよりPWMコンバータの入力端電圧値Eu,Ev,Ewを演算する。例文帳に追加

An input terminal voltage calculation circuit 201 receives phase currents Iu and Iv in a discrete time manner, and calculates input terminal voltage values Eu, Ev and Ew of a PWM converter from a power supply angle frequency ω, a series capacitance C and a load resistance R. - 特許庁

その後、膨張弁開度演算回路8が冷媒流量演算回路7によって算出された目標とする単位間当たりの冷媒流量及び電式膨張弁固有の冷媒流量と膨張弁開度との関関係から膨脹弁開度を算出する。例文帳に追加

Then, opening of the expansion valve is calculated from correlation of the target flow rate of refrigerant per the unit time and the flow rate of refrigerant intrinsic for the electronic expansion valve. - 特許庁

0次モーメント演算器と1次モーメント演算器とが、ラインパターン光が延びる方向における各位置での該方向に対して垂直の方向での0次、1次モーメントを、受光素アレイにて略同刻に得られた出力信号に当するデジタル信号を積分して求める。例文帳に追加

A zero-order moment computing unit and a first-order moment computing unit find a zero-order moment and a first-order moment in a direction perpendicular to a direction in which the line pattern light is extended in respective positions in the direction, in such a way that digital signals corresponding to the output signals obtained in nearly the same time by the photodetector array are integrated. - 特許庁

例文

選択的経路量化記号と時相演算子の任意のネスティングを認めるかどうかに従って, 二つの間交代性論理, ATLとATL*とが得られる.例文帳に追加

Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*.発音を聞く  - コンピューター用語辞典

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

日英・英日専門用語辞書での「時相演算子」の英訳

時相演算子


クロスランゲージ 37分野専門語辞書での「時相演算子」の英訳

時相演算子


「時相演算子」の部分一致の例文検索結果

該当件数 : 21



例文

スイッチング素Tu+の温度が所定値以下になるように、U電流iu[A]がUスイッチング素Tu+を通過する間とU還流素Du−を通過する間とを交互に切替えるための中性点電圧Vc[V]を演算する。例文帳に追加

The controller calculates a neutral point voltage Vc[V] for alternately switching a time when a U-phase current iu[A] passes through a U-phase switching element Tu+ and a time when it passes through a U-phase reflux element Du- so that the temperature of the U-phase switching element Tu+ may be a predetermined value or lower. - 特許庁

各々の量ビットの長いコヒーレンス間を維持したまま,量ビット間の互作用をオンオフ制御することのできる量演算回路を提供する。例文帳に追加

To provide a quantum arithmetic circuit which can carry out on-off control of interaction between quantum bits while maintaining a long coherence time of each quantum bit. - 特許庁

ループ状に接続された遅延素11(0)〜11(N+1)で順次遅延されて循環している拡散符号P(0)〜P(N−1)と受信したスペクトル拡散信号D_m との互間の関を関器12(0)〜12(N+1)で演算し、総ての拡散符号との演算結果をマルチプレクサ15で選択して出力することで、連続して演算結果を出力しつつ、ダンプを行えるようにしたマッチトフイルタにおいて、拡散符号発生回路16からの他の拡散符号を短間で設定する。例文帳に追加

To set other spread code from a spread code generating circuit in a short time in a matched filter where a correlation unit calculates correlation between a circulating spread code sequentially delayed in delay elements connected in a loop and a received spread spectrum code and a multiplexer selects an arithmetic result with all the spread codes and outputs the selected result so as to attain dump while continuously outputting the correlation arithmetic result. - 特許庁

制御回路6は、画像演算部10からの輝度信号の明暗の対値によりCCD素4より画像信号を送出する電シャッター信号出力間を発生するタイミング発生回路7を制御する。例文帳に追加

A control circuit 6 controls a timing generating circuit 7 which generates an electronic shutter signal output time for sending the image signal out of the CCD element 4 with the relative value of lightness and darkness of the luminance signal from an image arithmetic part 10. - 特許庁

演算処理部7は、発光源1による投光から撮像素2による受光までの間差に当する情報を変調光の間変化と撮像素2の各受光領域での受光強度とから抽出し、距離を画素の値とする距離画像を生成する。例文帳に追加

An arithmetic processing part 7 extracts information equivalent to a time difference from the light projection by the light-emitting source 1 to reception of the light by an imaging element 2 from the change with time of the modulated light and the received light intensity in each light-receiving region of the imaging element 2, and forms a distance image wherein a distance is shown by values of pixels. - 特許庁

演算処理部7は、発光源1による投光から撮像素2による受光までの間差に当する情報を変調光の間変化と撮像素2の各受光領域での受光強度とから抽出し、距離を画素の値とする距離画像を生成する。例文帳に追加

A computation processing part 7 extracts information corresponding to the temporal difference from light projection by the light emission source 1 to light reception by an imaging element 2, on the basis of temporal changes of the modulated light and the intensity of light received at each light-receiving region of the imaging element 2 and creates a distance image having distances as pixel values. - 特許庁

距離演算部4は、光検出素1が受光する環境光成分のうち変動成分を殺するように変調信号に同期する特定の位区間の差分の積算値を所定の積分間において求め、当該積算値を用いて物体Obまでの距離を求める。例文帳に追加

The distance arithmetic section 4 determines, at a predetermined integration time, an integration value of difference of special phase interval synchronizing with the modulating signal so as to offset the fluctuation component of environmental light components received by the photo detecting element 1, and determines the distance to the object Ob using the integration value. - 特許庁

例文

受信信号をサンプリングして得られるサンプル値からなる入力信号にフィルタ演算を施す予測フィルタは、24個の遅延素101〜124を多段に接続し、各段においてサンプリング間隔に当する遅延間で遅延させつつ順次シフトする。例文帳に追加

The prediction filter applying filter arithmetic operations to an input signal comprising a sampled signal resulting from sampling a received signal is provided with 24 pieces of delay elements 101 to 124 connected in multi-stages, each stage of which sequentially shifts the signal while delaying the signal by a delay time equivalent to a sampling interval. - 特許庁

>>例文の一覧を見る

「時相演算子」の英訳に関連した単語・英語表現
1
temporal operator 英和専門語辞典


時相演算子のページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
日中韓辭典研究所日中韓辭典研究所
Copyright © 2024 CJKI. All Rights Reserved
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS