时态认知逻辑

作品数：11被引量：25H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：骆翔宇苏开乐吴立军周从华孙博更多>>
相关机构：中山大学桂林电子科技大学华侨大学清华大学更多>>
相关期刊：《计算机学报》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>
相关基金：国家自然科学基金中国博士后科学基金广西青年科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向完美回忆的时态认知逻辑被引量：1
《软件学报》2020年第12期3787-3796,共10页张玉志 唐晓嘉 
国家社会科学基金(14ZDB016)。
传统时态认知逻辑对完美回忆的刻画是狭隘的,并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中,个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体(群体)都可以完美...
关键词：时态认知逻辑 S5tCt系统 完美回忆 记忆公理 
概率实时时态认知逻辑模型检测中抽象技术的研究被引量：2
《电子学报》2013年第7期1343-1351,共9页刘志锋 孙博 周从华 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005);江苏大学高级人才科研启动基金(No.12JDG061)
概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于P...
关键词：模型检测 概率实时时态认知逻辑 PTACTLK 状态空间爆炸 抽象 
概率时态认知逻辑模型检测中三值抽象技术的研究被引量：1
《电子学报》2012年第10期2052-2061,共10页周从华 孙博 刘志锋 葛云 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005)
为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认...
关键词：三值抽象 模型检测 概率时态认知逻辑 反例 
基于Verics的组合Web服务有界模型检测
《小型微型计算机系统》2011年第3期412-415,共4页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金项目(9071803960763004)资助;中国博士后科学基金项目(20090450389)资助;广西青年科学基金项目(桂科青0728090)资助;广西研究生教育创新计划项目(2008105950812M424)资助
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成...
关键词：有界模型检测 时态认知逻辑 WEB服务 时间自动机 Verics 
一种求解认知难题的模型检测方法被引量：5
《计算机学报》2010年第3期406-414,共9页骆翔宇 苏开乐 顾明 
国家自然科学基金重点项目(90718039);国家"九七三"重点基础研究发展规划项目基金(2010CB328103);国家杰出青年科学基金(60725207);国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);中国博士后科学基金(20090450389)资助
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以...
关键词：模型检测 OBDD 公告逻辑 时态认知逻辑 和与积难题 
基于时态认知逻辑的Web服务模型检测被引量：1
《计算机科学》2009年第8期153-157,共5页骆翔宇 陈艳 古天龙 董荣胜 
国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2007105950811m19)资助
传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,...
关键词：模型检测 时态认知逻辑 多智能体系统 WEB服务 
时态认知逻辑CTL*K的符号化模型检查算法
《计算机科学》2009年第5期214-219,共6页陈彬 王智学 
863高技术计划基金项目(2007AA01Z126);国防预研基金项目(9140A06020206JB8101)资助
时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力有限。并且已知的一些模型检查算法存在内存不足和状态爆炸等问题。讨论了基于CTL*的时态认知逻辑CTL*K的...
关键词：符号模型检测 多主体系统 时态认知逻辑 
模型检测方法在入侵检测中的应用研究
《现代计算机》2009年第2期20-21,69,共3页林璇 
韩山师范学院重点科研项目(NoZD200513)
入侵检测系统的智能性逐渐受到重视,基于逻辑的模型检测方法是一种有效的误用检测方法。介绍基于逻辑的模型检测方法的研究现状,提出一种基于模型检测的入侵检测模型,描述模型的工作原理和优点。
关键词：入侵检测 模型检测 逻辑 时态认知逻辑 
有界模型检测同步多智体系统的时态认知逻辑被引量：13
《软件学报》2006年第12期2485-2498,共14页骆翔宇 苏开乐 杨晋吉 
国家自然科学基金Nos.60496327;10410638;60473004;国家重点基础研究发展规划(973)No.2005CB321900;广东省自然科学基金Nos.04205407;06023195~~
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系...
关键词：模型检测 有界模型检测 多智体系统 同步时态认知模型 时态认知逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部