时态逻辑

作品数：196被引量：349H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：田国会徐心和朱晨阳郭建张广泉更多>>
相关机构：华东师范大学桂林电子科技大学中山大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于信号时态逻辑的深度时序事件检测算法
《计算机应用》2025年第1期90-97,共8页张思齐 张金俊 王天一 秦小林 
国家重点研发计划项目(2023YFB3308601);四川省科技计划项目(2024NSFJQ0035)。
针对深度事件检测模型对复杂时序事件检测准确性不足和忽略了不同事件间相关性的问题,提出一种基于信号时态逻辑的深度时序事件检测算法DSTL(Deep Signal Temporal Logic)。该算法一方面引入信号时态逻辑框架,并用信号时态逻辑(STL)公...
关键词：时态逻辑 事件检测 事件表示 时间序列 深度学习 
面向模型检测的LTL语句自动生成方法被引量：2
《计算机工程与设计》2023年第8期2337-2344,共8页段喜龙 陆智伟 郑巍 陈晋升 樊鑫 肖鹏 
国家自然科学基金项目(61867004)。
为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中...
关键词：自然语言处理 模型一致性 线性时态逻辑 UML模型 形式化验证工具 模型验证 模型注释 
线性时间属性中近似安全性和活性的刻画
《桂林电子科技大学学报》2022年第5期423-430,共8页常玉婷 潘海玉 
国家自然科学基金(62162014);广西自然科学基金(2018GXNSFAA281326);广西可信软件重点实验室基金(kx201911)。
针对线性时间属性中最重要的基础属性安全性和活性,将它们扩展到模糊背景下,有助于定量刻画系统与其属性之间的满足程度。结合度量理论中线性距离的概念,刻画系统与属性之间关系,进而量化一个系统多大程度满足一个属性。首先回顾线性距...
关键词：线性时间属性 模糊逻辑 安全性 活性 线性时态逻辑 
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
论当代人生的时态逻辑
《天津社会科学》2022年第2期24-32,共9页胡潇 仇妙芹 
人类社会进入了一个极速时代,社会的运行节律、时间秩序发生了深刻变革。生活方式与主体生命意识在社会的时态逻辑方面出现了多重变构。人们在幸福生活的追求和建设中,面临连续与非连续、有限与无限等诸多时间性悖论和价值乖离。生活中...
关键词：当代人生 时态逻辑 时间悖论 “现在” 
关于“现在”算子冗余性的一个注记
《逻辑学研究》2021年第2期22-34,共13页孙洋 郭美云 
国家社科基金重大项目(17ZDA026和14ZDB016)。
关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入■-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路...
关键词：现在 时态逻辑 冗余 
基于度量线性时态逻辑的近似安全性被引量：2
《计算机科学》2020年第10期309-314,共6页蔡泳 钱俊彦 潘海玉 
国家自然科学基金(61672023);广西自然科学基金(2018GXNSFAA281326);广西可信软件重点实验室基金(kx201911)。
近年来,计算机系统的定量验证已经引起了学术界和工业界足够的关注,其中取值于度量空间的系统性质研究为定量验证的发展开辟了一条新途径。在系统验证中常用线性时间属性来刻画系统的性质,而安全性作为线性时间属性中一类至关重要的基...
关键词：安全性 模型检测 线性时间属性 线性时态逻辑 伪超度量空间 
《可能世界的名字》述评
《逻辑学研究》2020年第5期97-100,共4页闫佳亮 
刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻辑的许多经典结论都提供了良好的改进方法。混合逻辑的基本观点,即“对命题变元分类”和“词项用作公式”...
关键词：模态逻辑 命题变元 逻辑学家 时态逻辑 普莱尔 混合逻辑 改进方法 名字 
until的时态逻辑特征分析
《山西能源学院学报》2020年第4期42-44,共3页罗丹 
广东省高等教育教学研究和改革项目“新时代背景下应用型地方院校大学英语教学改革实践与探究”(项目编号:2019643)阶段性研究成果。
until一词英文原意表示“up to the time”,中文释义“直到……为止”。从其意思来看,与段时间且持续义相关。在英语时态中,完成态和完成进行态强调的是段时间,且有持续义,但在until引导的从句对应的主句中,规则语法规定不能使用完成态...
关键词：UNTIL 时态逻辑 使用特征 
巴坎公式与时态逻辑
《逻辑学研究》2020年第2期29-40,共12页周君 
本文分析了普赖尔等学者有关时间与存在关系的论述,深入考察了时态逻辑中关于巴坎公式的理论得失,指出:巴坎公式及其逆二者之组合意味着每个可能世界有同样的个体域,而在时态逻辑中,可能世界是不同时间的世界,因而不同时间有同样的个体...
关键词：巴坎公式 普赖尔 时态逻辑 量化 存在 
全选清除导出
共20页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部