"GPS信号のためのフレーム同期を提供する方法であって、前記方法は、GPSビットに対してコヒーレントビット抽出を実行することと;前記コヒーレントビット抽出のビットに基づいて、コヒーレントフレームバウンダリ検出を実行することと;前記GPSビットに対してディファレンシャルビット抽出を実行することと;前記ディファレンシャルビット抽出のビットに基づいて、ディファレンシャルフレームバウンダリ検出を実行することと、なお、ディファレンシャルフレームバウンダリ検出を実行すること、および、コヒーレントフレームバウンダリ検出を実行することは、同時に行なわれる;前記フレーム同期を提供することと、なお、前記コヒーレントフレームバウンダリ検出および前記ディファレンシャルフレームバウンダリ検出のいずれかが先にフレームバウンダリを見つけると、そのフレームバウンダリは前記フレーム同期のために使用される;を備える、方法。前記GPSビットに対して前記コヒーレントビット抽出を実行することは、第1のGPSサブフレームの第1のテレメトリTLMワードのプリアンブル、前記第1のTLMワードおよび第1のハンドオーバーワードHOWワードのパリティビット、前記第1のHOWワードのタイムオブウィークTOW、および前記第1のHOWワードのサブフレームIDビットを見つけることを含む、請求項1に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、前記第1のTLMワードの前記パリティビットを使用して前記第1のTLMワードの有効性をチェックすることを含む、請求項2に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、前記第1のHOWワードの前記パリティビットを使用して前記第1のHOWワードの有効性をチェックすることを含む、請求項3に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、有効な第1のHOWワードが有効な第1のTLMワードに続くとき、TOW同期を宣言することを含む、請求項4に記載の方法。前記GPSビットに対して前記コヒーレントビット抽出を実行することは、第2のGPSサブフレームの第2のテレメトリTLMワードのプリアンブル、前記第2のGPSサブフレームの前記第2のTLMワードおよびHOWワードのパリティビット、前記第2のHOWワードのTOW、および前記第2のHOWワードのサブフレームIDビットを見つけることを含む、請求項5に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、前記第2のTLMワードの前記パリティビットを使用して前記第2のTLMワードの有効性をチェックすることを含む、請求項6に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、前記第2のHOWワードの前記パリティビットを使用して前記第2のHOWワードの有効性をチェックすることを含む、請求項7に記載の方法。前記コヒーレントフレームバウンダリ検出を実行することは、1有効な第2のHOWワードが有効な第2のTLMワードに続くとき、2第2のTOWが第1のTOW1に等しいとき、3第2のサブフレームIDビットが第1のサブフレームIDビット1に等しいとき、検出されたフレームバウンダリを宣言することを含む、請求項8に記載の方法。2つのワードが格納されたときのみコヒーレントおよびディファレンシャルバウンダリ検出を実行することを進めること、をさらに含む請求項9に記載の方法。前記2つのワードの最初に入ったGPSビットを削除すること、前記2つのワードの最後に入ったGPSビットとして新たなGPSビットを追加すること、GPSビットに対してコヒーレントおよびディファレンシャルビット抽出、ならびに、コヒーレントおよびディファレンシャルフレームバウンダリ検出を実行することを繰り返すこと、をさらに含む請求項10に記載の方法。前記GPSビットに対して前記ディファレンシャル抽出を実行することは、GPSサブフレームのテレメトリTLMワードのプリアンブル、および、ハンドオーバーワードHOWワードのタイムオブウィークSTOWの限定された数の最上位ビットMSBを見つけることを含む、請求項1に記載の方法。前記ディファレンシャルフレームバウンダリ検出を実行することは、前記プリアンブルを使用して、前記TLMワードを識別すること、を含む、請求項12に記載の方法。前記ディファレンシャルフレームバウンダリ検出を実行することは、限定された数のサバイバーパスをセーブすることを含み、サバイバーパスは、前記フレームバウンダリの最も起こりうるロケーションである、請求項13に記載の方法。前記限定された数のサバイバーパスは、起こりうる300ロケーションのうちの10~12ロケーションである、請求項14に記載の方法。複数のTLMワードおよびHOWワードを使用して前記ディファレンシャルフレームバウンダリ検出を実行すること、および、前記フレームバウンダリの最も起こりうるロケーションを反映するために前記サバイバーパスを更新すること、をさらに含む請求項14に記載の方法。TLMワードは前記プリアンブルを使用して識別されるたびにメトリックに1を追加すること、をさらに含む請求項16に記載の方法。最後のSTOWの値を格納し、現在のSTOWが最後のSTOWに等しいときにSTOWフラグをONに設定すること、をさらに含む請求項17に記載の方法。前記ディファレンシャルフレームバウンダリ検出を実行することは、1前記メトリックがしきい値以上であり、前記STOWフラグがONに設定されるとき、検出されたフレームバウンダリを宣言することを含む、請求項18に記載の方法。前記しきい値は時間の関数である、請求項19に記載の方法。前記しきい値は、10ms毎に1だけ増加する、請求項20に記載の方法。GLONASS信号のためのストリング同期を提供する方法であって、前記方法は、GLONASSビットに対してコヒーレントビット抽出を実行することと;前記コヒーレントビット抽出のビットに基づいて、コヒーレントストリングバウンダリ検出を実行することと;前記GLONASSビットに対してディファレンシャルビット抽出を実行することと;前記ディファレンシャルビット抽出のビットに基づいてディファレンシャルストリングバウンダリ検出を実行することと、なお、ディファレンシャルストリングバウンダリ検出を実行することとコヒーレントストリングバウンダリ検出を実行することは同時に行われる;前記ストリング同期を提供することと、なお、前記コヒーレントストリングバウンダリ検出および前記ディファレンシャルストリングバウンダリ検出のいずれかが先にストリングバウンダリを見つけると、そのストリングバウンダリは前記ストリング同期のために使用される;を備える方法。前記GLONASSビットに対してコヒーレントビット抽出を実行することは、10ms毎に30ビットを抽出することを含む、請求項22に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、ビットフリップすることなく、前記30ビットをGLONASSのタイムマークと相関することを含む、請求項23に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、相関出力値毎にメトリックを割り当てることをさらに含む、請求項24に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、2秒毎に各ビットロケーションのための前記メトリックを蓄積することをさらに含む、請求項25に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、最も高い蓄積されたメトリックに基づいて限定された数のサバイバーパスを識別することをさらに含む、請求項26に記載の方法。前記限定された数のサバイバーパスは8である、請求項27に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、各抽出されたシーケンスの必要に応じて、前記サバイバーパスを更新することをさらに含む、請求項27に記載の方法。コヒーレントストリングバウンダリ検出を実行することは、蓄積されたメトリックのセットがしきい値以上であるかを決定し、そうである場合には、タイムマークバウンダリ検出を宣言すること、をさらに含み、タイムマークバウンダリ検出は、前記ストリング同期を提供する、請求項29に記載の方法。前記GLONASSビットに対してディファレンシャルビット抽出を実行することは、10ms毎に30ビットを抽出することを含む、請求項22に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、ビットフリップを用いて、前記30ビットをGLONASSのタイムマークと相関することを含む、請求項31に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、相関出力値毎にメトリックを割り当てることをさらに含む、請求項32に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、2秒毎に各ビットロケーションのための前記メトリックを蓄積することをさらに含む、請求項33に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、最も高い蓄積されたメトリックに基づいて限定された数のサバイバーパスを識別することをさらに含む、請求項34に記載の方法。前記限定された数のサバイバーパスは8である、請求項35に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、各抽出されたシーケンスの必要に応じて、前記サバイバーパスを更新することをさらに含む、請求項35に記載の方法。ディファレンシャルストリングバウンダリ検出を実行することは、蓄積されたメトリックのセットがしきい値以上であるかを決定し、そうである場合には、タイムマークバウンダリ検出を宣言すること、をさらに含み、タイムマークバウンダリ検出は、前記ストリング同期を提供する、請求項37に記載の方法。図1は、ハイブリッドビット抽出すなわち、コヒーレントビット抽出およびディファレンシャルビット抽出の双方を使用するを実行することができる例示的なGPSフレームバウンダリ検出システム100を図示する。この実施形態では、周波数ロックループFLL101を使用するトラッキングブロックは、FLL周波数出力102を出力することができる。集積されたおよびダンプIDブロック103は、所定数のFLL周波数出力102を集積し、出力を生成する。一実施形態では、IDブロック103は、20:1の集積およびダンププロセスを実装することができる。コヒーレントビット抽出ブロック104は、FLL周波数出力102と、IDブロック103の出力を受信することができる。ディファレンシャルビット抽出ブロック106は、IDブロック103の出力だけを受信することができる。フレームバウンダリ検出ブロック105および107は、それぞれ、コヒーレントビット抽出ブロック104およびディファレンシャルビット抽出ブロック106の出力を受信することができる。マルチプレクサ108は、フレームバウンダリ検出ブロック105および107の出力のうちの1つを選択するために使用されることができる。一実施形態では、制御信号109は、FRAME同期信号を最初に生成するいずれのフレームバウンダリ検出ブロックを選択する。ここにおいてさらに詳述されるように、フレームバウンダリ検出105と関連づけられたコヒーレントビット抽出はハイダイナミック検出を提供することができるが、フレームバウンダリ検出107と関連づけられたディファレンシャルビット抽出は、ハイセンシティビティ検出を提供することができる。図1に図示されるように、ディファレンシャルパスとコヒーレントパスの双方は、GPSにおいて同じフレーム同期プロシージャを実行する。ディファレンシャル方法とコヒーレント方法の双方は高いしきい値パスと低いしきい値パスを有する。ビット抽出は、コヒーレントまたはディファレンシャルであろうと、GPSフレームの諸機能態様によって決まる。GPSフレームは5サブフレームから成り、そのうちの最初の3つはエフェメリスデータである。各サブフレームは10ワードを有し、各ワードは、6つのパリティチェックビットを含む30ビットを有する。正確にエフェメリスデータを抽出するために、各サブフレームのスタート位置を見つけなくてはならない。以下にさらに詳述されるように、サブフレームの第1ワードと第2ワードにおける特定ビットはフレームバウンダリ検出に使用されることができる。図2Aは、TLMテレメトリワード200の構造を図示し、そしてそれはサブフレームの第1のワードである。TLMワード200は、8ビットのプリアンブル1-8、16のリザーブされたビット9-24および6つのパリティビット25-30を有する。一実施形態では、8ビットのプリアンブルは、フレームバウンダリ検出に使用されることができる。特に、8ビットのプリアンブルが固定されており、ビットは10001011である。図2Bは、HOWハンドオーバーワード210の構造を図示しており、そしてそれは、サブフレームの第2のワードである。HOWワード210は、17ビットのTOWタイムオブウィークMSB最上位ビットが左、LSB最下位ビットが右、2つのフラグビット18-1918:設定000について同期フラグ、設定001についてアンチスプーフフラグ19:設定000についてモメンタムフラグ、設定001についてアラートフラグ、および3つのサブフレームIDビット20-22、および6つのパリティビット25-30を有する。一実施形態では、TOWビットおよびサブフレームIDビットは、フレームバウンダリ検出に使用されることができる。図3は、フレーム同期syncのためにTLMビットおよびHOWビットの上述されたサブセットを使用する例示的な技法300を図示する。技法300では、ステップ301で開始した後に2ワードについてのスライディングウィンドウすなわち60ビット長がステップ302でバッファを埋めるために使用されることができる例えば、FIFO。ステップ303で示されるように、バッファがフルになると、2セットのステップが同時に作動することができる。第1セットのステップすなわち308-310は短い推定期間を伴う高いしきい値を使用することができ、そしてそれは、高いSNR信号対雑音比の迅速な検出を提供する。このセットのステップはまた、コヒーレント抽出について説明されたハイダイナミック検出として特徴づけられることができる。第2セットのステップすなわち、ステップ304-307は、低いSNRについての長い推定期間で低いしきい値を使用することができる。特に、2セットのステップは、それらのうちの1つがサブフレームバウンダリを検出しベリファイするまで同時に作動することができる。ステップ308では、TLMワードは固定されたプリアンブルを見つけることによって識別されることができる。TLMワードの有効性は、パリティビットを使用してチェックされることができる。有効なHOWワードそのパリティビットによって決定されるが識別された有効なTLMワードに続くとき、TOW同期条件が宣言されることができる。この時点で、データ抽出が始まることができる出力サブフレームメッセージ312によってトリガされる。一実施形態では、HOWワードのTOWビットとサブフレームIDビットは、ステップ308で抽出されることができるここにおいて、HOWワードのD29とD30は常にゼロとなる。TOW同期が見つからない場合、技法は、TOW同期テストをやり直すため次のビットのためにステップ302に戻る。ステップ309は、次のTLMワードとHOWワードが到達したときを決定する。次のTLMワードとHOWワードが到達しなかった場合、技法300は、次のビットのためにステップ302に戻る。到達後、これらの新たなTLMワードとHOWワードはまた、識別され有効にされることができるすなわち、新たに到達されたTLMワードとHOWワードのTOW同期状態を本質的に確認する。特に、抽出されたTOWおよび新たに到達されたTOWワードおよびHOWワードのサブフレームIDSIDは、TOW_old1およびSID_old1に等しい場合には、FRAME同期状態は、ステップ310で宣言されることができる。すなわち、TOWトランケートされたZカウントおよびSIDは1だけ増分されなくてはならない。そうでない場合には、TOW同期状態はステップ311でドロップされ、TOW同期が再度おこなわれる、すなわちTOW同期状態は入ってくるビットにおいてチェックされることができる20ms毎。この時点で、技法300はステップ302に戻る。一実施形態では、ベリファイされたFRAME同期終了ステップ313は、GMLがミスした相関器の割込みを検出しない限り、または、データ復調およびサブフレーム処理との間のバッファのオーバーフローが検出される場合には、ドロップされる。上で示されるように、ステップ303で決定されるようにバッファがフルであるとき、ステップ304-306長い推定期間を伴う低いしきい値に対応するは、ステップ308-310と同時に実行する。ステップ304-306は、信号電力が低いとき特に有用である、それによって、TLMワードおよびHOWワードの双方について上述された基準をパスする確率を減らす。以下にさらに詳細に説明されているように、これらのステップは、フレーム同期決定のためにHOWワードの少数ビットしたがって、低いしきい値を使用することができる。ステップ308のようなステップ304は、固定された、8ビットプリアンブルを使用してTLMワードを識別することができる。TLMワードが見つからない場合、技法300は、バッファにロードされるべき次のビットのためにステップ302に戻る。プリアンブルを見つけた後で、ステップ305は、17ビットTOW以下、STOWshortTOWの最初の6ビットすなわちMSBを抽出することができる。STOWが3.4時間内に変わらないので、検出プロセスの間一定とみなされることができるということに留意されたい。さらに、検出プロセスがSTOW遷移をクロスするために生じる場合にはビット6のみが影響を受け、そしてそれは受諾可能である。抽出後、ステップ306は、サバイバーパスのコンテンツを更新することができる。サバイバーパスは、ベリフィケーションを継続するためにメモリに保持された、可能性があるフレーム同期ロケーションである。これらのサバイバーパスの各々はビットインデクス0~299、すなわち、各サブフレームは300ビットを有する、メトリックの和後述されている、最新のSTOW、ベリファイされたSTOWのフラグ例えば、新しいSTOWが前のSTOWに等しい場合フラグをONに設定するを含むことができる。一実施形態では、8ビットプリアンブルがマッチングされるごとに、メトリックは1だけ増加されることができる。メトリックの和はしきい値以上であり、ベリファイされたSTOWのフラグがONである場合、FRAME同期状態が宣言され、技法300はステップ313で終了する。一実施形態では、しきい値は時間の関数であることができ、10秒毎に1だけ増加することができる。例えば、しきい値は、40秒未満の時間の場合3に設定され、40~50秒の間の時間の場合4に設定され、50~60秒の間の時間の場合5に設定される。このことは次の関係に相当する:しきい値=最大3,フロア時間/10なお、ジェネリック最大値A,B演算はAおよびBのうち大きいものを選択し、ジェネリックフロア値C演算はCの整数部分をとる。図4は、コヒーレントおよびディファレンシャルビット検出に関する異なる数のサバイバーパスについての性能を示すグラフ400を図示する。理想的なケースは300であり、すべての起こりうるケースが確保されることを意味する。1つの商業的に実行可能な数は12または10であり、そしてそれは、小損害で著しく複雑さを減らす0.1dB未満。この場合には、プリアンブルマッチの最初の12発生または10発生のみが記録されチェックされる。図5は、15秒のタイムアウトが与えられた場合の、例示的なGPSフレームバウンダリ検出成功率を示すグラフ500を図示する。図6は、30秒のタイムアウトが与えられた場合の、例示的なGPSフレームバウンダリ検出成功率を示すグラフ600を図示する。図7は、45秒のタイムアウトが与えられた場合の、例示的なGPSフレームバウンダリ検出成功率を図示するグラフ700を図示する。グラフ500、600、および700を生成するためのシミュレーションの場合、フレームバウンダリ検出確率は1500ビット30秒毎にシミュレートされるということに留意されたい。デフォルトの機能障害として10Hz/secドップラースロープとコヒーレントビット抽出パラメータ設定としてNB=3およびPH=1が選択される。確率は、10000回のシミュレーションから計算される。低しきい値の場合のパラメータは以下の通りである。しきい値=最大3,フロア時間/10であり、サバイバーパスの数は12である。表1は、図5、6および7に図示されているGPSフレーム検出結果の性能要約を示す。以下に詳述されるように、GLONASS信号のためのストリングバウンダリ検出はまた、同時コヒーレントおよびディファレンシャルビット抽出を使用することができる。しかしながら、GLONASS信号の場合、タイムマークビットは同期のために使用される。図8Aは、バイバイナリコードにおける85データビットとタイムマークの30ビットとを含むGLONASSストリング800を図示する。図8Bは、メアンダシーケンス10ms毎に極値を変えるによる変調に基づく、相対コードおよびバイバイナリコードの双方における、85データビットを図示する。したがって、バイバイナリコードにおけるこれらの85ビットが符号化される。図8Bは、比較のため、85データビットと並べた30ビットのタイムマークを図示する。図示されるように、30タイムマークビットの各々は10ms長である。タイムマークは、受信機のローカルクロックへの衛星のアトミッククロックの時間同期を促進するために提供される。この目的のために、タイムマークとは2秒毎に繰り返す固定パターンである。タイムマーク検出の目的とは、ストリングバウンダリを見つけ、タイムマークシーケンスおよびメアンダシーケンスによって引き起こされた10msビット遷移を取り除くことである。1つの従来の技法では、すべての30ビットはストリングバウンダリ同期をトリガするようにマッチされる。この技法は高いSNR信号のためにのみ達成されることができる。特に、不完全な相関出力すなわち30/30未満はまた有益な情報を提供することができ、そしてそれは、ストリングバウンダリ同期を精確にトリガすることができる。図9は、例示的なGLONASSストリングバウンダリ検出システム900のブロック図を図示する。この簡略化されたブロック図では、システム900は、周波数ロックループFLLブロック901、インテグレートおよびダンプIDブロック902、コヒーレント検出システム903、ディファレンシャル検出システム904、パリティチェックブロック905、906、およびマルチプレクサMUX907を含む。この実施形態では、コヒーレント検出システム903は周波数出力fFLLを受信することができ、そしてそれはFLL901によって生成される。対照的に、ディファレンシャル検出システム904は、IDブロック902の出力を受信することができ、そしてそれは、FLL901から1ms毎にプロンプトを受信し、このような信号をインテグレートするとき10ms毎にその出力を生成することができる。ストリングバウンダリ検出ブロック905および906は、それぞれ、コヒーレント検出ブロック903およびディファレンシャル検出システム904の出力を受信する。マルチプレクサ907は、ストリングバウンダリ結果信号に基づいて、ストリングバウンダリ検出ブロック905およびストリングバウンダリ検出ブロック906の出力との間で選択する。一実施形態では、タイムマーク検出は、10msのビット持続時間を伴う、ハイブリッドビット抽出すなわち、コヒーレント且つディファレンシャルを含むことができる。以下で詳述されるように、性能のエンハンスメントは、ビットフリップ、ソフトメトリック、および20msビットバウンダリ支援を含むことができる。受信されたGLONASS信号における、ビット位相反転ここではビットフリップと呼ばれるは、雑音により頻繁に生じうる。ビット位相反転は、固定されたタイムマークパターンと受信ビットをマッチさせることに関して、特にディファレンシャル検出モードに関して、難しい課題を生じさせる可能性がある。1ビットがフリップする場合には、30ビットのうちの残りがフリップされるであろうということに留意されたい。したがって、ビット位相反転がタイムマーク内に生じるとき、受信されたタイムマークと所望のタイムマークとの間の相関は、極めて低いことがある、もしくは、ゼロである場合さえもある。例えば、位相の反転がタイムマークシーケンス中で生じる場合、相関は0である。1つのタイムマーク検出技法によれば、相関マッチングは、受信されたシーケンス、ならびに、受信されたシーケンスのビットフリップバージョン、について計算されることができる。仮説的なセグメントに関して、ビット[0:29]、ビット[n:29]はフリップされることができなお、n=0-29、30の異なる相関を計算し、そのあとで、最良なマッチが選ばれる。n=0はフリップなしと同等であるということに留意されたい。一実施形態では、ビットフリップからの利得は、コヒーレントおよびディファレンシャル検出の場合それぞれ、およそ0.3および2dBである。しかしながら、ビットフリップは、タイムマーク検出のフォルスアラームレートを増大させる可能性がある。したがって、一実施形態では、ビットフリップは、フォルスアラームと検出レートのバランスを取るためにディファレンシャル検出のみのために使用されることができる。GLONASSICDインタフェース制御ドキュメントによれば、ストリングの第1ビットは常にゼロであり、そしてそれは、タイムマークを30ビットからフルの31ビットまたは32ビットに拡張する。したがって、30ビット相関を指す後述されるアルゴリズムは31ビット相関または32ビット相関に対し、同等に適用可能である。上に示されるように、10msビットバウンダリが検出された後で、ストリング同期検出が実行されることができる。各GLONASSストリングが2秒長であるので、ストリングバウンダリの200すなわち2/0.01の起こりうるロケーションがある。1つのベーシックアルゴリズムは、2秒にわたって最も高いマッチングスコアでロケーションを選び、2秒後同じ位置でマッチングをベリファイする。検出確率を改善するため、ソフトメトリックが採用されることができ、ソフトメトリックは、マルチプルストリングにわたって各位置について蓄積されることができ、最良の位置は、蓄積されたメトリックに基づいて選ばれることができる。すべての位置のためにそれをすることは200のアキュムレータを要するであろう。複雑さを低減するため、限定された数のサバイバーすなわち、最も大きい蓄積メトリックを伴う位置が保たれることができる。一実施形態では、200ビットロケーションの8つのサバイバー出力が保たれることができる。一実施形態では、対数の和はソフトメトリックを計算するために使用されることができる。ソフトメトリックは、次のように展開されることができる。第1に、ランダムシーケンスの任意のNビットセグメントのうちnビットがタイムマークシーケンスにマッチさせるシングルポイントフォルスアラーム確率、Pn/Nが導出されることができる。この場合、Nは、タイムマーク相関に使用されたビット数、例えばN=30であると、n=30,29,28と続く。一実施形態では、Nはユーザ選択であることができる。他の実施形態では、NはGLONASS受信機において設定されることができる。コヒーレントモードの場合ビットフリップなし:なお、は二項係数である。相関の極性は無視されることができるので、2の係数が使用されることができるということに留意されたい。例えば、P29/3Ocohのランダムビットフォルスアラーム確率すなわち30ビットランダムシーケンスのうち29ビットにタイムマークとマッチさせるがに等しい。ディファレンシャルモードビットフリップを含むの場合、ビットをフリップし、最大値を選択する確率は、次のようなシミュレーションからディファレンシャルシングルポイント確率Pをカーブフィットすることによってモデル化されることができる。位置mについて、ビットマッチの数nmが見つけられることができ、対応するフォルスアラームレートqm=pnm/Nが得られることができる。位置mについてマルチプルストリングにわたって評価されるフォルスアラーム確率なお、m=0~199は、Pm=qmqm200qm400...であり、最も低いPmは最も好ましいストリングバウンダリに相当する。確率の積は、確率Lpnの対数の和によって簡略化されることができる。例えば、Lpn=-log10pnとし、metricm=-log10Pm=-log10qm-log10qm200-log10qm400...=LpnmLpnm200Lpnm400...と定義すると、最大メトリックmは最も起こりうるストリングバウンダリに相当する。表2はコヒーレントおよびディファレンシャルストリングバウンダリ検出の対数メトリック表すなわち、ビットフリップを使用しない、また、ビットフリップを使用するである。表2の確率Lpnの対数は以下によって導き出されることができる。1.正規化因数nor_fac=3.5e-2を選ぶこと2.対数を計算すること:Lpn=-log10pn/N/nor_fac3.対数を丸めること:Lpn=roundLpn100/1004.メトリックが小さすぎる例えば、0.1未満または負である場合すなわち、pn/Nが正規化因数よりも高い、メトリック値をゼロに変更する。このゼロ化は、メトリックを単調に増加することを強制し、サバイバーパス選択を簡略化する。一実施形態では、8つのサバイバーパスは、複雑さを縮小するために使用されることができる。特に、8つのサバイバーパスを使用することの性能の損失は、200のサバイバーパスすべてを使用することと比べ0.1dB未満である。図10は、8つのサバイバーパスを伴うソフトサーチスキームを使用することができる例示的なタイムマークバウンダリ検出技法1000を図示する。ステップ1001では、30ビットの受信シーケンスが抽出されることができる10ms毎に生じる。ステップ1002では、抽出されたシーケンスは、タイムマークシーケンスと相関されることができる。ディファレンシャルモードの場合、30ビットフリップされたシーケンスが試されることができ、n番目のシーケンスはフリップされたビット[n:29]を有し、最大マッチカウントが記録されることができる。コヒーレントモードの場合、抽出されたシーケンスは、ビットフリップを用いずに単に、固定されたタイムマークシーケンスと相関されることができる。ステップ1003は、マッチカウントに基づいて表2からの対数メトリックを見つけることができる。ステップ1004はサバイバーを管理することができる。一実施形態において、このビット位置がすでにサバイバーである場合には、位置は、対応するアキュムレータに追加されることができる。この位置がサバイバーではなく、サバイバーの数が8未満である場合には、この位置は、サバイバーとして追加され、メトリックが記録される。この位置がサバイバーではないがサバイバーの数が8である場合には、このメトリックは既存のサバイバーのメトリックと比較されることができる。メトリックがそれらのいずれよりも大きい場合には、サバイバーは、この新たな位置によって最小メトリックと置き換えられることができ、新たなメトリックが記録される。上述されるステップ1004は、8つのサバイバーパスが最後に抽出されたシーケンスに基づいて8つの最も起こりうる位置を保持するということを保証することができる。ステップ1005は、蓄積されたメトリックが特定のしきい値後述されている以上である場合にチェックをすることができる。Yesである場合には、ステップ1006はタイムマークバウンダリが見つけられたということを主張することができる。Noである場合には、技法1000は、次の抽出されたシーケンスのためにステップ1001に戻ることができる。ステップ1005の検出しきい値は、検出レートとフォルスアラームレートのバランスをとるべきである。すなわち、より高いしきい値はフォルスアラームレートを下げることができるがまた検出レートを下げることができる。システムフォルスアラームの確率は以下のように導出されることができる。与えられたタイムアウト期間タイムアウトの場合、各位置についての観察値の合計数Tは次のように表されることができる:丸めるとは、整数演算に対して四捨五入することである。knを、nビットエラーを有するT観察値のうちの観察値の数であるとする。Nビット相関の場合、0≦n≦Nであり、である。簡略のため、0≦n≦Neのみが考慮される、すなわち、Ne以上のビットエラーの相関が無視される。この簡略化は、大多数のビットエラーが悪いマッチングを示し、タイムマーク検出のチャンスを増大させないので合理的である。に留意されたい。例えば、T=15,k0=2,k1=1,k2~kNe=0は、15観察値のうち、ビットエラーなしの2つの観察値があり、1ビットエラーを伴う1つの観察値、2~Neビットエラーを伴う0の観察値、およびNe以上のビットエラーを伴わない15-2-1=12観察値を意味する。T観察値の後のk0,kl,k2,...,kNeの結果を有する確率は、である。は、M-choose-mの二項係数であり、と定義され、Pn/Nは、前に導出されたNビット相関値においてnビットマッチを有するすなわちN-nビットエラー確率である。スコアの和がスコアしきい値よりも大きい場合、位置についてフォルスタイムマーク検出が生じる。nビットエラーを有するスコア、Lpnが表6-2で与えられている。k0,k1,k2,...,kNの結果のためのスコアの和は、である。Sをスコアしきい値を超えるすべての起こりうる結果の集合とする。1つの位置のフォルスアラーム確率は次のように書かれることができる。1つの位置のフォルスアラーム確率を得た後で、システムフォルスアラーム確率は、20msビットバウンダリ支援を用いて、また20msビットバウンダリ支援を用いずに、それぞれ、100と200を乗算することによって得られることができる。すなわち、である。図11および図12は、コヒーレントおよびディファレンシャルビットバウンダリ検出に関する、スコアしきい値対フォルスアラームをプロットするグラフを図示する。具体的には、図11は、30秒タイムアウトが与えられると、例示的なコヒーレントスコアしきい値を図示するグラフ1100を図示するN=30,31および32ビットであり、ランダム10msビットおよび20msバウンダリ支援後述されているを伴う。図12は、30秒タイムアウトが与えられると、例示的なディファレンシャルスコアしきい値を図示するグラフ1200を図示するN=30,31および32ビットであり、ランダム10msビットと20msバウンダリ支援後述されているを伴う。図11および図12は、すべてのNのケースについて、分析的でシミュレートされた結果が非常に類似しているということを図示する。表3は、図11および図12から選ばれた30秒タイムアウトと1e-3/1e-4のターゲットフォルスアラームレートのためのしきい値を示す。上述された方法は、指定されたタイムアウト期間内でターゲットより少ないフォルスアラームレートを有利に提供することができる。最悪なケースは相対的に低いCNoにおいて生じる。一実施形態では、20msビットバウンダリ支援はまた、タイムマークバウンダリ検出のために提供されることができる上述されるように10msビット同期を使用する。この20msビットバウンダリ検出は、タイムマーク検出と並行して実行されることができる。特に、20msビット同期が見つけられた後で、1AFC自動周波数制御のトラッキングエラーが縮小され、タイムマーク検出の感度を改善する、2100個の位置のみがタイムマーク検出について試みがなされる必要があり、そしてそれは、フォルスアラームレートを縮小する。20msビットバウンダリ検出のためのアルゴリズムが、アセロス通信社によって2010年8月27日に出願されGLONASSBITBOUNDARYDETECTIONと題された米国特許出願第12/870,533号で説明されており、ここにおける参照により組み込まれている。20msビットバウンダリ支援を使用することによって、GLONASS受信機の性能は、コヒーレントおよびディファレンシャルモードについてそれぞれ0.1~0.4dBおよび0.7~1.0dBだけ改善されうる。ディファレンシャルモードのためのより大きな利得は、周波数トラッキングエラーの縮小に起因することがある。コヒーレントモードはこの利点を得ないことがある、なぜならば例えば、位相ロックループPLLに起因して周波数変動がすでに縮小されていることがあるからである。図13は、タイムマーク検出技法1300を要約するフローチャートを図示する。ステップ1301で開始した後で、ステップ1302は、10msビット同期が見つけられるかを決定するFIND_BITSYNC。そうでない場合には、ステップ1303は、ストリング同期が見つけられベリファイされるかを決定するSTRINGSYNC_DONE。そうでない場合には、ステップ1304は、ストリング同期が少なくとも見つけられるかを決定するSTRINGSYNC_FOUND。そうでない場合には、ステップ1305は、上述されるように、ストリングバウンダリ検出を実行する。すべてのサバイバーパスのうち最大有効スコアが表3で定義されるようにスコアしきい値以上である場合MAX_VAL≧SCORE_THR、ステップ1307は、2秒間隔内でストリングバウンダリのインデクスを見つけるためにモジュラー演算を実行する。MODk,2000に基づいて、ストリング同期はステップ1308で見つけられることができる。ステップ1309は、ビット同期が見つけられるかを決定する。そうである場合には、ステップ1310は、ストリング同期をベリファイすることができ、ステップ1311は20ビット同期を見つけることができるオプション。技法1300は、ステップ1313で終了する。要約すると、技法1300は10msビットバウンダリが検出された後でのみタイムマーク検出を開始し、10msビット同期がベリファイされた後でタイムマーク検出を完了する。オプションで、20msビットバウンダリ情報はタイムマーク検出後に更新されることができる。図14Aおよび図14Bは、コヒーレントモードにおいて20msビットバウンダリ支援を用いて、異なる検出しきい値すなわち1e-3および1e-4を比較する。具体的には、図14Aは、1e-3および1e-4検出しきい値に関する成功MAT秒対雑音に対するチャネルSNRdB-Hzをプロットするグラフ1400を図示する。図14Bは、様々なタイムアウト5、15、30、および45秒における1e-3および1e-4検出しきい値に関する、検出確率対雑音に対するチャネルをプロットするグラフ1410を図示する。図15Aおよび15Bは、ディファレンシャルモードにおいて20msビットバウンダリ支援を用いて、異なる検出しきい値すなわち1e-3および1e-4を比較する。具体的には、図15Aは、1e-3および1e-4検出しきい値に関する成功MAT秒対雑音に対するチャネルSNRdB-Hzをプロットするグラフ1500を図示する。図15Bは、様々なタイムアウト5、15、30、および45秒における1e-3および1e-4検出しきい値に関する、検出確率対雑音に対するチャネルをプロットするグラフ1510を図示する。図14A、14B、15A、および15Bより、より低いフォルスアラームレートに関連づけられたより高い検出しきい値は、5秒タイムアウトのような最短タイムアウトについていくらかの性能低下を引き起こす、ということが分かる。一実施形態では、広域SNR範囲にわたって検出時間とフォルスアラームのバランスを取るために、複数のしきい値が使用されることができ、しきい値は推定時間Tとともに変更する。例えば、T<5秒であるとき、THRPfa1e-3のより低いしきい値が使用されることができる;Tが大きいとき、THRPfa1e-4のより高いしきい値が使用されることができる。図16Aおよび図16Bは、20msビットバウンダリ支援を用いて、コヒーレントモード対ディファレンシャルモードに関するタイムマーク性能を比較するフォルスアラームレート=0。具体的に、図16Aは、コヒーレントモードおよびディファレンシャルモードに関する、成功MAT秒対雑音に対するチャネルSNRdB-Hzをプロットするグラフ1600を図示する。図16Bは、様々なタイムアウト5、15、30、および45秒におけるコヒーレントモードおよびディファレンシャルモードに関する、検出確率対雑音に対するチャネルをプロットするグラフ1610を図示する。図17Aおよび17Bは、20msビットバウンダリ支援を用いないフォルスアラームレート=0コヒーレントモード対ディファレンシャルモードに関するタイムマーク性能を比較する。具体的に、図17Aは、コヒーレントモードおよびディファレンシャルモードに関する、成功MAT秒対雑音に対するチャネルSNRdB-Hzをプロットするグラフ1700を図示する。図17Bは、様々なタイムアウト5、15、30、および45秒におけるコヒーレントモードとディファレンシャルモードに関する、検出確率対雑音に対するチャネルをプロットするグラフ1710を図示する。図16A、図16B、図17Aおよび図17Bより、コヒーレントモードについてのタイムマーク検出性能はディファレンシャルモードのものよりも良好であるということが分かることができる。具体的には、モード間のギャップは、20msバウンダリ支援を用いるとおよそ0.4~0.8dBであり、20msバウンダリ支援を用いないとおよそ1~1.5dBである。上述の技法がタイムマーク検出のために理想的な10msビットバウンダリ検出を仮定したと留意する。タイムマーク検出に対するフォルス10msビット同期の影響を評価するために、10msビット同期のためのルーズなしきい値が意図的に選ばれ、シミュレーションにおいて多くの10msビット同期フォルス検出を生成することができる。表4は、次のシミュレーション条件:T=1,thr=11/16,10msビット同期ベリフィケーションステージが含まれる、第1のビット同期検出とベリフィケーションとの間のミスマッチがある場合にはタイムマークソフトメトリック値のリセットなし、タイムマーク検出についてTHRPfa=1e-3、10000ラン,およびCNo=17dB-Hzに関する結果として生じるイベントのブレイクダウンを示す表4に図示されるように、ビット同期フォルスアラームレートは第1の検出のときには7ルーズなしきい値により通常より高い、ベリフィケーション後には0.55である。ほとんどのビット同期検出エラーが第1の検出時に/-2ms内にあり、ベリフィケーション後/-1ms内にある。タイムマーク検出のフォルスアラームレートは、0.48である。ほとんどの検出エラーは1msまたは2msであり、すなわち、10ms検出エラーによって引き起こされる。エラーのうち8のみが10msより大きいすなわち、真正のタイムマーク検出エラーである。したがって、タイムマークのための有効なフォルスアラームレートは、0.488=4e-4である。Pfa=le-3のターゲットフォルスアラームレートに対応するしきい値が選ばれ、そしてそれは理想的な10msビット同期という想定の下で導出されたということに留意されたい。このことは、10msビット同期エラーの存在下、タイムマーク検出のフォルスアラームレートがまだターゲット内にあり、明白な性能の損失がないということを図示する。特に、ビット同期エラーが小さいとき1または2ms、10msダンプのSNRはいまだに受諾可能であり、タイムマークがいまだに検出されることができる。さらに、ビット同期エラーが大きいときには、タイムマークは検出されることができず、フォルスアラームはない。結果、リセットタイムマーク検出は、ビット同期ベリフィケーションが失敗するときにはリセットされる必要がない。一実施形態では、タイムマーク検出からの粗タイミング10msの乗数が保持されることができ、微細タイミングは、最新10msビット同期検出0~9msにしたがって調節されることができる。フレーム/ストリング検出を提供する本発明の諸特徴は、ソフトウェアツールで実装されることができる。例えば、図1では、トラッキングブロック101とIDブロック103は、ハードウェアにおいて実装されるアナログフロントエンドAFEの一部として特徴づけられることができるが、これらの構成要素からのいくつかのブロックのダウンストリームはソフトウェアで実装されることができる例えば、ビット抽出ブロック104/106およびバウンダリ検出ブロック105/107。同様なハードウェア/ソフトウェア実装が、図9で図示されたGLONASSストリング同期検出システム900に使用されることができる。これらのソフトウェアブロックは、データストレージシステム、少なくとも1つの入力デバイス、および少なくとも1つの出力デバイスから、データおよび命令を受信するように、また、データストレージシステム、少なくとも1つの入力デバイス、および少なくとも1つの出力デバイスへデータおよび命令を送信するように、結合された少なくとも1つのプログラマブルプロセッサを含むプログラマブルシステム上で実行する1つまたは複数のコンピュータプログラムにおいて有利に実装されることができる。各コンピュータプログラムは、ハイレベルプロシージャルまたはオブジェクトオリエントプログラミング言語で、または、望まれる場合には、アセンブリまたは機械言語で実装されることができ、またいずれの場合において、言語はコンパイルまたは解釈言語であることができる。適切なプロセッサは、例えば、汎用マイクロプロセッサおよび専用マイクロプロセッサ、ならびに他のタイプのマイクロコントローラを含む。一般的に、プロセッサは、読み出し専用メモリおよび/またはランダムアクセスメモリから、命令およびデータを受信するであろう。一般的に、コンピュータは、データファイルを格納するための1つまたは複数のマスストレージデバイスを含み、このようなデバイスは、内部ハードディスクおよびリムーバブルディスク、光磁気ディスク、および光学ディスクのような磁気ディスクを含む。コンピュータプログラム命令およびデータを有形で具現化するのに適切なストレージデバイスは、すべての形式の不揮発性メモリを含み、例えば、EPROM、EEPROM、およびフラッシュメモリデバイスのような半導体メモリデバイス、内部ハードディスクおよびリムーバブルディスクのような磁気ディスク、磁気光学ディスクおよびCDROMディスクを含む。ここにおいて説明される実施形態は、包括的であること、または、開示された正確な形に本発明を限定すること、を意図していない。そのため、多くの修正および変更が明らかであろう。従って、本発明の範囲は特許請求の範囲とその均等物によって定義されるということが意図される。"