検索結果- 英語 - 英語

検索内容:

logicized

monadic predicate logic

名詞

日本語の意味

単項述語論理：全ての述語記号が単項（1つの引数のみを取る）で構成され、関数記号が存在しない述語論理の一部分

Research on monadic predicate logic shows that many decidability problems are simpler than in the full predicate calculus.

Google翻訳 / DeepL翻訳

すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

詳細

関連語

monadic predicate logics

（ plural ）

詳細

logical mechanical element

名詞

日本語の意味

機械装置の中で、論理的な制御を行う部品。たとえば、ラチェット（棘車）、トリップ（作動機構）、デテン（位置保持装置）、インターロック（相互保護機構）などの機能を備えた要素を指す。

このボタンはなに？

Google翻訳 / DeepL翻訳

安全機構は、すべてのセンサーが正常を示さない限りハッチの開放を防ぐ機械的論理要素に依存していた。

詳細

関連語

logical mechanical elements

（ plural ）

詳細

programmable logic controller

名詞

A programmable electronic device used in industrial automation to provide logic and sequencing controls for machinery.

日本語の意味

産業オートメーションにおいて、機械やプロセスの論理およびシーケンス制御を行うためのプログラム可能な電子装置

このボタンはなに？

The technician reprogrammed the programmable logic controller to optimize the conveyor's timing and reduce product jams.

Google翻訳 / DeepL翻訳

技術者はコンベアのタイミングを最適化し、製品の詰まりを減らすためにプログラマブルロジックコントローラを再プログラムした。

詳細

関連語

programmable logic controllers

（ plural ）

詳細

programmable logic controllers

名詞

活用形複数形

plural of programmable logic controller

日本語の意味

プログラマブルロジックコントローラの複数形

このボタンはなに？

To reduce downtime, the engineering team reprogrammed several programmable logic controllers during the weekend maintenance.

Google翻訳 / DeepL翻訳

ダウンタイムを減らすために、エンジニアチームは週末の保守作業で複数のプログラマブルロジックコントローラを再プログラムしました。

詳細

arithmetic logic unit

名詞

(computer hardware) the section of a CPU that performs calculations and logical operations

日本語の意味

算術論理演算ユニット：計算および論理演算を実行するCPUの一部

このボタンはなに？

The processor's arithmetic logic unit executes integer calculations and logical comparisons at high speed.

Google翻訳 / DeepL翻訳

プロセッサの算術論理演算装置は整数の計算と論理比較を高速で実行します。

詳細

関連語

arithmetic logic units

（ plural ）

詳細

programmable logic array

名詞

(electronics) Is a kind of programmable logic device used to implement combinational logic circuits.

日本語の意味

組み合わせ論理回路を実装するために使用される、プログラム可能な論理デバイスの一種。

このボタンはなに？

The engineer used a programmable logic array to optimize the device's combinational logic.

Google翻訳 / DeepL翻訳

技術者は装置を最適化するために、組み合わせ論理回路を実装するための一種のプログラマブル論理アレイを使用した。

詳細

関連語

programmable logic arrays

（ plural ）

詳細

programmable logic arrays

名詞

活用形複数形

plural of programmable logic array

日本語の意味

プログラム可能論理アレイ（Programmable Logic Array、PLA）の複数形。PLAは、半導体技術を用いたデジタル回路の一形態で、ユーザーが後から論理機能を設定・変更できる装置です。

このボタンはなに？

Google翻訳 / DeepL翻訳

研究者たちは、新しいデジタル信号処理装置の試作にプログラマブル論理配列を使用し、完全なカスタムASIC設計に踏み切る前に検証しました。

詳細

emitter-coupled logic

名詞

不可算名詞通常

(electronics) A logic family that achieves high speed by using an overdriven BJT differential amplifier with single-ended input.

日本語の意味

エミッタ結合論理 – 過駆動状態のBJT差動増幅器を単一入力で利用することで高速動作を実現する、電子回路における論理ファミリ（回路設計上の手法）。

このボタンはなに？

Google翻訳 / DeepL翻訳

設計チームはタイミング要件を満たすためにフロントエンド回路に、過ドライブされたBJT差動増幅器を単一終端入力で用いることで高速動作を実現する論理ファミリを採用し、その高速特性を活用した。

詳細

関連語

emitter-coupled logics

（ plural ）

詳細

second-order logic

名詞

不可算名詞通常

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

日本語の意味

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

このボタンはなに？

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

Google翻訳 / DeepL翻訳

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

詳細

関連語

second-order logics

（ plural ）

詳細

logical mechanical elements

名詞

活用形複数形

plural of logical mechanical element

日本語の意味

「logical mechanical elements」は、『logical mechanical element（論理的な機械要素）』の複数形を表し、複数の論理的な機械要素を指す。

このボタンはなに？

The engineer analyzed the logical mechanical elements to diagnose the malfunction.

Google翻訳 / DeepL翻訳

その技術者は故障を診断するために論理に基づく機械部品を分析した。

詳細

Webで検索する