「"Property P"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

When deciding that the property p is maintained to all the lower modules, a verification result Rs of ms is set as that" the property p is maintained".例文帳に追加

全ての下位モジュールに対して性質ｐが守られると判定した場合、ｍｓの検証結果Ｒｓを「性質ｐは守られる」とする。 - 特許庁

When deciding that the condition Cf is not satisfied, a verification result of the module of the verification target is set as that "the property p is maintained".例文帳に追加

条件Ｃｆが成り立たないと判定した場合、検証対象のモジュールの検証結果を「性質ｐは守られる」とする。 - 特許庁

A central processing unit 111 decides whether or not a property p is maintained without a precondition from a starting point module ms.例文帳に追加

中央処理装置１１１は、起点モジュールｍｓから、前条件無しで性質ｐが守られるか否かを判定する。 - 特許庁

When deciding that the property p is not maintained, a condition Cf wherein the property p is not maintained is obtained, and it is decided whether the condition Cf is satisfied or not in a processing result to start time of the module of a verification target from the topmost module.例文帳に追加

性質ｐが守られないと判定した場合、性質ｐが守られないための条件Ｃｆを求め、最上位のモジュールから検証対象のモジュールの開始時までの処理結果において、条件Ｃｆが成り立つか否かを判定する。 - 特許庁

An idling speed value N1 following idling operation control property P is computed by a rotating speed value computation part 41, based on a water temperature signal S2, and a lower limit rotating speed value N2 is set by a setter 6.例文帳に追加

回転速度値演算部４１において水温信号Ｓ２に基づきアイドル運転制御特性Ｐに従うアイドル回転速度値Ｎ１を演算し、設定器６によって下限回転速度値Ｎ２を設定する。 - 特許庁