意味 | 例文 (21件) |
時相演算子の英語
追加できません
(登録数上限)
英訳・英語 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*.発音を聞く - コンピューター用語辞典
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
「時相演算子」の部分一致の例文検索結果
該当件数 : 21件
U相スイッチング素子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
英和専門語辞典
|
意味 | 例文 (21件) |
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |