声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：43-1258/TP
国际刊号：1007-130X
发布日期:
作者：刘子源, 马占有, 李霞, 高滢囡, 何娜娜, 黄瑞祺
单位：北方民族大学计算机科学与工程学院，宁夏 银川 750021
关键词：模糊决策过程,模糊测度,模糊分支时态逻辑,模型检测,矩阵运算,
基金：国家自然科学基金(61962001);宁夏自然科学基金(AAC03300)
针对具有模糊性和不确定性的复杂系统的验证问题，提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先，在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后，给出模糊分支时态逻辑模型检测算法，该算法将模型检测问题转化为矩阵运算，具有计算方式简洁、复杂度较低的优点。最后，通过医疗专家系统的实例说明了该模型检测算法的有效性。
来源：2024年第4期
《计算机工程与科学》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。