名词解释

名称	说明
自动化实验室语言（Automation Laboratory Language，ALL）	连接科学目标、研究对象、实验方法和物理设备的自动化实验室语言。
ALL 调用方	集成在用户应用、自动化系统或智能体中的协议调用能力，不是独立服务。
FSP（函数状态协议）	ALL 内部用于发现设备、渐进披露技能、提交分类请求和返回诊断的设备通信协议。
FSP 适配器	把现有应用编程接口（API）、软件开发工具包（SDK）或驱动映射为 FSP 的实现组件。
设备技能	设备公开的一项具体接口，以稳定 `command_id` 标识。
对象维度	说明该技能处理的容器类型、物理属性和允许状态。
控制维度	说明该技能的参数、请求分类、约束、状态变化、返回值和诊断。
系统维度	说明该技能所需的设备状态、安全围栏和结果验证规则。
请求分类	`read`、`write` 或 `invoke`，决定一项技能适用的最低安全约束。
研究对象（Research Object）	被实验处理、观察或表征的科学对象，包含身份、样品、容器、状态、证据和来源。
身份（identity）	研究对象的稳定身份和显示信息。
样品（sample）	研究对象中被处理或测量的物质及其状态。
容器（container）	盛放样品的物理对象，包含类型、形状、尺寸、材质和封闭状态。
证据（evidence）	仿真、观测、测量或设备执行产生的结果引用。
来源（provenance）	研究对象、状态和证据的产生与变更记录。
设备技能描述	从 FSP 完整技能定义派生的模型可读说明。
函数式技能	把设备操作转换为函数签名、约束、状态变化和返回值的可计算定义。
函数式实验方法（Functional Experimental Method）	由合格函数式技能组成的可计算、可验证实验程序。
技能质量评估	对名称、操作、参数、状态、约束、返回值和转换完整性进行评分。
合格设备技能库	保存通过质量评估并保持版本一致的设备技能描述和函数式技能。
方法验证	对代码安全、可计算性、状态链、物理约束和科学语义进行检查。
设备绑定	把函数式调用解析为具体设备、操作和参数。
状态提交	在完成条件满足后保存研究对象的实际新状态。
执行证据	与方法、设备、操作、参数和状态变化关联的结果或诊断。
驱动（Driver）	把适配器调用转换为设备底层指令的实现。

概览

架构与术语