公共文化服务平台

搜索到550篇“ 时态逻辑“的相关文章

一种基于线性时态逻辑控制的策略生成及分解方法: 本发明涉及智能体技术领域，尤其涉及一种基于线性时态逻辑控制的策略生成及分解方法，包括使用GR(1)规范若干智能体系统行为，将策略合成形式化为可达性，计算不动点集确定满足智能体目标的状态，构建自动机实现GR(1)规范；将合...; 朱晨阳高天宇牛振威朱金宇司雯

基于信号时态逻辑的深度时序事件检测算法: 2025年; 针对深度事件检测模型对复杂时序事件检测准确性不足和忽略了不同事件间相关性的问题,提出一种基于信号时态逻辑的深度时序事件检测算法DSTL(Deep Signal Temporal Logic)。该算法一方面引入信号时态逻辑框架,并用信号时态逻辑(STL)公式建模时间序列中的事件来综合考虑时间序列上事件的逻辑性和时态性;另一方面采用基于神经网络的基础分类器来检测原子事件的发生情况,并通过STL公式结构和语义来辅助检测复杂事件。另外,使用神经网络模块替代相应的逻辑连接词和时态逻辑算子,从而提供可GPU加速和梯度下降的神经网络模块。通过对6个时间序列数据集的实验,验证了该算法在时序事件检测方面的有效性,并把使用DSTL算法的模型与不使用该算法而使用多层感知机(MLP)、长短期记忆(LSTM)网络和Transformer的深度时间序列分类模型进行比较。实验结果表明,使用DSTL算法的模型在5种事件上的平均F1分数提升了约12%,其中3种跨时间点事件上的平均F1分数提升了约14%,且具备更好的可解释性。; 张思齐张金俊王天一秦小林; 关键词：时态逻辑时间序列

一种基于时态逻辑的多来源围术期时序数据的治理方法: 本发明涉及一种基于时态逻辑的多来源围术期时序数据的治理方法，属于计算机领域。该方法为：将多来源数据进行同一时间维度上的融合，根据数据搜索获得关系集；使用线性时态逻辑LTL将关系表示为逻辑公式；在手术过程的时态模型σ中，求...; 曹洁张矩

基于线性时态逻辑和可拓展层次分析法的人机混合决策在线评价方法: 本发明属于智能驾驶系统技术领域，具体涉及一种基于线性时态逻辑和可拓展层次分析法的人机混合决策在线评价方法；选取动态驾驶场景、提取交通规则建立人机混合决策评价体系库，采用线性时态逻辑将各交通规则形式化为LTL公式，利用可拓...; 曲婷郭子超刘普俊王宇雷陈启军陈虹

基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法和系统: 本发明公开一种基于有限轨迹上线性时态逻辑引导的黑盒模糊测试方法和系统，该方法包括：通过检查与被测系统的消息交互路径来筛选其异常行为，引入有限轨迹上线性时序逻辑来表达被测系统的安全属性，同时通过轻量级的运行时验证查找偏离安...; 顾纯祥赵栋梁郑永辉张协力郭家兴

基于时态逻辑的工业过程预测与语义诊断研究: 随着互联网技术的广泛发展,工业生产中采集的数据量呈指数级增长。其中工业时间序列数据动态地反映了工业生产过程,因此为基于时态逻辑的工业过程预测与语义诊断研究提供了必要条件。我国聚酯纤维产量在化纤产品占比达85%以上,具有绝...; 霍旭; 关键词：时态逻辑

一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统: 本发明属于软件设计与软件测试技术领域，涉及一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统，其方法包括：给出工业软件的设计需求及其约束条件，采用有限线性时态逻辑公式描述约束条件；将训练集中的各有限线性时态逻...; 万海罗炜麟邓浩天梁梓豪曾娟

基于模糊测度的模糊分支时态逻辑模型检测: 2024年; 针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点。最后,通过医疗专家系统的实例说明了该模型检测算法的有效性。; 刘子源马占有李霞高滢囡何娜娜黄瑞祺; 关键词：矩阵运算

一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统: 本发明属于软件设计与软件测试技术领域，涉及一种基于有限线性时态逻辑无监督可满足性检测的软件设计方法及系统，其方法包括：给出工业软件的设计需求及其约束条件，采用有限线性时态逻辑公式描述约束条件；将训练集中的各有限线性时态逻...; 万海罗炜麟邓浩天梁梓豪曾娟

相关作者