Explicit Ensemble Mean Synchronization for Time Scale Generation with Mixed Atomic Clock Ensembles

ملخص تقني: المزامنة الصريحة لمتوسط المجموعة الزمنية لتوليد المقياس الزمني باستخدام مجموعات مختلطة من الساعات الذرية

بيان المشكلة
تتناول هذه الورقة التحدي المتمثل في توليد مقياس زمني موثوق من مجموعة مختلطة من الساعات الذرية، وتحديداً عبر الجمع بين ساعات من نوع السيزيوم (Cs-type) وساعات من نوع المازر الهيدروجيني (Hm-type). وبينما يُستخدم مرشح كالمان التقليدي (CKF) على نطاق واسع لتقدير انحرافات الساعة، فإنه يواجه عائقاً حرجاً في هذا السياق: نموذج المجموعة المختلطة غير قابل للكشف لأن فروق قراءات الساعات هي فقط ما يمكن قياسه. ويؤدي عدم القدرة على الكشف هذه إلى تباعد مصفوفة تغاير الخطأ في مرشح كالمان التقليدي (CKF)، مما يؤدي إلى عدم استقرار عددي وتقديرات غير دقيقة. علاوة على ذلك، تعتمد الطرق الحالية لتوليد المقاييس الزمنية غالباً على متوسطات المجموعات الضمنية أو تقتصر على المجموعات المتجانسة (إما نوع Cs فقط أو نوع Hm فقط)، مما يفشل في استغلال الخصائص التكميلية المستقرة للمجموعات المختلطة بشكل كامل. وقد حدد المؤلفون مشكلتين رئيسيتين: (1) تطوير خوارزمية مرشح كالمان للمجموعات المختلطة تكون خالية من الحدود المتباعدة، و(2) توليد مقياس زمني يعمل على مزامنة انحرافات الساعات مع متوسط مرجح محدد من قبل المستخدم مع تحسين استقرار التردد (المقاس بتباين هادامارد) للفترات قصيرة الأمد أو طويلة الأمد.

المنهجية
يتضمن الحل المقترح نهجاً يتكون من مرحلتين يجمع بين تحويل فضاء الحالة وتصميم التحكم الصريح:

1. التفكيك القانوني القابل للملاحظة ومرشح كالمان المحوّل (TKF):
   قام المؤلفون أولاً بتطبيق تفكيك قانوني قابل للملاحظة (Observable Canonical Decomposition) على نموذج المجموعة المختلطة. ومن خلال تحويل فضاء الحالة إلى مكونات قابلة للملاحظة وغير قابلة للملاحظة، اشتقوا خوارزمية جديدة لمرشح كالمان. في هذا النطاق المحوّل، تنفصل مصفوفات تغاير الخطأ المرتبطة بالحالات غير القابلة للملاحظة (والتي تسبب التباعد في مرشح CKF القياسي) عن حسابات الكسب. يستخدم مرشح كالمان المحوّل (TKF) الناتج، ونسخته في الحالة المستقرة، مصفوفات تغاير الخطأ المتقاربة للحالات القابلة للملاحظة فقط، مما يلغي الحدود المتباعدة ويضمن الاستقرار العددي.

2. خوارزمية المزامنة الصريحة لمتوسط المجموعة:
   باستخدام تقديرات الحالة من مرشح TKF، اقترح المؤلفون خوارزمية صريحة لمزامنة متوسط المجموعة. يتم تصميم مدخل التحكم لمزامنة انحرافات الوقت لكل ساعة مع "حالة طور متوسطة غير قابلة للملاحظة ومرجحة".

• المزامنة: يتم تطبيق قانون تحكم بالتغذية الراجعة للحالة لدفع خطأ المزامنة إلى الصفر، مما يضمن تقارب المجموعة نحو مقياس زمني مشترك محدد بواسطة متجه أوزان $q$ يحدده المستخدم.
• تحسين استقرار التردد: لمعالجة المقايضة بين الاستقرار قصير الأمد وطويل الأمد، قام المؤلفون بتحليل ديناميكيات التشغيل الحر للحالة غير القابلة للملاحظة. وقد اشتقوا متجه أوزان $q$ أمثل يقلل من تباين هادامارد (HVAR) للمقياس الزمني المولد.
  • للاستقرار قصير الأمد: يتم اشتقاق متجه الأوزان عن طريق تقليل HVAR عندما تقترب فترة أخذ العينات $\tau$ من الصفر، مما يعطي الأولوية للساعات ذات ضوضاء التردد البيضاء المنخفضة (عادةً من نوع Hm).
  • للاستقرار طويل الأمد: يتم اشتقاق متجه الأوزان عن طريق تقليل HVAR عندما تؤول $\tau$ إلى مالانهاية، مما يعطي الأولوية للساعات ذات ضوضاء التردد ذات السير العشوائي المنخفض (عادةً من نوع Cs) ويخصص وزناً صفرياً لساعات النوع Hm بسبب انجراف ترددها.

المساهمات الرئيسية

• الترشيح المستقر للمجموعات المختلطة: تقدم الورقة اشتقاقاً دقيقاً لخوارزمية مرشح كالمان بناءً على التفكيك القانوني القابل للملاحظة، مما يحل مشكلة التباعد المتأصلة في المرشحات التقليدية للمجموعات المختلطة غير القابلة للكشف.
• التحكم الصريح في المزامنة: على عكس مناهج متوسط المجموعة "الضمنية" السابقة، يقدم هذا العمل خوارزمية صريحة حيث يمكن للمستخدم تحديد متجه الأوزان لمزامنة الساعات مع حالة مستهدفة محددة.
• توليد مقياس زمني مُحسّن: يوضح المؤلفون كيفية اختيار متجهات الأوزان لتحسين استقرار التردد للمقياس الزمني المولد (GTS) لفترات زمنية محددة. كما أظهروا أنه من خلال اختيار الأوزان المناسبة، يمكن للمقياس الزمني المولد تحقيق استقرار قصير الأمد فائق (بالاستفادة من ساعات نوع Hm) أو استقرار طويل الأمد فائق (بالاستفادة من ساعات نوع Cs) مقارنة بالساعات الفردية أو المتوسطات البسيطة.

النتائج
تم التحقق من فعالية الخوارزمية المقترحة من خلال مثال عددي يتضمن مجموعة من 10 ساعات (7 من نوع Cs و3 من نوع Hm).

• التحسين قصير الأمد: عند تطبيق متجه الأوزان المُحسّن للاستقرار قصير الأمد ($q^0_H$)، أظهرت المحاكاة أن انحرافات الوقت للساعات المتحكم بها تتبع بدقة المسار الافتراضي للديناميكيات الحرة المُحسّنة. وأظهر المقياس الزمني المولد (GTS) انخفاضاً ملحوظاً في التباعد عن الوقت المثالي خلال فترة 1,000 ثانية مقارنة بالساعات التي تعمل بحرية.
• التحسين طويل الأمد: عند تطبيق متجه الأوزان المُحسّن للاستقرار طويل الأمد ($q^\infty_H$)، أظهر المقياس الزمني المولد استقراراً ممتازاً في التردد على مدى $10^5$ ثانية. وأكدت منحنيات تباين هادامارد أن المقياس الزمني المولد حافظ على استقرار يتفوق على الساعات الفردية التي تعمل بحرية على مدار فترات طويلة.
• تباين هادامارد: أكد تحليل تباين هادامارد أن الطريقة المقترحة تنجح في تقليل التباين للفترات الزمنية المستهدفة، مما يؤكد التحسين النظري لمتجهات الأوزان.

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