计算树逻辑

作品数：68被引量：154H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明马占有周从华刘志锋王昌达更多>>
相关机构：陕西师范大学桂林电子科技大学华东师范大学北方民族大学更多>>
相关期刊：《计算机仿真》《安阳师范学院学报》《计算机技术与发展》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Kripke的状态保留模型修复算法
《桂林电子科技大学学报》2024年第6期599-605,共7页戴敏 潘海玉 
国家自然科学基金(62162014);广西自然科学基金(2018GXNSFAA281326);广西可信软件重点实验室基金(KX201911)。
针对模型验证中受到广泛关注的模型修复问题,在极小模型修复的基础上保留原模型中尽可能多的可达状态,并给出了具有多项式时间复杂度的修复算法。模型经过检验后,若被判定存在违反给定性质的行为,则可以借助经典模型检验的不动点思想,...
关键词：模型检验 模型修复 可达状态 计算树逻辑 KRIPKE结构 
基于模糊多智能体系统的模型检测被引量：1
《华中科技大学学报（自然科学版）》2024年第11期64-71,共8页马占有 李霞 高滢囡 刘子源 
宁夏自然科学基金资助项目(AAC03300);北方民族大学研究生创新资助项目(YCX23152)。
针对智能体之间沟通产生的异构性,采用社会可及性关系来形式化表示智能体之间的沟通,并对具有非确定性沟通的多智能体系统模型检测问题进行研究.首先引入模糊解释系统模型对具有非确定性沟通的多智能体系统进行描述;其次在模糊计算树逻...
关键词：多智能体系统 模糊解释系统 模糊计算树逻辑 转换算法 模型检测 
模糊Kripke结构的子模型修复算法被引量：2
《郑州大学学报（理学版）》2023年第1期77-83,共7页王辉 石铁柱 钱俊彦 潘海玉 
国家自然科学基金项目(62162014);广西自然科学基金项目(2018GXNSFAA281326);广西可信软件重点实验室项目(kx201911)。
在模糊模型检测时,如果模糊Kripke结构不满足性质规约,模型检测工具会给出模型中违反性质规约的反例,这往往需要设计人员手工修复,会导致效率低下,因此如何对模糊Kripke结构进行自动修复具有极大的研究意义。由此,提出一个基于模糊table...
关键词：模型检测 计算树逻辑 模糊逻辑 模型修复 
模拟实时系统的点区间优先级时间Petri网与TCTL验证被引量：5
《软件学报》2022年第8期2947-2963,共17页何雷锋 刘关俊 
国家自然科学基金(62172299,62032019);上海市级科技重大专项(2021SHZDZX0100);中央高校基本科研业务费专项资金。
时间Petri网为实时系统提供了一种形式化的建模方法,时间计算树逻辑(TCTL)为描述实时系统与时间相关的设计需求提供了一种逻辑化的表达方式,因此,基于时间Petri网的TCTL模型检测广泛应用于实时系统的正确性验证.然而对于一些涉及优先级...
关键词：点区间优先级时间Petri网 多核多任务实时系统 时间计算树逻辑(TCTL) 模型检测 抢占式调度 
人工智能视野下的知识体系修正理论被引量：6
《陕西师范大学学报（哲学社会科学版）》2022年第2期121-128,共8页任晓明 林艺霏 
国家社会科学基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”(15ZDB018)。
从人工智能的视角看,知识体系修正具体表现为信念修正。信念修正理论的发展史就是一部与人工智能分支融合共同进步和发展的历史。信念修正理论可以为人工智能提供思想方法,同时人工智能方法也能为信念修正提供动力支持。这种跨域研究对...
关键词：知识体系 信念修正 人工智能 AGM理论 计算树逻辑模型 
基于模糊决策过程的模糊计算树逻辑模型检测被引量：2
《计算机工程与科学》2022年第2期266-275,共10页李召恺 马占有 李健祥 郭昊 
国家自然科学基金(61962001);宁夏自然科学基金(2018AAC03127);北方民族大学引进人员科研项目(2020KYQD14)。
针对由数据表述产生的不确定性模糊系统的模型检测问题,给出模糊计算树逻辑模型检测算法。首先,引入模糊决策过程作为此类系统的模型,其最大特点是在迁移过程中对动作的不确定性选择和状态表述的模糊性。然后,在模糊决策过程基础上,给...
关键词：模型检测 不确定性系统 模糊决策过程 模糊计算树逻辑 模糊矩阵 
模糊计算树逻辑的符号模型检测被引量：1
《计算机应用研究》2021年第8期2381-2385,共5页聂朋展 姜久雷 马占有 
国家自然科学基金资助项目(61762002,61962001);宁夏自然科学基金资助项目(2018AAC03127);北方民族大学研究生创新项目(YCX20068)。
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题。将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储。对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出...
关键词：模糊计算树逻辑 不动点算法 多终端二叉决策图 符号模型检测 
基于随机模型检验的社交网络隐私保护研究
《计算机工程》2021年第5期144-153,共10页刘阳 高世国 
江苏省“六大人才高峰”高层次人才项目(RJFW-014);江苏省高等学校自然科学研究重大项目(17KJA520002);南京市留学人员科技创新项目择优资助计划。
针对现有社交网络所提供静态隐私策略的隐私设置不够灵活且难以定量验证问题,提出一种动态隐私保护框架,将社交网络建模为离散时间马尔科夫链模型,通过设置触发条件实现用户动态隐私规约并将其转化为概率计算树逻辑公式,同时结合随机模...
关键词：社交网络 隐私保护 运行时验证 随机模型检验 概率计算树逻辑 
智能合约函数的建模与验证研究
《计算机仿真》2021年第3期201-205,共5页叶昊榀 刘阳 
江苏省“六大人才高峰”高层次人才(RJFW-014);江苏省高等学校自然科学研究重大项目(17KJA520002)。
针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并对生成的DTMC进行验证。通过为状态迁移添加概率,实现了对随机现象的关注。通过对调用函数的分类处理,精...
关键词：智能合约 形式化方法 离散时间马尔可夫链 概率计算树逻辑 随机模型检验 
模糊计算树逻辑的模型检测修复算法
《桂林电子科技大学学报》2020年第5期394-399,共6页毛兆东 钱俊彦 蔡泳 
国家自然科学基金(61672023);广西自然科学基金(2018GXNSFAA281326);广西可信软件重点实验室基金(kx201911)。
为了解决基于模糊逻辑的模型检测修复问题,提出了模糊计算树逻辑模型检测的模型修复算法。该算法采用原子修复操作来修复模糊Kripke结构,通过模糊Kripke结构之间的距离比较原始的模糊Kripke结构和修复后的模糊Kripke结构,并从多个修复...
关键词：模糊逻辑 模型检测 计算树逻辑 模型修复 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部