Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された原理または手法を言う。 導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。
光をフィードバックすることなどが施されている。 誘導放出は、発光遷移の確率を高めることで発光ダイオードなどの発光効率の向上にも応用できる。このような誘導放出による高効率発光はスーパールミネセンスなどと呼ばれる。 原子(または分子)における誘導放出現象は、マイクロ波の増幅や、発振器に用いられる。原子
暗号理論分野における鍵導出関数(かぎどうしゅつかんすう, key derivation function, KDF)は、一つのマスター鍵やパスワード、パスフレーズなどの秘密の値から、一つあるいは複数の秘密鍵を導出するために用いられる関数であり、pseudorandom function(PRF)が利用される。
〔「知る辺」の意〕
半導体検出器(はんどうたいけんしゅつき, 英: semiconductor detector)とは、半導体を利用した放射線検出器を言う。 半導体検出器は、時間応答性が比較的早くエネルギー分解能が優れていることから主にエネルギー分析に用いられる。半導体としては、シリコンまたはゲルマニウムが主に用いられる。
トンネル掘削の際, 全断面掘削に先立って掘る小さな坑道。 地質・方向・高さなどの予備調査を兼ねる。
(1)「唱道」に同じ。
(1)人や物をある場所や状態にさそい導くこと。