有限檢驗

有限檢驗(finite verification)亦稱頂點檢驗.指系統族的某一性質(如穩定性、動態性能等)可由系統族中的有限個系統的同一性質所保證.有限檢驗具有有限檢驗結論的性質,因而可以在很大程度上減少計算量.對於區間系統族,有限檢驗結論也稱為哈里托諾夫型結論.若所需檢驗頂點系統數目與系統族的階次無關,則稱為強哈里托諾夫型結論;若所需檢驗的頂點系統數目是系統族階次的多項式函式,則稱該結論為幾乎強哈里托諾夫型結論;若所需檢驗的頂點系統數目是系統族階次的指數函式,則稱該結論為弱哈里托諾夫型結論.有限檢驗與哈里托諾夫型結論主要有哈里托諾夫定理、菱形族定理以及關於哈里托諾夫區域和凸方向的研究結果.

相關詞條

熱門詞條

聯絡我們