模糊离散事件系统中的最大可控模糊子谓词

本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个模糊谓词,它们的最大可控模糊子谓词的合取大于等于它们合取的最大可控模糊子谓词,析取小于等于它们析取的最大可控模糊子谓词。