专利名称：：机群链路双向异步通信信道的非相干测距/时间同步系统的制作方法
技术领域：
：本发明涉及一种机群链路双向异步通信信道的非相干测距/时间同步系统，属于航空数据链、无线电导航、飞行器自主
技术领域：
。
背景技术：
：目前，测距体制一般可归纳为两种体制传统的相干转发测距体制；双向同步信道非相干测距体制。第一种体制是测距终端向应答机发出测距信号，应答机接收到信号后通过变频转发环节(即相干转发)向测距终端转发测距信号，这种方式广泛应用于航天航空领域的测控应答机，仅仅测距终端能获得测距结果，且测距双方径向相对速度较大时多普勒频移效应通过转发过程倍增，且相干转发体制的信噪比不足。第二种体制是测距终端双方平等，存在双向同步通信链路，对等地向对方发出扩频通信/测距信号，测距双方能够同时获得本地伪距测量值并与对方共享，因此两测距终端能够同时在本地计算出测距结果。这种方式最早应用于同步卫星双向时间传递系统。实际应用中往往多数测距双方的信息传输带宽(符号速率)是不同的，即通信/测距双方的前向链路与返向链路为异步信道，因此这种测距体制不能应用于多数应用领域；这种测距体制对于测距双方要求都采用高精度频标；另外，测距终端存在相对运动时，测量时机不同步的情况会引起较大的测距误差。这三个问题目前一直没有得到很好地解决。
发明内容本发明的目的在于提供一种机群链路双向异步通信信道的非相干测距/时间同步系统。本发明提出了综合信道体制下的双向异步传输帧非相干扩频测距原理，采用基于CCSDSProximity-lversion-3传输帧，推导并构造出统一形式的机群链路双向异步传输帧非相干扩频测距算法结构，进行了深入的模型误差理论分析，给出了基线测量和时间同步测量控制的两种算法机间时间同步递推算法、多普勒积分补偿方法，并提供了计算残差分析。本发明一种机群链路双向异步通信信道的非相干测距/时间同步系统，可以在机群链路终端机的中频信号处理电路板上的数字信号处理器DSP和FPGA器件上实现整个系统结构和算法。本发明针对机群编队任务的自主性特点，构造了基于机群链路成员节点之间的双向异步通信链路，推导出对称式非相干测距体制、测量算法、实现结构和设计方法。本发明中的"双向异步通信信道"含义是机群编队内的两成员节点A、B之间存在全双工无线通信信道，且双方发送带宽(基带符号速率)可以不相同。机群编队任务中的主节点(主机)向网内成员(从机)发送信息的信道定义为前向信道、机群编队的网内成员(从机)向主节点(主机)发送信息的信道定义为返向信道，一般任务中返向信道符号速率大于前向信道，一般为整数倍率关系，即A发送码速率是B发送码速率的M倍，M取大于等于1的整数。本发明中的"对称式"含义是对于机群编队内任意两成员节点之间的距离测量，两本地终端在测量过程中地位、作用、结构原理和工作过程完全相同，均能通过非相干模式独立获得的本地伪距观测值和对方伪距观测值计算出二者相对距离。在机群链路的对称式非相干测距系统中，本地伪距观测值通过机群链路向测距对方广播共享。本发明中的"非相干"含义是机群编队内任意两成员节点相互独立地向对方发送结构相同的传输帧，基带符号速率为整数倍关系，节点本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束。—、机群链路的双向异步通信信道内实现透明测距与时间同步的原理首先界定本发明的运动体之间(机间)的测量要素任意时刻t的两运动体之间(机间)距离、速度、加速度、时间基准差(钟差)、频率基准差(频偏)，等等。一般称距离为基线，这里把空间、时间参数综合考虑，将传统的基线概念延拓到的运动体的空间_时间相对运动参数，包括了距离、钟差的各阶导数，将这些测量要素统称为广义基线。狭义相对论时空观认为在匀速运动坐标系中三维空间几何距离(欧几里德距离)和时间间隔的测量将遵循Lorenz变换(对非匀速运动坐标系则应采用广义相对论)，本发明限于讨论地球固联坐标系和UTC时间系统联合定义的运动参考系(也可推广至非UTC时间系统)。对于低速宏观运动退化为Galileo变换，但时空物理量测量所遵循的原则不变。航空器作为低速宏观运动质点，相对论效应影响甚微可以形式上忽略。这里根据狭义相对论时空观和空间运动体之间的空间运动和时间_频率参数理论，给出用于推导双向异步传输帧非相干测距方法的四个原则①选择地固系和UTC时间系统定义为运动参考系，机群节点之间的基线测量结果不受运动参考系的选择而不同②机群节点之间空间运动参数测量遵循狭义相对论时空观的惯性系中的几何距离测量的同时性原则；③机群节点之间的相对时间基准偏差(即钟差、同步误差)定义为同时采样机群节点本地钟的钟面时差值，遵循狭义相对论时空观的惯性系中的相对时间_频率参数测量的同时性原则；④两事件时间间隔测量遵循狭义相对论时空观的惯性系中时差测量同地性原则。本发明提出的综合链路体制利用机间全双工通信链路在单载波统一信道中实现异步数据交互和双向非相干测距、测速、钟差测量、频偏测量，这种机间通信/基线测量综合链路体制具有如下四个特点①机群节点之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，工作在异步全双工扩频模式，任意两机间通信/基线测量过程对其他节点透明；②机群节点相互独立地向对方发送结构相同的传输帧，本地基带数据发送码时钟、发射载波频率由本地频率综合器产生，不与对方相参，发送方与接收方之间无频率、相位关系约束；③机群节点相互独立地提取本地接收单元码跟踪环的历元计数器锁存值和本地时频基准标称值计算出历元形式(Epoch)的本地伪距，将其嵌入本地传输帧向对方发送；13④机群节点利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值和机群节点本地钟差，并实现时间同步调整。机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解耦。二、机群链路双向异步通信/测距综合信道的数据协议多数任务中机群编队组网的拓扑构形一般尺度不大(几十公里范围以内)，任意两成员节点最远距离一般在几十公里左右，因此机间通信链路可参考CCSDSProximity-l近程空间链路通信协议蓝皮书建议(CCSDS211.2-B-l、CCSDS211.1_B_3、CCSDS211.0-B-4)，参考Version-3的传输帧结构设计用于通信/基线测量综合体制的传输帧(图l)，包括24bit的帧同步码ASM(0xFAF320)、40bit的结构固定数据帧导头header、长度小于16344bit的数据域、32bit的CRC校验码。CCSDSProximity-l的Version-3传输帧支持异步/同步综合传输、等时/非等时综合传输、多路虚拟信道统计时分复用传输。数据域前部定义为勤务段，嵌入对应链路标识符、本地钟面时编码和本地伪距编码向对方发送。一般帧长固定，帧频为整数赫兹(一般在1Hz20Hz)。将本体制中的机间通信/基线测量综合链路设备称为异步通信/测距终端(Asynchro丽sCo匪nication&RangingUnit:ACRU)，假定机群编队网内的任意成员机群节点均配置了ACRU。以两颗机群节点A、B为研究对象，ACRU_A、ACRU_B各自独立地向对方发送CCSDSProximity-l版本-3传输帧，两终端之间的发射载波及发送码时钟均互不相参。机群节点A和机群节点B的ACRU_A、ACRU_B分别于本地传输帧同步码前沿(或者后沿)的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值。ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，通过算法计算出机间距离、同步误差(钟差)、两终端采样时间间隔，进行时间同步调整。三、机群链路双向异步通信信道的对称式非相干测距与时间同步方法描述机群链路双向异步通信信道的对称式非相干测距与时间同步方法描述如下①机群编队成员节点配置机间异步通信/测距终端(AsynchronousCommunication&RangingUnit:ACRU)，两机之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，任意两机间通信/基线测量过程对其他节点透明；②两机相互独立地向对方发送结构相同的CCSDSProximity-l版本_3传输帧，本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束；③两机分别于本地传输帧同步码前沿发送时刻提取本地接收单元码跟踪环路的历元计数值计算出历元形式(Epoch)的本地伪距，将其嵌入本地传输帧向对方发送；④机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解親；⑤两机各自独立地利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值。在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU—A、ACRU—B各自独立地于本地传输帧同步码前沿的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值。ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，计算出机间距离、两终端采样时间间隔。图2的参数定义①ACRU—A发送的传输帧同步码(0xFAF320);②ACRU—A本地伪距测量值；③ACRU_B接收的传输帧同步码；ACRU_B接收到的ACRU_A发出传输帧内的ACRU_A本地伪距测量值；⑤ACRU_B发送的传输帧同步码(0xFAF320);ACRU_B本地伪距测量值；⑦ACRU—A接收的传输帧同步码；⑧ACRU—A接收到的ACRU—B发出传输帧内的ACRU—B本地伪距测量值。图3的参数定义①PA(t》时刻ACRU—A帧头采样获得的本地伪距；③PB(t2):t2时刻ACRU_B帧头采样获得的本地伪距；③tAs:ACRU_A发送时延；tte:ACRU_B接收时延；tBs:ACRU_B发送时延；tAr:ACRU_A接收时延；⑦t(t》时刻电波在ACRU_A与ACRU_B的天线相位中心之间传输时延；⑧t(t2):t2时刻电波在ACRU_A与ACRU_B的天线相位中心之间传输时延；⑨At时刻ACRU_A与ACRU_B之间的钟差。三、机群链路双向异步通信信道的对称式非相干测距/时间同步算法1、双向异步信道非相干测距的空间_时间参数测量原理若把ACRU_B发出的传输帧看作码在机群节点A、机群节点B之间的一把电波尺，传输帧的历元就是电波尺刻度，能测量出机群节点某一瞬间几何距离(历元将作为测量读数)。与常规的静态条件下测量两物体之间距离的不同之处在于机群节点之间、机群节点和电波尺之间存在相互运动。此时，需要一个理想的"采样快门"来同时提取某一瞬间的电波尺码在ACRU_A和ACRU_B的刻度，计算出两颗机群节点在某一惯性参考系/UTC时间系统中这一瞬间的几何距离。定义某一惯性参考系及时间系统(如UTC时间)，令ACRU_A、ACRU_B各自采样时刻对应的为t2，定义两终端的采样时间间隔为At=t2-t1Q在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU—A、ACRU—B各自独立地提取当前时刻接收到的对方传输帧历元计数值和勤务段内的对方帧同步码前沿发送时刻，计算出采样时刻对应对方传输帧到达历元时(见图4)。图4的参数定义说明(1)^:ACRU_A的本地理想采样时刻(UTC时间)，单位ns(2)tA，d(t》4时刻被ACRU_A采样的本地传输帧发送历元时(帧同步码前沿)，单位ns;(3)tB:(t》^时刻被ACRU_A采样的ACRU_B传输帧到达历元时，单位ns;(4)t2:ACRU_B的本地理想采样时刻(UTC时间)，单位ns;(5)tBsmd(t2):t2时刻被ACRU_B采样的本地传输帧发送历元时(帧同步码前沿)，单位ns;(6)tA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元时，单位ns;15(7)i:采样时刻提取的传输帧信息位计数，取值范围是0M-l的整数；(8)j:采样时刻提取的传输帧扩频码相位计数(码片计数)，取值范围是0N-1的整数；(9)k:采样时刻提取的传输帧扩频码片相位计数，取值范围是02K_1的整数；(10)At:UTC时间系统下ACRU_A、ACRU_B的采样时间间隔，定义At=t厂^;(11)M、N、R:帧长(信息位数)、扩频码长(码片数)、接收通道码跟踪环路NCO计数器位数；(12)x、y、z、…代表不同虚拟信道(用传输帧导头内端口标识符区分)的传输帧计数(帧序号)。公式(1)定义了ACRU_A、ACRU—B的本地伪距PA(t》、PB(t2)(单位:ns):<formula>formulaseeoriginaldocumentpage16</formula>公式(1)中的tA—send(t》、tB—arrive(t》、tB—sendA)、tA——arrive(t2)由公式(2)计算:<formula>formulaseeoriginaldocumentpage16</formula>公式(2)中等式右方的各参数由ACRU_A、ACRU_B的本地测量获得并与对方共享，结合图1、图2的参数定义说明，给出公式(2)中的参数说明如下(1)iBmive(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元信息位计数；(2)jB(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码相位计数；(3)kBarrive(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码片相位计数；(4)tBASM—mive时刻ACRU—A接收到的当前ACRU—B传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_B本地钟面时；(5)tAASM—smd&时刻ACRU_A发出的本地传输帧同步码前沿采样的ACRU_A本地钟面时，即^时刻的ACRU_A本地钟面时；(6)iA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元信息位计数；(7)jA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码相位计数；(8)kA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码片相位计数；(9)tAASM—:t2时刻ACRU_B接收到的当前ACRU_A传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_A本地钟面时；(10)tBASM—smd:t2时刻ACRU_B发出的本地传输帧同步码前沿采样的ACRU_B本地钟面时，即t2时刻的ACRU_B本地钟面时；(11)frade:为ACRU_A、ACRU_B的扩频码时钟(由本地时频基准产生)频率标称值。异地非同时测量机群节点在给定惯性参考系/UTC时间系统中某一时刻的机间基线和钟差，需要建立几何距离、两终端本地钟差、采样时间间隔的关联公式，并对这三者进行解耦计算。下面给出双向异步传输帧非相干测距方法的算法构造及模型误差分析。2、对称式非相干测距/时间同步算法的构造和模型误差分析这里给出机间基线计算公式的推导。根据公式(1)进行恒等变换得*S柳d柳d(3)各项如下W2)='fi柳ii⑥]根据数字微波通信和无线电测距理论，经解析分析、推衍得公式(3)中"[…]"内尝)G鄉rf(6)一^4L,，(4)r(f2)+rj—sewWe/a>r+rs,力ve.血/w+/f,,、[/4(丄/^血]力一'—JcodeA力W"仏)+r乾,+〖键(5)(G)一G=11_4，公(ti)_tBsend(t》fA(0必=&+f"]力老f△t4t八ASM-send_tBASM-send:穆(7)必(6)式(3)公式(7)中的参数定义和解释说明如下①tBsmd(t》_tBaire(t》代表了在惯性参考系/UTC时间系统中ACRU_B发出的传输帧在^时刻同一瞬间位于ACRU_B的发送历元时和位于ACRU_A的到达历元时之差，即码在ACRU_B与ACRU_A两地的电波尺刻度差，它利用ACRU_B发出传输帧的历元值描述电波行17程的时间间隔，这一间隔包括时刻机群节点天线相位中心之间的空间传输时延t(tl)、ACRU—B发送信号内部时延、send—delay、ACRU—A接收信号内部时延ta—mive—delay，定义tba—delay丁B—send_delay+丁A—arrive-delay②tAsmd(t2)_tAaire(t2)代表了在惯性参考系/UTC时间系统中ACRU_A发出的传输帧在t2时刻同一瞬间位于ACRU_A的发送历元时和位于ACRU_B的到达历元时之差，即码在ACRU_A与ACRU_B两地的电波尺刻度差，它利用ACRU_A发出传输帧的历元值描述电波行程的时间间隔，这一间隔包括t2时刻机群节点天线相位中心之间的空间传输时延t(t2)、ACRU—A发送信号内部时延^—send—delay、ACRU—B接收信号内部时延tb—mive—delay，定义tdelay丁A—send_delay+丁B—arrive-delay③fA(t)、fB(t)为ACRU_A、ACRU_B的本地扩频码时钟频率的真值(由各自的本地频标产生)，f。^为本地扩频码时钟频率的标称值(名义值)，定义AfA(t)=fA(t)-fcode、AfB(t)=fB(t)-fc。de;tAsend(t》-tB』a》、tAsend(t2)_tBsend(t2)分别代表了在惯性参考系/UTC时间系统中在t2时刻同一瞬间ACRU_A传输帧和ACRU_B传输帧的发送历元时之差，即历元时表示的两本地钟的钟面时偏差(钟差，时间同步误差)，定义为At^(t》=tAsendsend(t》、△t旭(t2)=tA—send(t2)_tB—send(t2)，由于ACRU_A、ACRU_B的本地频标存在频差和钟漂，理论上At旭(t》^At旭(t2)，且t2-tjg卩At)越大二者相差越大，但能通过时间同步处理进行补偿和消除；⑤tBsmd(t2)-tB，d(t》代表了ACRU_B发出的传输帧在^时刻的发送历元时与t2的发送历元时之差，tAsmd(t2)_tA，d(t》代表了ACRU_A发出的传输帧在^时刻的发送历元时与t2的发送历元时之差，分别为ACRU_B、ACRU_A本地历元时表示的采样时间间隔At(UTC时间)；tAsmd(t》_tBsmd(t2)代表了^时刻被ACRU_A采样的本地发送帧历元时与t2时刻被ACRU_B采样的本地发送帧历元时之算术差(历元时表示)，参见公式(7)。将公式(4)公式(7)带入公式(3)，得到公式(8):""=維)+7一+J!甸一^^+〖，组V』4)=啦)++〖—陶，一，f—A2)co*(8)+、B—+f'(,)'，&-A卜f2，&-A,,s』)公式(3)(8)的推导过程遵循狭义相对论时空观定义的时空物理量测量原则，将电波在两地之间传播这一异地不同时的物理过程解耦为同时不同地和同地不同时的物理过程，满足在惯性系内两物体之间几何距离测量的同时性要求和两事件时间间隔测量的同地性要求。公式(8)给出了双向异步测距体制的ACRU_A、ACRU_B本地伪距公式，两终端分别将tA—，d(t》、pA(t》和tB—smd(t2)、pB(t2)编码后嵌入本地传输帧勤务段内对应位置向对方发送。两终端各自利用本地伪距、本地钟历元时和接收到对方的本地伪距、本地钟历元时，计算出机群节点在定义的惯性参考系/UTC时间系统中的几何距离、钟差、采样时间间隔，并实现时间同步。以、时刻的时空物理量求解为例推导计算公式(t2同理)，将公式(8)中两式相加、相减并变换得r("+r(/2)="(O+-[—+r一炒]+{二^頻K'l)"fl4一l2-["'2)"乾(/—义^刮/4S—d勿一^"a4d勿(9)刮2.A,=[A⑥-+-堆)]-28咖J"+[2"朋吻-^一]1f'壁刮一+设两颗机群节点之间相对速度为v(t)，根据刚体运动学理论，令Ar=0.5.[r("-r("]=0.5.〖利用公式(6)得:，--"("WfM^MU1人o血ycode定义delsy+B—delayA—delay)、delay-B—delay移，能够精确标定(一般标定后误差能够达到<0.Ins)。令=0.5.[卩壁A丄^，r('i)+Tft4—脚iy~code、=f2/，—"《」/s(0-乂*J,=J*2」i/,-卩刮刮(10)(11)A—delay)为组合零值漂(12)《AT,I=0.5.=0.5.〖，-,将公式(3.21)公式(3.24)带入公式(3.20)得:、i"、19=0.5.-pB(,2)-2AV鄉""+~鄉—〗+(Ar-、△Gs(0=0.5."("-++(At-+"r")=0.5."(0+W2)_r一+〗-(Az"-^b+。或另一种等价形式^=0.5.[A(g_pfl(O-2A/—d("+r——〗+(Af-^r")=0.5W)+-^勿+〗-(Az"-+《+)根据公式(10)公式(13)经推导得S义如|(A=maxJ~~^1,2c(14)(15)5^例，、《〃例O-max[])co必(16)同理)|《+|2//.r,K」S//.r("max[柳)公式(14)、公式(15)给出了^时刻机间基线、钟差、采样时间间隔的计算公式(t2三个等式右边第一项("0.5*[…]"内几项)作为算法输入量(各参数由测量、计算和地面标定获得)；第二项("(…)"内几项)代表理论不确定项(算法的模型误差)。不确定项的影响与四个物理量相关①本地频率基准的频率真值相对标称值的准确度/稳定度il;②两终端采样时间间隔At;③两颗机群节点在^到t2时间段内的相对运动速度"t);④机间几何距离ct(t)。结合公式(16)讨论如下:①机群成员机群节点一般采用超稳晶振或者原子频标，具备优于P《1E-11的频率准确度/稳定度(短稳、长稳)指标；②本体制遵循本地传输帧同步码前沿发出时刻与接收到对方传输帧同步码前沿时间间隔最近的原则实施两地伪距配对计算，这样采样时间间隔At最大不超过一个传输帧周期(机间通信帧频一般为120Hz，At《ls)，且能够被准确测量并通过时间同步调整后收敛到0;③由于机群编队构形调整时任意两成员飞机的相对速度将受到限制，一般|v(t)<lkm/s(编队构形保持时则相对速度更低甚至相对静止)，则A《1.7E-6;④机群用于动目标无源探测定位任务时，机群节点编队拓扑构形的尺度不会太大，成员机群节点一般分布在几十公里范围内，这里认为c't《300km，即t《0.001s，机间基线测量、钟差测量、采样时间间隔测量的算法模型误差跟机群节点的本地频标准确度/稳定度参数y和机间几何距离t(t)之积相关，yt《0.01ps@ii《1E-11&t《300km。结合公式(14)公式(16)能够看出，当采样时间间隔At二O时，其他因素引起的模型误差是《0.lps的微小量(相当于003mm的基线测量误差)。因此，要彻底消除动态条件下机间异步体制的基线测量方法模型误差，可以有两种方法①机间精密时间同步使得两机钟差(时间同步误差、采样时间差)小于一给定量，即|A11<e;②通过对At内的载波多普勒频率积分计算出At。下面分别展开两种方法的推3、基于时间同步递推算法的异步测距误差抑制方法及残差分析机群编队的动目标无源探测定位任务一般都需要实现机群组网时间同步，对于机群链路双向异步通信信道的非相干测距/时间同步系统，理论意义上的时间同步是满足At旭(t)=0ns、At=0ns的理想条件，此时任意两终端ACRU_A、ACRU_B的本地传输帧同步码前沿发出时刻(即本地采样时刻)理想重合且此时各自在本地采样的本地钟钟面时相同(即同时发出的本地传输帧勤务段嵌入的本地钟钟面时编码相同)。实际操作中不易达到理想条件(钟漂因素将导致过于频繁的同步调整动作)，因此不必遵循如此苛刻的要求。考虑到成员机群节点装备超稳晶振或原子频标，任意两颗机群节点的钟差随时间变化比较缓慢，相当长一段时间内(分钟)钟差变化小于lns，因此根据任务需求给定钟差阈值(如AtAB(t)《100ns、At《100ns)，超出阈值时(或者定期)实施机间时间同步处理调整使机间钟差回归到某一目标值(如AtAB(t)《lns、At《lns)。机间测距和时间同步调整采用交替过程实施计算和时间同步调整，即每步处理以帧周期为节拍，当前步利用本地传输帧同步码前沿采样发送帧和接收帧当前历元后，先根据公式(14)、公式(15)忽略算法的模型不确定项进行计算，再根据采样时间间隔和钟差的当前计算结果At(k)、AtAB(k)进行本次时间同步调整；到下一帧周期开始时再进行同样的下一步。利用公式(17)进行计算当前步的采样时间间隔、钟差、机间基线'△W)=0.5--2+r必。"]<A^(A:H0.5-[a(A:)—a("+^勿j(*=1,2,3.")(17)W=0.5.[#)+AjW—r]式(18)利用公式(17)的计算结果进行同步调整后，根据公式(15)可得同步调整残差公+1)=峰)-A7(A:)=(Ar-《A"+"A^+l)=A^)-A^)=(Ar-^+《一)("1，2，3…)(18),=-柳=-(Ar-+《+)从公式(18)看出本次时间同步调整后，公式(15)的不确定项(算法模型误差项)成为本次时间同步调整的残差，即At(k+l)、A^(k+1)，在下一帧周期中再次进行计算-同步调整过程中消除；St(k)为机间基线t(k)的计算残差。结合公式(16)、公式(18)得|峰+1)|S(义+//).|A,("|+M=,+'l礼s&+1)|^(义+a).+K-l=,.+K-l(/9=义+/a=1,2，3…)(19)J柳)ls(/I+"l竭l+H=/.+n由公式(19)第一式经过恒等变换得IAt(k+1)I_aIST-I《P(IAt(k)I_aIS21<formula>formulaseeoriginaldocumentpage22</formula>根据最优化算法理论，公式(21)给出的迭代算法是收敛因子为13(13<<1)的逼近算法，最终将收敛到a*|ST—1。根据公式(21)、公式(19)、公式(16)可知经几次计算_时间同步调整的迭代过程后两终端ACRU_A、ACRU_B的采样时间间隔At(k)的计算残差(测量误差、时间同步误差)将迅速收敛到aIST—I:同时，钟差At^(k)的理论测量误差将收敛到13(aIST—1)+|ST—|、机间基线t(k)的理论测量误差St(k)将收敛到|3(aIST—1)+|ST+|。显然，At(k)、At旭(k)、St(k)的理论测量误差为同一量级(均<aiit)，前已讨论此残差为极微小量可以忽略(<0.lps)。根据公式(21)分析收敛性能设进行时间同步调整之前的初始值为At(i)(本地第i帧测量点)，则时间同步调整k次后At(i+k)(本地第i+k帧测量点)为IIAt(i+k)I-aIST—II《pk<formula>formulaseeoriginaldocumentpage22</formula>若初始值lAt(i)l=60s，a|ST—|<0.lps，P=1.7E_6，则迭代计算-时间同步调整k=2次后IIAt(i+2)I-0.lpsI《173.4ps;k=3次后|At(i+3)|-0.lps《2.9578X10—4ps"Ops(残差小于收敛点一个量级以上就可以认为已收敛到目标值)，可见收敛速度极快。4、基于多普勒积分补偿算法的异步测距误差抑制方法及残差分析利用接收通道的载波跟踪环路的载波NCO连续估计载波多普勒频率，利用多普勒频率计算公式(23)公式(23)中fD(t)为载波多普勒频率、fc为载波频率、v(t)为机间相对运动速度，带入公式(11)得<formula>formulaseeoriginaldocumentpage22</formula>公式(24)给出了利用对^到t2时间段(即采样时间差At)的载波多普勒积分:的公式。公式(14)改写为:=0.5.[/^(,,)-a(/2)-2(/2)+_+-(I对公式(14)的At依据下式进行迭代计算<formula>formulaseeoriginaldocumentpage22</formula><formula>formulaseeoriginaldocumentpage23</formula>令A,'(O"O，则A印)-O，Af(l)=0.5'[/^(1)—p8(l)-2.A^w(l)+r必。"]，依次递推。由公式(25)、公式(26)推导得1^-A/(it-l)，<formula>formulaseeoriginaldocumentpage23</formula>定义SUp(j^^+l+l《」)-f,由公式(15)可知e《ii(t+|A11)，利用公式(15)和公式(27)推导出:<formula>formulaseeoriginaldocumentpage23</formula>由于公式(16)定义的A《1.7E-6，是一微小量，公式(30)经几次迭代后即收敛到0。因此，如果不实施机间时间同步，由于采样时间间隔At和频率基准偏差的存在，Af(矢)、Af(/t)的迭代计算残差必f(A:)、必"A)(与真值的偏差)分别收敛到eAt、eAT，均小于P(t+|Atl)，是一微小量。这种方法能在高动态条件下不进行时间同步时而获得高精度的基线测量结果，但要求采样时间间隔At不能太大，否则频率基准的偏差因素会占主导地位，因此适用于每次时间同步调整后到达同步调整阈值之前的同步间隔期内计算。本发明一种机群链路双向异步通信信道的非相干测距/时间同步系统，其优先在于①本发明提供的机群链路多节点之间的测距与时间同步系统，较之相干转发测距体制、双向同步测距体制等现有测距体制，自主性和隐蔽性更强、抗损毁性更强、集成度与效率更高、精度更高。②本发明在全双工异步通信信道内实现测距与时间同步，通信、测距功能综合在同一信道内共用终端的信号处理单元，在机群链路终端机的中频信号处理电路板上的DSP和FPGA器件上实现整个系统结构和算法，功能集成度高。③本发明的方法中，机群编队内的两成员节点A、B之间存在全双工无线通信信道，且双方发送带宽可以不相同，更加适应机群编队成员节点间的异步数据交互任务，灵活性更强。④本发明的方法中，在机群链路的对称式非相干测距系统中，本地伪距观测值通过机群链路向测距对方广播共享。对于机群编队内任意两成员节点之间的距离测量，两本地终端在测量过程中地位、作用、结构原理和工作过程完全相同，均能通过非相干模式独立获得的本地伪距观测值和对方伪距观测值计算出二者相对距离。因此较之相干转发测距体制，本发明的方法信噪比更高、抗干扰能力更强、能够支持单向测距、可靠性更高。⑤本发明的方法中，机群编队内任意两成员节点相互独立地向对方发送结构相同的传输帧，基带符号速率为整数倍关系，节点本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束。较之相干转发测距体制，本发明的方法信噪比更高、抗干扰能力更强、终端能够支持单向测距、可靠性更高。⑥本发明为机群编队提供了一种无需外界信息辅助，能够实现机群编队的高精度时间同步的方法，并能够为惯性导航系统提供阻尼其发散的机群编队节点之间测距信息，无需任何外界信息辅助(如GPS)，且不依赖外部接入链路参与，具有更强的自主性、独立性和隐蔽性。图1所示为本发明Proximity-l链路协议定义的Version-3传输帧结构图2所示为本发明ACRU_A、ACRU_B之间的传输帧格式与时序关系图3所示为本发明异步传输帧非相干测距、测钟差的原理及时序关系图4所示为本发明ACRU_A、ACRU_B之间异步测距原理及时序关系具体实施例方式—种机群链路双向异步通信信道的非相干测距/时间同步系统，可以在机群链路终端机的中频信号处理电路板上的数字信号处理器DSP和FPGA器件上实现整个系统结构和算法。本发明针对机群编队任务的自主性特点，构造了基于机群链路成员节点之间的双向异步通信链路，推导出对称式非相干测距体制、测量算法、实现结构和设计方法。本发明中的"双向异步通信信道"含义是机群编队内的两成员节点A、B之间存在全双工无线通信信道，且双方发送带宽(基带符号速率)可以不相同。机群编队任务中的主节点(主机)向网内成员(从机)发送信息的信道定义为前向信道、机群编队的网内成员(从机)向主节点(主机)发送信息的信道定义为返向信道，一般任务中返向信道符号速率大于前向信道，一般为整数倍率关系，即A发送码速率是B发送码速率的M倍，M取大于等于1的整数。本发明中的"对称式"含义是对于机群编队内任意两成员节点之间的距离测量，两本地终端在测量过程中地位、作用、结构原理和工作过程完全相同，均能通过非相干模式独立获得的本地伪距观测值和对方伪距观测值计算出二者相对距离。在机群链路的对称式非相干测距系统中，本地伪距观测值通过机群链路向测距对方广播共享。24本发明中的"非相干"含义是机群编队内任意两成员节点相互独立地向对方发送结构相同的传输帧，基带符号速率为整数倍关系，节点本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束。一、机群链路的双向异步通信信道内实现透明测距与时间同步的原理首先界定本发明的运动体之间(机间)的测量要素任意时刻t的两运动体之间(机间)距离、速度、加速度、时间基准差(钟差)、频率基准差(频偏)，等等。一般称距离为基线，这里把空间、时间参数综合考虑，将传统的基线概念延拓到的运动体的空间_时间相对运动参数，包括了距离、钟差的各阶导数，将这些测量要素统称为广义基线。狭义相对论时空观认为在匀速运动坐标系中三维空间几何距离(欧几里德距离)和时间间隔的测量将遵循Lorenz变换(对非匀速运动坐标系则应采用广义相对论)，本发明限于讨论地球固联坐标系和UTC时间系统联合定义的运动参考系(也可推广至非UTC时间系统)。对于低速宏观运动退化为Galileo变换，但时空物理量测量所遵循的原则不变。航空器作为低速宏观运动质点，相对论效应影响甚微可以形式上忽略。这里根据狭义相对论时空观和空间运动体之间的空间运动和时间_频率参数理论，给出用于推导双向异步传输帧非相干测距方法的四个原则①选择地固系和UTC时间系统定义为运动参考系，机群节点之间的基线测量结果不受运动参考系的选择而不同；②机群节点之间空间运动参数测量遵循狭义相对论时空观的惯性系中的几何距离测量的同时性原则；③机群节点之间的相对时间基准偏差(即钟差、同步误差)定义为同时采样机群节点本地钟的钟面时差值，遵循狭义相对论时空观的惯性系中的相对时间_频率参数测量的同时性原则；④两事件时间间隔测量遵循狭义相对论时空观的惯性系中时差测量同地性原则。本发明提出的综合链路体制利用机间全双工通信链路在单载波统一信道中实现异步数据交互和双向非相干测距、测速、钟差测量、频偏测量，这种机间通信/基线测量综合链路体制具有如下四个特点①机群节点之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，工作在异步全双工扩频模式，任意两机间通信/基线测量过程对其他节点透明；②机群节点相互独立地向对方发送结构相同的传输帧，本地基带数据发送码时钟、发射载波频率由本地频率综合器产生，不与对方相参，发送方与接收方之间无频率、相位关系约束；③机群节点相互独立地提取本地接收单元码跟踪环的历元计数器锁存值和本地时频基准标称值计算出历元形式(Epoch)的本地伪距，将其嵌入本地传输帧向对方发送；④机群节点利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值和机群节点本地钟差，并实现时间同步调整。机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解耦。二、机群链路双向异步通信/测距综合信道的数据协议25多数任务中机群编队组网的拓扑构形一般尺度不大(几十公里范围以内)，任意两成员节点最远距离一般在几十公里左右，因此机间通信链路可参考CCSDSProximity-l近程空间链路通信协议蓝皮书建议(CCSDS211.2-B-l、CCSDS211.1_B_3、CCSDS211.0-B-4)，参考Version-3的传输帧结构设计用于通信/基线测量综合体制的传输帧(图l)，包括24bit的帧同步码ASM(0xFAF320)、40bit的结构固定数据帧导头header、长度小于16344bit的数据域、32bit的CRC校验码。CCSDSProximity-l的Version-3传输帧支持异步/同步综合传输、等时/非等时综合传输、多路虚拟信道统计时分复用传输。数据域前部定义为勤务段，嵌入对应链路标识符、本地钟面时编码和本地伪距编码向对方发送。一般帧长固定，帧频为整数赫兹(一般在1Hz20Hz)。将本体制中的机间通信/基线测量综合链路设备称为异步通信/测距终端(Asynchro丽sCo匪nication&RangingUnit:ACRU)，假定机群编队网内的任意成员机群节点均配置了ACRU。以两颗机群节点A、B为研究对象，ACRU_A、ACRU_B各自独立地向对方发送CCSDSProximity-l版本-3传输帧，两终端之间的发射载波及发送码时钟均互不相参。机群节点A和机群节点B的ACRU_A、ACRU_B分别于本地传输帧同步码前沿(或者后沿)的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值。ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，通过算法计算出机间距离、同步误差(钟差)、两终端采样时间间隔，进行时间同步调整。三、机群链路双向异步通信信道的对称式非相干测距与时间同步方法描述机群链路双向异步通信信道的对称式非相干测距与时间同步方法描述如下①机群编队成员节点配置机间异步通信/测距终端(AsynchronousCommunication&RangingUnit:ACRU)，两机之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，任意两机间通信/基线测量过程对其他节点透明；②两机相互独立地向对方发送结构相同的CCSDSProximity-l版本-3传输帧，本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束；③两机分别于本地传输帧同步码前沿发送时刻提取本地接收单元码跟踪环路的历元计数值计算出历元形式(Epoch)的本地伪距，将其嵌入本地传输帧向对方发送；④机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解親；⑤两机各自独立地利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值。在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU—A、ACRU—B各自独立地于本地传输帧同步码前沿的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值。ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，计算出机间距离、两终端采样时间间隔。图2的参数定义①ACRU—A发送的传输帧同步码(0xFAF320);②ACRU—A本地伪距测量值；③ACRU_B接收的传输帧同步码；ACRU_B接收到的ACRU_A发出传输帧内的ACRU_A本地伪距测量值；⑤ACRU_B发送的传输帧同步码(0xFAF320);ACRU_B本地伪距测量值；⑦ACRU—A接收的传输帧同步码；⑧ACRU—A接收到的ACRU—B发出传输帧内的ACRU—B本地伪距测量值。图3的参数定义①PA(t》^时刻ACRU—A帧头采样获得的本地伪距；②PB(t2):t2时刻ACRU_B帧头采样获得的本地伪距；③tAs:ACRU_A发送时延；tte:ACRU_B接收时延；tBs:ACRU_B发送时延；tAr:ACRU_A接收时延；⑦t(t》时刻电波在ACRU_A与ACRU_B的天线相位中心之间传输时延；⑧t(t2):t2时刻电波在ACRU_A与ACRU_B的天线相位中心之间传输时延；⑨At时刻ACRU_A与ACRU_B之间的钟差。三、机群链路双向异步通信信道的对称式非相干测距/时间同步算法1、双向异步信道非相干测距的空间_时间参数测量原理若把ACRU_B发出的传输帧看作码在机群节点A、机群节点B之间的一把电波尺，传输帧的历元就是电波尺刻度，能测量出机群节点某一瞬间几何距离(历元将作为测量读数)。与常规的静态条件下测量两物体之间距离的不同之处在于机群节点之间、机群节点和电波尺之间存在相互运动。此时，需要一个理想的"采样快门"来同时提取某一瞬间的电波尺码在ACRU_A和ACRU_B的刻度，计算出两颗机群节点在某一惯性参考系/UTC时间系统中这一瞬间的几何距离。定义某一惯性参考系及时间系统(如UTC时间)，令ACRU_A、ACRU_B各自采样时刻对应的为t2，定义两终端的采样时间间隔为At=t2-t1Q在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU—A、ACRU—B各自独立地提取当前时刻接收到的对方传输帧历元计数值和勤务段内的对方帧同步码前沿发送时刻，计算出采样时刻对应对方传输帧到达历元时(见图4)。图4的参数定义说明(1)^:ACRU_A的本地理想采样时刻(UTC时间)，单位ns;(2)tA，d(t》时刻被ACRU_A采样的本地传输帧发送历元时(帧同步码前沿)，单位ns;(3)tB，k(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元时，单位ns;[O1(4)t2:ACRU_B的本地理想采样时刻(UTC时间)，单位ns;(5)tBsmd(t2):t2时刻被ACRU_B采样的本地传输帧发送历元时(帧同步码前沿)，单位ns;(6)tAmire(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元时，单位ns;(7)i:采样时刻提取的传输帧信息位计数，取值范围是0M-l的整数；(8)j:采样时刻提取的传输帧扩频码相位计数(码片计数)，取值范围是0N-1的整数；(9)k:采样时刻提取的传输帧扩频码片相位计数，取值范围是02K_1的整数；(10)At:UTC时间系统下ACRU_A、ACRU_B的采样时间间隔，定义At=t厂^;27(11)M、N、R:帧长(信息位数)、扩频码长(码片数)、接收通道码跟踪环路NC0计数器位数；(12)x、y、z、…代表不同虚拟信道(用传输帧导头内端口标识符区分)的传输帧计数(帧序号)。公式(1)定义了ACRU_A、ACRU—B的本地伪距PA(t》、PB(t2)(单位:ns):j——(1)公式(1)中的tAsend(t》、tBarrive(t》、tB—sendA)、tA——arrive(t2)由公式(2)计算:fft1)=f(JW2]《。dte(2)fj8柳rfJ一GXSV/-柳d公式(2)中等式右方的各参数由ACRU_A、ACRU_B的本地测量获得并与对方共享，结合图1、图2的参数定义说明，给出公式(2)中的参数说明如下(1)iB(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元信息位计数；(2)jB，k(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码相位计数；(3)kB(t》4时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码片相位计数；(4)tBASM—mive时刻ACRU—A接收到的当前ACRU—B传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_B本地钟面时；(5)tAASM—smd&时刻ACRU_A发出的本地传输帧同步码前沿采样的ACRU_A本地钟面时，即^时刻的ACRU_A本地钟面时；(6)iA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元信息位计数；(7)jAmire(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码相位计数；(8)kA(t2):t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码片相位计数；(9)tAASM—mive:t2时刻ACRU_B接收到的当前ACRU_A传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_A本地钟面时；(10)tBASM—smd:t2时刻ACRU_B发出的本地传输帧同步码前沿采样的ACRU_B本地钟面时，即t2时刻的ACRU_B本地钟面时；(11)f。。de:为ACRU_A、ACRU_B的扩频码时钟(由本地时频基准产生)频率标称值。异地非同时测量机群节点在给定惯性参考系/UTC时间系统中某一时刻的机间基线和钟差，需要建立几何距离、两终端本地钟差、采样时间间隔的关联公式，并对这三者进行解耦计算。下面给出双向异步传输帧非相干测距方法的算法构造及模型误差分析。2、对称式非相干测距/时间同步算法的构造和模型误差分析这里给出机间基线计算公式的推导。根据公式(1)进行恒等变换得28柳dgwve《1)=[v鄉d(6)-v節》e(a)]+鄉rf2)-v鄉d(o]+&(鄉d")-,a鄉rf(y2)]_《S柳dM釘"e'5柳d*Z柳rf*万柳(/(。]根据数字微波通信和无线电测距理论，经解析分析、推衍得公式(3)中"[…]各项如下1(3)内卞鄉rf(0-(0('i)+rs-柳rf^i，+r一,n'vW炒1^/"'o血y乂(w(4)——<2~1rf2片&—柳(/.0^+2^_咖'冊-*/外_1尝)义0，—义code6柳d(a)-g—(6)=)(5)■yew/、*2i4公式(3)1(ti)_tB—send(t2)△t4(t)t八—ASM-send_tB—ASM-send'頻(7)(6)K式(7)中的参数定义和解释说明如下①tB，d(t》-^,^(t》代表了在惯性参考系/UTC时间系统中ACRU_B发出的传输帧在^时刻同一瞬间位于ACRU—B的发送历元时和位于ACRLLA的到达历元时之差，即码在ACRU_B与ACRU—A两地的电波尺刻度差，它利用ACRU_B发出传输帧的历元值描述电波行程的时间间隔，这一间隔包括4时刻机群节点天线相位中心之间的空间传输时延t(tl)、ACRU—B发送信号内部时延tbsend—delay、ACRU一A接收信号内部时延tamive—delay，定义tbadelay丁B—send_delay+丁A_arrive_delay，②tAsmd(t2)代表了在惯性参考系/UTC时间系统中ACRU_A发出的传输帧在t。时刻同一瞬间位于ACRU_A的发送历元时和位于ACR^B的到达历元时之差，即码在ACRU_A与ACRU_B两地的电波尺刻度差，它利用ACRU_A发出传输帧的历元值描述电波行程的时间间隔，这一间隔包括t2时刻机群节点天线相位中心之间的空间传输时延t(t2)、ACRU—A发送信号内部时延^—send—delay、ACRU—B接收信号内部时延tb—mive—delay，定义tdelay丁A—send_delay+丁B—arrive-delay③fA(t)、fB(t)为ACRU_A、ACRU_B的本地扩频码时钟频率的真值(由各自的本地频标产生)，f。^为本地扩频码时钟频率的标称值(名义值)，定义AfA(t)=fA(t)-fcode、AfB(t)=fB(t)-fc。de;tAsend(t》-tB』a》、tAsend(t2)_tBsend(t2)分别代表了在惯性参考系/UTC时间系统中在t2时刻同一瞬间ACRU_A传输帧和ACRU_B传输帧的发送历元时之差，即历元时表示的两本地钟的钟面时偏差(钟差，时间同步误差)，定义为At^(t》=tAsendsend(t》、△t旭(t2)=tA—send(t2)_tB—send(t2)，由于ACRU_A、ACRU_B的本地频标存在频差和钟漂，理论上At旭(t》^At旭(t2)，且t2-tjg卩At)越大二者相差越大，但能通过时间同步处理进行补偿和消除；⑤tBsmd(t2)-tB，d(t》代表了ACRU_B发出的传输帧在^时刻的发送历元时与t2的发送历元时之差，tAsmd(t2)_tA，d(t》代表了ACRU_A发出的传输帧在^时刻的发送历元时与t2的发送历元时之差，分别为ACRU_B、ACRU_A本地历元时表示的采样时间间隔At(UTC时间)；tAsmd(t》_tBsmd(t2)代表了^时刻被ACRU_A采样的本地发送帧历元时与t2时刻被ACRU_B采样的本地发送帧历元时之算术差(历元时表示)，参见公式(7)。将公式(4)公式(7)带入公式(3)，得到公式(8):<formula>formulaseeoriginaldocumentpage30</formula>公式(3)(8)的推导过程遵循狭义相对论时空观定义的时空物理量测量原则，将电波在两地之间传播这一异地不同时的物理过程解耦为同时不同地和同地不同时的物理过程，满足在惯性系内两物体之间几何距离测量的同时性要求和两事件时间间隔测量的同地性要求。公式(8)给出了双向异步测距体制的ACRU_A、ACRU_B本地伪距公式，两终端分别将、—，d(t》、PA(t》和ksmd(t2)、PB(t2)编码后嵌入本地传输帧勤务段内对应位置向对方发送。两终端各自利用本地伪距、本地钟历元时和接收到对方的本地伪距、本地钟历元时，计算出机群节点在定义的惯性参考系/UTC时间系统中的几何距离、钟差、采样时间间隔，并实现时间同步。以^时刻的时空物理量求解为例推导计算公式(^同理)，将公式(8)中两式相加、相减并变换得雄)+=++w一]+f,"0f—,"0-[L卩必〗-,code-z/code力-f'皿刮+设两颗机群节点之间相对速度为v(t)，根据刚体运动学理论，令c利用公式(6)得:Ar=0.5.[z"("-r")]=0.5.f2^//(10)Jco必owfe定义》delay十—\""AB—delay'""BA—delay/、11delay-\AB—delay移，能够精确标定(一般标定后误差能够达到<0.Ins)。令壁W壁=0.5.[f'&=0.5.[f'壁力-f刮刮(11)—delay)为组合零值漂(12)/code~=0.5.f2A^)-A^)^=0.5.f/^)—'乂co血7code将公式(3.21)公式(3.24)带入公式(3.20)得:=0.5'"(O-跳)-2.AV』)++(Ar-+"-△^(/1)=0.5.[P"O-/fl"2)+r—一]+(A"^—+t)(14)或另一种等价形式、.V*-its5J&1<formula>formulaseeoriginaldocumentpage32</formula>根据公式(10)公式(13)经推导得(15)<formula>formulaseeoriginaldocumentpage32</formula>公式(14)、公式(15)给出了^时刻机间基线、钟差、采样时间间隔的计算公式(t2同理)。三个等式右边第一项("0.5*[…]"内几项)作为算法输入量(各参数由测量、计算和地面标定获得)；第二项("(…)"内几项)代表理论不确定项(算法的模型误差)。不确定项的影响与四个物理量相关①本地频率基准的频率真值相对标称值的准确度/稳定度il;②两终端采样时间间隔At;③两颗机群节点在^到t2时间段内的相对运动速度"t);④机间几何距离ct(t)。结合公式(16)讨论如下:①机群成员机群节点一般采用超稳晶振或者原子频标，具备优于P《1E-11的频率准确度/稳定度(短稳、长稳)指标；②本体制遵循本地传输帧同步码前沿发出时刻与接收到对方传输帧同步码前沿时间间隔最近的原则实施两地伪距配对计算，这样采样时间间隔At最大不超过一个传输帧周期(机间通信帧频一般为120Hz，At《ls)，且能够被准确测量并通过时间同步调整后收敛到0;③由于机群编队构形调整时任意两成员飞机的相对速度将受到限制，一般lv(t)<lkm/s(编队构形保持时则相对速度更低甚至相对静止)，则A《17E-6;④机群用于动目标无源探测定位任务时，机群节点编队拓扑构形的尺度不会太大，成员机群节点一般分布在几十公里范围内，这里认为c't《300km，即t《0.001s，机间基线测量、钟差测量、采样时间间隔测量的算法模型误差跟机群节点的本地频标准确度/稳定度参数y和机间几何距离t(t)之积相关，yt《0.01ps@ii《1E-11&t《300km。结合公式(14)公式(16)能够看出，当采样时间间隔At二O时，其他因素引起的模型误差是《0.lps的微小量(相当于0.03mm的基线测量误差)。因此，要彻底消除动态条件下机间异步体制的基线测量方法模型误差，可以有两种方法①机间精密时间同步使得两机钟差(时间同步误差、采样时间差)小于一给定量，即|A11<e;②通过对At内的载波多普勒频率积分计算出At。下面分别展开两种方法的推3、基于时间同步递推算法的异步测距误差抑制方法及残差分析机群编队的动目标无源探测定位任务一般都需要实现机群组网时间同步，对于机群链路双向异步通信信道的非相干测距/时间同步系统，理论意义上的时间同步是满足At旭(t)=0ns、At=Ons的理想条件，此时任意两终端ACRU_A、ACRU_B的本地传输帧同步码前沿发出时刻(即本地采样时刻)理想重合且此时各自在本地采样的本地钟钟面时相同(即同时发出的本地传输帧勤务段嵌入的本地钟钟面时编码相同)。实际操作中不易达到理想条件(钟漂因素将导致过于频繁的同步调整动作)，因此不必遵循如此苛刻的要求。考虑到成员机群节点装备超稳晶振或原子频标，任意两颗机群节点的钟差随时间变化比较缓慢，相当长一段时间内(分钟)钟差变化小于lns，因此根据任务需求给定钟差阈值(如AtAB(t)《100ns、At《100ns)，超出阈值时(或者定期)实施机间时间同步处理调整使机间钟差回归到某一目标值(如AtAB(t)《lns、At《Ins)。机间测距和时间同步调整采用交替过程实施计算和时间同步调整，即每步处理以帧周期为节拍，当前步利用本地传输帧同步码前沿采样发送帧和接收帧当前历元后，先根据公式(14)、公式(15)忽略算法的模型不确定项进行计算，再根据采样时间间隔和钟差的当前计算结果At(k)、AtAB(k)进行本次时间同步调整；到下一帧周期开始时再进行同样的下一步。利用公式(17)进行计算当前步的采样时间间隔、钟差、机间基线—A7(A:)=0.5.-/V(A;)-2.AV"("+'A^("-0.5.[/^("—^(A:)+r必。r]&=1，2，3...)(17)W=0.5.[P#)+PsW—W]式(18)利用公式(17)的计算结果进行同步调整后，根据公式(15)可得同步调整残差公(fc=l，2，3...)(18)A,(A:+1)=歸)-A7(;t)=(Ar-+"A/朋0+1)=AQ(A:)-A7朋("-(Az"—+《_)歸)=顺-？W=-(Ar-^+O从公式(18)看出本次时间同步调整后，公式(15)的不确定项(算法模型误差项)成为本次时间同步调整的残差，即At(k+l)、A^(k+1)，在下一帧周期中再次进行计算-同步调整过程中消除；St(k)为机间基线t(k)的计算残差。结合公式(16)、公式(18)得]A,(A:+1)|S(义+//).|A/(yt)|+|《一卜^.++1)|^(义+//)+=,+K—I(/9=;i+#=1,2,3...)(19),|.lA剩+|《+卜/.|赠|+K+|由公式(19)第一式经过恒等变换得At(k+1)I-aIST—I《p1(IAt(k)T—I)("=-,A:=1，2，3...)(20)1-,刻A賜I》".H(VA:=1，2，3，…)，则有:33T—ll("=At(k+1)《13At(k)1巧,A=1,2，3.)(21)根据最优化算法理论，公式(21)给出的迭代算法是收敛因子为13(13<<1)的逼近算法，最终将收敛到a*|ST—1。根据公式(21)、公式(19)、公式(16)可知经几次计算_时间同步调整的迭代过程后两终端ACRU_A、ACRU_B的采样时间间隔At(k)的计算残差(测量误差、时间同步误差)将迅速收敛到aIST—I;同时，钟差At^(k)的理论测量)+|ST—|、机间基线t(k)的理论测量误差St(k)将收敛S误差将收敛到P(a到|3(aIST—1)+|ST+|。显然，At(k)、At旭(k)、St(k)的理论测量误差为同一级(均<aiit)，前已讨论此残差为极微小量可以忽略(<0.lps)。根据公式(21)分析收敛性能设进行时间同步调整之前的初始值为At(i)(本第i帧测量点)，则时间同步调整k次后At(i+k)(本地第i+k帧测量点)为IIAt(i十k)卜a|ST—||《pk||At(i)卜a|ST—(=^~，)fc=l，2,3...)(22)l-^'若初始值IAt(i)I=60s，aIST—I<0.lps，P=1.7E-6，则迭代计算-时间同步调整k=2次后IIAt(i+2)I-0.lpsI《173.4ps:k=3次后|At(i+3)|-0.lps《2.9578X10—4ps"Ops(残差小于收敛点一个量级以上就可以认为已收敛到目标值)，可见收敛速度极快。4、基于多普勒积分补偿算法的异步测距误差抑制方法及残差分析利用接收通道的载波跟踪环路的载波NCO连续估计载波多普勒频率，利用多普勒频率计算公式(23)公式(23)中f。(t)为载波多普勒频率、fc为载波频率、v(t)为机间相对运动速度，带入公式(11)得计算△=0.5.f^=+.〖=&/，公式(24)给出了利用对^到t2时间段(即采样时间差At)的载波多普勒积分:的公式。公式(14)改写为:Af=0.5[a("-Ps2)-2A^—2)+、-+Az"]-(、aAQ(^^0.5.[y^(O-A(,2)+r必个+(I，)=0.5.[;^)+;^2)-、+-A"+(、-对公式(14)的At依据下式进行迭代计算11(24)(25)A柳=12/c(*=1,2，3...)(26)Af(A:)=0.5[/^-ps-2A(A)+一+A雄)34令Af(0)K)，则A印)i，A"l)-0.5.[/^(1)-Ps(l)-2.A^—(l)+r必。"〗，依次递推。由公式(25)、公式(26)推导得<formula>formulaseeoriginaldocumentpage35</formula>'l必""-l"".l必印)卜^卜".|A/::必f—卜义*.l必f(o)|_^卜乂.ia寸(6-1，2，3…)(30)由于公式(16)定义的A《1.7E-6，是一微小量，公式(30)经几次迭代后即收敛到0。因此，如果不实施机间时间同步，由于采样时间间隔At和频率基准偏差的存在，Af("、Af(fc)的迭代计算残差必f("、5Af(A)(与真值的偏差)分别收敛到eAt、eAT，均小于P(t+lAtl)，是一微小量。这种方法能在高动态条件下不进行时间同步时而获得高精度的基线测量结果，但要求采样时间间隔At不能太大，否则频率基准的偏差因素会占主导地位，因此适用于每次时间同步调整后到达同步调整阈值之前的同步间隔期内计算。3权利要求一种机群链路双向异步通信信道的非相干测距/时间同步系统，是在机群链路终端机的中频信号处理电路板上的数字信号处理器DSP和FPGA器件上实现整个系统结构和方法；针对机群编队任务的自主性特点，构造了基于机群链路成员节点之间的双向异步通信链路，推导出对称式非相干测距体制、测量算法、实现结构和设计方法；其中“双向异步通信信道”含义是机群编队内的两成员节点A、B之间存在全双工无线通信信道，且双方发送带宽(基带符号速率)可以不相同；机群编队任务中的主节点(主机)向网内成员(从机)发送信息的信道定义为前向信道、机群编队的网内成员(从机)向主节点(主机)发送信息的信道定义为返向信道，一般任务中返向信道符号速率大于前向信道，一般为整数倍率关系，即A发送码速率是B发送码速率的M倍，M取大于等于1的整数；其中“对称式”含义是对于机群编队内任意两成员节点之间的距离测量，两本地终端在测量过程中地位、作用、结构原理和工作过程完全相同，均能通过非相干模式独立获得的本地伪距观测值和对方伪距观测值计算出二者相对距离；在机群链路的对称式非相干测距系统中，本地伪距观测值通过机群链路向测距对方广播共享；其中“非相干”含义是机群编队内任意两成员节点相互独立地向对方发送结构相同的传输帧，基带符号速率为整数倍关系，节点本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束；特征在于一、机群链路的双向异步通信信道内实现透明测距与时间同步的原理首先界定本发明的运动体之间即机间的测量要素任意时刻t的两运动体之间距离、速度、加速度、时间基准差即钟差、频率基准差即；一般称距离为基线，这里把空间、时间参数综合考虑，将传统的基线概念延拓到的运动体的空间-时间相对运动参数，包括了距离、钟差的各阶导数，将这些测量要素统称为广义基线；这里根据狭义相对论时空观和空间运动体之间的空间运动和时间-频率参数理论，给出用于推导双向异步传输帧非相干测距方法的四个原则①选择地固系和UTC时间系统定义为运动参考系，机群节点之间的基线测量结果不受运动参考系的选择而不同；②机群节点之间空间运动参数测量遵循狭义相对论时空观的惯性系中的几何距离测量的同时性原则；③机群节点之间的相对时间基准偏差，即钟差、同步误差，定义为同时采样机群节点本地钟的钟面时差值，遵循狭义相对论时空观的惯性系中的相对时间-频率参数测量的同时性原则；④两事件时间间隔测量遵循狭义相对论时空观的惯性系中时差测量同地性原则；综合链路体制利用机间全双工通信链路在单载波统一信道中实现异步数据交互和双向非相干测距、测速、钟差测量、频偏测量，这种机间通信/基线测量综合链路体制具有如下四个特点①机群节点之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，工作在异步全双工扩频模式，任意两机间通信/基线测量过程对其他节点透明；②机群节点相互独立地向对方发送结构相同的传输帧，本地基带数据发送码时钟、发射载波频率由本地频率综合器产生，不与对方相参，发送方与接收方之间无频率、相位关系约束；③机群节点相互独立地提取本地接收单元码跟踪环的历元计数器锁存值和本地时频基准标称值计算出历元形式(Epoch)的本地伪距，将其嵌入本地传输帧向对方发送；④机群节点利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值和机群节点本地钟差，并实现时间同步调整；机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解耦；二、机群链路双向异步通信/测距综合信道的数据协议多数任务中机群编队组网的拓扑构形一般尺度在几十公里范围以内，任意两成员节点最远距离一般在几十公里左右，因此机间通信链路可参考CCSDSProximity-1近程空间链路通信协议蓝皮书建议，参考Version-3的传输帧结构设计用于通信/基线测量综合体制的传输帧，包括24bit的帧同步码ASM(0xFAF320)、40bit的结构固定数据帧导头header、长度小于16344bit的数据域、32bit的CRC校验码；CCSDSProximity-1的Version-3传输帧支持异步/同步综合传输、等时/非等时综合传输、多路虚拟信道统计时分复用传输；数据域前部定义为勤务段，嵌入对应链路标识符、本地钟面时编码和本地伪距编码向对方发送；一般帧长固定，帧频为整数赫兹，一般在1Hz～20Hz；将本体制中的机间通信/基线测量综合链路设备称为异步通信/测距终端即ACRU，假定机群编队网内的任意成员机群节点均配置了ACRU；以两颗机群节点A、B为研究对象，ACRU_A、ACRU_B各自独立地向对方发送CCSDSProximity-1版本-3传输帧，两终端之间的发射载波及发送码时钟均互不相参；机群节点A和机群节点B的ACRU_A、ACRU_B分别于本地传输帧同步码前沿或后沿的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值；ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，通过算法计算出机间距离、同步误差、两终端采样时间间隔，进行时间同步调整；三、机群链路双向异步通信信道的对称式非相干测距与时间同步方法机群链路双向异步通信信道的对称式非相干测距与时间同步方法描述如下①机群编队成员节点配置机间异步通信/测距终端ACRU，两机之间的数据交互与基线测量在单载波统一信道内综合实现，不额外配置专用基线测量设备，任意两机间通信/基线测量过程对其他节点透明；②两机相互独立地向对方发送结构相同的CCSDSProximity-1版本-3传输帧，本地基带时钟、发射载波频率由本地频率综合器产生，不与对方相参，双方无频率、相位关系约束；③两机分别于本地传输帧同步码前沿发送时刻提取本地接收单元码跟踪环路的历元计数值计算出历元形式的本地伪距，将其嵌入本地传输帧向对方发送；④机群节点在取样时刻提取的发送帧历元时与接收帧历元时代数差定义为本地伪距，包含此时刻机群节点之间的几何距离和本地钟面时偏差，二者需通过算法实现解耦；⑤两机各自独立地利用本地测量伪距和接收到对方经传输帧发来的伪距通过计算获得机间基线测量值；在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU_A、ACRU_B各自独立地于本地传输帧同步码前沿的发送时刻采样本地时钟计数器、接收通道码跟踪环路的历元计数器，从当前接收对方传输帧的勤务段提取出对方帧同步码前沿发送时刻，并计算出历元形式的本地伪距值；ACRU_A、ACRU_B各自独立地利用本地测量伪距、本地钟面时、接收到对方经传输帧发来的对方本地伪距、对方本地钟面时，计算出机间距离、两终端采样时间间隔；三、机群链路双向异步通信信道的对称式非相干测距/时间同步算法(i)、双向异步信道非相干测距的空间-时间参数测量原理若把ACRU_B发出的传输帧看作码在机群节点A、机群节点B之间的一把电波尺，传输帧的历元就是电波尺刻度，能测量出机群节点某一瞬间几何距离，历元将作为测量读数，与常规的静态条件下测量两物体之间距离的不同之处在于机群节点之间、机群节点和电波尺之间存在相互运动；此时，需要一个理想的“采样快门”来同时提取某一瞬间的电波尺码在ACRU_A和ACRU_B的刻度，计算出两颗机群节点在某一惯性参考系/UTC时间系统中这一瞬间的几何距离；定义某一惯性参考系及时间系统，令ACRU_A、ACRU_B各自采样时刻对应的为t1、t2，定义两终端的采样时间间隔为Δt＝t2-t1；在ACRU_A、ACRU_B的接收解扩/解调单元的载波跟踪环路、码跟踪环路对接收信号良好锁定、位同步帧同步条件下，ACRU_A、ACRU_B各自独立地提取当前时刻接收到的对方传输帧历元计数值和勤务段内的对方帧同步码前沿发送时刻，计算出采样时刻对应对方传输帧到达历元时；公式(1)定义了ACRU_A、ACRU_B的本地伪距ρA(t1)、ρB(t2)(单位ns)<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow>公式(1)中的tA_send(t1)、tB_arrive(t1)、tB_send(t2)、tA_arrive(t2)由公式(2)计算<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>ASM</mi><mo>-</mo><mi>send</mi></mrow></msub></mtd></mtr><mtr><mtd><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>ASM</mi><mo>-</mo><mi>arrive</mi></mrow></msub><mo>+</mo><mo>[</mo><msub><mi>i</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>·</mo><mi>N</mi><mo>+</mo><msub><mi>j</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>k</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>/</mo><msup><mn>2</mn><mi>R</mi></msup><mo>]</mo><mo>/</mo><msub><mi>f</mi><mi>code</mi></msub></mtd></mtr><mtr><mtd><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>ASM</mi><mo>-</mo><mi>send</mi></mrow></msub></mtd></mtr><mtr><mtd><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>ASM</mi><mo>-</mo><mi>arrive</mi></mrow></msub><mo>+</mo><mo>[</mo><msub><mi>i</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>·</mo><mi>N</mi><mo>+</mo><msub><mi>j</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>k</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>/</mo><msup><mn>2</mn><mi>R</mi></msup><mo>]</mo><mo>/</mo><msub><mi>f</mi><mi>code</mi></msub></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow>公式(2)中等式右方的各参数由ACRU_A、ACRU_B的本地测量获得并与对方共享，公式(2)中的参数说明如下(1)iB_arrive(t1)t1时刻被ACRU_A采样的ACRU_B传输帧到达历元信息位计数；(2)jB_arrive(t1)t1时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码相位计数；(3)kB_arrive(t1)t1时刻被ACRU_A采样的ACRU_B传输帧到达历元扩频码片相位计数；(4)tB_ASM-arrivet1时刻ACRU_A接收到的当前ACRU_B传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_B本地钟面时；(5)tA_ASM-sendt1时刻ACRU_A发出的本地传输帧同步码前沿采样的ACRU_A本地钟面时，即t1时刻的ACRU_A本地钟面时；(6)iA_arrive(t2)t2时刻被ACRU_B采样的ACRU_A传输帧到达历元信息位计数；(7)jA_arrive(t2)t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码相位计数；(8)kA_arrive(t2)t2时刻被ACRU_B采样的ACRU_A传输帧到达历元扩频码片相位计数；(9)tA_ASM-arrivet2时刻ACRU_B接收到的当前ACRU_A传输帧勤务段中嵌入的本帧同步码前沿采样的ACRU_A本地钟面时；(10)tB_ASM-sendt2时刻ACRU_B发出的本地传输帧同步码前沿采样的ACRU_B本地钟面时，即t2时刻的ACRU_B本地钟面时；(11)fcode为ACRU_A、ACRU_B的扩频码时钟频率标称值；异地非同时测量机群节点在给定惯性参考系/UTC时间系统中某一时刻的机间基线和钟差，需要建立几何距离、两终端本地钟差、采样时间间隔的关联公式，并对这三者进行解耦计算；下面给出双向异步传输帧非相干测距方法的算法构造及模型误差分析；(ii)、对称式非相干测距/时间同步算法的构造和模型误差分析这里给出机间基线计算公式的推导；根据公式(1)进行恒等变换得<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>=</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>+</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo></mtd></mtr><mtr><mtd><mo>=</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>+</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>+</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>]</mo></mtd></mtr><mtr><mtd><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>=</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>-</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>]</mo></mtd></mtr><mtr><mtd><mo>=</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>arrive</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>-</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo><mo>-</mo><mo>[</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>]</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow>根据数字微波通信和无线电测距理论，经解析分析、推衍得公式(3)中“[...]”内各项如下<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>5</mn><mo>)</mo></mrow></mrow><mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>B</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mfrac><mn>1</mn><msub><mi>f</mi><mi>code</mi></msub></mfrac><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi><mo>=</mo><mi>Δt</mi><mo>+</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mo>[</mo><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>code</mi></msub><mo>]</mo></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><mi>Δt</mi><mo>+</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr><mtr><mtd><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>t</mi><mrow><mi>A</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mfrac><mn>1</mn><msub><mi>f</mi><mi>code</mi></msub></mfrac><mo>·</mo><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi><mo>=</mo><mi>Δt</mi><mo>+</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mo>[</mo><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>code</mi></msub><mo>]</mo></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><mi>Δt</mi><mo>+</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>3</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>6</mn><mo>)</mo></mrow></mrow>tA_send(t1)-tB_send(t2)＝ΔtAB_send(t2)＝tA_ASM-send-tB_ASM-send(7)公式(3)～公式(7)中的参数定义和解释说明如下①tB_send(t1)-tB_arrive(t1)代表了在惯性参考系/UTC时间系统中ACRU_B发出的传输帧在t1时刻同一瞬间位于ACRU_B的发送历元时和位于ACRU_A的到达历元时之差，即码在ACRU_B与ACRU_A两地的电波尺刻度差，它利用ACRU_B发出传输帧的历元值描述电波行程的时间间隔，这一间隔包括t1时刻机群节点天线相位中心之间的空间传输时延τ(t1)、ACRU_B发送信号内部时延τB_send-delay、ACRU_A接收信号内部时延τA_arrive-delay，定义τBA_delay＝τB_send-delay+τA_arrive-delay；②tA_send(t2)-tA_arrive(t2)代表了在惯性参考系/UTC时间系统中ACRU_A发出的传输帧在t2时刻同一瞬间位于ACRU_A的发送历元时和位于ACRU_B的到达历元时之差，即码在ACRU_A与ACRU_B两地的电波尺刻度差，它利用ACRU_A发出传输帧的历元值描述电波行程的时间间隔，这一间隔包括t2时刻机群节点天线相位中心之间的空间传输时延τ(t2)、ACRU_A发送信号内部时延τA_send-delay、ACRU_B接收信号内部时延τB_arrive-delay，定义τAB_delay＝τA_send-delay+τB_arrive-delay；③fA(t)、fB(t)为ACRU_A、ACRU_B的本地扩频码时钟频率的真值(由各自的本地频标产生)，fcode为本地扩频码时钟频率的标称值(名义值)，定义ΔfA(t)＝fA(t)-fcode、ΔfB(t)＝fB(t)-fcode；④tA_send(t1)-tB_send(t1)、tA_send(t2)-tB_send(t2)分别代表了在惯性参考系/UTC时间系统中在t1、t2时刻同一瞬间ACRU_A传输帧和ACRU_B传输帧的发送历元时之差，即历元时表示的两本地钟的钟面时偏差(钟差，时间同步误差)，定义为ΔtAB(t1)＝tA_send(t1)-tB_send(t1)、ΔtAB(t2)＝tA_send(t2)-tB_send(t2)，由于ACRU_A、ACRU_B的本地频标存在频差和钟漂，理论上ΔtAB(t1)≠ΔtAB(t2)，且t2-t1(即Δt)越大二者相差越大，但能通过时间同步处理进行补偿和消除；⑤tB_send(t2)-tB_send(t1)代表了ACRU_B发出的传输帧在t1时刻的发送历元时与t2的发送历元时之差，tA_send(t2)-tA_send(t1)代表了ACRU_A发出的传输帧在t1时刻的发送历元时与t2的发送历元时之差，分别为ACRU_B、ACRU_A本地历元时表示的采样时间间隔Δt(UTC时间)；⑥tA_send(t1)-tB_send(t2)代表了t1时刻被ACRU_A采样的本地发送帧历元时与t2时刻被ACRU_B采样的本地发送帧历元时之算术差(历元时表示)，参见公式(7)；将公式(4)～公式(7)带入公式(3)，得到公式(8)公式(3)～(8)的推导过程遵循狭义相对论时空观定义的时空物理量测量原则，将电波在两地之间传播这一异地不同时的物理过程解耦为同时不同地和同地不同时的物理过程，满足在惯性系内两物体之间几何距离测量的同时性要求和两事件时间间隔测量的同地性要求；公式(8)给出了双向异步测距体制的ACRU_A、ACRU_B本地伪距公式，两终端分别将tA_send(t1)、ρA(t1)和tB_send(t2)、ρB(t2)编码后嵌入本地传输帧勤务段内对应位置向对方发送；两终端各自利用本地伪距、本地钟历元时和接收到对方的本地伪距、本地钟历元时，计算出机群节点在定义的惯性参考系/UTC时间系统中的几何距离、钟差、采样时间间隔，并实现时间同步；以t1时刻的时空物理量求解为例推导计算公式(t2同理)，将公式(8)中两式相加、相减并变换得设两颗机群节点之间相对速度为v(t)，根据刚体运动学理论，令<mrow><mi>Δτ</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><mrow><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>]</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>v</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><mi>c</mi></mfrac><mi>dt</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>10</mn><mo>)</mo></mrow></mrow>利用公式(6)得<mrow><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>11</mn><mo>)</mo></mrow></mrow>定义τdelay+＝(τAB_delay+τBA_delay)、τdelay-＝(τAB_delay-τBA_delay)为组合零值漂移，能够精确标定(一般标定后误差能够达到＜0.1ns)；令<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>1</mn></msub><mo>-</mo><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>BA</mi><mo>_</mo><mi>delay</mi></mrow></msub><mo>]</mo></mrow><msub><mi>t</mi><mn>1</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>+</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>AB</mi><mo>_</mo><mi>delay</mi></mrow></msub><mo>]</mo></mrow><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>]</mo></mtd></mtr><mtr><mtd><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>1</mn></msub><mo>-</mo><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>BA</mi><mo>_</mo><mi>delay</mi></mrow></msub><mo>]</mo></mrow><msub><mi>t</mi><mn>1</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>-</mo><msub><mo>∫</mo><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>AB</mi><mo>_</mo><mi>delay</mi></mrow></msub><mo>]</mo></mrow></msub><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>]</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>12</mn><mo>)</mo></mrow></mrow><mrow><mfencedopen='{'close=''><mtable><mtr><mtd><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub></mrow></msub><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>code</mi></msub></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr><mtr><mtd><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub></mrow></msub><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>code</mi></msub></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr><mtr><mtd><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>=</mo><mn>0.5</mn><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>+</mo><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr><mtr><mtd><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>=</mo><mn>0.5</mn><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><mi>Δ</mi><mo></mo><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mi>dt</mi></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>13</mn><mo>)</mo></mrow></mrow>将公式(3.21)～公式(3.24)带入公式(3.20)得<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δt</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo><mo>+</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo><mo>+</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>+</mo></mrow></msub><mo>]</mo><mo>-</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>14</mn><mo>)</mo></mrow></mrow>或另一种等价形式<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δt</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo><mo>+</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mrow><mo></mo><mi>Δt</mi><mo>+</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub></mrow></msub></mrow></mtd></mtr><mtr><mtd><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>+</mo></mrow></msub><mo>]</mo><mo>-</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>15</mn><mo>)</mo></mrow></mrow>根据公式(10)～公式(13)经推导得<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mo>|</mo><mi>Δτ</mi><mo>|</mo><mo>≤</mo><mi>λ</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo></mtd><mtd><mrow><mo>(</mo><mi>λ</mi><mo>=</mo><munder><mi>max</mi><mi>t</mi></munder><mfrac><mrow><mo>|</mo><mi>v</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>|</mo></mrow><mrow><mn>2</mn><mi>c</mi></mrow></mfrac><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>|</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo><mo>,</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo></mtd><mtd><mrow><mo>(</mo><mi>μ</mi><mo>=</mo><munder><mi>max</mi><mi>t</mi></munder><mo>[</mo><mfrac><mrow><mo>|</mo><mi>Δ</mi><msub><mi>f</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>|</mo></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mo>,</mo><mfrac><mrow><mo>|</mo><mi>Δ</mi><msub><mi>f</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>|</mo></mrow><msub><mi>f</mi><mi>code</mi></msub></mfrac><mo>]</mo><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>|</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo><mo>,</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo></mtd><mtd></mtd></mtr><mtr><mtd><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mi>τ</mi><mo>,</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>≤</mo><mi>μ</mi><mo>·</mo><mi>τ</mi></mtd><mtd><mrow><mo>(</mo><mi>τ</mi><mo>=</mo><munder><mi>max</mi><mi>t</mi></munder><mrow><mo>[</mo><mi>τ</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>]</mo></mrow><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>16</mn><mo>)</mo></mrow></mrow>公式(14)、公式(15)给出了t1时刻机间基线、钟差、采样时间间隔的计算公式，t2同理，三个等式右边第一项(“0.5·[...]”内几项)作为算法输入量；第二项(“(...)”内几项)代表理论不确定项；不确定项的影响与四个物理量相关①本地频率基准的频率真值相对标称值的准确度/稳定度μ；②两终端采样时间间隔Δt；③两颗机群节点在t1到t2时间段内的相对运动速度v(t)；④机间几何距离c·τ(t)；结合公式(16)讨论如下①机群成员机群节点一般采用超稳晶振或者原子频标，具备优于μ≤1E-11的频率准确度/稳定度指标；②本体制遵循本地传输帧同步码前沿发出时刻与接收到对方传输帧同步码前沿时间间隔最近的原则实施两地伪距配对计算，这样采样时间间隔Δt最大不超过一个传输帧周期，机间通信帧频一般为1～20Hz，Δt≤1s，，且能够被准确测量并通过时间同步调整后收敛到0；③由于机群编队构形调整时任意两成员飞机的相对速度将受到限制，一般|v(t)|＜1km/s，编队构形保持时则相对速度更低甚至相对静止，则λ≤1.7E-6；④机群用于动目标无源探测定位任务时，机群节点编队拓扑构形的尺度不会太大，成员机群节点一般分布在几十公里范围内，这里认为c·τ≤300km，即τ≤0.001s，机间基线测量、钟差测量、采样时间间隔测量的算法模型误差跟机群节点的本地频标准确度/稳定度参数μ和机间几何距离τ(t)之积相关，μ·τ≤0.01ps@μ≤1E-11&τ≤300km；结合公式(14)～公式(16)能够看出，当采样时间间隔Δt＝0时，其他因素引起的模型误差是≤0.1ps的微小量；因此，要彻底消除动态条件下机间异步体制的基线测量方法模型误差，可以有两种方法①机间精密时间同步使得两机钟差小于一给定量，即|Δt|＜ε；②通过对Δt内的载波多普勒频率积分计算出Δτ；(iii)、基于时间同步递推算法的异步测距误差抑制方法及残差分析机群编队的动目标无源探测定位任务一般都需要实现机群组网时间同步，对于机群链路双向异步通信信道的非相干测距/时间同步系统，理论意义上的时间同步是满足ΔtAB(t)＝0ns、Δt＝0ns的理想条件，此时任意两终端ACRU_A、ACRU_B的本地传输帧同步码前沿发出时刻即本地采样时刻，理想重合且此时各自在本地采样的本地钟钟面时相同，即同时发出的本地传输帧勤务段嵌入的本地钟钟面时编码相同；实际操作中不易达到理想条件，因此不必遵循如此苛刻的要求；考虑到成员机群节点装备超稳晶振或原子频标，任意两颗机群节点的钟差随时间变化比较缓慢，相当长一段时间内钟差变化小于1ns，因此根据任务需求给定钟差阈值，超出阈值时或定期实施机间时间同步处理调整使机间钟差回归到某一目标值；机间测距和时间同步调整采用交替过程实施计算和时间同步调整，即每步处理以帧周期为节拍，当前步利用本地传输帧同步码前沿采样发送帧和接收帧当前历元后，先根据公式(14)、公式(15)忽略算法的模型不确定项进行计算，再根据采样时间间隔和钟差的当前计算结果Δt(k)、ΔtAB(k)进行本次时间同步调整；到下一帧周期开始时再进行同样的下一步；利用公式(17)进行计算当前步的采样时间间隔、钟差、机间基线<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δ</mi><mover><mi>t</mi><mo>~</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo></mtd></mtr><mtr><mtd><mi>Δ</mi><msub><mover><mi>t</mi><mo>~</mo></mover><mi>AB</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo></mtd></mtr><mtr><mtd><mover><mi>τ</mi><mo>~</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>+</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>+</mo></mrow></msub><mo>]</mo></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>17</mn><mo>)</mo></mrow></mrow>利用公式(17)的计算结果进行同步调整后，根据公式(15)可得同步调整残差公式(18)<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mi>Δ</mi><mover><mi>t</mi><mo>~</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mi>Δ</mi><msub><mover><mi>t</mi><mo>~</mo></mover><mi>AB</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>δτ</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mi>τ</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mover><mi>τ</mi><mo>~</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mo>-</mo><mrow><mo>(</mo><mi>Δτ</mi><mo>-</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>+</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>18</mn><mo>)</mo></mrow></mrow>从公式(18)看出本次时间同步调整后，公式(15)的不确定项成为本次时间同步调整的残差，即Δt(k+1)、ΔtAB(k+1)，在下一帧周期中再次进行计算-同步调整过程中消除；δτ(k)为机间基线τ(k)的计算残差；结合公式(16)、公式(18)得<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>≤</mo><mrow><mo>(</mo><mi>λ</mi><mo>+</mo><mi>μ</mi><mo>)</mo></mrow><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>=</mo><mi>β</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo></mtd></mtr><mtr><mtd><mo>|</mo><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>≤</mo><mrow><mo>(</mo><mi>λ</mi><mo>+</mo><mi>μ</mi><mo>)</mo></mrow><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>=</mo><mi>β</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo></mtd></mtr><mtr><mtd><mo>|</mo><mi>δτ</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>≤</mo><mrow><mo>(</mo><mi>λ</mi><mo>+</mo><mi>μ</mi><mo>)</mo></mrow><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>|</mo><mo>=</mo><mi>β</mi><mo>·</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>|</mo></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>β</mi><mo>=</mo><mi>λ</mi><mo>+</mo><mi>μ</mi><mo>,</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>19</mn><mo>)</mo></mrow></mrow>由公式(19)第一式经过恒等变换得<mrow><mrow><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo></mrow><mo>-</mo><mi>α</mi><mo>·</mo><mrow><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo></mrow><mo>≤</mo><mi>β</mi><mo>·</mo><mrow><mo>(</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>)</mo></mrow><mo>,</mo><mrow><mo>(</mo><mi>α</mi><mo>=</mo><mfrac><mn>1</mn><mrow><mn>1</mn><mo>-</mo><mi>β</mi></mrow></mfrac><mo>,</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>20</mn><mo>)</mo></mrow></mrow>设<mrow><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>≥</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mrow><mo>(</mo><mo>∀</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>,</mo></mrow>则有<mrow><mrow><mo>|</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>-</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>|</mo></mrow><mo>≤</mo><mo>·</mo><mrow><mi>β</mi><mo>|</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>|</mo></mrow><mo>,</mo><mrow><mo>(</mo><mi>α</mi><mo>=</mo><mfrac><mn>1</mn><mrow><mn>1</mn><mo>-</mo><mi>β</mi></mrow></mfrac><mo>,</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>21</mn><mo>)</mo></mrow></mrow>根据最优化算法理论，公式(21)给出的迭代算法是收敛因子为β(β＜＜1)的逼近算法，最终将收敛到α·|δτ-|；根据公式(21)、公式(19)、公式(16)可知经几次计算-时间同步调整的迭代过程后两终端ACRU_A、ACRU_B的采样时间间隔Δt(k)的计算残差(测量误差、时间同步误差)将迅速收敛到α·|δτ-|；同时，钟差ΔtAB(k)的理论测量误差将收敛到β·(α·|δτ-|)+|δτ-|、机间基线τ(k)的理论测量误差δτ(k)将收敛到β·(α·|δτ-|)+|δτ+|；显然，Δt(k)、ΔtAB(k)、δτ(k)的理论测量误差为同一量级(均＜α·μ·τ)，前已讨论此残差为极微小量可以忽略(＜0.1ps)；根据公式(21)分析收敛性能设进行时间同步调整之前的初始值为Δt(i)——本地第i帧测量点，则时间同步调整k次后Δt(i+k)(本地第i+k帧测量点)为<mrow><mrow><mo>|</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>i</mi><mo>+</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>|</mo></mrow><mo>≤</mo><msup><mi>β</mi><mi>k</mi></msup><mi></mi><mo>·</mo><mrow><mo>|</mo><mo>|</mo><mi>Δt</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><mi>α</mi><mo>·</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>|</mo></mrow><mo>,</mo><mrow><mo>(</mo><mi>α</mi><mo>=</mo><mfrac><mn>1</mn><mrow><mn>1</mn><mo>-</mo><mi>β</mi></mrow></mfrac><mo>,</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>22</mn><mo>)</mo></mrow></mrow>若初始值|Δt(i)|＝60s，α·|δτ-|＜0.1ps，β＝1.7E-6，则迭代计算-时间同步调整k＝2次后||Δt(i+2)|-0.1ps|≤173.4ps；k＝3次后||Δt(i+3)|-0.1ps|≤2.9578×10-4ps≈0ps，可见收敛速度极快；(iv)、基于多普勒积分补偿算法的异步测距误差抑制方法及残差分析利用接收通道的载波跟踪环路的载波NCO连续估计载波多普勒频率，利用多普勒频率计算公式<mrow><mfrac><mrow><msub><mi>f</mi><mi>D</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><msub><mi>f</mi><mi>C</mi></msub></mfrac><mo>=</mo><mfrac><mrow><mi>v</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><mi>c</mi></mfrac><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>23</mn><mo>)</mo></mrow></mrow>公式(23)中fD(t)为载波多普勒频率、fC为载波频率、v(t)为机间相对运动速度，带入公式(11)得<mrow><mi>Δτ</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><mfrac><mrow><mi>v</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow><mi>c</mi></mfrac><mi>dt</mi><mo>=</mo><mfrac><mn>1</mn><mrow><mn>2</mn><msub><mi>f</mi><mi>C</mi></msub></mrow></mfrac><mo>·</mo><msubsup><mo>∫</mo><msub><mi>t</mi><mn>1</mn></msub><msub><mi>t</mi><mn>2</mn></msub></msubsup><msub><mi>f</mi><mi>D</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi><mo>=</mo><mfrac><mn>1</mn><mrow><mn>2</mn><msub><mi>f</mi><mi>C</mi></msub></mrow></mfrac><mo>·</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mi>Δt</mi></mrow><msub><mi>t</mi><mn>2</mn></msub></msubsup><msub><mi>f</mi><mi>D</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>24</mn><mo>)</mo></mrow></mrow>公式(24)给出了利用对t1到t2时间段，即采样时间差Δt的载波多普勒积分计算Δτ的公式；公式(14)改写为<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δt</mi><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>+</mo><mi>Δτ</mi><mo>]</mo><mo>-</mo><mrow><mo>(</mo><mi></mi><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>-</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>Δ</mi><msub><mi>t</mi><mi>AB</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>+</mo><mi>Δτ</mi><mo>]</mo><mo>-</mo><mrow><mo>(</mo><mi></mi><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>-</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>τ</mi><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>1</mn></msub><mo>)</mo></mrow><mo>+</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><msub><mi>t</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>-</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>+</mo></mrow></msub><mo>-</mo><mi>Δτ</mi><mo>]</mo><mo>+</mo><mrow><mo>(</mo><mi></mi><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>-</mo></mrow></msub></mrow></msub><mo>-</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>+</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>25</mn><mo>)</mo></mrow></mrow>对公式(14)的Δt依据下式进行迭代计算<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>Δ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mfrac><mn>1</mn><mrow><mn>2</mn><msub><mi>f</mi><mi>C</mi></msub></mrow></mfrac><mo>·</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow><msub><mi>t</mi><mn>2</mn></msub></msubsup><msub><mi>f</mi><mi>D</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi></mtd></mtr><mtr><mtd><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>+</mo><mi>Δ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>]</mo></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>26</mn><mo>)</mo></mrow></mrow>令<mrow><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow>则<mrow><mi>Δ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo></mrow><mrow><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mn>0.5</mn><mo>·</mo><mrow><mo>[</mo><msub><mi>ρ</mi><mi>A</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>-</mo><msub><mi>ρ</mi><mi>B</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>-</mo><mn>2</mn><mo>·</mo><mi>Δ</mi><msub><mi>t</mi><mrow><mi>AB</mi><mo>_</mo><mi>send</mi></mrow></msub><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>+</mo><msub><mi>τ</mi><mrow><mi>delay</mi><mo>-</mo></mrow></msub><mo>]</mo></mrow><mo>,</mo></mrow>依次递推；由公式(25)、公式(26)推导得<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mi>Δτ</mi><mo>-</mo><mi>Δ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mfrac><mn>1</mn><mrow><mn>2</mn><msub><mi>f</mi><mi>C</mi></msub></mrow></mfrac><mo>·</mo><msubsup><mo>∫</mo><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mi>Δt</mi></mrow><mrow><msub><mi>t</mi><mn>2</mn></msub><mo>-</mo><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow></msubsup><msub><mi>f</mi><mi>D</mi></msub><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mi>dt</mi></mtd></mtr><mtr><mtd><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mi>Δt</mi><mo>-</mo><mi>Δ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>=</mo><mi>δΔτ</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>-</mo><mrow><mo>(</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>-</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>27</mn><mo>)</mo></mrow></mrow>定义<mrow><mi>sup</mi><mrow><mo>(</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>Δ</mi><msub><mi>f</mi><mrow><mi>AB</mi><mo>+</mo></mrow></msub></mrow></msub><mo>|</mo><mo>+</mo><mo>|</mo><msub><mi>δ</mi><mrow><mi>τ</mi><mo>-</mo></mrow></msub><mo>|</mo><mo>)</mo></mrow><mo>=</mo><mi>ϵ</mi><mo>,</mo></mrow>由公式(15)可知ε≤μ·(τ+|Δt|)，利用公式(15)和公式(27)推导出<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>≤</mo><mi>λ</mi><mo>·</mo><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mi>λϵ</mi></mtd></mtr><mtr><mtd><mo>|</mo><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>≤</mo><mi>λ</mi><mo>·</mo><mo>|</mo><mi>δ</mi><mover><mi>Δ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>+</mo><mi>ϵ</mi></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>28</mn><mo>)</mo></mrow></mrow>令<mrow><msub><mi>ϵ</mi><mi>Δt</mi></msub><mo>=</mo><mfrac><mn>1</mn><mrow><mn>1</mn><mo>-</mo><mi>λ</mi></mrow></mfrac><mi>ϵ</mi><mo>,</mo></mrow><mrow><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>=</mo><mfrac><mn>1</mn><mrow><mn>1</mn><mo>-</mo><mi>λ</mi></mrow></mfrac><mi>ϵ</mi><mo>,</mo></mrow>由公式(28)得到公式(29)<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>|</mo><mo>≤</mo><mi>λ</mi><mo>·</mo><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>|</mo></mtd></mtr><mtr><mtd><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>|</mo><mo>≤</mo><mi>λ</mi><mo>·</mo><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δt</mi></msub><mo>|</mo></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>29</mn><mo>)</mo></mrow></mrow>即<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>|</mo><mo>≤</mo><msup><mi>λ</mi><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></msup><mo>·</mo><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>τ</mi><mo>^</mo></mover><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δτ</mi></msub><mo>|</mo><mo>≤</mo><msup><mi>λ</mi><mi>k</mi></msup><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo></mtd></mtr><mtr><mtd><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δt</mi></msub><mo>|</mo><mo>≤</mo><msup><mi>λ</mi><mi>k</mi></msup><mo>·</mo><mo>|</mo><mo>|</mo><mi>δΔ</mi><mover><mi>t</mi><mo>^</mo></mover><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow><mo>|</mo><mo>-</mo><msub><mi>ϵ</mi><mi>Δt</mi></msub><mo>|</mo><mo>≤</mo><msup><mi>λ</mi><mi>k</mi></msup><mo>·</mo><mo>|</mo><mi>Δt</mi><mo>|</mo></mtd></mtr></mtable></mfenced><mrow><mo>(</mo><mi>k</mi><mo>=</mo><mn>1,2,3</mn><mo>.</mo><mo>.</mo><mo>.</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>30</mn><mo>)</mo></mrow></mrow>由于公式(16)定义的λ≤1.7E-6，是一微小量，公式(30)经几次迭代后即收敛到0；因此，如果不实施机间时间同步，由于采样时间间隔Δt和频率基准偏差的存在，的迭代计算残差分别收敛到εΔt、εΔτ，均小于μ·(τ+|Δt|)，是一微小量；这种方法能在高动态条件下不进行时间同步时而获得高精度的基线测量结果，但要求采样时间间隔Δt不能太大，否则频率基准的偏差因素会占主导地位，因此适用于每次时间同步调整后到达同步调整阈值之前的同步间隔期内计算。FSA00000010859600062.tif,FSA00000010859600081.tif,FSA00000010859600082.tif,FSA00000010859600141.tif,FSA00000010859600142.tif,FSA00000010859600143.tif,FSA00000010859600144.tif全文摘要一种机群链路双向异步通信信道的对称式非相干测距/时间同步系统，属于航空数据链、无线电导航、飞行器自主
技术领域：
。本发明可以在电路板的数字信号处理器DSP和FPGA上实现的对称式非相干测距/时间同步方法和体系构架。本发明基于机群链路成员节点之间的双向异步通信链路，提出了综合信道体制下的双向异步传输帧非相干扩频测距原理，采用基于CCSDSProximity-1version-3传输帧，构造出统一形式的机群链路双向异步传输帧非相干扩频测距算法结构，给出了基线测量和时间同步测量控制的两种算法机间时间同步递推算法、多普勒积分补偿方法。本发明克服了传统相干转发测距、双向同步非相干测距的缺陷，提供一种双向异步通信测距双方均能平等获得测量结果的测距方案。文档编号G01S11/02GK101789859SQ20101010392公开日2010年7月28日申请日期2010年1月29日优先权日2010年1月29日发明者杨宜康,熊蔚明,腾学剑,齐建中申请人:中国科学院空间科学与应用研究中心