互模拟

作品数：121被引量：149H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：姚从军傅育熙林惠民李舟军钟发荣更多>>
相关机构：上海交通大学南京航空航天大学中国科学院软件研究所华东师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家社会科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于关系闭集的模糊互模拟算法函数式建模及其机械化验证
《江西师范大学学报(自然科学版)》2024年第6期640-645,共6页吴嘉伟 游珍 左正康 张晗庆 程着 
国家自然科学基金(62462036,62102171);江西省自然科学基金(20232BAB202010,20212BAB202018);江西省教育厅科学技术研究重点课题(GJJ210340,GJJ2409405)资助项目.
该文在基于关系提升的模糊互模拟算法基础上,设计了一种基于关系闭集的模糊互模拟函数式算法,并使用Isabelle/HOL定理证明器对算法的终止性和正确性进行了机械化证明,为模糊互模拟算法的形式化和自动化验证提供了参考.
关键词：模糊互模拟算法 不确定型模糊迁移系统 函数式建模 机械化验证 
一阶模态逻辑■□-打包片段的Lindström定理
《逻辑学研究》2024年第3期1-23,共23页王勋 
supported by“the Fundamental Research Funds for the Central Universities”(No.2023QNTS72)。
通过推广de Rijke(1995)和van Benthem(2007)关于命题模态逻辑的Lindström定理结论,本文给出了一阶模态逻辑■□-打包片段的三种不同的Lindström定理表述。三种表述均基于■□-打包片段的互模拟不变性,此外,它们还分别利用了该片段的紧...
关键词：自然数集 紧致性 互模拟 打包 不变性 深度性 
一种基于相似学习者判定的个性化学习路径推荐及验证方法被引量：1
《计算机科学》2023年第S02期496-505,共10页冯舒 祝义 宋媚 居程程 
国家自然科学基金(62077029);CCF-华为创新研究计划资助(CCF-HuaweiFM202209);南京航空航天大学基本科研业务费科研基地创新基金(NJ2020022);未来网络科研基金项目(FNSRFP-2021-YB-32);江苏师范大学研究生科研创新计划(2021XKT1384)。
基于相似学习者判定方法由于具有轻量级的特点而被广泛用于个性化推荐领域,目前一般采用协同过滤等机器学习的方法,但此类方法并不能保证判定过程的可解释性以及判定结果的可信性。针对这一问题,提出一种基于相似学习者判定的个性化学...
关键词：学习行为序列相似性 进程代数 CCS 互模拟 
一种模糊互模拟的局部算法被引量：1
《桂林电子科技大学学报》2023年第1期35-40,共6页胡晋玮 钱俊彦 
国家自然科学基金(61562015);广西自然科学基金(2018GXNSFDA138003)。
为了快速地对模糊迁移系统中给定状态是否满足互模拟关系进行验证,提出了一种模糊互模拟的局部算法。该算法将验证与遍历相结合,在对状态是否满足模糊互模拟关系验证的同时,动态地增加状态空间,使得算法只需遍历部分状态空间即可完成验...
关键词：互模拟 模糊集 模糊迁移系统 模糊互模拟 局部算法 
觉知逻辑的个体信念更新
《复印报刊资料（逻辑）》2022年第2期3-14,共12页宋鹏飞 熊卫 
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步,我们还比较了信念态度逻辑的个体信念更新与命题...
关键词：觉知 个体信念更新 信念库 互模拟 
觉知逻辑的个体信念更新被引量：1
《逻辑学研究》2021年第5期1-22,共22页宋鹏飞 熊卫 
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步,我们还比较了信念态度逻辑的个体信念更新与命题...
关键词：觉知 个体信念更新 信念库 互模拟 
模态逻辑的集合论语义与互模拟不变性
《逻辑学研究》2021年第1期49-59,共11页史璟 
含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解释与古典命题逻辑相同。一个公式3A在a上真当且仅当存在集合b属于a,使得A在b上是真的。在一个集合中,属...
关键词：模态逻辑 互模拟 非良基集 
航空软件模型状态最小化算法的比较
《金融管理研究》2020年第2期133-142,共10页杜文杰 雷国庆 
标号迁移系统是对航空软件操作行为建模的重要手段。当软件规模很大时,对应的标号迁移系统变得非常庞大,需要对其状态空间进行压缩。本文分别实现了由Valmari和Schtzle等人提出的两种互模拟压缩算法,并将其应用于互模拟压缩问题中,比较...
关键词：标号迁移系统 互模拟压缩 算法 
分级论辩系统的逻辑研究
《计算机科学》2020年第5期27-31,共5页谭立兴 王福俊 
国家自然科学基金(61602249)。
近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS...
关键词：形式论证 DAS 分级论辩系统 GML 分级互模拟 
移动界程演算理论及应用研究综述被引量：1
《计算机应用研究》2020年第3期648-654,共7页林荣德 江华 黄建新 
国家自然科学基金资助项目(11871259,61379021,11701258);福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751);福建省高校创新团队发展计划资助项目;泉州市高层次人才团队项目(2017ZT012)。
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发...
关键词：移动界程演算 标号互模拟 上下文观察等价 界程逻辑 模型检测 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部