事前に満たすの英語

そして、判断手段３４において、事前に接続条件手段３３に設定されている接続条件と、取得あるいは設定された情報とが対比されて、接続条件を満たすか否かの判断が判断手段３４において行われる。例文帳に追加

Then, in a decision means 34, the connection conditions preset to a connection conditioning means 33 are compared with the acquired or set information and the decision means 34 determines whether the connection conditions are satisfied or not. - 特許庁

動的スケーラビリティの品質要求指標を可変にし、与えられた指標を満たすように、事前準備を組み合わせたプラットフォーム・サービスを提供することによって達成される。例文帳に追加

The quality request index of dynamic scalability is made variable, and a platform service in which advance preparations are combined is provided so that an applied index can be satisfied. - 特許庁

検査データ生成装置は、第一変数と第二変数を含む所定の事前条件１１１ａ，１１２ａに対して所定の事後条件を満たす仕様を複数有する検査対象プログラムの検査データを生成する。例文帳に追加

This inspection data generation device generates the inspection data of the inspection target program having a plurality of specifications satisfying a prescribed postcondition to prescribed preconditions 111a, 112a including a first variable and a second variable. - 特許庁

検査データ生成装置は、第一変数を識別変数に変換された事前条件群１３２をすべて満たす識別変数と第二変数との検査データ群１３４を算出し、算出結果を出力する。例文帳に追加

The inspection data generation device calculates an inspection data group 134 of the second variable and the identification variable satisfying all of a precondition group 132 into which the first variable is converted into the identification variable, and outputs a calculation result. - 特許庁

そのような事前調査結果において、最少瓶数条件、最小サイズ条件、等の条件を満たすサイズとして、最適サイズが選択される。例文帳に追加

In such a preliminary investigation result, the optimum size is selected as a size satisfying conditions such as the condition of the minimum number of bottles and the condition of the minimum size. - 特許庁

この要求を満たすように、クラウド・サーバは、ホット・スタンバイ、スワップ・アウト状態、コールド・スタンバイなどの様々な事前準備状況のプラットフォームを組み合わせて提供する。例文帳に追加

A cloud server combines and presents the platforms of such various advance preparation situations as hot-standby, swap-out state and cold-standby so that the request can be satisfied. - 特許庁

該方法は：ビデオにおける隣接するフレームどうしの間の第一のズーム動きパラメータを推定する段階と；前記第一のズーム動きパラメータが第一の事前設定条件を満たす場合に、対応するビデオ・セグメントにおいて事前設定された数の間隔をもつフレームどうしの間の第二のズーム動きパラメータを推定する段階と；前記第二のズーム動きパラメータが第二の事前設定条件を満たす場合に、前記ビデオ・セグメントのカメラ動きの型を、ゆっくりしたズームとして識別する段階とを含む。例文帳に追加

The method comprises the steps of: estimating a first zoom motion parameter between adjacent frames in a video; when the first zoom motion parameter satisfies a first preset condition, estimating a second zoom motion parameter between mutual frames having a preset number of intervals in the corresponding video segment; and when the second zoom motion parameter satisfies a second preset condition, identifying the camera motion type of the video segment to be a slow zoom. - 特許庁

より詳細には、メソッドの表明に関して注釈で事前条件と事後条件を定まった形式で記述しておき、その表明注釈を解析する表明注釈解析部４と、メソッドを表明ごとにシンボリックデバッガ３に実行させる実行制御部５と、実行結果が事前条件又は事後条件を満たすか否かを評価するデバッグ範囲特定部６と、を有する。例文帳に追加

More specifically, the information processor has: a manifestation comment analysis part 4 describing the precondition and the post condition in a decided form by a comment with respect to manifestation of a method, and analyzing the manifestation comment; an execution control part 5 making a symbolic debugger 3 execute the method in each the manifestation; and a debug range specification part 6 evaluating whether an execution result satisfies the precondition or the postcondition. - 特許庁