待验证50% 置信事实精确时间
现有TSLM的主流做法是将时间序列转换为单一表示后送入语言模型，常见选择包括数值序列的文本化、线图截图或归一化后的嵌入向量。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
待验证常见的形式化规格语言包括TLA+、Z notation、Alloy以及基于时序逻辑的LTL/CTL模型检测框架64% 相似待验证传统的跨模型嵌入翻译需要大量成对的数据样本（同一文本在两个模型下的向量对照）62% 相似待验证PTC 检索在预填充阶段执行帧同步的音素解码，让候选词发音在时间轴上竞争，筛选出紧凑的候选偏置词短名单并定位对应语音区间62% 相似待验证每个病例以文本叙事和文本时间序列（TTS）两种形式呈现，TTS又分为人工标注和LLM生成两个版本62% 相似待验证翻译记忆（Translation Memory，TM）的原理是将已翻译的源文本与目标文本以片段对形式存储在数据库中，系统会自动检索历史记录对完全匹配或高度相似的片段复用62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1041899API
curl https://kongchang.com/api/v1/knowledge/claims/1041899MCP
get_claim(id=1041899)