搜索到7914 篇“ 时态 “的相关文章
基于信号时态 逻辑的深度时序事件检测算法 2025年 针对深度事件检测模型对复杂时序事件检测准确性不足和忽略了不同事件间相关性的问题,提出一种基于信号时态 逻辑的深度时序事件检测算法DSTL(Deep Signal Temporal Logic)。该算法一方面引入信号时态 逻辑框架,并用信号时态 逻辑(STL)公式建模时间序列中的事件来综合考虑时间序列上事件的逻辑性和时态 性;另一方面采用基于神经网络的基础分类器来检测原子事件的发生情况,并通过STL公式结构和语义来辅助检测复杂事件。另外,使用神经网络模块替代相应的逻辑连接词和时态 逻辑算子,从而提供可GPU加速和梯度下降的神经网络模块。通过对6个时间序列数据集的实验,验证了该算法在时序事件检测方面的有效性,并把使用DSTL算法的模型与不使用该算法而使用多层感知机(MLP)、长短期记忆(LSTM)网络和Transformer的深度时间序列分类模型进行比较。实验结果表明,使用DSTL算法的模型在5种事件上的平均F1分数提升了约12%,其中3种跨时间点事件上的平均F1分数提升了约14%,且具备更好的可解释性。 张思齐 张金俊 王天一 秦小林关键词:时态逻辑 时间序列 基于时间正交变换矩阵的时态 知识图谱补全 2025年 时态 知识图谱补全(Temporal Knowledge Graph Completion,TKGC)旨在依据已有的知识图谱,补全时态 知识四元组中缺失的部分,其可以提高下游应用的性能,比如推荐系统、信息检索等。然而,目前的时态 知识图谱补全方法主要针对实体补全或关系补全,忽略了时态 知识图谱中重要的时间元素。这导致它们未能有效地同时解决实体补全、关系补全和时间戳补全的问题,从而限制了自然语言处理系统对于时态 信息的准确理解和处理能力。为了解决此问题,提出了一种基于时间正交变换矩阵的时态 知识图谱补全方法(Orthogonal Transformation Matrix-based TKGC,OTM)。具体来说,该模型包括两个阶段:时态 实体关系嵌入以及评分函数。首先,第一阶段引入时间正交变换矩阵,利用正交矩阵的保范性学习时态 感知的实体表示和关系表示。然后,第二阶段设计评分函数以评估时态 知识四元组的合理性,并设计损失函数更新实体、关系和时间戳的向量表示。在广泛使用的YAGO和Wikidata数据集上进行了实体补全、关系补全和时间补全实验。实验结果表明了该模型在时态 知识图谱补全的可行性和有效性。 张昆 吴永城 张永伟 贾玮 翟世臣 严丽一种向量索引支持的时态 知识图谱高效搜索方法 2025年 知识图谱嵌入(Knowledge Graph Embedding,KGE)将实体和关系表示为低维、连续的向量,使机器学习模型能够轻松适应知识图谱(Knowledge Graph,KG)的搜索任务。然而,在大规模知识库(Knowledge Base,KB)的搜索密集型应用中,现有的模型大多侧重于提高在静态KG上搜索的准确性,忽略了在动态时态 知识图谱(Temporal Knowledge Graph,TKG)上搜索的时间效率。为此,提出了一种向量索引支持的TKG高效搜索方法,以提高在TKG上的搜索效率。具体来说,首先,将实体,关系和时间信息映射到向量空间,并利用长短期记忆神经网络(Long Short-Term Memory,LSTM)学习关系类型的时间感知,从而建立了具有时间信息感知与关系联合编码的TKG向量库。然后,利用向量数据库建立大规模TKG的向量索引库(IndexIVFFlat)。注意,该索引通过聚类操作来划分搜索空间,以提高知识的搜索效率。最后,在拥有高效索引的TKG上通过相似度计算执行近似性搜索与实验评估。结果显示,该方法在时间效率上优于未建立索引的方法,且在搜索准确度上优于一些强相关的方法。表明,该向量索引库的建立在保证了搜索准确性的前提下提高了在TKG上的搜索效率。 朱红 胡新雨 高莉莎 张强 徐晓轶 朱盟盟关键词:索引 搜索 一种通用的航天器启发式时态 规划建模、求解方法 本发明提出一种通用的航天器启发式时态 规划建模、求解方法,其特征在于:充分结合航天工程任务特点和实际需求,提出一种航天器领域通用模型及其数学表达,采用时态 网络结构图表示航天器巡视探测状态转移的时间约束和能源约束,采用前向剪... 师明 高宇辉 杨成 张弓 黄义喆 杨晓晨一种基于线性时态 逻辑控制的策略生成及分解方法 本发明涉及智能体技术领域,尤其涉及一种基于线性时态 逻辑控制的策略生成及分解方法,包括使用GR(1)规范若干智能体系统行为,将策略合成形式化为可达性,计算不动点集确定满足智能体目标的状态,构建自动机实现GR(1)规范;将合... 朱晨阳 高天宇 牛振威 朱金宇 司雯基于时态 数据的排水设施数据动态更新方法、系统及设备 本发明涉及城市排水设施大数据技术领域,提供了一种基于时态 数据的排水设施数据动态更新方法、系统及设备,该方法包括:通过构建各类排水设施数据的数据模型,确定要构建的知识图谱包含的实体、属性与关系,以此提供指定结构的管点管线、... 魏永旺 康炳迁 于磊 张真真 周培龙 沈美岑 江谋美 付旭芝 史庆通 李芳 王梦 金旭一种自供电全时态 周期脉搏异常信号监测可穿戴装置 本发明公开了一种自供电全时态 周期脉搏异常信号监测可穿戴装置,包括:力电传感器、热电传感器、电极片和微处理器;力电传感器与热电传感器的高温端贴合,通过第一导线连接热电传感器的N型材料端和微处理器;通过通讯线连接微处理器;热... 丁生虎 周跃亭 张晨熙 康飞 李星基于时态 数据的排水设施数据动态更新方法、系统及设备 本发明涉及城市排水设施大数据技术领域,提供了一种基于时态 数据的排水设施数据动态更新方法、系统及设备,该方法包括:通过构建各类排水设施数据的数据模型,确定要构建的知识图谱包含的实体、属性与关系,以此提供指定结构的管点管线、... 魏永旺 康炳迁 于磊 张真真 周培龙 沈美岑 江谋美 付旭芝 史庆通 李芳 王梦 金旭一种多时态 电网拓扑图数据管理方法、装置及计算机设备 本发明公开一种多时态 电网拓扑图数据的管理方法、装置及计算机设备,其中,方法通过获取各电网拓扑图数据及其对应的各时间标识,各电网拓扑图数据经过预处理;基于标准电网拓扑图,生成包含各电网拓扑图数据对应的各时间标识的节点数据集... 潘森 周爱华 彭林 朱力鹏 杨佩城市公共空间绿视率对多时态 热舒适度的影响 2025年 [目的]为优化城市热环境与人居品质提供新视角。[方法]以武汉市江岸区滨水地段为例,结合街景数据与遥感气候数据,利用深度学习与ENVI-met模拟计算绿视率和生理等效温度(PET),分析其时空特征,探讨绿视率对热舒适度的影响。[结果]1)武汉市江岸区滨水地段内,绿视率受区域特征影响呈现分布差异;2)7∶00-15∶00,不同城市空间热舒适度(PET)变化速率不同,历史街区内部>街道区域>滨水公园区;3)绿视率与PET的负相关性随时间变化显著,早晨至中午逐渐增强,中午12∶00达到峰值后减弱;4)绿视率对PET的影响存在边际递减效应,绿视率在43.9%~47.3%时对PET的降低作用最显著(P<0.05),超过此范围后改善效果减弱;5)绿视率对热环境稳定性的影响显著,高绿视率显著减小了PET的日变化幅度,表现为更稳定的热环境和更小的日温差。[结论]城市空间类型显著影响热环境动态特征;绿视率与PET呈负相关关系,其调控效应在日间辐射峰值时段(12∶00前后)最强且存在边际递减规律;合理配置绿视率是提升热舒适度的关键。未来需进一步探究多气候条件下绿视率与植被类型、配置方式的关联机制。 毛志睿 李雨航 陈笑葵
相关作者
石时态 作品数:5 被引量:26 H指数:3 供职机构:湘潭大学法学院 研究主题:司法警察 警务 民事执行机构 刑事被害人 权利保障 汤庸 作品数:394 被引量:1,345 H指数:17 供职机构:华南师范大学计算机学院 研究主题:社交网络 时态 时态数据库 存储介质 描述逻辑 孟志青 作品数:177 被引量:649 H指数:15 供职机构:浙江工业大学 研究主题:条件风险值 时态 损失函数 数据挖掘 供应链 叶小平 作品数:76 被引量:186 H指数:8 供职机构:华南师范大学计算机学院 研究主题:时态 时态数据库 数据索引 时态索引 数据结构 籍万杰 作品数:129 被引量:4 H指数:1 供职机构:费县第一中学 研究主题:英语 高考 单项填空题 高考英语 高考试题