arXiv · cs.AI · Yushan Li · 4 小时前模型评分32
CARD：面向相对测量图的携带证明的证书到动作接口
CARD: A Proof-Carrying Certificate-to-Action Interface for Relative-Measurement Graphs
导读
研究提出 CARD，一种携带证明的接口，把几何证书、物理变换与服务决策区分为独立对象并记录其组合方式。在 AA15-X500 机载测量系统的 404 个 Full16 案例中，404 个优化点均与参考存在偏差，旋转与平移中位差为 1.9891 度和 21.6322 m，而配对因果导航变换全部与参考一致。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “We present CARD, a proof-carrying interface that keeps these objects distinct and records how they combine.”
来源：arXiv · cs.AI · arxiv.org