为声音事件时序定义可执行的边界契约，提升时序分析准确性。
Executable Boundary Contracts for Sound Event Traces
- 基于STL构建可嵌入的布尔片段与事件层约束，实现精确时序建模。
- 在真实声景中发现联合活动会掩盖类型化边界错误，揭示评估盲区。
- 适用于音频时序分析、评测系统验证及高精度声学事件检测研究者。
声音事件报告常将时间边界行为压缩为帧、段或事件评分。本文为有限声音事件轨迹定义了可执行的边界契约。帧片段是经网格投影后可嵌入STL的有界布尔片段；事件层引入声明区间匹配、持续时间条款、碎片化条款及义务受限向量评分。目标是实现测量，而非提出新通用时序逻辑或挑战排行榜。评估涵盖受控的Mini LibriSpeech种子场景、MAESTRO真实声景、冻结预训练时序探针及官方DCASE 2024 Task 4基线轨道。在这些轨道上，标准评分与契约坐标在可解释方式下存在差异。最强实证发现为：联合活动可能隐藏类型化边界失败；外部DCASE输出则提供类别索引的挑战等级参照。附带代码、生成表格、清单及有限帧核心的Lean验证文件。
原文摘要 · Abstract (English)
Sound event reports often compress timed boundary behavior into frame, segment, or event scores. This paper defines executable boundary contracts for finite sound event traces. The frame fragment is a bounded Boolean fragment embeddable in STL after grid projection. The event layer adds declared interval matching, duration clauses, fragmentation clauses, and obligation restricted vector scoring. The aim is measurement, not a new general temporal logic and not a challenge leaderboard. The artifact evaluates controlled Mini LibriSpeech seeded scenes, MAESTRO Real soundscapes, frozen pretrained timing probes, and an official DCASE 2024 Task 4 baseline track. Across these tracks, standard scores and contract coordinates disagree in interpretable ways. The strongest real corpus finding is that union activity can hide typed boundary failure, while external DCASE outputs provide a class indexed challenge level reference. Code, generated tables, manifests, and Lean checks for the finite frame core are supplied as ancillary material.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。