云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=模糊互模拟算法 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于关系闭集的模糊互模拟算法函数式建模及其机械化验证: 《江西师范大学学报(自然科学版)》2024年第6期640-645,共6页吴嘉伟游珍左正康张晗庆程着; 国家自然科学基金(62462036,62102171);江西省自然科学基金(20232BAB202010,20212BAB202018);江西省教育厅科学技术研究重点课题(GJJ210340,GJJ2409405)资助项目.; 该文在基于关系提升的模糊互模拟算法基础上,设计了一种基于关系闭集的模糊互模拟函数式算法,并使用Isabelle/HOL定理证明器对算法的终止性和正确性进行了机械化证明,为模糊互模拟算法的形式化和自动化验证提供了参考.; 关键词：模糊互模拟算法不确定型模糊迁移系统函数式建模机械化验证

全选清除导出

共1页<1>