蕪菁甘藍

描述邏輯（DL）是一個形式化知識表示語言的家族。許多DL比命題邏輯的表達能力強，但比一階邏輯的表達能力弱。與后者相比，DL的核心推理問題（通常）是可解的，并且已經為這些問題設計和實現了有效的決策程序。有一般的、空間的、時間的、時空的和模糊的描述邏輯，每一種描述邏輯的特點是通過支持不同的數學構造器集，在表達能力和推理復雜性之間取得不同的平衡。DL在人工智能中被用來描述和推理一個應用領域的相關概念（稱...

在控制系統理論中，是用于分析某些非線性控制問題的近似程序。它基于準線性化，準線性化是通過依賴于輸入波形幅度的線性時不變(LTI)傳遞函數來研究非線性系統的近似值。根據定義，真正的LTI系統的傳遞函數不能依賴于輸入函數的幅度，因為LTI系統是線性的。因此，這種對振幅的依賴產生了一系列線性系統，這些系統被組合起來以試圖捕捉非線性系統行為的顯著特征。描述函數是設計非線性系統的為數不多的廣泛應用的方法之一...

先進分探測儀簡稱ACE。ACE作為Explorer程序的一部分實現，因此也稱為Explorer71。 752千克探測器的目的是分析拉格朗日點L1附近地球引力場極限的太陽、行星際、星際和宇宙粒子。行星際磁場（magneticfield）的矢量Bx、By、Bz（Bz值）和矢量Bt以及太陽風的速度（speed）和密度（英文“density”，橙色刻度）被測量并用于在7天的間隔內記錄的短時間（見網絡鏈接）...

依賴成分分析（DCA）是一種盲目的信號分離（BSS）方法，是獨立成分分析（ICA）的延伸。ICA是在對源信號一無所知的情況下將混合信號分離為單個信號。DCA用于將混合信號分離成獨立的信號集，這些信號集取決于其自身的信號，而對原始信號一無所知。如果所有的信號集只包含自己集內的單一信號，DCA可以是ICA。 為簡單起見，假設所有單個信號集的大小相同，為k，共N組。基于BSS的基本方程，而不是獨立的源信...