意味 | 例文 (17件) |
素論理式の英語
追加できません
(登録数上限)
英訳・英語 atomic formula
「素論理式」の部分一致の例文検索結果
該当件数 : 17件
このようにして、論理式の各要素を木構造で表現できる。例文帳に追加
Thus, respective elements of the logical expression are expressed in the tree structure. - 特許庁
論理式作成部22は、CMDB32が保持する構成情報33から各構成要素にいたる経路に対応する論理式を作成し、論理式の値を死活情報に基づいて設定する。例文帳に追加
A logical expression creating section 22 creates a logical expression corresponding to a route to the components from configuration information 33, that a CMDB 32 holds, and sets values of the logical expression on the basis of the alive monitoring information. - 特許庁
ファイル振分条件は、1つ以上のファイル関連要素の論理式を含み、ファイルの関連情報がこの論理式を満たす場合に、この論理式に対応したファイル振分先アドレスをファイル振分先アドレスと決定する。例文帳に追加
A file sorting condition includes a logical expression of one or more file related elements, and when the related information of a file satisfies the logical expression, a file sorting destination address corresponding to the logical expression is decided as a file sorting destination address. - 特許庁
簡略化された調査出力信号の論理式に他の出力信号の接点の要素を含むときは、この他の出力信号を求める論理をも簡略化して、この論理を、簡略化された調査出力信号の論理式の対応接点に代入する(S7〜S10)。例文帳に追加
When the element of the contact of the other output signal is included in the simplified logical formula of the research output signal, a logic for searching for the other output signal is also simplified, and this logic is substituted into the corresponding contact of the logical formula of the simplified research output signal (S7 to S10). - 特許庁
粘性を考慮に入れない場合、3階のプレート論理の方程式を有限要素(FE)法を用いて解く。例文帳に追加
If the viscosity is not considered, an equation of the third-order plate theory is solved with a finite-element (FE) method. - 特許庁
制御装置21は、C-V論理式によって表現される特性が計測装置D2による計測の結果に近づくようにC-V論理式の各パラメータを決定することによって半導体素子Sの特性を評価する。例文帳に追加
A controller 21 evaluates a characteristic of the semiconductor element S by deciding respective parameters of a C-V logical expression, so that a characteristic expressed by the C-V logical expression is approximated to a result of measurement by the measuring device D2. - 特許庁
指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号例文帳に追加
a symbol in a logical or mathematical expression that can be replaced by the name of any member of specified set発音を聞く - 日本語WordNet
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
「素論理式」の部分一致の例文検索結果
該当件数 : 17件
抽出情報統合部7がこれらの情報を統合し、抽出情報変換部8が論理検証用データ形式に変換して、シミュレーション実行部9が回路の論理検証を行い、結果作成部10が対応する回路素子同士がリンクした展開接続図形式、タイムチャート形式およびテキスト形式の論理検証結果データを作成する。例文帳に追加
An extraction information integration unit 7 integrates these pieces of information, an extraction information conversion unit 8 converts the integrated information into a logic verification data format, a simulation execution unit 9 performs the logic verification of a circuit, and a result creation unit 10 creates logic verification result data of a development connection drawing format, a time chart format, and a text format in which corresponding circuit elements are linked. - 特許庁
ハイパーテキスト文書の表示方式は、複数文書の論理要素をインデックス表示する機能を有する。例文帳に追加
The hypertext document display system has a function for displaying the logical elements of plural documents as indexes. - 特許庁
パルス信号の到来に応答してLED表示素子を駆動する出力パルス信号の論理レベルをPWM階調制御方式で制御するパルス信号生成回路である。例文帳に追加
The pulse signal generation circuit controls a logical level of an output pulse signal which drives a LED display element in response to arrival of a pulse signal, by a PWM gradation control system. - 特許庁
意味構成部14は、前述の各写像部11〜13によって生成された意味構成要素を適切に組み合わせて、入力文に対応する意味を表す論理式を構成する。例文帳に追加
A semantics configuration part 14 configures a logical formula showing semantics corresponding to an input sentence by properly combining the semantic ingredients generated by the mapping parts 11 to 13. - 特許庁
第1の電圧で電力を受ける論理回路素子を有するパイプライン方式のプロセッサ及び第2の電圧で電力を受けるSRAMセルのセットを備える。例文帳に追加
One embodiment comprises a pipelined processor having logic components which receive power at a first voltage and a set of SRAM cells which receive power at a second voltage. - 特許庁
論理演算式を用いて各発熱素子の温度を簡易に補正する制御を行うことにより、制御手段に過度の負担をかけずに、記録媒体上に良好な画像等の記録を得る。例文帳に追加
To obtain a preferably recorded image, or the like on a recording medium without excessive load on a controlling means by controlling so as to easily correct the temperature of heat generating elements using a logical operation formula. - 特許庁
1階述語論理式で表現した技術用語の基本知識及び関係知識を関係概念リンクと用語ノードの組合せを用いて構造化した3種類の有限概念要素に分けて収蔵する。例文帳に追加
The basic knowledge and relative knowledge of technical terms represented by a one-story predicate logical expression are stored while classified into three kinds of finite concept elements structured by use of a combination of a relative concept link and term nodes 2, 5, and 8. - 特許庁
ダイアグラムを含む設計ドキュメントについて、ダイアグラムに現れる構成要素に関して論理的な内容を記述した論理情報とダイアグラム上のレイアウト情報とに分離してそれぞれの対応関係を管理する手段と、分離したそれぞれの情報をオープンな形式で保存・交換する手段とを備える。例文帳に追加
With respect to the design document including diagrams, this managing system has a means of separating logic information which is a logical description on components appearing in the diagrams from layout information on the diagrams and managing their relations with each other, and a means of storing/exchanging the separated information in an open form. - 特許庁
|
意味 | 例文 (17件) |
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |