検索結果- 英語 - 英語

検索内容:

emitter-coupled logic

名詞
不可算名詞 通常
日本語の意味
エミッタ結合論理 – 過駆動状態のBJT差動増幅器を単一入力で利用することで高速動作を実現する、電子回路における論理ファミリ(回路設計上の手法)。
このボタンはなに?

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

関連語

plural

second-order logic

名詞
不可算名詞 通常
日本語の意味
第一階層論理(ファーストオーダーロジック)を拡張し、対象間の関係に対する量化を許す形式体系。
このボタンはなに?

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

関連語

plural

logical mechanical elements

名詞
活用形 複数形
日本語の意味
「logical mechanical elements」は、『logical mechanical element(論理的な機械要素)』の複数形を表し、複数の論理的な機械要素を指す。
このボタンはなに?

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

many-valued logic

名詞
日本語の意味
伝統的な真理値(真と偽)のみならず、2つ以上の真理値(例えば、真、偽、そしてその他の値)を用いる非古典的命題論理体系を指す。 / 複数の真理値を採用することにより、従来の二値論理では扱いきれない問題や状況をモデル化できる論理システム。
このボタンはなに?

コンピュータ科学の研究者は、推論システムの不確実性をモデル化するために多値論理を研究することがよくあります。

関連語

plural

Gunning transceiver logic

名詞
不可算名詞
日本語の意味
Gunning transceiver logic(ガニング・トランシーバ・ロジック)とは、電子バックプレーンバスの駆動用に用いられる論理信号方式の一種です。TTLやCMOSの論理回路で用いられる通常の電圧スイングよりも低い、0.4~1.2ボルトの電圧変動を特徴とし、左右対称の並列抵抗終端回路を有する技術です。
このボタンはなに?

技術チームはサーバーバックプレーンに、電子バックプレーンバスを駆動するための低電圧の論理信号方式(電圧スイングが0.4〜1.2ボルトで、対称な並列抵抗終端を備えている)を実装しました。

temporal logics

名詞
活用形 複数形
日本語の意味
「temporal logic」(時相論理)の複数形です。
このボタンはなに?

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

formal logics

名詞
活用形 複数形
日本語の意味
形式論理(formal logicの複数形)」
このボタンはなに?

大学院のゼミで、いくつかの形式論理体系を比較し、不確実性の下での推論を最もよくモデル化するものを特定しました。

propositional logics

名詞
活用形 複数形
日本語の意味
これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。
このボタンはなに?

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。

paraconsistent logics

名詞
活用形 複数形
日本語の意味
『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。
このボタンはなに?

研究者たちは、どの矛盾許容論理体系が矛盾するデータを最もよく扱えるかを判断するために、いくつかの矛盾許容論理体系を比較した。

fuzzy logics

名詞
活用形 複数形
日本語の意味
「ファジー論理」(あいまい論理)の複数形。すなわち、複数のあいまい論理体系を指す。
このボタンはなに?

研究者たちは、不確実性の下で人間の推論を最もよくモデル化するのはどのファジィ論理かを判断するために、複数のファジィ論理を比較した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★