我是 GPT-5.6 Pro，由 OpenAI 训练的推理模型。

我是 GPT-5.6 Pro。我检查了上传包中的 21 页论文、LaTeX 源文件、审计记录、数值条件文件和复现代码，并重新运行了载频重构脚本。上传文件为：(IJASS_DQ_EMFF_application_significance_verified_package.zip)

总体判断

这篇论文具有真实的研究创新，不是简单拼接已有控制方法。最有价值的部分，是把下面四个环节连成了一个统一设计流程：

非冗余相对位姿坐标
→ 电磁线圈与反作用轮的可达广义力/力矩集合
→ 指定时间到达与到达后保持条件
→ 有限载频 AMFF 的实现误差分析

但是，当前稿件对创新性的表述有两处明显问题：

1. “径向分配器本身是新方法”的暗示偏强。
   椭球可达集、加权伪逆和保持指令方向的径向缩放，在一般飞行器控制分配领域已经存在；2026 年甚至已有论文明确提出基于椭球可达力矩集、保持方向、无需在线优化的闭式指令限制器。本文真正新的是它在 EMFF/AMFF、多星图结构、线圈—反作用轮联合约束 下的具体构造和图论下界，而不是径向缩放思想本身。(ScienceDirect)

2. “指定时间控制与 EMFF 过去只在不同研究中分别出现”的说法已经不准确。
   2026 年已经发表了直接针对电磁编队飞行的预设时间抗扰控制研究。该工作较简单，主要是基于 CW 模型的位置跟踪，没有本文的多星六自由度双四元数、AMFF 可达力矩认证、到达后保持和载频误差分析，但它意味着本文不能再暗示“prescribed-time EMFF 尚不存在”。(Space Journal)

因此我的结论是：

创新框架基本成立，但当前“文献定位”和“严格认证程度”存在过度表述。
经过修改后，论文的核心贡献依然可以成立；以当前版本原样投稿，审稿人很可能在相关工作完整性和“certified”措辞上提出实质性意见。

一、本文究竟创新在哪里

1. 构造了与 EMFF 内力特性相匹配的非冗余位姿输出

传统的多星双四元数建模，容易给每颗卫星都定义一个完整的六自由度位姿误差。这样得到 $6N$ 个误差坐标，但星间电磁力属于内力，不能控制整个编队的公共平移，因此公共平移的三个自由度不应被放入反馈和分配目标。

本文使用：

• 输出生成树上的 $N-1$ 条相对位置误差，共 $3(N-1)$ 维；
• 每颗卫星相对于 LVLH 的姿态误差，共 $3N$ 维；

形成

维输出。

它的实际意义是：控制器只向执行机构请求真正可由星间电磁力和反作用轮调节的相对平移与姿态模式，不再把不可控的公共平移混入广义力分配。

这一点是否真的新

在一般编队控制中，使用关联矩阵、生成树坐标和质心约束去除公共平移并不是新思想；双四元数相对位姿控制也已有大量研究。

但在最接近的 EMFF 工作中，2024 年 Song 等已经建立了多星六自由度双四元数 EMFF 模型，并结合频分载波、磁偶极解析分配、ADRC 和反作用轮力矩平衡进行控制。本文在此基础上明确构造 $6N-3$ 维、与内力可控子空间一致的输出，确实是一个可信的 EMFF 专用改进。(ScienceDirect)

更准确的评价是：

属于中等强度的建模创新。
不是新的双四元数理论，也不是新的图坐标理论，而是把两者针对 EMFF 的不可控公共平移模式进行了较好的统一。

另外，稿件称其为“dual-quaternion output”略有包装成分。实际输出最终是生成树位置误差和 $SO(3)$ 对数姿态误差组成的普通实向量；双四元数主要负责位姿表示与误差提取。建议称为：

dual-quaternion-derived nonredundant mixed pose-error output

比直接称“new dual-quaternion output”更严谨。

2. 建立了 EMFF 专用的内可达力矩椭球和图结构权威下界

这是论文最强的创新。

本文首先把 AMFF 的九个线圈轴组合通道和每星三轴反作用轮统一写成广义输入：

然后用一个保守的输入内椭球表示允许的线圈乘积幅值和轮力矩：

经过当前构型下的输入矩阵映射后，得到输出广义力空间中的可达椭球，其 Gram 矩阵为

对请求广义力 $\mathbf W^\star$，使用

判断是否可达：

• $\chi_\diamond\le1$：请求可精确实现；
• $\chi_\diamond>1$：沿原请求方向缩小到椭球边界。

对应分配器本质上是加权最小范数解再做径向缩放。

更有价值的部分是，论文没有只在每个时刻数值计算 $S_\diamond$，还进一步：

• 推导单条 AMFF 边的局部 Gram 特征值下界；
• 证明该下界随星间距离增加而下降；
• 引入图结构因子 $g_m$；
• 得到全编队最弱方向控制权威的下界

这使“该编队构型和硬件能不能完成指定机动”可以在机动前进行估计。

与现有研究相比

2022 年的 AMFF 工作已经利用连接图和幅值优化实现平均星间力，并以控制代价最小化设计载波幅值。(University of Kentucky)

2026 年 Kamat 等进一步采用控制障碍函数和在线优化，同时处理碰撞、相对速度及输入/功率约束。(UKnowledge)

本文与它们的区别是：

• 不采用每步在线 CBF/QP；
• 构造一个保守但闭式的可达内椭球；
• 给出与星间距离和连接图相关的最弱方向下界；
• 把该下界直接放进指定时间可行性条件中。

这部分在 EMFF 文献中的新颖性是可信的。

但应当明确区分：

因此第二项贡献最好重写为：

本文首次或较早地为多星 AMFF 构造了一个包含线圈与反作用轮静态约束的内可达广义力椭球，并推导了由局部电磁 Gram 谱和连接图共同决定的构型相关控制权威下界；基于该椭球采用非迭代的方向保持分配器。

不要把“closed-form radial allocator”单独包装成核心原创算法。

3. 把指定时间到达条件与构型相关的电磁控制权威直接联系起来

一般指定时间控制通常先设计一个使误差在给定时间 $T_p$ 收敛的控制律，然后再讨论输入饱和。

本文采取了不同顺序：

1. 先构造指定时间的误差、速度和加速度包络；
2. 从包络计算整个到达过程中的请求广义力上界 $R_a(x;T)$；
3. 从构型和星间距离包络计算最小可达权威下界；
4. 构造

5. 只有当

且位置、姿态、速度及星间距离包络都留在任务域内部时，才宣称指定时间到达。

到达后又构造 Lyapunov 椭球 $\Omega_m$，要求保持阶段满足

从而得到有限任务时间内的正向不变集。

它把“到达时间能否任意指定”改写为：

在给定初始状态集合、任务几何和硬件能力下，哪些到达时间是执行机构真正能够支持的？

这比仅给出一个数学上指定时间稳定的控制律更有任务设计意义。

相关工作定位必须更新

普通航天器编队领域已有：

• 基于 $SE(3)$ 六自由度模型的指定时间编队控制；
• 考虑输入饱和的分布式指定时间相对运动控制。(Taylor & Francis Online)

更重要的是，2026 年已有直接针对 EMFF 的预设时间抗扰位置跟踪控制。(Space Journal)

因此文中这句话的逻辑：

“finite-time EMFF control and saturated prescribed-time formation control address the two aspects in separate settings”

截至 2026 年已经不够准确。

正确的创新定位应当是：

现有指定时间 EMFF 工作主要研究基于 CW 相对运动模型的位置跟踪和抗扰控制，尚未同时处理多星六自由度双四元数动力学、AMFF 构型相关可达广义力、线圈—反作用轮联合分配、指定时间后保持集以及有限载频实现误差。

这样既承认直接相关工作，又能保住本文真正的增量。

4. 给出了平均 AMFF 模型与有限载频实现之间的误差界

论文将载频分辨模型写成：

其中 $g$ 对快速相位零均值，然后通过周期原函数、分部积分和 Grönwall 不等式得到：

它说明载频越高，平均模型与实际载频模型的偏差原则上按 $O(1/\omega_b)$ 缩小。

这一结果在数学工具上属于标准平均理论的应用，不是新的平均定理。创新主要是把它接入 AMFF 的指定时间控制框架。

论文还在最大线圈电流状态做了一秒冻结构型重构。我重新运行了提供的脚本，得到了与文稿一致的结果：

• 平均混合广义力误差：约 $2.215\times10^{-16}$；
• 最大积分平移偏差：约 $0.04149\,\mu{\rm m}$；
• 最大积分姿态偏差：约 $230.57\,\mu{\rm deg}$。

不过这只是冻结状态、一个公共整数周期上的重构，并不是完整运动状态下的载频分辨闭环仿真。已有三单元 AMFF 地面试验已经表明有限频率 AMFF 可用于闭环编队获取和保持，因此当前研究基准正在向真实动态实验推进。(ScienceDirect)

二、这些创新主张是否“正确”

结论表

三、理论与数值正确性中的主要问题

1. 最大问题：论文的“证书”在算例中只是采样证据

复现材料明确写道：

• 到达条件在 $x\in[10^{-4},1]$ 上使用 9601 点均匀网格；
• 保持条件在一个轨道周期上使用 9601 点；
• 两者都没有 interval enclosure；
• 小于 1 的采样结果只是数值证据，不是连续域条件的证明。

名义工况得到

距离阈值 1 只有约

即 4.4% 左右裕度。

嵌套网格的结果趋于稳定可以增强可信度，但不能排除两个相邻网格点之间存在更大的连续峰值。尤其当结果已经接近 1 时，这个缺口不能忽略。

因此应区分：

• 定理层面： 如果真正的连续域上界满足 $\Xi_a<1$，则结论成立；
• 算例层面： 当前只证明了 9601 个采样点上的估计值小于 1。

论文标题和结论中的 “reachability-certified” 容易让读者认为名义算例已经获得严格证书，但目前没有。

建议

至少采用一种方法补齐：

• 区间算术；
• Taylor model；
• 分段 Lipschitz 上界；
• 对每个网格区间给出导数上界和网格误差余量；
• 或使用经过验证的全局优化/分支定界。

在补齐前，标题中的 Certified 最好改为：

• Reachability-Aware；
• Reachability-Assessed；
• Reachability-Constrained。

或者明确写成：

theoretically certifiable, with sampled numerical verification.

2. “执行机构约束认证”没有覆盖全部动态约束

内椭球主要保证：

• 每个虚拟磁输入 $z_j$ 不超过选定幅值；
• 保守的峰值电流；
• 冻结包络电压；
• 实功率和视在功率；
• 反作用轮瞬时力矩。

但是：

• 动态线圈电压还包括 $\dot c_{k,j}$、$\dot s_{k,j}$；
• 反作用轮动量是力矩随时间积分的结果；

它们没有被纳入到达定理和保持不变集的状态中，而是在获得名义轨迹后再检查。

因此“coil and reaction-wheel limits are represented by an inner reachable-wrench ellipsoid”过于宽泛。更准确的是：

The inner ellipsoid enforces memoryless magnetic-envelope and reaction-wheel torque limits; dynamic terminal voltage and accumulated wheel momentum are verified along the resulting trajectory.

否则审稿人可能认为定理保证了所有电气和动量约束，而实际上没有。

3. “固定的每步计算量”说法不够准确

每一步需要求解维数为

的正定线性方程。论文自己也给出稠密分解复杂度为

因此它不是与卫星数量无关的“fixed computation”。

真正的优势是：

• 不需要迭代优化；
• 没有可变次数的 QP/CBF 求解；
• 每一步运算结构确定；
• 可以利用边稀疏结构。

建议把：

fixed per-update computation

改成：

noniterative, deterministic per-update computation

或者：

one positive-definite solve with predictable per-update complexity.

4. 载频验证仍然比较弱

论文的理论载频误差界包含：

但数值部分没有计算这些常数，也没有反推出“为了满足给定误差容限，最低需要多少载频”。

所以“provides a quantitative carrier-frequency selection criterion”目前主要是一个形式上的理论结论，而不是已经实现的工程选频工具。

同时，数值验证是：

• 在峰值电流时刻冻结构型；
• 在一秒内重构全部载波；
• 从振荡加速度进行二次积分；
• 并非把载频分辨动力学与控制器一起积分 7500 秒。

建议增加至少一个完整的 carrier-resolved 闭环短区间仿真，最好覆盖：

• 到达控制中请求变化最快的区间；
• $T_p$ 附近切换区间；
• 到达后保持区间。

5. 复现材料对名义仿真的独立性有限

复现包说明：

• 名义 MATLAB 源代码已经提供；
• 但修订环境没有 MATLAB 或 Octave；
• 名义轨迹使用随包提供的 MAT 数据；
• 没有从初始条件重新积分产生该 MAT 文件。

这不表示结果错误，但意味着“独立复现”目前只覆盖：

• 绘图；
• 条件估计；
• 权威削弱案例；
• 冻结载频重构；

没有完整覆盖名义 7500 秒仿真。

对于投稿，建议在另一台环境从 MATLAB 源代码重新生成 MAT 文件，并保存：

• 软件版本；
• 求解器及容差；
• 随机种子；
• 文件哈希；
• 重生成结果与当前 MAT 的差异指标。

四、投稿前最需要修改的文献定位

至少应补入三类文献。

1. 直接的预设时间 EMFF 文献

应加入 2026 年的预设时间电磁编队抗扰控制，并明确区别：

• 该工作：CW 位置跟踪、输出反馈、抗扰；
• 本文：多星、六自由度、双四元数、AMFF、可达广义力认证、到达后保持、载频误差。(Space Journal)

建议 Introduction 中改成类似：

Recent prescribed-time EMFF research has addressed position tracking under model uncertainty and disturbances using a Clohessy-Wiltshire model and active disturbance rejection control. However, configuration-dependent AMFF wrench reachability, coupled six-degree-of-freedom pose regulation, actuator-aware arrival-time selection, post-arrival invariant maintenance, and finite-carrier implementation have not been treated in a unified framework.

2. 六自由度指定时间航天器编队文献

Shao 等已经使用 $SE(3)$ 指数坐标研究六自由度航天器编队指定时间控制；Xu 等研究了输入饱和下的分布式指定时间相对运动控制。本文必须说明它相对这些研究增加的是 EMFF 内力结构、AMFF 分配和可达权威，而不是笼统地说现有工作只涉及普通位置编队。(Taylor & Francis Online)

3. 椭球可达集与方向保持限制器

应引用一般控制分配领域关于 attainable moment set、椭球近似、方向保持缩放的工作，尤其是 2026 年的闭式椭球指令保护方法。然后强调本文的原创部分是：

• 输入不是普通独立执行器，而是 AMFF 匹配载波的双线性产品变量；
• 可达矩阵依赖星间距离和姿态；
• 有局部电磁谱解析下界；
• 有连接图全局权威下界；
• 与指定时间轨迹包络结合。(ScienceDirect)

五、建议将三项贡献改写成什么样

下面的版本更不容易被审稿人认为夸大。

贡献一

A $6N-3$-dimensional mixed relative-pose output is constructed from spanning-tree translation errors and nodewise attitude errors. The output is extracted from mass-centered dual-quaternion poses and removes the unactuated common-translation mode while retaining all independently regulated relative-position and pointing coordinates.

核心变化：不再暗示生成树或双四元数表示本身是全新的。

贡献二

An EMFF-specific inner reachable-wrench ellipsoid is derived from alternating-magnetic-field channel limits and reaction-wheel torque margins. Local electromagnetic Gram-spectrum bounds and a connected-graph factor provide a configuration-dependent lower bound on the weakest wrench authority. A noniterative weighted minimum-energy allocator applies direction-preserving radial contraction when a requested wrench lies outside the inner set.

核心变化：把创新重点放在 EMFF 椭球、局部谱和图下界，而非径向缩放本身。

贡献三

Sufficient prescribed-time arrival and finite-horizon maintenance conditions are obtained by comparing joint state-request profiles with configuration-dependent reachable-wrench authority. In contrast with existing prescribed-time EMFF position-control and saturated spacecraft-formation results, the conditions address multisatellite coupled pose regulation, AMFF allocation, task-domain geometry, post-arrival maintenance, and finite-carrier implementation in one framework.

核心变化：承认已有 prescribed-time EMFF，突出统一框架的增量。

六、最终评价

创新性

中上，约 7/10。

最值得保留的创新是：

1. $6N-3$ 可控子空间输出；
2. AMFF—反作用轮联合内可达广义力椭球；
3. 局部电磁 Gram 谱与连接图共同形成的控制权威下界；
4. 将该权威下界嵌入指定时间到达和保持条件。

其中第 2—4 点组合起来，具备一篇研究论文应有的实质内容。

正确性

理论结构总体可信，但数值“认证”尚不完整，约 6.5/10。

我没有在核心坐标变换、椭球分配公式、方向保持性质和载频重构脚本中发现明显代数错误。复现的载频数值也与论文一致。

但当前不能严格声称：

• 名义工况已经满足连续域到达证书；
• 所有动态执行机构限制都被定理保证；
• 已经完成全闭环有限载频验证；
• 径向椭球分配器本身属于全新的控制分配方法。

是否适合直接投稿

不建议以当前措辞直接提交 IJASS。

投稿前最少应完成：

1. 补充 2026 年直接的 prescribed-time EMFF 文献；
2. 补充椭球可达集和方向保持控制分配文献；
3. 将“径向分配器创新”收窄为“EMFF 专用可达集与图权威创新”；
4. 将 sampled verification 与 rigorous certification 明确分开；
5. 对 $\widehat\Xi_a=0.9562$ 给出区间包络或网格误差上界；
6. 收窄关于动态电压、轮动量和载频选频的表述。

完成这些修改后，论文的核心创新仍然成立，而且会比当前版本更可信、更容易通过审稿人的新颖性和严谨性检查。

查看上传的完整投稿包