本地任务与离线运行
按已批准的设备、方法和计算资源设计本地任务管理；外网中断不作为解除现场互锁或假定远端任务已完成的理由。云端与远程功能单独授权，不替代本地安全控制。
Phyraxis Runtime · 产品方案
实验室自动化设备集成与调度软件
Laboratory Automation Integration and Orchestration Software
连接实验 SOP、LabGrid、Praxon 与既有仪器的执行内核。把批准的流程组织为结构化工作流，管理设备能力、资源、安全预检和步骤验证，并关联过程、结果与失败证据。
把方法、设备、资源与执行记录连接为可核验的实验流程
批准的方法与任务↓前置核对 · 资源协调↓合法接口 · 受控执行↓质量门 · 记录与复核示意图，不执行设备命令
功能范围与验证边界
本页说明产品的功能与工程方案范围，不构成对任意设备兼容、既有实机性能或已完成客户验收的声明。具体可用能力、接口许可、配置、性能及交付范围以项目约定和对应验证记录为准；软件测试、仿真、替代物联调、实机运行与最终验收分别留证，不能相互替代。
技术规格 / TECHNICAL SELECTION
Phyraxis Runtime 核心技术参数与配置范围
面向科研采购、实验室建设与集成选型。下表基于既有工程参数文档整理，属于研发设计与配置参考；所有数值均非当前已验证的产品保证值。保证值须在型号、工况、合同和 FAT / SAT 验收协议中单独确认。
| 参数项 | 设计与配置参考 | 适用口径 |
|---|---|---|
| 工作流编排 / Workflow Studio | 设计覆盖可视化节点、条件分支、并发、等待、人工门和 QC 门；重试须受命令幂等性与站点策略约束。 | 软件设计范围，按版本验证 |
| SOP / Protocol 编译 | 批准的 SOP 转为类型化 Workflow / Execution Contract；自然语言只生成候选；未知步骤默认失败关闭，静态校验与批准后才可进入执行路径。 | 安全约束，不允许自然语言直驱设备 |
| 多设备资源调度 | 能力匹配、步骤依赖、设备互斥、板位、耗材、优先级、时间窗与任务租约。 | 按工作流与适配版本验证 |
| 设备 API 与标准协议 | 可评估 REST / gRPC、文件交换、串口 / IO、厂商 API / SDK，以及 SiLA 2、OPC UA、ROS 2 扩展。 | 候选接口；不代表全部已适配 |
| 机器人与工位接口 | 任务、状态、停止、故障码、手动接管；独立硬件安全链不能由普通软件连接替代。 | 按设备能力和站点策略验证 |
| 无 API 设备接入 | 在厂商许可和站点策略下评估受控 UI / 视觉交互；截图、关键帧、置信度与失败状态进入证据。 | 授权、兼容性及验证边界需确认 |
| 执行账本与数据追溯 | 设计关联时间、操作者、批次、样本、耗材、设备与程序版本；append-only 账本、原始文件和哈希链审计导出。 | 以具体版本与审计测试为准 |
| 检查点与 UNKNOWN 处理 | 区分已完成、失败、可恢复、需人工与必须停止；SENT_UNKNOWN / 通信中断不得猜测成功或自动重发。 | 失败关闭与人工接管约束 |
| 步骤验证与 QC | L1 动作、L2 状态、L3 过程、L4 结果四层证据；按客户规则配置 Validator 与偏差报告，失败需明确分类。 | 按实验方法与验证器确认 |
| 权限、版本与备份 | RBAC、设备白名单、配置与模型版本、审计日志、备份恢复、数据留存和删除；密钥不得写入日志。 | 项目安全要求与版本测试项 |
| 仿真、dry-run 与 Replay | 无硬件完整工作流仿真列入设计范围，按所选工作流与版本验证。分别标注模拟、dry-run、HIL、physical 和 acceptance；Replay 离线读取证据，不调用设备或产生物理副作用。 | 软件检查不替代实机或客户验收 |
| 重配置与能力注册 | 设备更换、货架重排、相机 / 工具变更后重新标定与能力注册，并重验受影响工作流。 | 受控复用，不是免验证即插即用 |
| 本地运行与结果集成 | 边缘本地执行、网络中断安全策略；结果文件、ELN / LIMS 对接与数据权属、格式、留存规则逐项约定。 | 按项目配置；安全不依赖云端 |
| 实施与验收资料 | 提供接口 / 版本矩阵、流程配置、验证用例、错误语义、备份恢复说明与培训资料；FAT / SAT 范围写入协议。 | 合同交付范围，不是已完成验收 |
参考基线：产品参数说明 v0.2（2026-08-09）与系统技术参数；网页整理：2026-11-02。Praxon 对应早期文档中的具身机器人产品线。参考型号与数值不代表全部现行配置，具体方案以双方冻结清单为准。
获取项目适配矩阵与选型建议 →功能与接口范围
实验室自动化设备集成与调度软件的功能设计
围绕批准的任务、设备、载具和站点条件确定实现与验证范围。
方法版本与变更控制
将方法录入、审核、启停、输入输出及质量条件纳入版本管理；在途任务绑定已批准版本，后续编辑不改变正在执行的步骤。自然语言辅助内容仅作为待审草案。
合法设备接口与动作边界
按设备身份、固件与接口版本、许可、授权动作、上下料、状态、异常和结果定义接入矩阵。采用标准协议或有文档的合法适配接口，不把接口存在等同于动作可控或已经完成。
步骤依赖与资源互斥
围绕工作流依赖、设备与板位占用、样本身份及工序状态配置调度规则，避免双重占位、错样和未授权转运；并行方案以实际设备能力、资源负荷和完整流程节拍评估。
动作前核对与未知状态停止
动作前核对人员授权、设备身份、物料载具、工位、标定和安全条件。超时、断联或完成状态为UNKNOWN时停止受影响后续动作，不自动重发未证实完成的物理命令；恢复须重新核对并经人工批准。
样本关联与执行证据
围绕任务、样本、载具、孔位、试剂耗材批号、设备与人员建立关联记录，保留命令、回执、观察、异常处置、原始文件及完整性校验值。历史查看与记录重放不应重新触发设备。
权限分工与结果复核
按操作、复核和维护职责配置权限，记录方法变更、授权、异常接管和结果放行的责任人与时间。异常或质控未通过的结果不得自动放行，自动分析意见保持待复核状态。
备份恢复与可维护交付
把方法、配置、业务记录和原始文件纳入备份恢复与导出方案；网络恢复后核对标识、时间、完整性和冲突。版本升级先验证兼容性及恢复路径，数据恢复不得导致旧设备命令再次执行。
面向系统集成与工程交付
把接口、分工和交付资料说清楚
与科研实验室、仪器及系统集成伙伴共同确认边界，按项目形成可核验的交付范围。
- 接口与责任矩阵
- 项目启动时逐设备确认身份、控制授权、状态与结果回执、装载交接、异常恢复和接口许可，区分自动化动作与需授权人员完成的环节。
- 方法、资源与质量条件
- 共同确认工作流版本、前置条件、设备和板位互斥、质量判定条件，以及调度主机、仪器电脑、控制器和分析节点的资源与故障边界。
- 许可、依赖与服务范围
- 交付方案列明软件及第三方组件的许可范围与期限、主机依赖、维护升级和培训范围；正常本地运行的云端依赖与数据格式限制需事先披露。
- 数据迁移与受控维护
- 约定数据和配置导出格式、备份恢复说明、软件与接口版本关系、变更窗口和必要回退路径。升级与迁移不得抹除原始记录、绕过互锁或重放旧物理动作。
- 分阶段验证与问题闭环
- 按实际安装状态验证完整路径、断网、错码、缺耗材、失联、重复回执、未知完成、急停、恢复及版本变更；分别记录软件测试、替代物联调、获批湿运行和最终验收证据。
- 数据权属与复用
- 客户原始实验数据、样本数据及专有结果不当然归 Phyraxis 所有。跨项目复用或训练须取得书面授权，并约定脱敏、用途、保留期限、删除机制与合同边界。
常见问题
必须连接云服务才能运行吗？
方案以经批准的本地设备、方法与计算资源为运行边界。正常本地任务不应依赖未披露的云端订阅维持；远程访问、数据外传和第三方服务需单独确认授权与合规条件。
自然语言或大模型可以直接下发设备动作吗？
自然语言可用于辅助生成待审方法草案，但不直接触发设备动作。物理动作须经过方法批准、权限与前置条件核对，并受现场独立安全控制约束。
是否可以接入任何仪器并自动恢复未知动作？
设备接入须有合法接口、相应许可和逐项联调证据，不能承诺任意仪器即插即用。UNKNOWN不代表成功；只有经授权且无副作用的只读查询可用于核对状态，物理恢复仍需重新预检与人工批准。
配套产品
Phyraxis AI
讨论您的任务与集成边界
欢迎提供目标工作流、设备与载具清单、站点约束及预期交付范围。请勿通过公开渠道发送敏感样本或未获授权的数据。
直接联系 / Direct contact
- 电话 / Phone
- 18501369576
- 微信 / WeChat
- 18501369576同手机号，可长按或选择复制 / Same number · select to copy
- 邮箱 / Email
- contact@phyraxis.com