CN103154772B - 卫星定位系统接收机中的时间设定 - Google Patents

Abstract

提供了可使用各种方法和/或装置实现在接收机和/或其他类似设备中以使用SPS信号基于相关过程来确定SPS时间的技术。可例如执行验证过程，该验证过程与从该相关过程得到的其他峰值信息比较（例如，通过考虑最大峰值与次最大峰值的比值）地来验证最大峰值。可例如至少部分地基于时间不定性和/或对SPS信号执行的解调类型来选择时间设定算法。给定了时间不定性和/或所执行的解调类型/模式，该时间设定算法可以期望方式操作性地控制相关和/或验证过程之一或其两者。

Description

卫星定位系统接收机中的时间设定

背景

1.领域

本文中所公开的主题内容涉及电子设备，尤其涉及供在能够接收SPS信号的设备中使用或与其联用的方法和装置。

2.信息

全球定位系统（GPS）以及其他全球导航卫星系统（GNSS）依赖于对从空间飞行器（SV）发射机传送到接收机（例如，基于地面的导航接收机）的信号的传播延迟的测量。通过测量此类传播延迟，接收机可获得对相关联的传送方SV的伪距测量。例如，通过获得对位于相对于地球而言的已知轨道位置处的四个或更多个SV的此类伪距测量，接收机就可计算该接收机的估计位置作为导航解的一部分。

藉由示例，某些GPS信号是由包括30.0秒顺序数据帧的数据信号来调制的。每帧包括五个六秒子帧。每个子帧包括62比特前置码，继以时钟校正数据、星历数据和/或历书数据。该62比特前置码中的第一个字是包含关于星历数据的年龄的信息的TLM（遥测字）。该62比特前置码中的下一个字是HOW（切换字），其包含计数到的z历元数。这些数据包含自GPS时间在前一星期天0:00点的最近一次“重启”起的时间。

藉由示例，图1A示出GPS信号的子帧的结构，并且图1B示出TLM和HOW的内容。如所解说，前置码是包含来自前一子帧的两个比特（例如，“00”）连同30比特TLM和30比特HOW的62比特序列。

如上所述通过测量传播延迟来获得伪距测量可依赖于具有同步到GPS时间的准确时钟。如果时间不定性小于±3秒（例如，对于GPS）——在该示例中这是子帧时长，那么接收机可通过检测子帧的62比特前置码在经解调比特流内的位置来获得准确的时间指示。例如，对62比特前置码的比特位置的检测可通过对包括TLM和HOW的已知62比特序列在经解调比特流中的精确匹配的指示来实现。然而，如果在该前置码中的该62比特序列中有哪怕单个受损比特，那么找到已知和/或预测的比特序列和该前置码的一部分之间的精确匹配就可能是不可行的。遗憾的是，62比特子帧前置码中的此类比特损坏在低信噪比环境中可能并不是不常见的。

由此，需要可在接收机和/或接收卫星定位系统（SPS）信号的其他类似设备中提供或另行支持可靠、准确、和/或其他形式稳健的时间设定的技术。

概述

根据某些方面，提供了可使用各种方法和/或装置来在接收机和/或其他类似电子设备中实现以基于卫星定位系统（SPS）和/或其他类似的收到信号来设定时间的技术。

在某些非限定示例实现中，此类技术可采用相关（correlation）过程和验证过程、和/或一个或更多个附加过程来辅助时间设定。在某些非限定示例实现中，验证过程可被执行以测试和/或另行考虑从相关过程得到的信息。

在某些非限定示例实现中，可至少部分地基于时间不定性和/或对SPS信号执行的解调类型来以某种方式选择和/或另行操作性地影响时间设定算法。藉由示例而非限定，可基于时间不定性阈值来选择不同的时间设定算法。藉由示例而非限定，可为不同积分模式以某种方式来选择和/或操作性地影响不同的时间设定算法，这些不同积分模式诸如举例而言有非相干/非受辅助模式、非相干/受辅助模式、相干/非受辅助模式、相干/受辅助模式、和/或类似模式。

在一个示例实现中，一种方法可包括以电子设备：接收来自包括一个或更多个数据子帧的信号的比特序列，将已知和/或预测比特序列与所接收到的信号在多个时移假言处相关，与从该相关得到的其他峰值信息相比较地来验证最大峰值（例如，验证从该相关得到的最大峰值与次最大峰值的比率超过阈值），至少部分地基于来自所验证的最大峰值的结果来检测所接收到的信号中的子帧前置码，并且至少部分地基于所检测出的子帧前置码在该比特序列中的位置来确定时间。

在某些示例实现中，阈值可至少部分地基于对信号执行的解调类型、积分时段的长度、与信号相关联的发射机数目、和/或发射机的载波噪声功率比的估计值中的至少一者。

在某些进一步示例实现中，一种方法还可包括以该电子设备：至少部分地基于时间不定性和/或对信号执行的解调类型/模式中的至少一者来从多个时间设定算法之中选择时间设定算法。在某些示例实现中，一种时间设定算法可操作性地控制相关过程的全部或一部分和/或验证过程的全部或一部分。

在某些示例实现中，可将多个时移假言与比特位置相关联，并且检测子帧前置码可包括标识与峰值相关结果相关联的比特位置，并且确定时间可包括将时间与所标识出的比特位置相关联。

在某些示例实现中，一种方法可包括接收来自相关联的多个发射机的和/或时间上传送自这些SV发射机之一的相关联的多个子帧的多个比特流，并且将已知和/或预测比特序列与这多个比特流中的每个比特流在多个时移假言处相关来为每个时移假言提供相关联的多个相关结果。在此，例如，对于每个时移假言，此类方法还可包括组合相关联的多个相关结果，以及标识与每个经组合的相关结果相关联的比特位置。

附图简述

参照以下附图来描述非限定性和非穷尽性方面，其中相同参考标号贯穿各附图指代相同部分，除非指明并非如此。

图1A示出GPS信号的子帧的示例结构。

图1B示出GPS信号的TLM和HOW字的示例内容。

图2是解说根据一实现的包括设备以接收SPS信号的示例性环境的示意框图。

图3是解说根据一实现的例如像图2中那样的设备的某些特征的示意框图。

图4是示出根据一实现的与可在使用非相干解调的设备中选择/执行的示例时间设定过程相关联的一些示例过程的解说性图示。

图5是解说根据一实现的在设备中用以基于SPS信号来设定或另行确定时间的示例性过程的某些特征的流程图。

具体描述

本文中给出了可在设备中的各种方法和装置中实现以在卫星定位系统（SPS）接收机和其他类似电子设备中支持可靠、准确、和/或其他形式稳健的时间设定的一些示例技术。

本文中藉由如时间设定算法的非限定示例来给出一些方法和装置，这些方法和装置可用在GPS接收机和/或其他类似设备（下文称为“设备”）中以基于来自一个或更多个GPS发射机的一个或更多个接收到的GPS信号来确定或另行精确估计GPS时间。在某些示例实现中，可使此类设备能够工作在自立模式中。在其他示例实现中，可使此类设备能够从一个或更多个辅助计算设备（例如经由无线通信系统）来获得辅助。

应记住，本文所描述的示例技术旨在可适配以用于其他SPS。例如，本文所提供的技术可被适配成用在被设计成与诸如GLONASS、Galileo等其他卫星系统联用的接收机和/或其他类似设备中。

本文所描述的示例方法和装置中的一些方法和装置可用在采用不同解调类型和/或多种不同解调类型的设备中。例如，给出了一些时间设定算法以与相干解调技术和非相干解调技术联用。

另外，本文中给出了可取决于设备的状态来选择性地采用的一些时间设定算法。由此，一个或更多个此类算法可被调用以设定SPS时间。藉由示例，设备的状态可包括时间不定性并且一个或更多个相应的时间不定性阈值可被标识并用来确定要选择的一个或更多个时间设定算法。

例如，在某些实现中，接收GPS信号的设备可具有近似±3秒的时间不定性阈值。在此，近似±3秒的时间不定性阈值是有用的，因为每个子帧具有6秒的时长。因此，在该示例中，一个或更多个特定时间设定算法可被选择，这有时在此类设备具有小于近似±3秒的时间不定性时证明是有用的。然而，一个或更多个不同的时间设定算法可被选择，这有时在此类设备具有大于±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性时证明是有用的。

同样，这些示例时间不定性阈值用于一些示例GPS信号；在其他设备中，适用的时间不定性阈值将很可能取决于正被接收且用于时间设定的特定的SPS信号类型而变化。而且，可有一个以上的时间不定性阈值，并且在一些实例中，可有时间不定性阈值时段的交迭，其中可在选择一个或更多个适用的时间设定算法时考虑其他准则。如一附加性示例，GLONASS以非常类似于子帧的两秒时长的串来工作。例如，有在每个串的结尾处的后缀码型、CRC校验比特、以及与GPS HOW中的z计数相类似的计时器形式的“前置码”。由此，在GLONASS的情况下，±1秒时段可提供非多义串与多义串之间的关键阈值。

时间设定算法选择还可基于来自一个或更多个网络资源的辅助的可用性或缺乏性。例如，设备在工作在TOW辅助模式相对于非TOW辅助模式中、和/或类似情形时可具有对不同量的信息的访问。由此，不同的时间设定算法可以是更有用的。

现在注意力移至图2，其是示出根据一示例实现的具有设备202的示例环境200的示意图，设备202包括能够接收由一个或更多个SPS发射机210传送的一个或更多个信号的接收机204。如进一步解说的，在某些示例实现中，设备202还可经由信号来与一个或更多个通信网络220和/或其他类似资源222通信。

设备202代表可至少部分地工作以接收所传送的SPS信号的任何电子设备。作为示例而非限定，设备202可包括计算和/或通信设备，诸如移动电话、智能电话、膝上型计算机、平板计算机、个人计算机、可佩带计算机、个人数字助理、导航设备等。

设备202可接收来自各种卫星或类似物的SPS信号，这些卫星或类似物可以来自GPS、Galileo、GLONASS、Compass、或者其他卫星系统、使用来自这些系统的组合的卫星的系统、或将来开发的任何SPS，其每一个在本文中被通称为“卫星定位系统”（SPS）。因此，作为另一示例，在某些实现中，设备202可以接收与区域性导航卫星系统相关联的SPS信号，诸如准天顶卫星系统（QZSS）、印度区域性导航卫星系统（IRNSS）、和/或诸如此类。

此外，本文中所描述的方法和装置可与利用伪卫星或卫星与伪卫星组合的定位确定系统一起使用。伪卫星可包括广播调制在L频带（或其他频率）载波信号上的PN码或其他测距码（例如，类似于GPS或CDMA蜂窝信号）的基于地面的发射机，其中该载波信号可以与SPS时间同步。每一个这样的发射机可以被指派唯一性PN码从而准许其被远程接收机标识。伪卫星在其中来自轨道卫星的SPS信号或许不可用的情境中可能是有用的，诸如在隧道、矿区、建筑物、城市峡谷或其他封闭区域中。伪卫星的另一种实现被称为无线电信标。如本文中所使用的，术语“卫星”旨在包括伪卫星、伪卫星的等效物、以及还有可能有其他。如本文中所使用的，术语“SPS信号”旨在包括来自伪卫星或伪卫星的等效物的类SPS信号。

接收机204可例如包括RF前端206和后端处理器208。根据本说明书的某些方面，接收机204可包括一个或更多个可选择的时间设定算法212。在该非限定示例中，一个或更多个可选择的时间设定算法212可由后端处理器208或在其内操作性地提供。

如图2中的示例所进一步解说的，接收机204可包括一个或更多个相干解调器214和/或一个或更多个非相干解调器216。藉由非限定示例，相干解调器214可包括Costas环路和/或类似物，并且非相干解调器216可包括自动频率控制（AFC）环路和/或类似物。如所提及，在某些示例实现中，可至少部分地基于执行的解调类型来选择不同的时间设定算法。

注意力接下来转移至图3，其是示出可在设备202中提供的某些示例/任选特征的示意图。在此，例如，设备202可包括如所提及的接收机204。接收机204可包括具体电路系统（例如，模拟和/或数字电路系统）、和/或诸如一个或更多个处理单元302和/或存储器304之类的可编程逻辑。

在某些示例实现中，设备202可包括其他电路系统以执行各种功能。例如，设备202可包括可使用一个或更多个连接300来操作性地耦合的一个或更多个处理单元302、存储器304、网络接口322、和/或带有计算机可读指令306的计算机可读介质324。

处理单元302可执行数据处理（例如，根据本文所提供的技术的全部或一部分）。处理单元302可以在硬件、或硬件与软件的组合中实现。（诸）处理单元302可代表能配置成执行数据计算规程或过程的至少一部分的一个或更多个电路。作为示例而非限定，处理单元可包括一个或更多个处理器、控制器、微处理器、微控制器、专用集成电路、数字信号处理器、可编程逻辑器件、现场可编程门阵列、以及类似物、或者其任何组合。

存储器304可代表任何数据存储机构。例如，存储器304可包括主存储器304-1和/或副存储器304-2。例如，主存储器304-1可包括随机存取存储器、只读存储器等。虽然在此示例中被解说为与处理单元分开，但是应当理解，主存储器的全部或部分可以置备在移动设备202内的（诸）处理单元302或其他类似电路系统内或者以其他方式与之共处/耦合。副存储器304-2可包括例如类型与主存储器相同或相似的存储器和/或一个或更多个数据存储设备或系统，诸如举例而言盘驱动器、光碟驱动器、带驱动器、固态存储器驱动器等。在某些实现中，副存储器可起作用地接纳或能以其他方式配置成耦合至计算机可读介质324。如所解说，存储器304和/或计算机可读介质324可包括与（例如，根据本文中提供的技术的）数据处理相关联的指令306。

网络接口222可以例如被实现成能与诸如无线广域网（WWAN）、无线局域网（WLAN）、无线个域网（WPAN）等各种无线通信网络联用。术语“网络”和“系统”可以在本文中被可互换地使用。WWAN可以是码分多址（CDMA）网络、时分多址（TDMA）网络、频分多址（FDMA）网络、正交频分多址（OFDMA）网络、单载波频分多址（SC-FDMA）网络，等等。CDMA网络可实现一种或更多种无线电接入技术（RAT），诸如cdma2000、宽带CDMA（W-CDMA）、时分同步码分多址（TD-SCDMA）等，以上仅列举了少数几种无线电技术。在此，cdma2000可包括根据IS-95、IS-2000、以及IS-856标准实现的技术。TDMA网络可实现全球移动通信系统（GSM）、数字高级移动电话系统（D-AMPS）、或其它某种RAT。GSM和W-CDMA在来自名为“第三代伙伴项目”（3GPP）的联盟的文献中描述。Cdma2000在来自名为“第三代伙伴项目2”（3GPP2）的联盟的文献中描述。3GPP和3GPP2文献是公众可获取的。例如，WLAN可包括IEEE802.11x网络，并且WPAN可包括蓝牙网络、IEEE802.15x。无线通信网络可包括所谓的下一代技术（例如，“4G”），诸如举例而言长期演进（LTE）、高级LTE、WiMAX、超移动宽带（UMB）、和/或类似技术。作为此类示例WWAN、WLAN技术及类似技术的附加或替代，在某些示例实现中，辅助信息（例如，TOW辅助等）可经由诸如MediaFLO、ISDB-T、DVB-H、和/或类似技术之类的广播技术来传送给设备202。

在某些示例实现中，可使一个或更多个处理单元302和/或其他类似电路系统能够：接收或另行获得与包括一个或更多个数据子帧的至少一个SPS信号相关联的至少一个比特序列；使用至少一个已知和/或预测比特序列与至少一个经解调比特序列或其一部分在多个时移假言处执行至少一个相关过程；执行至少一个验证过程以与从该相关过程得到的其他峰值信息相比较地来验证最大峰值。例如，为了验证最大峰值，一个或更多个处理单元302和/或其他类似电路系统可验证从该相关过程得到的最大峰值与次最大峰值相关联的比值（和/或其他类似度量）超过（例如，基于所执行的解调类型的）阈值。可使一个或更多个处理单元302和/或其他类似电路系统能够进一步至少部分地基于来自该验证过程的结果（例如，使用经验证的最大峰值）来检测接收到的SPS信号中的子帧前置码；以及/或者至少部分地基于检测出的子帧前置码在该比特序列中的位置来确定SPS时间。

在某些示例实现中，还可使一个或更多个处理单元302和/或其他类似电路系统能够至少部分地基于时间不定性和/或对SPS信号执行的解调类型（例如，模式）来从多个时间设定算法之中选择时间设定算法。在此，例如，所选择的时间设定算法可操作性地控制（例如，发起、影响等）相关过程（例如，峰值相关过程等）、验证过程、列表过程、解码过程、弛豫过程、和/或重验证过程。在某些实例中，此类过程可被组合，例如，相关过程可包括列表过程和/或解码过程的全部或一部分，并且验证过程可包括弛豫过程和/或重验证过程的全部或一部分。在某些示例实现中，还可使一个或更多个处理单元302和/或其他类似电路系统能够获得和/或确定（例如，与SPS信号相关联的）至少一个时间不定性阈值、和/或（例如，基于所执行的解调类型的）阈值以在验证过程中使用。用于这些过程的一些示例在以下更详细地描述。

另外，与此类过程和/或一个或更多个时间设定算法相关联的指令和/或数据可被存储在存储器304、和/或其他适用的计算机可读介质324中。

如前所提及，通过测量传播延迟来获得伪距测量可能依赖于具有同步到GPS时间的准确时钟。如果时间不定性小于±3秒——在该示例中这是子帧时长，那么接收机可通过检测子帧的62比特前置码在经解调比特流内的位置来获得准确的时间指示。例如，对62比特前置码的比特位置的检测可通过对包括TLM和HOW的已知62比特序列在经解调比特流中的精确匹配的指示来实现。然而，如果在该前置码中的该62比特序列中有哪怕单个受损比特，那么找到已知和/或预测的比特序列和该前置码的一部分之间的精确匹配就可能是不可行的。遗憾的是，62比特子帧前置码中的此类比特损坏在低信噪比环境中可能并不是不常见的。

如在以下若干个示例时间选择算法中更详细解说的，在某些示例实现中，不是寻求与子帧的62比特前置码的理想匹配，而是可以时移方式在多个时移子帧位置假言之上（例如，在该子帧的相关联比特位移位置处的300个假言之上）对（例如，包括已知TLM和HOW的）62比特已知和/或预测比特序列进行相关。

例如，与最高相关结果相关联的时移假言可被确定成该62比特前置码在该子帧内的位置。作为替换，可采用峰值处理来从多个毗邻子帧比特位置的相关结果中标识相关峰值。

在某些特定实现中，最强和次最强相关输出及其相关联比特位置可被标识。如果最强和次最强峰值之间的比值大于阈值，那么与最大峰值相对应的假言被声明为与子帧边界相对应。否则，接收机可等待另外的6秒并且对后续数据子帧再次执行相关步骤。不同假言处的相关输出可被添加到在前一步骤中找到的相关输出，并且该比值测试可被再次应用。该过程可重复直至找到子帧边界或者直至达到总尝试次数。

在GPS中，空间飞行器（SV）以同步方式（即，根据共用的同步GPS时钟）来传送信号。在此，如果来自多个SV的信号之中的先验时间不定性小于±10.0ms（例如，比特时长的一半），则解调自（来自多个SV的）此类信号的比特可被组合以改善用于检测子帧前置码的上述技术的性能。在此，由多个SV接收到的比特序列可被组合，并且可将经组合的比特序列与前述62比特已知和/或预测比特序列相关。在此应认识到，例如，在这62个比特之中，这些比特中的一些比特可以是未知的（例如，在非TOW辅助的情形中就可能是这样）。替换地，可为每个比特位移假言来组合诸SV的相关输出。然后，峰值处理可被应用于为这些不同假言所组合的输出。峰值处理随后可被应用于每个不同假言处的经组合输出。

返回到如先前在图1A和图1B中描述和解说的示例GPS信号，来自（例如，带有解调器214或216的）解调器引擎的输出可包括20.0ms IQ（I：同相，Q：正交）总和和20.0ms点积和叉积。

通过将时间k处的20.0ms IQ总和记为r(k)，可将其写作：

r(k)=I(k)+jQ(k)

并且将时间k处的点积xie记为x(k)，写作：

x(k)=Re(r(k)r(k-1)^*)

注意，r(k)是复随机变量并且可被写作其中A是振幅并且b(k)是时间k处的信息比特并且是相位。

还应注意，如果解调器引擎中的相位环路被锁定，那么在相干模式中该相位应当接近于零或π（有180°的相位多义性）：或在非相干模式中，当频率环路被锁定时，应当随时间推移缓慢变化并且以下近似成立

在该实例中，GPS信号被组织成帧，这些帧中的每帧包括25个子帧。每个子帧时长是6秒。每个子帧包括10个字。子帧中的第一个字是TLM字并且子帧中的第二个字是HOW字。

取决于网络辅助类型，设备202可具有关于该子帧前置码中的所有比特或一些比特的知识。例如，在某些实例中，如果设备202处于TOW辅助模式中，则利用从网络220接收到的某些辅助消息，设备202可具有关于包括前一帧的最后两个比特（例如，通常是“00”）以及30比特TLM和30比特HOW的所有62个前置码比特的知识。

如果设备202不处于TOW辅助模式中，例如，可能以下信息中的所有或一些信息是已知的和/或可被预测：(a)前一子帧的最后两个比特（例如，GPS L1C/A中的“00”）；TLM的8个前置码比特；(c)HOW的前17个比特（TOW计数）；(d)HOW的3比特子帧ID；(e)HOW的比特位18（对于健康的SV，例如，GPS L1C/A中的“0”）；以及/或者HOW的比特位29和30（例如，GPS L1C/A中的“00”）。

根据一个方面，可因此在接收机204处定义已知码型p为例如长度为62的向量。该码型中的每个数对应于子帧的前置码中的一个比特。由此，例如：

出于简单化起见，将把以上62个比特称为子帧前置码比特。

在带有非相干解调的设备中，期望信息被携带在信号的相位转变中。由此，定义已知比特的相位转变可以是有用的。令del_p为前置码比特的相位转变。del_p的长度是61并且由此，del_p(k)=p(k)p(k+1),k=1,...,61。

记住这些示例定义，现在将描述在时间不定性小于近似±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性阈值的情况下可以是有用并因此被选择的一些示例时间设定算法。

例如，如果时间不定性小于3秒（例如，在GPS示例中）、小于1秒（例如，在GLONASS示例中）等，那么示例时间设定算法可包括相关过程和验证过程。

例如，作为相关过程的一部分，可例如如前所述那样收集前置码的所有已知比特以形成已知比特码型。该码型可被用来对照着来自解调引擎的数据信号例如在最多达300个可能子帧位置假言处进行相关。

根据某些方面，由于该示例中的GPS SV在传送其SPS信号时是同步的，因此例如如果先验时间不定性（TUNC）<10.0ms，则可组合来自不同SV的这些信号以尝试改善时间设定算法的性能。诸SV在每个假言处的相关输出可例如首先根据最大比值组合规则来缩放并且随后被相加在一起。

作为验证过程的一部分，时间设定算法可例如使用峰值处理和/或其他类似技术来定位最强和次最强相关输出。如果最强峰值和次最强峰值之间的比值大于阈值，那么与最大（max）峰值相对应的假言可被声明为与子帧边界相对应的假言。否则，接收机可等待（例如，长达另外6秒），并且再次执行相关，并且相关输出（例如，300个比特假言）可被添加到前一相关的相关输出上。

由此，在此类验证过程中，比值测试可用来确定最大峰值与次最大峰值的比值是否大于阈值。如果是，那么该验证过程可将与该最大峰值相对应的假言声明为子帧边界。然而，该验证过程可重复直至例如子帧边界被声明（找到）或者总尝试次数超过规定次数。

如在以下附加示例实现中所解说的，在用于相干和非相干解调的此类时间设定算法中可有少量区别。

如果时间不定性小于近似±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性阈值，那么以下示例时间设定算法可由采用非相干解调的设备选择。

作为相关过程的一部分，该示例算法可采用大小为例如300的缓冲器来保持相关输出。例如，如前所述，令x^l(k)为来自SV l的第k个点积采样，并且使attempt（尝试）是该算法试图执行比值测试的尝试次数。在此，例如，相关可跨SV和次数（尝试）来组合并且可被演算为：

其中是SV l的与比特索引i、尝试次数a相对应的第j个Δ（delta）码型。

如果最大相关和次最大相关之间的比值大于阈值thresh(CNo,attempt)，那么示例验证过程可将与该最大相关相对应的假言声明为真子帧边界。在此，例如，阈值可以是载波噪声比和尝试次数的函数。在其他示例实现中，不同技术可被用来标识期望阈值。

用于非相干解调的时间设定算法的伪代码的非限定性示例（例如，对于GPS有TUNC<±3秒）可包括：

藉由进一步示例而非限定，可使用经验公式来演算阈值，诸如：

$\mathrm{thresh}=\max (b\&times;{0.9}^{(\mathrm{CNo}-18)+10{\log }_{10}\left(\mathrm{attempt}\right)},{\mathrm{thresh}}_{\min })$

其中b是取决于积分模式的常量并且thresh_min是该特定积分模式的阈值的特定最小值。藉由非限定性示例，取决于积分模式，b的值可大于1.0并且/或者小于3.0。在此，例如，一些不同积分模式可包括非相干/非受辅助模式、非相干/受辅助模式、相干/非受辅助模式、和/或相干/受辅助模式中的一者或更多者。在此，CNo可以是SV的载波噪声功率比（C/No）的估计值。例如，如果交叉SV组合被启用，那么CNo可表示组合使用的所有SV的C/No的最大值。

如果时间不定性小于近似±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性阈值，那么以下示例时间设定算法可由采用相干解调的设备选择。

在此，用于相干情形的示例时间设定算法可与其非相干对应物非常相似。然而，这两者之间有一些区别。

例如，在该示例中，假定在来自Costas环路和/或类似物的数据信号中有相位多义性0/π。如此，HOW的内容是关于TLM的比特D30*差分地编码的。由此，如果比特D30*不是已知的并且在该比特中有差错，那么HOW的内容将被翻转。另一区别在于IQ总和将尚未被缩放。由此，如果跨诸SV进行组合，那么IQ总和可在求和之前被缩放。

作为以上示例原因的结果，在执行相关时，如果设备不是TOW辅助的（例如，HOW的比特D30*不是已知的），那么该算法可取决于比特是否受HOW的比特D30*影响来将已知比特码型分成两部分。相关结果随后可被取平方并且跨SV和时间来求和。

在其中设备是TOW辅助的示例情境中，已知的62比特码型可被用来对照着经解调的数据信号进行相关。如前，结果随后可被取平方并且跨SV和时域来求和。当然，在该情形中，该算法可执行跨时间更长的积分。通过限制相关积分时长，例如，设备可更具对抗相位滑移和/或类似物的回弹性。在某些实现中，为了使该算法在TOW辅助和TOW非辅助情形之间一致，例如，可选择不执行在较长时间上的相干积分。

在某些示例实现中，可具体地限制相干积分时长，例如，在其中已知比特可分布在群集中的情境中。在此类情境中，例如，可对小的比特群集中的信号进行积分，对结果取平方，并且随后执行对结果的求和。

使用如前所述的相同注记，如果设备是非TOW辅助的，那么相关可被演算为：

而在TOW辅助系统中，相关可被演算为：

其中是与第a次尝试的比特i相对应的第j比特。

一旦所有相关值已经被找到，就可应用如非相干算法中那样的（相同）比值测试规程以接受/拒绝子帧边界假言。注意，用于该测试的阈值可与如前所示的非相干算法的那些阈值不同。

用于相干解调的时间设定算法的伪代码的非限定性示例（例如，对于GPS有TUNC<±3秒）可包括：

根据某些进一步方面，现在将描述在时间不定性超过近似±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性阈值的情况下可以是有用的并因此被选择的一些示例时间设定算法。

例如，如果时间不定性大于±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等，那么示例时间设定算法可包括列表过程、解码过程、验证过程、和弛豫过程。在某些情形中，附加验证过程可被执行。

例如，作为列表过程的一部分，近似已知比特码型可被用来对照着经解调数据信号进行相关并且多个最强候选可被标识且保持用于进一步处理。藉由示例，在某些实现中，此类列表过程标识五个最强候选。

作为解码过程的一部分，这多个最强候选中的一个或更多个候选可被用在提取时间信息的尝试中。在此，例如，解码过程可以具有最强相关性的候选开始并且向下进行至具有较弱相关性的候选。

作为验证过程的一部分，来自解码过程的信息可被用来验证候选是否被认为是有效的。在此，例如，可对候选HOW执行此类验证过程。在一特定示例中，验证过程可包括对以下项中的一者或更多者的使用：汉明CRC、TOW计数和受辅助时间一致性、TOW计数和子帧ID一致性、用于避免6秒差错的附加验证；和/或其他类似技术和/或其组合。

作为弛豫过程的一部分，例如，如果CRC没有通过，那么HOW的数个（例如，5个）最小点积（相干解调情形中的I采样）的可被逐一符号翻转，例如，从具有最小幅值的那个开始并且随后可重复解码和验证过程。

在某些实例中，例如，因为使用了毗邻子帧之间的HOW内容中的强相关，所以可执行附加验证过程（重验证）。由此，即使字通过了所有CRC和一致性校验，其或许仍然具有小概率的6秒差错（例如，TOW计数的最后比特可能是不正确的）。由此，此类附加验证步骤可减小错误检测的概率。

如果时间不定性超过近似±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等的时间不定性阈值，那么以下示例时间设定算法可由采用非相干解调的设备选择。

参照图4，其图示地解说了自顶到底进行的示例时间设定算法。在此，例如，作为列表过程的一部分，可形成Δ（delta）比特码型并且可通过对两个连贯前置码执行相关来找到相关性。如所解说，采样可从两个子帧接收到并且被用来执行验证过程以及可能用来执行例如用于避免6秒差错的重验证。

由此，在图4中，示例时间设定算法从解调引擎收集662个IQ采样。这些IQ采样被用来演算661个点积。可使用来自与第152个采样（第一子帧的中心，若第一子帧开始于所收集IQ的第三采样处）相对应的预测（近似）TOW计数的信息来找到第一Δ码型(del_p₁)。TOW计数对应于第二Δ码型(del_p₂)，因为其只不过是第一TOW计数加1。

300个假言处的相关随后可被计算为：

$\mathrm{corr}\left(i\right)=\underset{j=1}{\overset{61}{\mathrm{\&Sigma;}}}x(i+j-1)\mathrm{del}\_p_1\left(j\right)+x(i+j-1+300)\mathrm{del}\_p_2\left(j\right)$

在此，x(i)是SV在时间i处的点积。

如果只是应用相关和比值测试，那么由于前置码之间的强相关，可能有6秒差错。由此，如前所提及，让此类算法保持具有最高相关输出的K个候选（例如，K=5等）可以是有用的。

由此，作为验证过程的一部分，该算法可考虑例如从具有最高相关输出的那个候选开始的所有K个候选。由此，例如，对于至少一个候选子帧前置码（若不是对于每个候选子帧前置码），该算法可执行和/或考虑：(a)对HOW字的汉明校验；(b)TOW计数和受辅助时间之间的一致性；(c)TOW计数和子帧ID之间的一致性；和/或(d)HOW的两个最终比特的值。

注意，对于该示例中的每个候选，有两个HOW。该算法可因此校验这两个HOW。如果在候选HOW中的任一者中，所有校验均通过了，那么该算法可移至下一过程，否则，该算法可以递增的次序来对每个HOW的点积进行分选排序并且选取具有最小幅值的L（例如，L=5）个采样。该算法随后可遍历该点积列表地进行处理并且可尝试逐一翻转每个点积的符号，再次执行CRC和/或其他类似的一致性校验。如果所有校验都通过了，那么该算法可执行下一过程，否则，其可确定没有在该假言位置处找到HOW。

仿真结果显示，即使应用了所有一致性校验，6秒差错的概率在小C/No(～20dB-Hz)处仍为非零。为了避免这种情况，在TOW计数被解码和验证之后，可将其相关输出对照两个毗邻候选中的那些相关输出进行比较。在此，例如，可首先构造与经解码TOW相对应的比特码型和与TOW-1和TOW+1相对应的其他两个候选码型。可以成对方式来将对应于TOW的码型与对应于TOW-1和TOW+1的码型相比较。在此，例如，可在这两个候选码型不同之处进行采样并且在那些位置使用此类码型以形成相关。令对应于TOW的码型为del_p_0,1和del_p_0,2、对应于TOW-1的码型为del_p_-1,1del_p_-1,2。

该示例中的利于TOW的相关性度量可以是：

$r_0=\underset{i=1}{\overset{61}{\mathrm{\&Sigma;}}}x(i+j-1)\mathrm{del}\_p_{\mathrm{0,1}}\left(j\right)\mathrm{\&delta;}(\mathrm{del}\_p_{\mathrm{0,1}}\left(j\right)-\mathrm{del}\_p_{-\mathrm{1,1}}\left(j\right))$

$+x(i+j-1+300)\mathrm{del}\_p_{\mathrm{0,2}}\left(j\right)\mathrm{\&delta;}(\mathrm{del}\_p_{\mathrm{0,2}}\left(j\right)-\mathrm{del}\_p_{-\mathrm{1,2}}\left(j\right))$

该示例中的利于TOW-1的相关性度量可以是：

$r_{-1}=\underset{i=1}{\overset{61}{\mathrm{\&Sigma;}}}x(i+j-1)\mathrm{del}\_p_{-\mathrm{1,1}}\left(j\right)\mathrm{\&delta;}(\mathrm{del}\_p_{\mathrm{0,1}}\left(j\right)-\mathrm{del}\_p_{-\mathrm{1,1}}\left(j\right))$

$+x(i+j-1+300)\mathrm{del}\_p_{-\mathrm{1,2}}\left(j\right)\mathrm{\&delta;}(\mathrm{del}\_p_{\mathrm{0,2}}\left(j\right)-\mathrm{del}\_p_{-\mathrm{1,2}}\left(j\right)),$

其中i是先前找到的候选比特假言并且

在此，r₀=-r_-1。如果r₀>r_-1+△，其中△是正常量，那么该算法声明TOW是可能候选，否则TOW的值不可被用来为该设备设定时间（例如，可以是估计点积振幅和这两个码型不相同的采样数的函数的非负值）。

对候选TOW+1应用相同规程。幸存的TOW（若有的话）可被用来为该设备设定时间。

一般而言，不同的SV的HOW和/或TOW的内容可以是不同的。然而，观察已经显示，在绝大多数时间，HOW/TOW对于不同SV而言是相同的。如果接收机处于TOW辅助模式，那么执行校验来查看HOW/TOW的内容是否相同（例如，通过检查适用的辅助消息）可以是可行的。如果它们是相同的，那么跨SV进行组合就可以是可行的。用于该情形的示例过程与其中只有一个单SV的情形相似，除了点积将是来自不同SV的点积之和以外。

如果时间不定性超过近似±3秒的时间不定性阈值，那么以下示例时间设定算法可由采用相干解调的设备选择。

在此，例如，时间设定算法可在一些方面类似于用于非相干解调的先前示例，并且可包括列表过程、解码过程、验证过程、和弛豫过程（以及可能包括重验证）。

在此，示例算法可从解调引擎收集662个I采样（例如，假定Costas环路已被锁定）。由于该数据包含两个子帧前置码，所以可从辅助数据来计算两个码型。可使用来自与第152个采样（例如，第一子帧的中心，若第一子帧开始于所收集的I采样的第三采样处）相对应的预测（近似）TOW计数的信息来找到第一(p₁)。对应于第二Δ码型(p₂)的TOW计数只不过是第一TOW计数加1。相关可包括：

$\mathrm{corr}\left(i\right)={|\underset{j=1}{\overset{P}{\mathrm{\&Sigma;}}}I(i+j-1)p_1\left(j\right)+I(i+j-1+300)p_2\left(j\right)|}^2$

其中P是取决于接收机模式的变量。如果设备处于TOW辅助模式中（例如，TLM和HOW比特是已知的），那么P＝62，否则P=10。可选择从该码型中排除该HOW中的所有比特，因为HOW中的数据比特是用TLM的最后比特差分编码的。如果该比特是未知的，例如，如在非TOW辅助情形中那样，那么可通过首先解调TOW来获得该比特。然而，如果SNR通常是非常低的，那么此类解码结果可导致差错传播。如果差错发生，那么HOW的全部内容可能被翻转并且相关结果将不再是正确的。

示例算法随后可选择K个最强候选用于进一步处理。例如，该算法可遍历候选列表从最强到最弱地进行处理。同样，注意，在Costas环路的输出处可有0/180度的相位多义性。载波的相位可由每个假言处的相关输出的符号确定，例如：

$p\left(i\right)=\mathrm{sign}[\underset{j=1}{\overset{P}{\mathrm{\&Sigma;}}}I(i+j-1)p_1\left(j\right)+I(i+j-1+300)p_2\left(j\right)]$

为了移除相位多义性，在执行每个假言处的解码之前，IQ采样中的采样可与p(i)相乘。如果TOW通过了CRC校验、子帧ID和TOW计数一致性、以及TOW计数和受辅助时间一致性，那么该算法可例如包括重验证过程。如果CRC校验未通过或者一致性未得到满足，那么该示例算法可以递增的次序来对HOW的I采样的振幅进行分选排序并且保持具有最小振幅的K个采样。该算法随后可遍历该列表来进行处理并且试图逐一翻转每个采样的符号，并且再次执行CRC和TOW一致性校验。如果这些校验通过，那么示例算法可行进至重验证过程。

在此，例如，重验证过程可类似于非相干情形示例中的重验证过程。同样，此类附加过程可被用来避免6秒差错。由此，例如，该算法可构造与经解码TOW相对应的比特码型和与TOW-1和TOW+1相对应的其他两个候选码型。可例如以成对方式来将对应于TOW的码型与对应于TOW-1和TOW+1的码型相比较。

令对应于TOW的码型为p_0,1和p_0,2、对应于TOW-1的码型为p_-1,1和p_-1,2。利于TOW的相关性度量为：

$r_0=|\underset{i=1}{\overset{61}{\mathrm{\&Sigma;}}}I(i+j-1)p_{\mathrm{0,1}}\left(j\right)\mathrm{\&delta;}(p_{\mathrm{0,1}}\left(j\right)-p_{-\mathrm{1,1}}\left(j\right))+I(i+j-1+300)p_{\mathrm{0,2}}\left(j\right)\mathrm{\&delta;}(p_{\mathrm{0,2}}\left(j\right)-p_{-\mathrm{1,2}}\left(j\right))|$

并且利于TOW-1的相关性度量为：

$r_{-1}=|\underset{i=1}{\overset{61}{\mathrm{\&Sigma;}}}I(i+j-1)p_{-\mathrm{1,1}}\left(j\right)\mathrm{\&delta;}(p_{\mathrm{0,1}}\left(j\right)-p_{-\mathrm{1,1}}\left(j\right))+I(i+j-1+300)p_{-\mathrm{1,2}}\left(j\right)\mathrm{\&delta;}(p_{\mathrm{0,2}}\left(j\right)-p_{-\mathrm{1,2}}\left(j\right))|$

如果r₀>r_-1+△（其中△是非负值，例如△＝这些I采样的平均振幅的2倍），那么该判决是利于TOW的，否则，TOW的值不被用来设定时间。注意，△还可以是这两个码型有所不同的位置的数目的函数。

现在将描述在有TOW辅助数据可用的情况下可在TOW辅助模式中实现的一些示例技术。在此，例如，时间设定算法可包括多个假言搜索。

例如，如果时间不定性大于±3秒（例如，在GPS示例中）、±1秒（例如，在GLONASS示例中）等，那么示例时间设定算法可包括定义一个或更多个搜索码型和执行相关过程、以及用于执行（诸）比值测试的验证过程。在某些实例中，重验证过程可被执行以提供附加软验证。

在此，例如，作为相关过程的一部分，大小为660（或其他适用大小）的缓冲器可被用来保持相关输出。令x(k)为第k个点积采样。如果时间不定性是例如±8秒（例如，对于GPS），则在每个比特假言处可有3种时间可能性。由此，例如，令对应于这三种可能性的Δ码型为del_p₁(h,i)和del_p₂(h,i)，此处h是可取值0、1、或2的假言索引，并且i是比特索引，并且下标1和2表示第一和第二子帧的索引。

对应于假言h的相关可被演算为：

$\mathrm{corr}(h,i)=\underset{j=1}{\overset{61}{\mathrm{\&Sigma;}}}x(i+j-1)\mathrm{del}\_p_1(h,j)+x(i+j-1+300)\mathrm{del}\_p_2(h,j)$

在该示例中，由于有3个时间假言和300个比特假言，所以总相关数是900。可例如以非递增的次序来对具有最大相关输出的这些（3个）时间假言进行分选排序。该示例算法可遍历得到的列表进行处理，执行验证过程，例如，经由使用最大峰值与次最大峰值的比值和阈值的（诸）比值测试。示例算法还可采用诸如举例而言附加软验证之类的附加测试。如果假言通过了此类测试，那么该假言被用来设定时间（例如，通过检测相应接收到的SPS信号中的子帧前置码，并且至少部分地基于检测出的子帧前置码在比特序列中的位置来确定SPS时间）。

根据某些示例实现，可（例如，取决于IQ数据的可用性）使用一子帧时间设定算法或两子帧时间设定算法。

例如，在有一子帧的数据可用的TOW辅助模式中，如果时间不定性大于±3秒（例如，对于GPS，3秒≤TUNC≤8秒），那么可使用一子帧时间设定算法。

藉由示例，一子帧时间设定算法可包括多个假言测试以搜索子帧边界。在此，例如，给定了点积向量长度，则在首300个采样之中应当有一个子帧边界。给定了例如±8秒的TUNC，则在每个采样假言处，对于TOW计数可有三个可能值，其可被称为三个时间假言。可例如通过将当前时间传播到相应采样来找到TOW计数。至少部分地基于TOW计数值和可用TOW辅助数据，在每个采样假言处，可重新构造3个可能的62比特前置码码型。此类码型可例如以作为前一子帧的最后两个零比特的[1,1]来开始。注意，在某些码型中，1可被用来表示0，-1可被用来表示1，并且0可被用来表示来自辅助数据的未知比特。在该示例中，最后60个比特包括TLM和HOW。在重新构造HOW时，可使用TOW计数和相同HOW的子帧ID之间的以下示例关系：

subID=mod(TOW计数-1,5)+1

注意，以上示例公式可被用来确定对TOW辅助62比特码型的调整中指示毗邻子帧/TOW计数的部分。在30比特HOW中，可将TOW计数递增（或递减）1（例如，模403，200）并且将子帧ID递增（或递减）1（例如，模5）并且随后重编码CRC奇偶校验数位。在此，例如，可使用码型中的现有值来直接地递增/递减子帧ID，并且/或者将其从TOW计数推导出。

从搜索码型起，在每个采样假言处可形成3个Δ码型。可例如基于搜索码型的相位转变来形成这些Δ码型。这些向量可例如具有61比特的长度。令dot_prod为点积向量、并且corr为该点积向量和Δ码型之间的相关性。藉由示例，在某些实现中，corr可以是大小为3×300的二维向量，其中3是每个采样假言处的假言数，并且300是子帧边界的采样假言数。

以下示出了用于演算相关矩阵的伪代码非限定性示例，例如，对于3×300相关矩阵：

随着为每个时间假言（注意在该示例中，可有3个时间假言和300个采样假言）找到相关矩阵，一子帧时间设定算法可寻找具有最大相关输出的采样和具有次最大相关输出的采样。此类时间设定算法可以递减的次序例如从列表的开始到结束地对最大相关输出进行分选排序。对于该列表中的每个元素，如果最大相关输出和次最大相关输出之间的比值大于阈值，那么可标识相应的时间和采样假言以用作设定时间的候选。

用于此类比值测试算法的伪代码的非限定示例可包括：

例如，可在候选被用来设定时间之前使用附加软验证过程来进一步测试此类候选。由于前置码是高度相关的，所以（例如，包括one_sf_soft_verify(i)函数的）附加软验证过程可被用来执行附加验证逻辑以避免某些差错（例如，6秒差错）。

对于子帧边界可以有高置信度，但是关于与该边界相对应的TOW计数值的置信度可能是低的。该算法可将候选（采样）假言与其他两个竞争假言相比较。这可例如通过在候选码型和竞争码型有所不同的位置处执行候选码型对照点积向量之间的相关来进行。藉由示例，如果相关输出大于或等于阈值（例如，0.5乘以这两个码型中不同之处的数目乘以估计点积振幅），那么候选码型可被接受。

因为TLM消息可在时间设定尝试期间改变（尽管这是非常罕见的事件），为了避免此类消息的改变使得相关性变低（其可导致检测真峰值方面的差错），与TLM消息和TLM字的CRC相对应的点积也可与点积向量相关。在此，例如，如果此类相关大于阈值，例如，是估计出的点积振幅的11倍（其在该示例中是TLM消息的长度加CRC除以2），那么假言可被接受。

用于一个子帧的此类附加软验证过程的伪代码的非限定示例可包括：

现在将描述示例两子帧时间设定算法。在具有两子帧的数据可用的TOW辅助模式中，如果时间不定性大于±3秒（例如，对于GPS，3秒≤TUNC≤8秒），那么可使用此示例两子帧时间设定算法。

在此，例如，两子帧时间设定算法还可使用多个假言测试，这非常类似于以上在示例一子帧时间设定算法中描述的算法。一个区别可以是两子帧时间设定算法如其名称暗示的那样使用两个子帧的采样而不是一个子帧的采样。

在此，例如，（661比特或其他适用长度的）点积向量可由两子帧时间设定算法使用来搜索子帧边界。对于此类点积向量长度，在首300个采样之中应当有一个子帧边界，并且在第二300个采样之中应当有另一个子帧边界。给定了例如±8秒的TUNC，在每个采样假言处，对于TOW计数可有（最多）三个可能的值（例如，三个时间假言）。可例如通过将当前时间传播到相应采样来找到TOW计数。从TOW计数值和TOW辅助数据，在每个采样假言处，可重新构造3个可能的62比特前置码码型。在此，例如，此类码型可以作为前一子帧的最后两个零比特的[1,1]来开始。如在先前示例中那样，在某些码型中，1可被用来表示0，-1可被用来表示1，并且0可被用来表示来自辅助数据的未知比特。在该示例中，最后60个比特包括TLM和HOW。由于该示例中的子帧边界是相隔300个采样的，因此可通过向相应第一TOW计数值加1来演算与接下来300个采样中的采样相对应的TOW计数值。还可以与先前示例相同的方式来构造相应的62比特前置码搜索码型。

从这些搜索码型，在每个采样假言处，可形成包括具有这两个62比特搜索码型的超级码型的3个Δ码型。例如，可基于搜索码型的相位转变来形成这些Δ码型。该示例中得到的向量还可具有61比特的长度。令dot_prod为点积向量，并且令corr为该点积向量和Δ码型之间的相关性。相关矩阵corr是大小为3×300的二维向量，其中3是每个采样假言处的假言数，并且300是子帧边界的采样假言数。在此，例如，可为对应于每个采样假言的这两个搜索码型皆执行相关。

用于演算此类相关矩阵的伪代码的非限定示例可包括：

一旦找到相关矩阵,该示例两子帧时间设定算法就可为每个时间假言（例如，在此可有3个时间假言和300个采样假言）寻找具有最大相关输出的采样和具有次最大相关输出的另一采样。该示例两子帧时间设定算法可例如以递减的次序从列表的开始到结束来对最大相关输出进行分选排序。对于该列表中的每个元素，如果最大相关输出和次最大相关输出之间的比值大于阈值，那么可将相应的时间和采样假言标识为候选以设定时间。

用于比值测试算法的伪代码的非限定示例可包括：

类似于先前示例，在某些示例实现中，可使用附加软验证算法来进一步测试候选。由于在该示例中前置码是高度相关的，所以两子帧时间设定算法可包括two_sf_soft_verify(i)函数来执行附加验证逻辑以避免某些差错（例如，6秒差错）。

如前所述，对于子帧边界可以有高置信度，但是关于与该边界相对应的TOW计数值的置信度可能是低的。由此，可使两子帧时间设定算法能够将候选假言与其他两个竞争假言相比较。这可例如至少部分地通过在候选码型和竞争码型有所不同的采样处执行候选码型对照点积向量之间相关来完成。如果例如相关输出大于或等于阈值（例如，0.5乘以这两个码型中的不同之处的数目乘以估计点积振幅），那么候选码型可通过此类测试。因为TLM消息在时间设定尝试期间可能会改变（同样，这应是罕见事件），为了避免此类消息的改变使得相关性变低（这可能导致真峰值检测上的差错），还可将与TLM消息相对应的点积以及TLM字的CRC对照这些码型来进行相关。

在此，用于附加软验证算法的伪代码的非限定性示例可包括：

如所描述，在某些示例中，例如，对于其中TUNC是±8秒的GPS，对于6秒子帧起始时间可有多个（例如，3个）假言。可为其他TUNCS扩展此类技术和算法。例如，如果TUNC是±10秒，那么可有4个可能的分隔6秒的子帧起始时间。由此，在某些实例中，可有可响应于先验时间不定性的大小来管理的多个6秒起始时间假言。

TOW的内容对于不同SV而言可以是不同的。然而，如前所提及，TOW对于不同SV经常是相同的。如果接收机处于TOW辅助模式，那么执行校验以确定HOW/TOW的内容是否相同可以是可行的。如果它们相同，那么跨SV进行组合可以是可行的，例如，在尝试组合TOW以在解码中使用时。然而，在某些其他示例实现中，即使HOW/TOW中的内容不匹配，也可跨诸SV来进行组合。例如，在某些实现中，可以不需要来自不同的SV的比特匹配以（相干地和/或非相干地）形成相关。实际上，在某些示例实现中，每个SV可使用其自己的码型来与其点积匹配，并且来自多个SV的相关输出可被组合以形成最终相关，例如，如本文中在关于TUNC=±3秒的示例算法中所给出的。

例如，跨诸SV进行组合的处理可类似于其中只有一个单SV的情形，除了I采样现在是I采样的经缩放的总和。

$I\left(k\right)=\underset{\mathrm{iSV}=1}{\overset{\mathrm{nSV}}{\mathrm{\&Sigma;}}}{p}_{\mathrm{iSV}}\sqrt{{\mathrm{SNR}}_{\mathrm{iSV}}}{I}_{\mathrm{iSV}}\left(k\right)$

其中p_iSV被用来移除第iSV个SV的Costa环路的相位多义性，SNR_iSV是第iSV个SV的SNR并且I_iSV(k)是第iSV个SV的第k个采样。

接着注意力移至图5，其示出可在设备202中用来支持时间设定的过程500。

在框502处，包括一个或更多个数据子帧的比特序列可被接收和/或另行获得。例如，比特序列可从解调引擎接收并且/或者从存储器获得。

在任选的框504处，可至少部分地基于时间不定性和/或基于对SPS信号执行的解调类型来从多个时间设定算法之中选择时间设定算法。

在框506处，可将已知和/或预测比特序列与接收到的比特序列在多个时移假言处相关。在框508处，可与从相关得到的其他峰值信息比较地来来验证最大峰值。例如，从相关得到的最大峰值与次最大峰值的比值可经历验证以验证该比值超过阈值。在某些示例实现中，在框504处选择的时间设定算法可操作性地控制和/或另行影响在框506处执行的相关和/或在框508处执行的验证中的一者或更多者的操作。藉由示例，本文中描述了若干个时间设定算法，其可被选择并且其操作性地控制和/或至少影响相关过程和/或验证过程。

在框510处，可至少部分地基于来自经验证的最大峰值的结果来检测接收到的SPS信号中的子帧前置码。在框512处，可至少部分地基于检测出的子帧前置码在比特序列中的位置来确定SPS时间。

贯穿本说明书对“一个示例”、“一示例”、“某些示例”、或“示例性实现”的引用意味着结合该特征和/或示例描述的特定特征、结构、或特性可被包括在所要求保护的主题内容的至少一个特征和/或示例中。由此，短语“在一个示例中”、“一示例”、“在某些示例中”或“在某些实现中”或其它类似短语贯穿本说明书在各处的出现并非必然全部引述同一特征、示例、和/或限制。此外，这些特定特征、结构或特性可在一个或更多个示例和/或特征中加以组合。

本文中所描述的方法体系取决于根据特定特征和/或示例的应用可由各种手段来实现。例如，此类方法体系可在硬件、固件、和/或其组合中连同软件一起来实现。例如，在硬件实现中，处理单元可在一个或更多个专用集成电路（ASIC）、数字信号处理器（DSP）、数字信号处理器件（DSPD）、可编程逻辑器件（PLD）、现场可编程门阵列（FPGA）、处理器、控制器、微控制器、微处理器、电子设备、设计成执行本文中所描述的功能的其它设备单元、和/或其组合内实现。

在以上详细描述中，已阐述了众多具体细节来提供对所要求保护的主题内容的透彻理解。然而，本领域技术人员将理解，所要求保护的主题内容无需这些具体细节也可实践。在其它实例中，未详细描述本领域普通技术人员将已知的方法和装置，以便不会使所要求保护的主题内容不明朗。

以上详细描述的一些部分是以对存储在具体装置或专用计算设备或平台的存储器内的二进制数字电子信号的操作的算法或符号表示的形式来给出的。在此具体说明书的上下文中，术语具体装置或类似术语包括通用计算机，只要其被编程为依照来自程序软件的指令执行特定功能即可。算法描述或符号表示是信号处理或相关领域普通技术人员用来向该领域其它技术人员传达其工作实质的技术的示例。算法在此并且一般被视为通往期望结果的自相容的操作序列或类似信号处理。在本上下文中，操作或处理涉及对物理量的物理操纵。典型情况下，尽管并非必然，这样的量可采取能作为表示信息的电子信号被存储、转移、组合、比较、或以其它方式操纵的电或磁信号的形式。已证明，主要出于通用的缘故，有时将此类信号称为比特（位）、数据、值、元素、码元、字符、项、数、数值、信息或类似术语是方便的。然而应理解，所有这些或类似术语应与恰适物理量相关联且仅仅是便利性标签。除非明确声明并非如此，否则如从以下讨论所显见的，应当领会，本说明书通篇中使用诸如“处理”、“计算”、“演算”、“确定”、“建立”、“获得”、“标识”之类的术语、和/或类似术语的讨论指的是诸如专用计算机或者类似的专用电子计算设备之类的特定装置的动作或过程。因此，在本说明书的上下文中，专用计算机或类似专用电子计算设备能够操纵或变换信号，这些信号典型情况下被表示为该专用计算机或类似专用电子计算设备的存储器、寄存器或其它信息存储设备、传输设备、或显示设备内的物理电子或磁量。在此具体专利申请的上下文中，术语“特定装置”可包括通用计算机，只要其被编程为依照来自程序软件的指令执行具体功能即可。

如本文中所使用的术语“和”、“或”以及“和/或”可包括各种涵义，还预期这将至少部分地取决于使用此类术语的上下文。通常，“或”如果被用于关联罗列，诸如A、B或C，则其意在表示此处以可兼意义使用的A、B、和C，以及此处以排他意义使用的A、B或C。另外，如本文中所使用的术语“一个或更多个”可被用来描述单数形式的任何特征、结构或特性或者可被用来描述多个特征、结构或特性或其它某种组合。然而，应当注意，这仅是解说性示例并且所要求保护的主题内容不限于此示例。

在一些情况中，存储器设备的操作（诸如举例而言从二进制1到二进制0或者反过来的状态变化）可包括诸如物理变换之类的变换。在特定类型的存储器设备的情况下，此类物理变换可包括物项向不同状态或事物的物理变换。例如，但非限定，对于一些类型的存储器设备，状态变化可涉及电荷的累积和存储或者存储着的电荷的释放。同样，在其他存储器设备中，状态变化可包括磁取向上的物理变化或变换或者分子结构的物理变化或变换，诸如从晶态的到无定形态的或者反过来。在又一些存储器设备中，物理状态的变化可涉及量子力学现象，诸如举例而言可涉及量子比特（qubit）的叠加、缠结等。上述内容无意成为存储器设备中从二进制1到二进制0或反过来的状态变化可包括诸如物理变换之类的变换的所有示例的穷尽性列表。确切而言，以上内容旨在作为解说性示例。

计算机可读（存储）介质通常可以是非瞬态的或者包括非瞬态设备。在此上下文中，非瞬态存储介质可包括有形的设备，这意味着尽管设备可改变自己的物理状态，但是该设备具有实在的物理形式。因此，例如，非瞬态指代尽管有此状态变化但保持有形的设备。

虽然已解说和描述了目前认为是示例特征的内容，但是本领域技术人员将理解，可作出其它各种改动并且可换用等效技术方案而不会脱离所要求保护的主题内容。此外，可作出许多改动以使特定境况适应于所要求保护的主题内容的教导而不会脱离本文中所描述的中心思想。

因此，所要求保护的主题内容并非旨在被限定于所公开的特定示例，相反，如此要求保护的主题内容还可包括落入所附权利要求及其等效技术方案的范围内的所有方面。

Claims (24)

1.一种用于利用从卫星定位系统(SPS)获取的信号的方法，包括：以电子设备来：

接收来自包括一个或更多个数据子帧的SPS信号的比特序列；

将已知和/或预测比特序列与所述接收到的SPS信号在多个时移假言处相关；

与从所述相关得到的其他峰值信息比较地来验证最大峰值；

至少部分地基于来自所述经验证的最大峰值的结果来检测所述接收到的SPS信号中的子帧前置码；以及

至少部分地基于所述检测出的子帧前置码在所述比特序列中的位置来生成表示SPS时间的一个或更多个电信号；

其中所述方法进一步包括：以所述电子设备来：

至少部分地基于时间不定性来从多个时间设定算法之中选择时间设定算法，所述时间设定算法操作性地控制所述相关和/或所述验证中的至少一者。

2.如权利要求1所述的方法，其特征在于，验证所述最大峰值进一步包括：

验证从所述相关得到的所述最大峰值与次最大峰值的比值超过阈值。

3.如权利要求1所述的方法，其特征在于，进一步包括：以所述电子设备来：

至少部分地基于与所述SPS信号相关联的时间不定性阈值来选择所述时间设定算法。

4.如权利要求3所述的方法，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起列表过程和/或解码过程中的至少一者作为所述相关的一部分。

5.如权利要求3所述的方法，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起弛豫过程作为所述验证的一部分。

6.如权利要求3所述的方法，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起重验证过程。

7.如权利要求1所述的方法，其特征在于，进一步包括：以所述电子设备来：

至少部分地基于对所述SPS信号执行的解调类型来从多个时间设定算法之中选择时间设定算法，所述时间设定算法操作性地控制所述相关和/或所述验证中的至少一者。

8.如权利要求7所述的方法，其特征在于，对所述SPS信号执行的所述解调类型包括相干解调和非相干解调中的至少一者。

9.如权利要求2所述的方法，其特征在于：所述阈值至少部分地基于以下至少一者：

对所述SPS信号执行的解调类型；

积分时段的长度；

与所述SPS信号相关联的空间飞行器(SV)的数目；和/或

SV的载波噪声功率比(C/No)的估计值。

10.如权利要求1所述的方法，其特征在于，所述多个时移假言与比特位置相关联，并且其中所述检测所述子帧前置码包括：

标识与峰值相关结果相关联的比特位置。

11.如权利要求10所述的方法，其特征在于，生成表示所述SPS时间的所述一个或更多个电信号包括将所述SPS时间与所述标识出的比特位置相关联。

12.如权利要求1所述的方法，其特征在于，还包括：以所述电子设备来：

从以下至少一者接收多个比特流：相关联的多个卫星飞行器(SV)发射机、和/或来自所述SV发射机之一的相关联的多个子帧；

将所述已知和/或预测比特序列与所述多个比特流中的每个比特流在所述多个时移假言处相关来为每个时移假言提供相关联的多个相关结果；

对于每个时移假言，组合所述相关联的多个相关结果；以及

标识与每个经组合的相关结果相关联的比特位置。

13.一种用于利用从卫星定位系统(SPS)获取的信号的设备，所述设备包括：

用于接收来自包括一个或更多个数据子帧的卫星定位系统(SPS)信号的比特序列的装置；

用于将已知和/或预测比特序列与所述接收到的SPS信号在多个时移假言处相关的装置；

用于与从所述相关得到的其他峰值信息比较地来验证最大峰值的装置；

用于至少部分地基于来自所述经验证的最大峰值的结果来检测所述接收到的SPS信号中的子帧前置码的装置；以及

用于至少部分地基于所述检测出的子帧前置码在所述比特序列中的位置来确定SPS时间的装置；

用于至少部分地基于时间不定性来从多个时间设定算法之中选择时间设定算法的装置，所述时间设定算法操作性地控制所述用于相关的装置和/或所述用于验证的装置中的至少一者。

14.如权利要求13所述的设备，其特征在于，所述用于验证所述最大峰值的装置包括用于验证从所述相关得到的所述最大峰值与次最大峰值的比值超过阈值的装置。

15.如权利要求13所述的设备，其特征在于，进一步包括：

用于至少部分地基于与所述SPS信号相关联的时间不定性阈值来选择所述时间设定算法的装置。

16.如权利要求15所述的设备，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起用于列表的装置和/或用于解码的装置中的至少一者作为所述用于相关的装置的一部分。

17.如权利要求16所述的设备，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起用于弛豫的装置作为所述用于验证的装置的一部分。

18.如权利要求15所述的设备，其特征在于，所述时间不定性超过时间不定性阈值并且所述选择的时间设定算法选择性地发起用于重验证过程的装置。

19.如权利要求13所述的设备，其特征在于，进一步包括：

用于至少部分地基于对所述SPS信号执行的解调类型来从多个时间设定算法之中选择时间设定算法的装置，所述时间设定算法操作性地控制所述用于相关的装置和/或所述用于验证的装置中的至少一者。

20.如权利要求19所述的设备，其特征在于，对所述SPS信号执行的所述解调类型包括相干解调和非相干解调中的至少一者。

21.如权利要求14所述的设备，其特征在于，所述阈值至少部分地基于以下各项中的至少一项：

对所述SPS信号执行的解调类型；

积分时段的长度；

与所述SPS信号相关联的空间飞行器(SV)的数目；和/或

SV的载波噪声功率比(C/No)的估计值。

22.如权利要求13所述的设备，其特征在于，所述多个时移假言与比特位置相关联，并且其中所述用于检测所述子帧前置码的装置包括：

用于标识与峰值相关结果相关联的比特位置的装置。

23.如权利要求13所述的设备，其特征在于，所述用于确定所述SPS时间的装置包括将所述SPS时间与所述标识出的比特位置相关联。

24.如权利要求13所述的设备，其特征在于，进一步包括：

用于从以下至少一者接收多个比特流的装置：相关联的多个卫星飞行器(SV)发射机、和/或来自所述SV发射机之一的相关联的多个子帧；

用于将所述已知和/或预测比特序列与所述多个比特流中的每个比特流在所述多个时移假言处相关来为每个时移假言提供相关联的多个相关结果的装置；

对于每个时移假言，用于组合所述相关联的多个相关结果的装置；以及

用于标识与每个经组合的相关结果相关联的比特位置的装置。