基于模糊决策过程的模糊计算树逻辑模型检测

针对由数据表述产生的不确定性模糊系统的模型检测问题,给出模糊计算树逻辑模型检测算法。首先,引入模糊决策过程作为此类系统的模型,其最大特点是在迁移过程中对动作的不确定性选择和状态表述的模糊性。然后,在模糊决策过程基础上,给出模糊计算树逻辑的语法和语义。最后,给出模糊计算树逻辑模型检测算法,该算法是将模糊计算树逻辑模型检测问题转换为模糊矩阵的合成运算,其优势是时间复杂度低、计算过程较为简洁。

基于模糊测度的模糊分支时态逻辑模型检测

针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点。最后,通过医疗专家系统的实例说明了该模型检测算法的有效性。

考虑认知不确定性的风力发电机维护决策优化

风电清洁又安全,然而,风力发电机存在维护成本高、难度大的特点。在将风力发电机作为多状态系统进行维护决策优化时,其各个状态的性能水平、状态转移概率和维护成本等很难精准得知,因而模型中会产生认知不确定性。以特定型号风力发电机的实际运行情况为背景,利用其运行过程中可能出现的多个性能水平进行多状态退化建模,提出一种基于模糊马尔科夫决策过程的风力发电机维护决策优化方法,再用三角模糊数量化模型中的状态转移概率、设备单位时间收益等参数的认知不确定性,最终实现求解。该方法旨在考虑模型认知不确定性下优化合理的维护决策,在工程中更好地实现兆瓦级风力发电机系统的收益最大化。