「事前に満たす」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

ジョブ実行中に計算機に想定外のシステム停止が発生しても、事前に予定したジョブ終了時間を満たすようにジョブをスケジューリングする。例文帳に追加

To perform the scheduling of a job so that a preliminarily scheduled job end time can be satisfied even when any unexpected system stop occurs in a computer during the execution of the job. - 特許庁

事前判定結果に基づき、所定条件を満たす保留球がある場合にはチャンス目成立させるが、このときには、変動時間に応じて予め定められたタイミングで各チャンス図柄を停止させてチャンス目成立させる。例文帳に追加

On the basis of a prior determination result, the chance spot is established when there is the holding ball satisfying a predetermined condition, and at the time, respective chance symbols are stopped at timing predetermined corresponding to the variation time, and the chance spot is established. - 特許庁

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

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. - 特許庁

これにより、正例と反例の正例側差分状態遷移列中で駆動されたイベントに関するプロパティから正例の維持と反例のガードという修正対象プロパティの事前条件不足解消の要件を満たす条件を生成・追加することで、プロパティの事前条件が修正可能になる。例文帳に追加

A precondition of the property can be thereby corrected by generating/adding a condition satisfying a required condition for eliminating an insufficient precondition of a property to be corrected, such as maintaining the positive example and guarding the negative example, from the property as to a driven event out of the differential state transition line in the positive example side of the positive example and the negative example. - 特許庁

各項目の重みの値の範囲は、ルールの左側と右側の両方を満足するタプルの数が、事前に指定されたサポート・レベル（サポート要件と称する）を超え、タプルのうちで左側を満たし右側も満たす部分が、事前に指定された確信度レベル（確信度要件と称する）を超えるように、前記ルール内で指定される。例文帳に追加

The range of the value of the weight of each item is designated in the rule so that the number of tuples fulfilling the both left side and right side of the rule can exceed a preliminarily designated support level (called support requirements), and that the part of the tuples fulfilling the left side and the right side can exceed a preliminarily designated certainty level (called certainty requirements). - 特許庁

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。例文帳に追加

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information. - 特許庁

そして、記憶された保留球の数が２以上の所定数となったときに、各保留球の事前判定結果に基づいて、保留球の中に所定条件を満たす保留球があれば当該保留球に対応した保留球表示の表示態様を変化させる。例文帳に追加

When the number of the stored reserved balls becomes a predetermined number, i.e., two or more, the mode in displaying the reserved balls corresponding to the reserved balls satisfying a predetermined condition is changed when there is a reserved ball satisfying the predetermined condition among the reserved balls, based on the advance determination result of each reserved ball. - 特許庁

半導体装置の回路パターンの寸法分布に影響を与えるコマ収差と像面彎曲を事前に算出し、回路パターン転写時に半導体装置の規格を満たすか予測することにより、試し焼き無しでの露光装置の選定を行う。例文帳に追加

The aligner is selected without performing any trial calcining by calculating coma aberration and curvature of field having effects on the dimensional distribution of the circuit pattern of a semiconductor device, and predicting whether or not the circuit pattern satisfies the standard of the semiconductor device at the time of transferring the pattern. - 特許庁

視認性向上装置として、（ａ）事前に設定した再配分条件を満たす画素を検出する再配分画素検出部と、（ｂ）再配分対象に検出された画素の階調値の一部を周辺画素に再配分する階調値再配分部とを有するものを提案する。例文帳に追加

The visibility improving device having (a) a redistributed pixel detection section which detects pixels satisfying the previously set redistribution conditions and (b) a gradation value redistribution section which redistributes a part of the gradation value of the pixel detected in the redistribution object to the peripheral pixels is proposed. - 特許庁

時間分解能の異なる映像間の自己相似性の関係に基づき、自身の映像のみから抽出される自己相似な事例データに基づく事前確率を導入することで、且つ動画復元条件を満たす高時間分解能化を行う。例文帳に追加

Based on the relationship of self-similarity between the video images of different time resolution, prior probability in accordance with the self-similarity instance data extracted from the own video image is introduced so as to perform the high time resolution that satisfies video image reproduction condition at the same time. - 特許庁

精度とレスポンスというお互いに矛盾する要件を満たす最適ルートが算出でき、事前準備インデックスデータを無効にする回避・規制情報等の雑音データに対しても柔軟に対応でき、且つ、用途、目的に応じて多様な特徴を持った最適ルートが算出可能である最適ルート探索方法及び装置を提供する。例文帳に追加

To calculate the optimum route satisfying mutually contradictory requirements of accuracy and response, to flexibly cope with noise data such as evasion/regulation information for invalidating previously prepared index data, and to calculate the optimum route having various characteristics according to a purpose. - 特許庁

制御手段は供血者及びその全血について事前に得られた情報に基づいて、１サイクル当たりに分取可能な濃厚血小板製剤の量を予測し、目標とする血小板数を満たすようにクリティカルフロー、遠心分離器の回転数、及びサイクル数を選定い、最初のサイクルを行う。例文帳に追加

A control section estimates the quantity of the thick platelet product which can be fractioned by one cycle based on the information obtained in advance on a blood donor and on the whole blood, selects the critical flow, the rotational frequency of a centrifugal separator and the number of cycles to satisfy a target number of platelets per cycle. - 特許庁

本発明、軸受部品の製造方法に関し、混合物が事前セラミック前段階としての有機金属化合物と、化学反応充填剤としての合金としての要素形状または形状でのケイ素から製造されるセラミックに変換するために、熱分解反応の混合物が混入されるので、高度な品質を満たすセラッミクス軸受部品を製造することができる。例文帳に追加

In the manufacturing method of the bearing part, because a mixture is made of an organometallic compound as a pre-ceramic pre-stage silicon in an alloy shape on an element shape as a chemical reaction filler and transformed into ceramics, the ceramics bearing part satisfying the high quality can be manufactured owing to inclusion of a pyrolitic reaction mixture. - 特許庁

セキュリティ更新状況は例えば、デバイス上にインストールされた１つまたは複数のセキュリティ機能のバージョン・レベルを評価することができ、あるいは、１つまたは複数のコンピュータ・セキュリティ保護機能を最新に維持するための事前定義された基準をデバイスが満たすかどうかを示すフラグに基づくことができる。例文帳に追加

The security update status can evaluate, for example, a version level of one or more security features installed on the device or can be based on a flag indicating whether the device satisfies predefined criteria for maintaining one or more computer security protection features up-to-date. - 特許庁

顧客に事前に受取人及び送金目的を登録させた上で、継続的に同様の内容で仕向送金を行う場合において、仕向送金の都度、顧客に対して貿易に関する支払規制の確認を行うことが困難な場合には、以下の情報の把握及び確認を行っていればチェック項目を満たすものとする。ただし、貿易に関する支払規制が講じられている特定国への仕向送金を行う場合には、必要情報の真偽に疑いがある場合等（上記イ．参照）に定められている確認を、都度、顧客に対して行う必要がある。例文帳に追加

Where a Remittance Handling Financial Institution, etc. makes continuous outgoing remittances with the same content after having the relevant customer register the receiver and the purpose of the remittance in advance, if it is difficult to confirm the regulations on trade-related payment with the customer on each occasion of outgoing remittance, the Remittance Handling Financial Institution shall be deemed to fulfill the check item if it performs the following understanding of information and confirmation. However, in the case of making outgoing remittances to a specific country on which the regulations on trade-related payment have been imposed, the Remittance Handling Financial Institution, etc. must carry out confirmation prescribed for cases Where There Is a Doubt about the Truth of the Necessary Information (refer to (iii)a. above) with the customer on each occasion of remittance.  - 財務省

顧客に事前に受取人及び送金目的を登録させた上で、継続的に同様の内容で仕向送金を行う場合において、仕向送金の都度、顧客に対して資金使途規制に抵触するものか否か、確認を行うことが困難な場合には、Ⅱ．７．(1) ③ イ．ⅵ）a～c と同等の対応をとっていればチェック項目を満たすものとする。ただし、資金使途規制が講じられている特定国への仕向送金を行う場合には、上記イ．に定められている確認を、都度、顧客に対して行う必要がある。例文帳に追加

Where a Remittance Handling Financial Institution, etc. makes continuous outgoing remittances with the same content after having the customer register the receiver and the purpose of the remittance in advance, if it is difficult to confirm with the customer whether the outgoing remittance violates the Regulations on the Purpose of Use of Funds on each occasion of outgoing remittance, the Remittance Handling Financial Institution, etc. shall be deemed to fulfill the check item if it takes actions equivalent to those stated in (Note) vi)a-c in II.7.(1)(iii)a. However, in making an outgoing remittance to a specific country on which the Regulations on the Purpose of Use of Funds have been imposed, the Remittance Handling Financial Institution, etc. must carry out confirmation prescribed in (iv)a. above with the customer on each occasion of remittance.  - 財務省

顧客から送金目的を事前に登録させた上で、一定の資金を預かり、顧客本人が海外にて継続的に同様の目的で自己資金を引き出す場合において、同資金の海外における引き出しの都度又は追加資金を預かる際に、顧客に対して当該取引が資金使途規制等に抵触するものか否か確認を行うことが困難な場合には、Ⅱ．７．(1) ③ イ．ⅵ）a～c と同等の対応をとっていればチェック項目を満たすものとする。ただし、資金使途規制が講じられている特定国への仕向送金を行う場合には、上記イ．に定められている確認を、都度、顧客に対して行う必要がある。例文帳に追加

Where a Remittance Handling Financial Institution, etc. receives a certain amount of funds after having a customer register the purpose of the remittance in advance and the customer continuously withdraws own funds overseas for the same purpose, if it is difficult to confirm with the customer whether the transaction violates the Regulations on the Purpose of Use of Funds on each occasion of withdrawal of the funds overseas or receipt of additional funds, the Remittance Handling Financial Institution, etc. shall be deemed to fulfill the check item if it takes actions equivalent to those stated in (Note) vi)a-c in II.7.(1)(iii)a. However, in making an outgoing remittance to a specific country on which the Regulations on the Purpose of Use of Funds have been imposed, the Remittance Handling Financial Institution, etc. must carry out confirmation prescribed in (iv)a. above on each occasion of transaction.  - 財務省