探索 / 實驗
区分观察与结论,记录方法、环境和适用边界。
固定一組問題與資料,記錄命中文件、引用與回答正確性,比較有無檢索的差異。
使用可控制的唯讀工具,注入逾時與空結果,記錄任務完成率和呼叫次數。
固定控制器下,拾取目標偏了 25 / 50 mm,會發生什麼?
6 組虛構資料的四條件對照;29 次嘗試后停止,位置差異尚無定論。
以連續高度與雙側接觸紀錄,判斷失敗抓取後是否應繼續搬運。
以真實鬆爪與單次空接觸報告,區分漏檢、誤停與確認延遲。
區分訊息抵達與新證據,檢驗固定計數在不同取樣週期下的含義。
通訊恢復是否足以繼續原動作?比較新證據、舊包重送與剩餘路徑規劃。
型別斷言與物件驗證各會漏掉哪些無效輸入?
請求失敗、截斷或候選裁剪後,如何保持已提交歷史正確?
把重新驗收與路徑重新規劃拆開:哪些差異來自證據,哪些來自恢復後的目標?
搬運規則直接延伸到下降,會漏報、誤報還是改變最終放置?
用真實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 重現。
查看项目 →