DOI: https://doi.org/10.1088/1681-7575/ae549a
تاريخ النشر: 2026-03-19
المؤلف: Takayuki Ishizaki وآخرون
الموضوع الرئيسي: المعايير المتقدمة للتردد والوقت
نظرة عامة
تقدم هذه الورقة إطارًا نظريًا جديدًا يعرف باسم تزامن متوسط المجموعة الصريح (EEM)، والذي يدمج بين توليد مقاييس الوقت، وتزامن الساعات، وتنظيم ترددات المذبذبات في سياق نظرية الأنظمة والتحكم. يستخدم الإطار التحلل الكنسي القابل للرصد لنموذج ساعة مجموعة ذرية قياسي، مميزًا بين مكون قابل للرصد يشير إلى خطأ التزامن ومكون غير قابل للرصد يحدد هدف التزامن.
يظهر المؤلفون أن تصفية كالمان القياسية، وهي طريقة شائعة في توليد مقاييس الوقت، لا تسهل فقط تقدير الحالة القابلة للرصد ولكن تعزز أيضًا بشكل كبير تقدير الحالة غير القابلة للرصد. هذه القدرة تضع تصفية كالمان كحالة محددة من إطار EEM، مما يحسن استقرار التردد على المدى الطويل كما تقيسه تباين ألان. بالإضافة إلى ذلك، فإن تطبيق التحكم في ردود الفعل على الحالة بناءً على تصفية كالمان على كلا المكونين من النظام يمكّن من تحقيق أداء مثالي في توليد مقاييس الوقت، وتزامن الساعات، وتنظيم ترددات المذبذبات، مما يمهد الطريق لتطوير أنظمة توقيت قابلة للتفسير.
مقدمة
تستعرض المقدمة أهمية توليد مقاييس الوقت باستخدام مجموعات من الساعات الذرية في قياس الوقت والتردد، لا سيما من أجل إنشاء مراجع زمنية وطنية ودولية مثل التوقيت العالمي المنسق (UTC). هذه الطريقة ضرورية لإنشاء بنى تحتية زمنية مرنة يمكن أن تعمل بشكل مستقل عن إشارات نظام الملاحة عبر الأقمار الصناعية العالمي (GNSS). يتضمن توليد الوقت الذري (TA) تنظيم ترددات المذبذبات المحلية وضبط قراءات الساعات رقميًا بناءً على اختلافات طور الساعات الزوجية. ومع ذلك، فقد أغفلت الدراسات الحالية إلى حد كبير تصميم النظام المتكامل الذي يشمل توليد مقاييس الوقت، وتزامن الساعات، وتنظيم ترددات المذبذبات، بالإضافة إلى التحقق الرياضي من مبادئ هذه الأنظمة وخصائص التقارب.
تناقش هذه الفقرة أيضًا تطبيق تصفية كالمان في توليد مقاييس الوقت، مع تسليط الضوء على فعاليتها في تقدير الحالة المثلى تحت الضوضاء الغاوسية. على الرغم من فائدتها، تواجه التطبيق المباشر لتصفية كالمان تحديات، مثل تباعد مصفوفة تباين الخطأ مع مرور الوقت، مما قد يؤدي إلى عدم الاستقرار العددي. تم اقتراح استراتيجيات مختلفة لتقليل تباين الخطأ، ومع ذلك، غالبًا ما تؤدي تصفية كالمان المثلى إلى مقاييس زمنية دون المستوى الأمثل فيما يتعلق باستقرار التردد على المدى القصير. تم تطوير خوارزميات بديلة، مثل أوزان كالمان (KPW)، KAS-2، وAT1/AT2، لمعالجة هذه القضايا، باستخدام أساليب مختلفة لتحديد أوزان متوسط المجموعة للساعات الذرية. من الجدير بالذكر أن هذه الطرق تركز على التعديلات الرقمية بدلاً من التنظيم الفيزيائي لترددات المذبذبات، مما يشير إلى الاعتماد على الحسابات النظرية بدلاً من التطبيقات العملية.
نقاش
في هذا القسم، يقدم المؤلفون إطارًا جديدًا يسمى “تزامن متوسط المجموعة الصريح” (EEM)، الذي يدمج توليد مقاييس الوقت، وتزامن الساعات، وتنظيم ترددات المذبذبات من خلال عدسة نظرية الأنظمة والتحكم. النتيجة الرئيسية هي أن تصفية كالمان، التي تُعتبر تقليديًا وسيلة لتقدير الحالات القابلة للرصد، هي ضرورية لتقدير “الحالة المتوسطة غير القابلة للرصد” للساعات. تسلط هذه النتيجة غير البديهية الضوء على فجوة في الأدبيات الحالية بشأن متوسط المجموعة الضمني في توليد مقاييس الوقت. يستنتج المؤلفون صياغة مكافئة لخوارزمية تصفية كالمان التي تتجنب العمليات غير المحددة، ويقومون ببناء خوارزمية تنظيم التردد لمزامنة الساعات مع متوسط مجموعة محدد من قبل المستخدم، ويظهرون أن تصفية كالمان القياسية هي حالة محددة من تزامن EEM الذي يحسن الاستقرار على المدى الطويل.
تناقش الورقة أيضًا تداعيات هذه النتائج على بنية التوقيت المرنة، مع التأكيد على الحاجة إلى خوارزمية تزامن توازن بين استقرار التردد على المدى القصير والطويل. يقترح المؤلفون أن إطار EEM لا يوضح فقط المبادئ التشغيلية لتصفية كالمان في هذا السياق، ولكن يفتح أيضًا آفاقًا جديدة للبحث في توليد مقاييس الوقت الذري وتنظيم المذبذبات. تشير النتائج إلى أنه بينما قد لا تؤدي خوارزميات تصفية كالمان التقليدية إلى مقاييس زمنية مثالية من حيث تباين ألان، فإن إطار تزامن EEM يوفر بديلًا قويًا يمكن تخصيصه لتحقيق خصائص الاستقرار المرغوبة.
DOI: https://doi.org/10.1088/1681-7575/ae549a
Publication Date: 2026-03-19
Author(s): Takayuki Ishizaki et al.
Primary Topic: Advanced Frequency and Time Standards
Overview
This paper introduces a novel theoretical framework known as explicit ensemble mean (EEM) synchronization, which integrates time scale generation, clock synchronization, and oscillator frequency regulation within the context of systems and control theory. The framework utilizes the observable canonical decomposition of a standard atomic ensemble clock model, distinguishing between an observable component that indicates synchronization error and an unobservable component that defines the synchronization target.
The authors demonstrate that standard Kalman filtering, a prevalent method in time scale generation, not only facilitates observable state estimation but also significantly enhances unobservable state estimation. This capability positions Kalman filtering as a specific instance of the EEM framework, optimizing long-term frequency stability as measured by Allan variance. Additionally, the application of state feedback control based on Kalman filtering to both components of the system enables optimal performance in time scale generation, clock synchronization, and oscillator frequency regulation, thereby laying the groundwork for the development of explainable timing systems.
Introduction
The introduction outlines the significance of time scale generation using ensembles of atomic clocks in time and frequency metrology, particularly for establishing national and international time references like Coordinated Universal Time (UTC). This method is essential for creating resilient timing infrastructures that can function independently of Global Navigation Satellite System (GNSS) signals. The generation of atomic time (TA) involves regulating local oscillator frequencies and digitally adjusting clock readings based on pairwise clock phase differences. However, existing studies have largely overlooked the integrated system design that encompasses time scale generation, clock synchronization, and oscillator frequency regulation, as well as the mathematical validation of these systems’ principles and convergence properties.
The section further discusses the application of Kalman filtering in time scale generation, highlighting its effectiveness for optimal state estimation under Gaussian noise. Despite its utility, the direct application of Kalman filtering faces challenges, such as the divergence of the error covariance matrix over time, which can lead to numerical instability. Various error covariance reduction strategies have been proposed, yet optimal Kalman filtering often yields suboptimal time scales regarding short-term frequency stability. Alternative algorithms, such as the Kalman Plus Weights (KPW), KAS-2, and AT1/AT2, have been developed to address these issues, employing different approaches to determine the ensemble mean weights of atomic clocks. Notably, these methods focus on digital adjustments rather than physical regulation of oscillator frequencies, indicating a reliance on theoretical calculations rather than practical implementations.
Discussion
In this section, the authors introduce a novel framework termed “explicit ensemble mean” (EEM) synchronization, which integrates time scale generation, clock synchronization, and oscillator frequency regulation through a systems and control theory lens. The key finding is that Kalman filtering, traditionally viewed as a method for estimating observable states, is crucial for estimating the “unobservable” weighted average state of clocks. This counterintuitive result highlights a gap in existing literature regarding the implicit ensemble mean in time scale generation. The authors derive an equivalent formulation of the Kalman filtering algorithm that avoids indeterminate operations, construct a frequency regulation algorithm for synchronizing clocks to a user-defined ensemble mean, and demonstrate that standard Kalman filtering is a specific case of EEM synchronization that optimizes long-term stability.
The paper further discusses the implications of these findings for resilient timing infrastructure, emphasizing the need for a synchronization algorithm that balances both short-term and long-term frequency stability. The authors propose that the EEM framework not only clarifies the operational principles of Kalman filtering in this context but also opens new avenues for research in atomic time scale generation and oscillator regulation. The results suggest that while traditional Kalman filtering algorithms may not yield optimal time scales in terms of Allan variance, the EEM synchronization framework provides a robust alternative that can be tailored to achieve desired stability characteristics.