時相演算子 - Weblio 英和・和英辞典 (original) (raw)
例文
任意線形時間論理時 相特性の有界モデル検査方法であって、Ｆはｅｖｅｎｔｕａｌｉｔｙ演算 子、Ｇはｇｌｏｂａｌｌｙ演算 子、Ｕはｕｎｔｉｌ演算 子、Ｘはｎｅｘｔ−ｔｉｍｅ演算 子を表す**時相演算子Ｆ（ｐ）、Ｇ（ｐ）、Ｕ（ｐ， ｑ）、Ｘ（ｐ）に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。例文帳に追加
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. - 特許庁
そして、２ｎ−１番目と２ｎ番目のデータ線に対応した２個の演算増幅器２０のうち、立ち上がり波形の出力時の演算増幅器２０に位相補償容量素子４０を接続するとともに、立ち下がり波形の出力時の演算増幅器２０に位相補償容量素子３０を接続するようにしている。例文帳に追加
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. - 特許庁
ファイル間相互の関連度の演算処理は、まず、アクセスログを取得し（ステップＳ２０１）、ユーザが作業を行っている時間を定義して活動時間を演算し、ファイル名ごとにアクセスログを分類し、すぐにロックを離す拡張子を抽出する（ステップＳ２０２〜Ｓ２０４）。例文帳に追加
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). - 特許庁
入力端子電圧演算回路２０１は相電流Ｉｕ，Ｉｖを離散時間的に入力し、電源角周波数ω、直列容量Ｃ、及び負荷抵抗ＲよりＰＷＭコンバータの入力端子電圧値Ｅｕ，Ｅｖ，Ｅｗを演算する。例文帳に追加
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. - 特許庁
その後、膨張弁開度演算回路８が冷媒流量演算回路７によって算出された目標とする単位時間当たりの冷媒流量及び電子式膨張弁固有の冷媒流量と膨張弁開度との相関関係から膨脹弁開度を算出する。例文帳に追加
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. - 特許庁
０次モーメント演算器と１次モーメント演算器とが、ラインパターン光が延びる方向における各位置での該方向に対して垂直の方向での０次、１次モーメントを、受光素子アレイにて略同時刻に得られた出力信号に相当するデジタル信号を積分して求める。例文帳に追加
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*.発音を聞く - コンピューター用語辞典