探索 / 实验
区分观察与结论,记录方法、环境和适用边界。
固定一组问题与资料,记录命中文档、引用与回答正确性;对比无检索和有检索。
使用可控的只读工具,注入超时与空结果,记录任务完成率和调用次数。
固定控制器下,拾取目标偏了 25 / 50 mm,会发生什么?
移动同一条事实,模型是否仍能找到答案?
用连续高度与双侧接触记录,判断失败抓取后是否应该继续搬运。
用真实松爪与单次空接触报告,区分漏检、误停和确认延迟。
区分消息到达与新证据,检验固定计数在不同采样周期下的含义。
通信恢复是否足以继续原动作?比较新证据、旧包重送与剩余路径规划。
类型断言与对象校验分别会漏掉哪些无效输入?
请求失败、截断或候选裁剪后,如何保持已提交历史正确?
把重新验收与路径重规划拆开:哪些差异来自证据,哪些来自恢复后的目标?
搬运规则直接延伸到下降,会漏报、误报还是改变最终放置?
用真实Java线程复现回复乱序,加入版本票据、完整问答提交与有界回执,明确本地幂等和远端执行的区别。
从手算两行Attention到双层数值对照,验证因果掩码、Softmax与未来信息泄漏。
15回合固定场景对照保持、松爪、松爪后退:报警相同,退出动作不同,最终放置也不同。
五条真实轨迹同时检查单帧与持续窗口:错误观测、延迟松爪和完成后的外力揭示验收范围。
12回合对照无限恢复、两次预算与400ms冷却:分别记录启停、验收窗口、终止原因和最终任务结果。
三种子、六条件,比较错误复用与带键校验的前缀缓存;数值相同也不代表允许跨作用域共享。
七条 MuJoCo 轨迹与双画面回放,将历史完成事件和当前有效状态分开,保留传感误报与过期边界。
22 个回环 HTTP 案例,验证 UTF-8、SSE 分帧、取消与异常结束,把逐步预览和完整历史提交分开。
27 个固定条件、81 个原始数组,验证最长相同前缀裁剪、位置同步、滑窗回退与作用域隔离。
12 个 MuJoCo 回合与三画面回放,对比保持、松爪、松爪后退,区分终止决定与实际退出后果。
18 种固定线程交错,验证流式预览、完成和错误回调的请求归属,以及取消和有限幂等的边界。
27 条冷启动轨迹、324 次请求与 648 个数组,按字节限制前缀检查点,观察工作集、隔离与 LRU 淘汰的实际收益。
18 个 MuJoCo 回合与同步回放,将阶段契约接入恢复预算,区分正常下降误停、物理放置和控制器终止。
30次本地HTTP连接,区分会话取消、阻塞读取退出与远端工作,比较Future中断和主动关闭连接。
4860次实测查询比较三种缓存准入策略,把字节预算、工作集、计算量与本地耗时放在一起验证。
8条MuJoCo轨迹、三个旁路判定器与真实回放,区分历史放置、当前证据和恢复流程中的完成资格。
通过裁剪、提交、重启和扩窗的连续实验,分离可回看的完整历史与一次模型请求的上下文。
七种真实本地 HTTP 情况,比较状态码、Retry-After、尝试上限和总等待预算。
校验追加日志、142种截断前缀和三个真实异常退出子进程,明确本地提交与远端幂等的边界。
对909次查询做分段计时,验证源码签名、查找、复制与续算分别花在哪里,同时保留缓存仍慢的结果。
从错误的分块平均出发,推导在线Softmax累加,并用9组数组和558次计时区分省内存与加速。
比较整张量与逐行int8量化,显式计入scale,观察离群值对注意力输出的影响。
用二维力控执行器比较质量与PD阻尼,记录饱和、超调和稳定完成,避免把经过目标当作任务成功。
六条实际接触轨迹对照直达、贴边和留余量路径,解释几何尺寸、跟踪误差与碰撞之间的关系。
24条配对轨迹比较即时/80ms延迟、位置噪声和常速度外推,保留超调下降但任务仍失败的结果。
用七组本地 HTTP 故障对照,解释幂等键、并发认领、请求冲突与进程崩溃窗口。
162组保存整数码的离线对照,比较全张量、逐Token与K逐通道/V逐Token,保留混合策略并非总更优的结果。
54回合真实仿真对照位置差分、指数平滑与真值速度参考,解释噪声放大、估计滞后和稳定性验收。
17种场景、193条子进程记录;无接收端幂等的投递崩溃后执行两次,三个历史恢复窗口均保留完整问答。
144组对照、810条计时:高精度近段窗口在近段注意力上收益更大;分块减少工作数组,但本机CPU计时更慢。
153回合、306000物理步;留出集选中控制器7/18通过,失联置零仍滑行,质量缩放降低均值却未通过速度契约。
先整理观测、动作与离散表示的对应关系,再设计仿真验证;不将其称为 RT-2 复现。
查看项目 →