小窓モード


プレミアム

ログイン
設定

設定

素論理式の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 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

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

JST科学技術用語日英対訳辞書での「素論理式」の英訳

素論理式


日英・英日専門用語辞書での「素論理式」の英訳

素論理式


「素論理式」の部分一致の例文検索結果

該当件数 : 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. - 特許庁

>>例文の一覧を見る


素論理式のページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
独立行政法人科学技術振興機構独立行政法人科学技術振興機構
All Rights Reserved, Copyright © Japan Science and Technology Agency
日中韓辭典研究所日中韓辭典研究所
Copyright © 2024 CJKI. All Rights Reserved
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英

「素論理式」のお隣キーワード

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS