كيف تعمل قياسات GNSS الخام على Android، ولماذا تبني SIMT محرك تموضع خاصًا بها

هاتفك يلتقط إشارات الأقمار الصناعية بالفعل

في هذه اللحظة، بينما تقرأ، يستقبل هاتفك إشارات راديوية من اثني عشر قمرًا صناعيًا على الأقل تدور على ارتفاع يقارب20,000 كيلومتر فوقك. تنتمي هذه الأقمار إلى كوكبات تديرها دول ومناطق مختلفة: GPS للولايات المتحدة، وGalileo للاتحاد الأوروبي، وGLONASS لروسيا، وBeiDou للصين، وQZSS لليابان، وNavIC للهند. يبث كل قمر إشارة مضبوطة التوقيت بدقة تسافر بسرعة الضوء. يلتقط هاتفك الإشارة ويقيس الزمن الذي استغرقته للوصول، ثم يستخدم التأخير لتقدير بعد القمر الصناعي.

يسمى تقدير المسافة هذا المدى الزائف. وُصف بأنه«زائف» لأنه ليس مسافة هندسية حقيقية، إذ يتضمن أخطاء ساعة القمر الصناعي وساعة المستقبل والغلاف الجوي ومسار الإشارة نفسه. وباستخدام المدى الزائف من أربعة أقمار على الأقل، يستطيع الجهاز حل ثلاثة إحداثيات مكانية إلى جانب انحراف الساعة. هذه هي الفكرة الأساسية للملاحة بالأقمار الصناعية. ومنذ عام2016، أتاحAndroid قياسات التوقيت الخام هذه لأي تطبيق يطلبها.

لكن أين المشكلة؟ لا يستخدم هذه البيانات فعليًا إلا عدد ضئيل جدًا من التطبيقات. النهج المعتاد هو ترك شريحةGNSS المدمجة فيAndroid تحسب الموقع ثم تسلم التطبيق خط العرض وخط الطول وتقدير الدقة، أي صندوقًا أسود يؤدي الغرض في الملاحة خطوة بخطوة. لكن هذا«الأداء المقبول» يعني نطاق خطأ بين ثلاثة وعشرة أمتار يحجب ما تستطيع الإشارات الخام كشفه فعلًا.

من التوقيت إلى المسافة: كيف يتولد المدى الزائف

عندما يرسل قمر صناعي إشارته، يرمز فيها لحظة الإرسال الدقيقة. ويسجل هاتفك لحظة الاستقبال الدقيقة. يمنحك الفرق بين الطابعين الزمنيين، مضروبًا في سرعة الضوء، مسافة. ووفق مصطلحاتAndroid، يتطلب ذلك قراءة حقول بدقة النانوثانية من ساعةGNSS ومقارنتها بوقت إرسال كل قمر صناعي.

لكن كلمة«الدقيقة» تحمل عبئًا كبيرًا. لدى القمر الصناعي ساعة ذرية بدقة بضع نانوثوان، بينما يستخدم هاتفك مذبذب كوارتز قد ينحرف بمقدار ميكروثوان. ويعادل خطأ ساعة بمقدار ميكروثانية واحدة نحو300 متر من خطأ المدى، لأن الضوء يقطع300 متر في ميكروثانية واحدة. لذلك يجب تقدير انحراف ساعة المستقبل إلى جانب موقعك في كل حقبة حل.

هناك تفاصيل أدق أيضًا. تستخدم كل كوكبة مرجعًا زمنيًا مختلفًا. يعملGPS وفقGPS Time، ويستخدمGLONASS توقيتUTC مع تعديلات الثواني الكبيسة ودورة يوم مختلفة، ويستخدمGalileo توقيتGalileo System Time، ولدىBeiDou حقبته الخاصة، فيما تحافظ الأنظمة الإقليمية مثلQZSS وNavIC على مقاييس زمنية متوافقة معGPS Time لكن بحدود انحراف مستقلة. وعند جمع أقمار من كوكبات متعددة في حل واحد، تحتاج إلى حد انحياز ساعة مستقل لكل منها، وهو ما يسميه المهندسون انحياز ما بين الأنظمة أوISB. الحالّ الذي يتجاهلISB سينتج موقعًا يبدو معقولًا لكنه خاطئ بصمت بعدة أمتار.

معرفة مواضع الأقمار الصناعية

يخبرك المدى الزائف ببعد القمر الصناعي. لكن لاستخدام تلك المسافة، يجب أيضًا معرفة موضع القمر عند اللحظة التي أرسل فيها الإشارة. الأقمار الصناعية ليست ثابتة، بل تدور حول الأرض بسرعة تقارب14,000 كيلومتر في الساعة. وتوصف مواضعها بمعلمات مدارية تسمى بيانات التقويم الفلكي، يبثها كل قمر ضمن رسالة الملاحة الخاصة به.

فيGPS وGalileo وBeiDou وQZSS وNavIC، يستخدم التقويم الفلكي عناصر مدارية كبلرية: مجموعة من ستة معلمات تصف شكل المدار وميله واتجاهه، إضافة إلى حدود تصحيح للاضطرابات الناتجة من عدم تجانس جاذبية الأرض وضغط الإشعاع الشمسي وقوى المد والجزر. انطلاقًا من هذه المعلمات والزمن، يمكنك حساب موضع القمر في إحداثيات مركزها الأرض باستخدام مجموعة معادلات محددة بوضوح في وثيقة التحكم بواجهة النظام.

يختلفGLONASS عن ذلك. فهو لا يبث عناصر كبلرية، بل يرسل موضع القمر وسرعته وتسارعه عند زمن مرجعي، وعلى المستقبل نشر المدار إلى الأمام بالتكامل العددي، وتحديدًا بطريقةRunge-Kutta من الرتبة الرابعة التي تراعي التوافقيات الجاذبية للأرض وجذب الشمس والقمر. هذا أكثر كلفة حسابية من النهج الكبْلري ذي الصيغة المغلقة، لكنه ضروري لأن مداراتGLONASS محددة بهذه الطريقة.

الغلاف الجوي يحرف كل شيء

لا تنتقل إشارة القمر الصناعي عبر فراغ حتى تصل إلى هاتفك، بل تعبر طبقتين من الغلاف الجوي تبطئانها وتحرفان مسارها. ويتطلب ضبط المسافة تصحيح أثر كلتا الطبقتين.

الطبقة الأولى هي الأيونوسفير، وهي منطقة تمتد تقريبًا من60 إلى1,000 كيلومتر فوق السطح، حيث ينزع الإشعاع الشمسي الإلكترونات من جزيئات الغاز. تبطئ هذه الإلكترونات الحرة إشارةGNSS بمقدار يعتمد على تردد الإشارة وكثافة الإلكترونات على طول المسار. في يوم هادئ، قد يضيف التأخير الأيونوسفيري ما بين5 و15 مترًا إلى المدى الظاهر. وخلال عاصفة شمسية، قد يتجاوز100 متر.

في المستقبلات أحادية التردد، يجب تقدير التأخير الأيونوسفيري من نموذج. وأكثرها شيوعًا نموذجKlobuchar، الذي يستخدم ثمانية معاملات مذاعة لتقريب التأخير بوصفه دالة نصف جيب تمام للوقت المحلي. يصحح هذا النموذج نحو50 إلى60 بالمئة من التأخير الحقيقي. ويحدد نظامGalileo الأوروبي نموذجًا أكثر تطورًا يسمىNeQuick-G، ينمذج ملف كثافة الإلكترونات ثلاثي الأبعاد في الأيونوسفير ويكامله على امتداد مسار الإشارة، لكن تنفيذه بأمانة يتطلب خرائط معاملاتCCIR التابعة لـITU وشبكةmodified-dip-latitude، وهي بيانات مرجعية لا تحملها معظم المستقبلات. تستخدمSIMT عمدًاKlobuchar، بعد تحجيمه وفق تردد الحامل الفعلي لكل إشارة، لتصحيحات التردد الأحادي بدل تقديم تقريب باسمNeQuick. وإذا توفرت لديك مشاهدات ثنائية التردد مثلL1 وL5، فيمكن تكوين تركيبة خالية من تأثير الأيونوسفير تزيل تأخير الرتبة الأولى بالكامل من دون أي نموذج.

الطبقة الثانية هي التروبوسفير، أي أدنى12 كيلومترًا من الغلاف الجوي حيث يحدث الطقس. يؤخر التروبوسفير الإشارة بنحو2.3 متر عند سمت الرأس، وبما يصل إلى25 مترًا عند زوايا الارتفاع المنخفضة، لأن الإشارة تعبر قدرًا أكبر من الغلاف الجوي عندما يكون القمر قريبًا من الأفق. وبخلاف التأخير الأيونوسفيري، لا يعتمد تأخير التروبوسفير على التردد، لذلك لا تستطيع تقنيات التردد المزدوج إزالته. وبدلًا من ذلك، يُنمذج باستخدام ضغط السطح ودرجة الحرارة والرطوبة. ومن الأساليب الشائعة نموذجSaastamoinen للتأخير عند سمت الرأس مقترنًا بدالةNiell للمطابقة، التي تحوّل ذلك التأخير وفق ارتفاع القمر الفعلي.

تصحيحات أكثر مما تتوقع

تصحيحات الغلاف الجوي هي أكبر مصادر الخطأ، لكنها ليست الوحيدة. يجب على محرك التموضع الدقيق أيضًا تصحيح عدة تأثيرات أصغر لكنها مهمة.

• خطأ ساعة القمر الصناعي: يحمل كل قمر ساعات ذرية تظل عرضة لانحراف طفيف. تتضمن بيانات التقويم الفلكي المذاعة معاملات كثيرة الحدود لتصحيح انحراف الساعة، إضافة إلى حد نسبي ناتج من مدار القمر الإهليلجي.
• دوران الأرض(تأثيرSagnac): أثناء انتقال الإشارة من القمر إلى المستقبل، تدور الأرض تحتها. وخلال زمن عبور يقارب70 ميلي ثانية، يزيح هذا الدوران المستقبل بنحو30 مترًا بالنسبة إلى إحداثيات القمر عند الإرسال. ويتطلب التصحيح معرفة موضعي القمر والمستقبل معًا.
• التأثيرات النسبية(تأخيرShapiro): تمر الإشارة عبر بئر جهد الجاذبية للأرض، الذي يحني الزمكان قليلًا ويضيف تأخيرًا صغيرًا، يبلغ عادة بضعة سنتيمترات.
• انحياز الشفرة التفاضلي: عند جمع إشارات على ترددات مختلفة، يضيف العتاد في القمر والمستقبل انحرافًا منهجيًا صغيرًا بين قياسات الشفرة. ويجب احتساب هذا الانحياز عند تكوين تركيبات خالية من تأثير الأيونوسفير.

كل تصحيح من هذه التصحيحات صغير منفردًا، لكن الأخطاء في التموضع تراكمية وهندسية. قد ينتشر انحياز غير مصحح بمقدار مترين على قمر واحد عبر مصفوفة الهندسة، فيزيح الموقع المحسوب خمسة أمتار أو أكثر بحسب اتجاه القمر.

SBAS: تعزيز من مدار ثابت جغرافيًا

بين التصحيحات القائمة على البث وحده التي سبق وصفها والمنتجات الدقيقة المتدفقة عبر الإنترنت التي ستأتي لاحقًا، توجد طبقة وسطى من التعزيز تصل مباشرة من الفضاء: SBAS، أي نظام التعزيز القائم على الأقمار الصناعية.

SBAS مجموعة من الأنظمة الإقليمية التي تستخدم أقمارًا ثابتة جغرافيًا لبث تصحيحات آنية ومعلومات سلامة لـGPS وكوكباتGNSS الأخرى. يغطيWAAS أمريكا الشمالية، وEGNOS أوروبا، وMSAS اليابان، وGAGAN الهند، وSDCM روسيا. يشغّل كل نظام شبكة من محطات أرضية دقيقة المسح تراقب أقمارGPS وتحسب التصحيحات وترفعها إلى أقمارGEO لإعادة بثها على ترددGPS L1. ويمكن لأي مستقبل قادر على تتبعGPS L1 استقبال تصحيحاتSBAS مجانًا ومن دون اتصال بالإنترنت.

يبثSBAS عدة أنواع من التصحيحات في صيغة رسالة من250 بت بمعدل رسالة واحدة في الثانية. تقدم التصحيحات السريعة، أي أنواع الرسائل من2 إلى5 و24، تصحيحات مدى زائف سريعة التحديث لكل قمرGPS مراقب، لتعويض أخطاء الساعة سريعة التغير. وتقدم التصحيحات طويلة الأمد، أي نوع الرسالة25، انحرافات أبطأ تغيرًا للمدار والساعة تحسن بيانات التقويم الفلكي المذاعة للقمر. وتخفض هذه التصحيحات مجتمعة ميزانية خطأ المدار والساعة من أمتار إلى أقل بكثير من متر واحد.

يبثSBAS أيضًا تصحيحات أيونوسفيرية على شبكة جغرافية، ضمن نوعي الرسائل18 و26. وبدل نموذجKlobuchar البسيط القائم على نصف جيب التمام، يوفرSBAS تأخيرات أيونوسفيرية رأسية مقاسة عند نقاط شبكية محددة تغطي منطقة الخدمة، ويستوفي المستقبل التأخير عند النقطة التي تخترق فيها إشارته الأيونوسفير. تتركSIMT رسائل الشبكة هذه غير مستخدمة عن قصد: ففي العتاد ثنائي النطاق تزيل تركيبةL1/L5 التأخير الأيونوسفيري أصلًا من دون بيانات خارجية، وفي الأجهزة أحادية النطاق يغطيه نموذجKlobuchar المذاع. أما القيمة الحقيقية لـSBAS فتظهر في مواضع أخرى، هي تصحيحات الساعة السريعة، وانحرافات المدار والساعة طويلة الأمد، وقياس المدى بأقمارGEO، وتطبقSIMT الثلاثة كلها على الأجهزة أحادية التردد.

إلى جانب التصحيحات، يمكن لأقمارSBAS GEO نفسها أن تكون مصادر إضافية لقياس المدى. يبث كل قمرGEO بيانات تقويمه الفلكي الخاصة، أي نوع الرسالة9، بوصفها موضعًا وسرعة وتسارعًا فيECEF عند زمن مرجعي. ينشر المستقبل موضعGEO باستخدام توسعTaylor من الرتبة الثانية، وهو أبسط من النموذج الكبْلري المستخدم فيGPS لكنه مناسب للمدارات الثابتة جغرافيًا التي تتغير ببطء. وتؤدي إضافة قياسات مدىGEO إلى الحل إلى تحسين هندسة الأقمار، ولا سيما عند خطوط العرض المنخفضة حيث تكون الأقمار الثابتة جغرافيًا عالية في السماء.

طور الحامل: إشارة الدقة التي تتجاهلها معظم التطبيقات

كل ما سبق يستخدم قياس الشفرة، أي المدى الزائف المشتق من شفرة توقيت الإشارة. قياسات الشفرة صاخبة نسبيًا، بدقة تتراوح بين0.5 و3 أمتار في الظروف الجيدة. لكن إشارة القمر تحتوي على مكوّن آخر أدق بكثير: الموجة الحاملة.

الحامل موجة جيبية مستمرة بتردد معروف، ففيGPS L1 تتذبذب عند1,575.42 MHz بطول موجي يقارب19 سنتيمترًا. يستطيع المستقبل تتبع طور هذه الموجة بدقة بضعة مليمترات. وهذا يعني أن قياسات طور الحامل أدق من قياسات الشفرة بنحو ألف مرة.

المشكلة هي الغموض. يستطيع المستقبل قياس الطور الكسري داخل طول موجي واحد بدقة عالية، لكنه لا يعرف عدد الأطوال الموجية الكاملة بين القمر والمستقبل. يسمى هذا العدد الصحيح المجهول غموض طور الحامل، ويعد حله من أصعب مسائلGNSS.

حتى من دون حل الغموض العددي الصحيح، يظل طور الحامل مفيدًا. تستخدم تقنية تسمى ترشيحHatch طور الحامل لتنعيم المدى الزائف الصاخب للشفرة عبر الزمن. في كل حقبة، يمزج المرشح قياس الشفرة الجديد مع التغير في طور الحامل منذ الحقبة السابقة. والنتيجة مدى زائف يتقارب مع مستوى ضوضاء طور الحامل، مع بقائه مثبتًا إلى المقياس المطلق للشفرة. يحسن هذا التنعيم دقة الموقع بدرجة ملحوظة حتى مع هوائيات الهواتف الاستهلاكية.

لكن طور الحامل لا يكون متاحًا دائمًا. تستخدم بعض شرائحGNSS الموفرة للطاقة دورات تشغيل وإيقاف للتتبع، فتقطع قفل الطور المستمر الذي يعتمد عليه ترشيحHatch. تكتشفSIMT ذلك وتعود إلى تنعيمDoppler، الذي يستخدم معدل المدى المقاس لكل قمر، أي انزياحDoppler، بدل طور الحامل لتثبيت قياس الشفرة. يختار المحرك أسلوب التنعيم المناسب تلقائيًا بحسب ما إذا كان الجهاز يتيح قياسات تتبع كاملة، ليستمر في استخلاص دقة إضافية حتى على الهواتف التي تحدّ من عمل عتادGNSS لتوفير البطارية.

حل الموقع: المربعات الصغرى الموزونة التكرارية

بعد الحصول على مدى زائف مصحح من عدة أقمار، يلزم حساب موقعك. العلاقة بين الموقع والمدى الزائف غير خطية، لأن المدى الهندسي بين نقطة على الأرض وقمر في المدار يتضمن جذورًا تربيعية لفروق الإحداثيات. ولمعالجة ذلك، تحوّل خوارزمية الحل المسألة إلى صيغة خطية حول تقدير أولي لموضع المستقبل، ثم تكرر العملية.

في كل تكرار، تحسب الخوارزمية قيم المدى الزائف المفترضة لو كان المستقبل في الموقع المقدّر حاليًا، وتقارنها بقياسات المدى الزائف الفعلية، ثم تستخرج تصحيحًا لتقدير الموقع. هذه هي المربعات الصغرى الموزونة: يحصل كل قياس على وزن يتناسب مع جودته المتوقعة. تنال قياسات الأقمار عالية الارتفاع ذات قوة الإشارة الجيدة وزنًا أكبر، بينما تنال قياسات الأقمار منخفضة الارتفاع في ظروف إشارة ضعيفة وزنًا أقل.

لنموذج الترجيح أهمية أكبر مما يتخيل معظم الناس. إشارة قمر عند ارتفاع10 درجات تعبر تروبوسفير أكثر بأربعة أضعاف من إشارة قمر عند90 درجة، كما يزداد احتمال انعكاسها عن المباني. ولو عوملت القياسات كلها بالتساوي، لأمكن لمشاهدة سيئة واحدة منخفضة الارتفاع سحب الحل بأكمله عدة أمتار. يجمع نموذج الترجيح الجيد بين هندسة الارتفاع ونسبة الإشارة إلى الضوضاء وحدود عدم يقين المدى الزائف، ليُبقي خوارزمية الحل مركزة على البيانات الأوثق.

تهم أيضًا الطريقة العددية وراء الحالّ. يعمل النهج القياسي، أي تكوين المعادلات الطبيعية وحلها بتحليلCholesky، جيدًا عندما تكون هندسة الرصد قوية. لكن عندما تتجمع الأقمار في جزء واحد من السماء، تصبح الهندسة سيئة التكييف وقد تضخم المعادلات الطبيعية الأخطاء العددية. ويكون نهج تحليلQR أكثر استقرارًا عدديًا، إذ يتعامل مع الهندسات نفسها التي قد يفشل فيهاCholesky أو ينتج عدم يقين متضخمًا للموقع.

السلامة ورفض القيم الشاذة

لا يفيد حل الموقع إلا إذا كان جديرًا بالثقة. وفي صناعة الملاحة بالأقمار الصناعية، تُصاغ الثقة رسميًا بمفهوم يسمى السلامة، أي القدرة على اكتشاف حدوث خطأ وتحذير المستخدم.

أبسط فحوص السلامة هوRAIM، أي المراقبة الذاتية لسلامة المستقبل. بعد تقارب خوارزمية الحل، تُفحص القيمة المتبقية لكل قمر، وهي الفرق بين المدى الزائف المنمذج والمقاس. إذا بدت كبيرة جدًا، فالقياس غالبًا فاسد بسبب تعدد المسارات أو قفزة في الساعة أو بيانات تقويم فلكي سيئة، ويجب استبعاده. تُعاد العملية من دون القمر المخالف، وتتكرر حتى تتسق القياسات المتبقية فيما بينها. تصقلSIMT هذا الاختبار: فبدل مقارنة القيم المتبقية الخام بمسافة ثابتة واحدة، تطبّع كل قيمة وفق الضوضاء المتوقعة لذلك القمر وتأثيره الهندسي في الحل. يُسمح للقمر منخفض الارتفاع بقيمة متبقية أكبر لأن ضوضاءه المتوقعة أعلى، فيما يُخضع القياس شديد التأثير، الذي تعتمد عليه الهندسة بقوة، لمعيار أشد. يرفض حد القبول التكيفي هذا القيم الشاذة الحقيقية من دون التخلص من الأقمار منخفضة الارتفاع القابلة للاستخدام كما تفعل عتبة فجة.

إلى جانبRAIM، تنتج خوارزمية الحل معلومات تغاير تُستخلص منها قيم تشتت الدقة(DOP). تصف هذه القيم مقدار تضخيم هندسة الأقمار لأخطاء القياس. يعنيHDOP منخفض أن الأقمار موزعة جيدًا في السمت وأن موقعك الأفقي محدد بإحكام. أماHDOP مرتفع فيعني أن الهندسة ضعيفة وأن النتيجة تتطلب حذرًا أكبر. يجمع تقدير الدقة النهائي المعلن بين إحصاءات القيم المتبقية بعد الملاءمة والهندسة، ليقدم تقديرًا واقعيًا لعدم اليقين.

التنعيم عبر الزمن: مرشح Kalman

يكون حل المربعات الصغرى الموزونة في كل حقبة مستقلًا، إذ يستخدم القياسات المتاحة في تلك اللحظة فقط. لكنك تعرف عمليًا شيئًا عن حركة المستقبل: فهو لا ينتقل آنيًا بين الحقب. يستغل مرشحKalman هذا الاستمرار بالحفاظ على نموذج للموقع والسرعة، ومزج حل كل حقبة جديدة مع الموقع المتوقع من نموذج الحركة.

النتيجة موقع أنعم وأكثر متانة مما يمكن أن تقدمه أي حقبة منفردة. يمتص المرشح انقطاعات القياس المؤقتة وارتفاعات تعدد المسارات القصيرة والضوضاء الطبيعية بفضل ذاكرته لموضعك السابق وكيفية حركتك. ويساعد المرشح أيضًا في تحديد الحقب الشاذة: فإذا اختلف حلWLS جديد اختلافًا حادًا عن الموقع المتوقع، يستطيع وسمه بدل قبوله بلا تمحيص.

تجاوز البث: RTK وPPP وحل الغموض العددي الصحيح

يستخدم كل ما سبق تصحيحات البث، أي المعلمات التي ترسلها الأقمار نفسها، إلى جانب أي تعزيز منSBAS. تحد بيانات التقويم الفلكي المذاعة دقة المدار بنحو متر واحد، وتحد الساعات المذاعة بنحو مترين. وبعد تطبيق تصحيحات الغلاف الجوي، تصبح هذه مصادر الخطأ المهيمنة. ولتجاوز هذا الحد، تحتاج إلى منتجات دقيقة خارجية، وهناك نهجان مختلفان جوهريًا.

النهج الأول هوRTK، أي التموضع الحركي في الزمن الحقيقي. يستخدمRTK محطة أساسية قريبة في موقع معلوم بدقة ترصد الأقمار نفسها التي يرصدها هاتفك. تبث المحطة مشاهداتها الخام إلى المستقبل عبر الإنترنت باستخدام بروتوكولNTRIP. ولأن المحطة والمستقبل المتنقل يريان الأقمار نفسها عبر غلاف جوي متشابه تقريبًا، تُلغى معظم الأخطاء عند تكوين الفروق بين القياسات. ومع محطة أساسية ضمن30 إلى50 كيلومترًا، تختفي إلى حد كبير أخطاء الأيونوسفير والتروبوسفير والمدار والساعة، ويصبح التموضع بدقة السنتيمترات ممكنًا، غالبًا خلال ثوان.

تتوفر محطاتRTK الأساسية على نطاق واسع عبر شبكات مجتمعية. فمثلًا،RTK2go موزعNTRIP مجاني يجمع آلاف المحطات التطوعية حول العالم. يستطيع المستقبل المتنقل الاتصال بـRTK2go وطلب أقرب محطة بإرسال موقعه التقريبي، ثم استقبال رسائل رصدRTCM3 بصيغةMSM4 أوMSM7، التي تتضمن قياسات الشفرة والحامل الخام للمحطة إلى جانب إحداثياتها.

النهج الثاني هوPPP، أي التموضع الدقيق بنقطة منفردة. بدل استخدام محطة أساسية قريبة، يطبقPPP تصحيحات مدار وساعة صالحة عالميًا تحسبها شبكات محطات مرجعية في أنحاء العالم. تُسلّم هذه بوصفها تصحيحات تمثيل فضاء الحالة(SSR): انحرافات مدارية شعاعية وعلى امتداد المسار وعبره، إضافة إلى تحديثات كثيرة الحدود للساعة، تُبث آنيًا عبرNTRIP. معSSR، تنخفض أخطاء المدار من أمتار إلى سنتيمترات، وتنخفض أخطاء الساعة من نانوثوان إلى أعشار النانوثانية. يعملPPP في أي مكان على الأرض من دون محطة أساسية قريبة، لكنه يستغرق عادة وقتًا أطول للتقارب منRTK.

يجعلRTK حل غموض طور الحامل عمليًا. ولأن الفروق المزدوجة بين المحطة والمستقبل المتنقل تلغي حدود ساعتي القمر والمستقبل، يصبح كل غموض متبقٍ عددًا صحيحًا حقيقيًا من الأطوال الموجية، بشرط تكوين الفروق داخل كوكبة واحدة ونطاق تردد واحد، وهو ما تفرضهSIMT بالتقسيم. تحلها طريقةLAMBDA، أيLeast-squares AMBiguity Decorrelation Adjustment: فهي تزيل ترابط مصفوفة تغاير الغموض، مع الاحتفاظ ببنية الارتباط الكاملة التي تنشئها الأقمار المرجعية المشتركة، ثم تبحث عن التركيبة الصحيحة الأكثر ملاءمة للبيانات، وتطبق اختبار نسبة للتحقق من أن أفضل مرشح يتفوق بوضوح على الوصيف. عند نجاح الاختبار، تقفز الدقة من الديسيمترات إلى السنتيمترات. أما في وضعPPP فتبقى الغموضات عمدًا أعدادًا عائمة: إذ يتطلب حل الغموضات غير المفروقة منتجات انحياز طور للأقمار لا تحملها تدفقاتSSR القياسية للمدار والساعة، ولذلك يتقاربPPP إلى دقة من رتبة الديسيمتر لا السنتيمتر.

عندما لا تتوفر التصحيحات الدقيقة، بسبب عدم اتصال الجهاز أو انقطاع المحطة الأساسية لـRTK أو توقف تدفق تصحيحاتPPP، تعود سلسلة المعالجة بسلاسة إلى البدائل المتاحة. ويستمر تعزيزSBAS وتنعيم طور الحامل وبيانات التقويم الفلكي المذاعة ونمذجة الغلاف الجوي في تقديم دقة من رتبة الأمتار. تحسن التصحيحات الدقيقة الموقع عند توفرها، لكن النظام لا يعتمد عليها كي يعمل.

لماذا لا يفعل ذلك أحد تقريبًا على الهاتف

إذا كانت قياساتGNSS الخام متاحة مجانًا علىAndroid، فلماذا لا تستخدمها تطبيقات أكثر؟ لأن الفجوة بين«امتلاك القياسات» و«حساب الموقع» هائلة.

• تحتاج إلى تحليل صيغ رسائل الملاحة لخمس كوكبات إلى جانبSBAS، ولكل منها تخطيط بتات ومخطط تكافؤ وبنية إطار فرعي خاصة، لاستخراج معلمات التقويم الفلكي وتصحيحات التعزيز من سلسلة البتات الخام.
• تحتاج إلى تنفيذ الميكانيكا المدارية: نشر كبلري مع تصحيحات الاضطراب لـGPS وGalileo وBeiDou وQZSS، إلى جانب تكامل عددي للمدار فيGLONASS.
• تحتاج إلى نماذج جوية: تصحيحات أيونوسفيرية وفقKlobuchar محجمة بالتردد، وتصحيحات تروبوسفيرية بدوال تخطيطNiell، إضافة إلى منطق التركيبة الخالية من تأثير الأيونوسفير للمشاهدات ثنائية التردد.
• تحتاج إلى تصحيحSagnac يتطلب إحداثيات القمر والمستقبل معًا، ما ينشئ تبعية دائرية يجب حلها تكراريًا.
• تحتاج إلى حالّ مستقر عدديًا، بتحليلQR بدل المعادلات الطبيعية الساذجة، مع ترجيح سليم ومعايير تقارب وتقدير انحيازات الساعة بين الكوكبات.
• تحتاج إلى مراقبة سلامة(RAIM) تستطيع تحديد القياسات الفاسدة واستبعادها من دون إفراط في الرفض.
• تحتاج إلى معالجة طور الحامل مع اكتشاف انقطاع الدورة وتنعيمHatch وإدارة حالة الغموض وحل الأعداد الصحيحة عبرLAMBDA على الفروق المزدوجة فيRTK.
• تحتاج إلى معالجة تصحيحاتRTK وPPP: عميلNTRIP يتصل بمحطات أساسية أو موزعاتSSR عالمية، وتحليل إطاراتRTCM3 الثنائية مع التحقق منCRC، وفك مشاهدات المحطة الأساسية لـRTK، وفك رسائلSSR لـPPP، وتحويل إحداثيات المدار، ومخزن تصحيحات يراعي التقادم.
• وتحتاج إلى تشغيل ذلك كله بكفاءة على جهاز محمول، مع إنتاج مواقع محدثة كل ثانية بالتوازي مع وظائف التطبيق المعتادة.

هذا ليس مشروعًا يُنجز في عطلة نهاية أسبوع، بل مستقبل جيوديسي متكامل منفذ في برمجيات تطبيقية، ويعمل على عتاد صُمم أساسًا للمكالمات الهاتفية ووسائل التواصل الاجتماعي.

ما الذي بنته SIMT فعلًا

تنفذSIMT كل خطوة وردت في هذه المقالة. يعالج محرك التموضع قياساتGNSS الخام منGPS وGalileo وGLONASS وBeiDou وQZSS وSBAS في آن واحد. ويحلل رسائل الملاحة المذاعة آنيًا لاستخراج بيانات تقويم فلكي حديثة، مع التحقق من تكافؤ كل كلمة أو شفرة كتلة قبل الوثوق بها لأن الشرائح تتجاوز هذا الإثبات كثيرًا، بما في ذلك رسائل تعزيزSBAS للتصحيحات السريعة وتصحيحات المدار والساعة طويلة الأمد. يحسب مواضع الأقمار بالنشر الكبْلري، والتكامل العدديRK4 لـGLONASS، وتوسعTaylor لأقمارSBAS GEO. ويطبق تصحيحات الأيونوسفير والتروبوسفير والنسبية ودوران الأرض(Sagnac) وساعة القمر لكل قمر وفي كل حقبة. ولتقليل زمن أول حل، يمكنه جلب بيانات التقويم الفلكي المذاعة من الشبكة، أيGNSS المساعد أوA-GNSS، بالتوازي مع فك الإشارة الحية، كما يحتفظ بالمدارات المفكوكة صالحة لساعات، بحيث يستمر التموضع بلا اتصال بعد أن يرى هاتفك السماء مرة واحدة.

تستخدم خوارزمية الحل مربعات صغرى موزونة قائمة علىQR، مع ترجيح يعتمد على الارتفاع وقوة الإشارة وعدم اليقين. وتقدّر انحيازات الساعة بين الأنظمة عبر الكوكبات. وبعد كل حل، تشغّلRAIM لرفض القيم الشاذة استنادًا إلى القيم المتبقية المطبّعة، مع ترجيح كل فحص بحسب ضوضاء القمر المتوقعة وتأثيره الهندسي. ثم تمرر الحلول المتقاربة إلى مرشحKalman ذي سرعة ثابتة وحد قبول لابتكارMahalanobis، فيواصل تقدير المسار خلال القفزات غير المعقولة بدل تبنيها. وتطبق تنعيم طور الحامل عبر ترشيحHatch مع اكتشاف انقطاع الدورة، وتتحول تلقائيًا إلى التنعيم القائم علىDoppler عندما تستخدم الشريحة دورات تشغيل للتتبع. وفي وضعRTK، تحل غموض الأعداد الصحيحة للفروق المزدوجة بين المحطة والمستقبل باستخدام خوارزميةLAMBDA، مقسمة بحسب الكوكبة ونطاق التردد كي تكون الأعداد صحيحة فعلًا، مع إدخال الارتباط الذي يولده القمر المرجعي المشترك في البحث، وتبلغ عن الدقة المتحققة القائمة على القيم المتبقية بدل دقة نظرية متفائلة.

عندما يكون الجهاز متصلًا، يستطيع المحرك العمل في وضعي تصحيح دقيقين. في وضعRTK، يتصل عبرNTRIP بمحطة أساسية قريبة، مستخدمًا افتراضيًا موزعRTK2go المجتمعي الذي يختار أقرب محطة تلقائيًا، ويستقبل بياناتRTCM3 في فضاء المشاهدات، بما فيها قياساتMSM4/MSM7 الخام وإحداثيات المحطة. وفي وضعPPP، يتصل بخدمةIGS Real-Time Service عبرNTRIP، ويستقبل تصحيحاتRTCM3 SSR للمدارات والساعات الدقيقة، ويتحقق من سلامة الإطار باستخدامCRC-24Q، ويفك انحرافات المدار والساعة في الإطار المرجعيRAC، ويحولها إلىECEF ويطبقها لكل قمر. يستطيع المستخدم التبديل بينRTK وPPP في إعداداتGNSS. وعند انقطاع الشبكة، يعيد النظام الاتصال بتراجع أسي ويعود إلى تموضع معزز بـSBAS أو قائم على البث وحده من دون إرباك ظاهر للمستخدم.

في الظروف الجيدة ومع تصحيحاتSSR، تحققSIMT دقة دون المتر، مقتربة مما لم تكن توفره قبل بضع سنوات سوى مستقبلات المسح الاحترافية.

يعمل كل ذلك على هاتفAndroid عادي داخل تطبيق يدير أيضًا الملاحة بالبوصلة وتخطيط الأهداف والقياس بالواقع المعزز واستكشاف السماء. محركGNSS ليس نموذجًا بحثيًا أوليًا ولا أداة معالجة لاحقة مكتبية، بل سلسلة تموضع بمستوى إنتاجي صُممت لمنح مستخدميSIMT ثقة مكانية أفضل في الزمن الحقيقي.

جرب بنفسك

إذا كنت تتساءل عما تستطيع قياساتGNSS في هاتفك إخبارك به فعلًا، فأسهل طريقة لرؤيتها وهي تعمل هي تجربة أداةGNSS فيSIMT. تعرض لك تشخيصات خام، منها عدد الأقمار والكوكبات المستخدمة وحقب القياس وحالة الحالّ والموقع الناتج، كلها في الزمن الحقيقي. ويمكنك مقارنة حلGNSS الخام منSIMT بحلGPS القياسي فيAndroid وموقعGoogle المدمج جنبًا إلى جنب.

سواء كنت مسّاحًا يقيّم التموضع بهاتف، أو متنزهًا يريد دقة أفضل في أرض مفتوحة، أو مهندسًا يثير فضوله ما يمكن تحقيقه تقنيًا على عتاد محمول، فالمحرك موجود ويشغل خط الأنابيب نفسه المشروح في هذه المقالة كلما فتحت التطبيق.