模糊離散事件系統(tǒng)中的謂詞變換及控制不變度.pdf

1、本文首先給出了模糊離散事件系統(tǒng)中模糊謂詞的定義.將一般離散事件系統(tǒng)中的最弱前置條件和最強后置條件推廣到模糊離散事件系統(tǒng)中.證明了在一般離散事件系統(tǒng)中，對于給定謂詞，先將其轉(zhuǎn)換為最弱前置條件再將其轉(zhuǎn)換為最強后置條件，與先將其轉(zhuǎn)換為最強后置條件再將其轉(zhuǎn)換為最弱前置條件結(jié)果相同，均為原給定謂詞.并且將上述定理推廣到模糊離散事件系統(tǒng)中.證明了任意模糊狀態(tài)屬于給定謂詞的程度，等于這個模糊狀態(tài)屬于將該謂詞先轉(zhuǎn)換為最弱前置條件再轉(zhuǎn)換為最強后置條件得到

2、謂詞的程度，并且大于這個模糊狀態(tài)屬于將該謂詞先轉(zhuǎn)換為最強后置條件再轉(zhuǎn)換為最弱前置條件后得到謂詞的程度.
　　其次，給出了模糊離散事件系統(tǒng)中謂詞的∑~u-不變度的定義，以及謂詞在一般控制器控制下的控制不變度的定義.證明了兩個相關(guān)定理：其一，對于給定謂詞，一定存在一個一般控制器，使得其∑~u-不變度與一般控制器控制下的控制不變度相等.其二，對于任意給定的謂詞，一定存在一個一般控制器，使得其在一般控制器控制下的控制不變度達到最大.