ScanSTL：STL鲁棒性并行高效求值方法
热点事件观察中
ScanSTL：STL鲁棒性并行高效求值方法
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
Gokhan Alcan 提出 ScanSTL，将关联时间聚合与并行扫描、有序块归约结合，以线性工作量与存储、对数并行深度计算信号时序逻辑（STL）精确时序算子的完整鲁棒性轨迹，并提供支持自动微分、批处理与编译的开源 JAX 实现。 在九条组合规格、512 采样点的基准上，ScanSTL 在 CPU 的 JAX 环境中相对 STLCG++ 取得前向求值 243 倍、梯度计算 104 倍的几何平均加速；该对比同时涵盖 STLCG 与 STLCG++ 的 CPU 和 GPU 算子测试。
AI 根据报道生成 · 1 天前更新
最新进展10月7日 12:00
ScanSTL：基于并行扫描的信号时序逻辑鲁棒性高效求值报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- arXiv cs.RO 机器人学ScanSTL：基于并行扫描的信号时序逻辑鲁棒性高效求值
ScanSTL 将关联时间聚合与并行扫描、有序块归约结合，用线性工作量与存储、对数并行深度计算精确时序算子的完整鲁棒性轨迹，并提供支持自动微分、批处理与编译的开源 JAX 实现。
本事件热度走势
- 可比范围当前
- 4
- 可比范围峰值
- 910月7日 14:00
- 近 24 小时变化
- -50%
02.557.510
18:0010月8日06:0012:0018:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。