廣義非直謂(generalized impredicative)一種非直謂定義法.指既可用非直謂定義法定義,又可用直謂定義法重新定義的對象.亦即被定義對象並非只能藉助於包括它的總體來...
非直謂定義法(the method of impredicative definition)是一種下定義的方法,指被定義的對象被包括在藉以定義它的各個對象之中的定義方法,亦即“藉助於一個總體來...
概念 狹義非直謂(narrow impredicative)一種非直謂定義法.指用非直謂定義法所定義的對象在下定義時非藉助於總體不可,亦即被定義的對象只能藉助於這一總體才能...
廣義費馬定理是費馬定理的一種推廣。設p為素數,φ(x)為n次不可約多項式mod p,則對任何一個非φ(x)之倍式的多項式f(x),mod p,恆有...
有的文獻研究了非線性廣義系統的狀態觀測器問題,在理想系統(不存在干擾、不確定項和非線性項的廣義線性定常系統)完全可觀測的條件下,根據不同情況,分別利用廣義...
狹義相對論與廣義相對論:狹義相對論的時空背景是平直的四維時空,而廣義相對論則適用於任意偽黎曼空間,它的時空背景是彎曲的黎曼時空。...
廣義逆矩陣對於奇異矩陣甚至長方矩陣都存在、具有通常逆矩陣的一些性質、當矩陣非奇異時,它還原到通常的逆矩陣,滿足其3條性質的矩陣叫做廣義逆矩陣。...
西澤廣義(1920-1944),出生於日本長野縣上水內郡的小川村,是第二次世界大戰(太平洋戰爭)時期日本海軍的戰鬥機駕駛員。他看上去消瘦而憔悴,但位於‘零式’戰鬥機的...
廣義線性模型[generalize linear model]線性模型的擴展,通過聯結函式建立回響變數的數學期望值與線性組合的預測變數之間的關係。其特點是不強行改變數據的自然度量,數據...
廣義加性模型提出背景 編輯 非參數回歸不需要模型滿足線性的假設前提,可以靈活地探測數據間的複雜關係,但是當模型中自變數數目較多時 ,模型的估計方差會加大,另外,...
而且試圖把這種深奧的科學理論讓更多的人了解,於是他寫作了《狹義與廣義相對論...德國數學家黎曼所建立的黎曼幾何學就是非歐幾何學的一種,它描寫了非平直空間...
廣義數據結構鍊表 是一種物理存儲單元上非連續、非順序的存儲結構,它既可以表示線性結構,也可以用於表示非線性結構,數據元素的邏輯順序是通過鍊表中的指針連結次序...
廣義矩估計,即GMM(Generalized method of moments),是基於模型實際參數滿足一定矩條件而形成的一種參數估計方法,是矩估計方法的一般化。只要模型設定正確,則總能找到...
廣義期望最大算法的基本思想是首先在給出缺失數據初值的條件下估計出參數值,然後根據參數值估計出缺失數據的值;再根據估計出的缺失數據值對參數值進行更新,如此反覆...
相應的,平直的時空對應於零的廣義信息。所以,絕對平直的時空,是不可觀測的時空。一個絕對平直而無限延伸的時空,它沒有任何曲率,也就是它的廣義信息總量是零。...
(廣義上公民的基本權利之一)編輯 鎖定 選舉權不是憲法“認可”的權利,而是人民通過憲法“創造”的權利,是與人民主權聯繫最密切的權利。其權利屬性表現為它具有可...
由此可見,一些非能量形式的、廣義的有序化能量可以依附於有序化能量之上,間接地對耗散結構的有序化程度產生影響。例如,洞穴雖然並不為動物直接提供食物能量,但它...
張廣義(北京修筆人)編輯 鎖定 討論 張廣義,北京最後一位修筆人。82歲的他,經營著北京最後一家修筆店,這家小店,已經開了49年。...
廣義數字系統廣義數字系統-軟硬體拓撲映射 編輯 不同的數字系統軟硬體結構,系統運行,軟硬體功能對應的方式不同。通用計算機系統基本運行方式是軟體指令可調用硬體部件,...
第三章 廣義預測控制的直接算法 第四章 多變數系統的廣義預測控制 第五章 廣義預測控制在套用中的發展 第六章 非線性系統的廣義預測控制 第七章 廣義預測控制的...
11.4.2 約束非線性最小二乘問題習題十一參考文獻參考資料 1. 廣義最小二乘問題的理論和計算 .豆瓣[引用日期2017-12-06] 詞條標籤: 出版物 , 書籍 圖集 ...
( 廣義的謂詞 ) 對這個組合能夠有值 ,也就是說,命題函項 根據其作為變目的...而類型混淆原則與等價式非直謂不能成立,從而那些與等價式非直謂直接相關的康托...
分支類型論就是在惡性循環原則的基礎上對命題函項(廣義的謂詞) 所作的一種...可化歸性公理是說,每一個非直謂的函項都有一個形式上等值的直謂函項。有...