Skip to main content

定义

函数式实验方法把研究对象状态、参数、约束和可用设备能力组合成可计算程序:
方法必须由技能库中已经准入的函数组成,不能直接调用未声明设备能力。

输入

方法生成输入包括:

输入示例

生成实现逻辑

函数式方法生成器把实验目标转换为已准入函数的调用图,而不是直接产生不可检查的自然语言步骤。其最小实现逻辑为:
  1. 根据研究对象、容器状态和目标查询合格设备技能库,只选择来源修订号一致的函数;
  2. 为每个函数填入已声明参数,按类型、单位、范围、枚举和跨参数约束构造实参;
  3. 依据前置条件和状态变化连接调用顺序:一个操作的输出状态必须满足下一操作的前置状态;
  4. 将顺序、条件、并行或有限重复写为可解析的调用结构,并固定本次使用的设备与能力版本;
  5. 生成候选方法和其依赖清单,交给验证阶段;生成阶段本身不提交任何对象状态。
当找不到函数、参数无法满足约束或状态链无法连接时,生成器必须返回缺少的能力或冲突条件,不能用未注册函数补全方案。

代码式方法契约

代码式方法必须:
  • 定义 generate_recipe() 入口;
  • 使用设备命名空间调用物理能力;
  • 从公共类型模块导入参数数据类;
  • 循环中的设备调用显式展开;
  • 在转换前完成优化和仿真。
函数、参数结构和状态约束来自准入通过的函数式技能定义,不由方法生成器重新命名。

技能函数的完整信息

方法生成器在使用一个技能前,必须获得以下信息:
下列非规范性签名说明同一设备的三项技能如何进入方法生成环境:
这些签名只说明结构。类型中的容器枚举、数量范围、请求分类和强制约束必须来自对应完整技能版本。

方法组合

函数式实验方法支持以下组合能力:
  • 顺序执行;
  • 显式展开的有限重复;
  • 条件选择;
  • 并行分支与汇合;
  • 受保护资源区间。
并行组合使用 parallel_executionbranch。循环必须显式展开,避免转换后产生无法解析的变量占位符。

转换输出

仿真通过后,方法转换器生成:
steps 的字段固定为:
完整输出见执行

输出作用