一階述語論理の英語

ポリシ記述は、ポリシ記述に定義された操作の直後に管理対象システムの状態について成立すべき条件を一階述語論理により記述した事後条件を含む。例文帳に追加

The policy description includes a postcondition wherein a condition to be satisfied about a state of the management target system just after operation defined by the policy description is described by first-order predicate logic. - 特許庁

不変条件記憶部１６１は、管理対象システムの状態について常に成立する条件を一階述語論理により記述した不変条件を記憶する。例文帳に追加

An invariant condition storage part 161 stores an invariant condition wherein a condition always satisfied about the state of the management target system is described by the first-order predicate logic. - 特許庁

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。例文帳に追加

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value. - 特許庁