模糊离散事件系统中的最大可控模糊子谓词
The Maximum Fuzzy Controllable Subpredicate of the Fuzzy Discrete Event Systems作者机构:太原理工大学数学学院山西太原030024
出 版 物:《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期:2021年第35卷第1期
页 面:22-26页
学科分类:07[理学] 070105[理学-运筹学与控制论] 0701[理学-数学]
基 金:青年科技研究基金资助项目(201701D221010) 山西省自然科学基金资助项目(201701D121010)。
摘 要:本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个模糊谓词,它们的最大可控模糊子谓词的合取大于等于它们合取的最大可控模糊子谓词,析取小于等于它们析取的最大可控模糊子谓词。