Results and where they come fromالنتائج ومصدر كل منها
Generated by scripts/make_results_page.py from the files in results/. Each row names its source file, the first 12 characters of the file's SHA-256 and the seed.
تُولَّد الصفحة بالسكربت scripts/make_results_page.py من ملفات المجلد results/. يذكر كل صف ملف المصدر وأول 12 خانة من بصمة SHA-256 للملف والبذرة.
Resultsالنتائج
| Resultالنتيجة | Valueالقيمة | Sourceالمصدر | Seedالبذرة |
|---|---|---|---|
| Exact verifier: wrong verdicts on constructed cases with known truthالمدقِّق الدقيق: أحكام خاطئة على حالات مبنية بحقيقة معروفة | 0 of 763 | benchmark_v2.json BENCHMARK_V2.md | 20261028 |
| Independent interval verifier: wrong verdicts, and cases left undecidedالمدقِّق الفاصلي المستقل: أحكام خاطئة وحالات بلا قرار | 0 wrong, 0 undecided of 763 | benchmark_v2.json BENCHMARK_V2.md | 20261028 |
| Sampled check at a 0.05 s step missing violations of depth 1e-6 to 1e-4 mفحص بالعيّنات بخطوة 0.05 ث يفوّت انتهاكات بعمق 1e-6 إلى 1e-4 م | 67 of 78 missed | benchmark_v2.json BENCHMARK_V2.md | 20261028 |
| Sampled check given the same compute time as the exact verifier, same casesفحص بالعيّنات بنفس زمن الحساب للمدقِّق الدقيق، الحالات نفسها | 61 of 78 missed | benchmark_v2.json BENCHMARK_V2.md | 20261028 |
| Sampled check at a 0.5 s step passing fleets that fail the exact checkفحص بالعيّنات بخطوة 0.5 ث يُجيز أساطيل تفشل في الفحص الدقيق | 124 of 3000 | baselines.json BASELINES.md | see file |
| P(violation), GNSS error common fraction 0.0 of the bias variance, 100 trialsاحتمال الانتهاك، نسبة مشتركة 0.0 من تباين انحياز GNSS، 100 تجربة | 1.00 (0.96 to 1.00) | gnss_common.json GNSS_COMMON.md | 20261028 |
| P(violation), GNSS error common fraction 0.95 of the bias variance, 100 trialsاحتمال الانتهاك، نسبة مشتركة 0.95 من تباين انحياز GNSS، 100 تجربة | 1.00 (0.96 to 1.00) | gnss_common.json GNSS_COMMON.md | 20261028 |
| P(violation), GNSS error common fraction 1.0 of the bias variance, 100 trialsاحتمال الانتهاك، نسبة مشتركة 1.0 من تباين انحياز GNSS، 100 تجربة | 0.00 (0.00 to 0.04) | gnss_common.json GNSS_COMMON.md | 20261028 |
| Worst case search (random search) inside the declared parameter box: P(violation) on separate seedsالبحث عن أسوأ حالة (بحث عشوائي) داخل صندوق المعاملات المعلن: احتمال الانتهاك على بذور منفصلة | 1.00 (0.96 to 1.00) | stress_search.json STRESS_CREDIBILITY.md | 20261202 |
| Worst case search (evolution strategy) inside the declared parameter box: P(violation) on separate seedsالبحث عن أسوأ حالة (استراتيجية تطور) داخل صندوق المعاملات المعلن: احتمال الانتهاك على بذور منفصلة | 1.00 (0.96 to 1.00) | stress_search.json STRESS_CREDIBILITY.md | 20261202 |
| Comms loss in 5% of drones, hold behaviour, no detection delay: P(violation)فقدان الاتصال في 5% من الطائرات، سلوك التثبيت، بلا تأخر كشف: احتمال الانتهاك | 0.84 (0.76 to 0.90) | stress_faults.json STRESS_CREDIBILITY.md | 20261202 |
| Comms loss in 5% of drones, corridor behaviour, no detection delay: P(violation)فقدان الاتصال في 5% من الطائرات، سلوك الممر، بلا تأخر كشف: احتمال الانتهاك | 0.17 (0.11 to 0.26) | stress_faults.json STRESS_CREDIBILITY.md | 20261202 |
| Combined faults (comms, battery, one motor, GNSS dropout, GNSS bias): P(violation)أعطال مجتمعة (اتصال وبطارية ومحرك واحد وانقطاع GNSS وانحياز GNSS): احتمال الانتهاك | 1.00 (0.96 to 1.00) | stress_faults.json STRESS_CREDIBILITY.md | 20261202 |
| Delay margin of the assumed tracking loop (feedback delay above this makes it unstable)هامش التأخر لحلقة التتبّع المفترضة (تأخر أعلى منه يجعلها غير مستقرة) | 0.342 s | fidelity.json MODEL_FIDELITY.md | analytic |
| Wind 9 m/s: median per drone peak feedback acceleration the loop asks forرياح 9 م/ث: الوسيط لذروة تسارع التغذية الراجعة المطلوبة لكل طائرة | 4.91 m/s^2 | fidelity.json MODEL_FIDELITY.md | 20261215 |
| PX4 simulation in hardware, 4 vehicles, default parameters: planned versus flown minimum separationPX4 بمحاكاة داخل العتاد، 4 مركبات، معاملات افتراضية: أقل تباعد مخطط مقابل المُحلَّق | 3.12 m planned, 0.52 m flown | sitl_replay_4.json SITL.md | one real time run |
Events in the viewer's stressed scenariosأحداث سيناريوهات الإجهاد في العارض
Read from viewer/data/index.json. Times are seconds from the start of the show; drone numbers are those shown in the viewer.
مقروءة من viewer/data/index.json. الأزمنة بالثواني من بداية العرض وأرقام الطائرات هي المعروضة في العارض.
| Showالعرض | Scenarioالسيناريو | Droneالطائرة | Eventالحدث | Time (s)الزمن (ث) |
|---|---|---|---|---|
| gallery_120 | motor_failure | 117 | motor_failure | 111.4 |
| gallery_120 | motor_failure | 87 | motor_failure | 44.6 |
| gallery_120 | comms_hold | 54 | comms_loss | 90.0 |
| gallery_120 | comms_hold | 10 | comms_loss | 157.4 |
| gallery_120 | comms_hold | 66 | comms_loss | 107.8 |
| gallery_120 | comms_hold | 6 | comms_loss | 142.6 |
| oryx_500 | motor_failure | 234 | motor_failure | 42.6 |
| oryx_500 | motor_failure | 332 | motor_failure | 100.2 |
| oryx_500 | comms_hold | 331 | comms_loss | 58.4 |
| oryx_500 | comms_hold | 341 | comms_loss | 44.6 |
| oryx_500 | comms_hold | 91 | comms_loss | 103.8 |
| oryx_500 | comms_hold | 398 | comms_loss | 77.6 |
| oryx_500 | comms_hold | 337 | comms_loss | 71.8 |
| oryx_500 | comms_hold | 451 | comms_loss | 40.6 |
| oryx_500 | comms_hold | 253 | comms_loss | 93.0 |
| oryx_500 | comms_hold | 228 | comms_loss | 56.4 |
| oryx_500 | comms_hold | 375 | comms_loss | 105.6 |
| oryx_500 | comms_hold | 426 | comms_loss | 44.2 |
| oryx_500 | comms_hold | 269 | comms_loss | 89.6 |
| oryx_500 | comms_hold | 265 | comms_loss | 113.2 |
| oryx_500 | comms_hold | 394 | comms_loss | 33.8 |
| oryx_500 | comms_hold | 137 | comms_loss | 115.4 |
| oryx_500 | comms_hold | 467 | comms_loss | 81.6 |
| oryx_500 | comms_hold | 111 | comms_loss | 80.8 |
| oryx_500 | comms_hold | 452 | comms_loss | 90.8 |
| oryx_500 | comms_hold | 79 | comms_loss | 35.8 |
| oryx_500 | comms_hold | 275 | comms_loss | 42.0 |
| oryx_500 | comms_hold | 495 | comms_loss | 32.2 |
| oryx_500 | comms_hold | 8 | comms_loss | 98.6 |
| oryx_500 | comms_hold | 292 | comms_loss | 55.6 |
| oryx_500 | comms_hold | 479 | comms_loss | 100.4 |
| oryx_500 | comms_hold | 325 | comms_loss | 58.6 |
| oryx_500 | comms_hold | 427 | comms_loss | 106.8 |
| oryx_500 | comms_hold | 148 | comms_loss | 54.2 |
| torus_300 | motor_failure | 242 | motor_failure | 78.0 |
| torus_300 | motor_failure | 59 | motor_failure | 81.6 |
| torus_300 | comms_hold | 267 | comms_loss | 28.4 |
| torus_300 | comms_hold | 124 | comms_loss | 44.8 |
| torus_300 | comms_hold | 4 | comms_loss | 27.0 |
| torus_300 | comms_hold | 209 | comms_loss | 62.2 |
| torus_300 | comms_hold | 52 | comms_loss | 84.4 |
| torus_300 | comms_hold | 120 | comms_loss | 34.0 |
| torus_300 | comms_hold | 92 | comms_loss | 45.4 |
| torus_300 | comms_hold | 42 | comms_loss | 50.2 |
| torus_300 | comms_hold | 5 | comms_loss | 73.4 |
| torus_300 | comms_hold | 180 | comms_loss | 22.2 |
| torus_300 | comms_hold | 150 | comms_loss | 16.2 |
| torus_300 | comms_hold | 156 | comms_loss | 31.8 |
| torus_300 | comms_hold | 66 | comms_loss | 83.4 |
| sirb_text_100 | motor_failure | 46 | motor_failure | 49.0 |
| sirb_text_100 | motor_failure | 75 | motor_failure | 119.2 |
| sirb_text_100 | comms_hold | 50 | comms_loss | 91.4 |
| sirb_text_100 | comms_hold | 12 | comms_loss | 122.8 |
| sirb_text_100 | comms_hold | 27 | comms_loss | 126.6 |
| sirb_text_100 | comms_hold | 63 | comms_loss | 88.8 |
| sirb_text_100 | comms_hold | 7 | comms_loss | 92.6 |
| sirb_text_100 | comms_hold | 51 | comms_loss | 127.0 |
Limitationsالقيود
- A pass on this page means the nominal trajectory passed the specified separation check for the planned polynomial paths. It is not a statement that a fleet is safe to fly and not an approval.النجاح في هذه الصفحة يعني أن المسار الاسمي اجتاز فحص التباعد المحدد للمسارات متعددة الحدود المخططة. وهو ليس إقرارًا بأن الأسطول آمن للطيران وليس موافقة.
- Stressed results come from assumed disturbance models. The GNSS error correlation between drones is not sourced and decides the verdict (P(violation) 1.00 up to a common fraction of 0.95, 0.00 at 1.00).نتائج الإجهاد مبنية على نماذج اضطراب مفترضة. ارتباط خطأ GNSS بين الطائرات غير موثّق بمصدر وهو يحسم النتيجة.
- The tracking loop is a second order model. Latency and an acceleration cap are opt in and were studied on three configurations only. The wind verdict depends on the vehicle having enough feedback authority, and the loop is unstable beyond its delay margin; neither was measured on a vehicle.حلقة التتبّع نموذج من الدرجة الثانية. التأخر وحدّ التسارع اختياريان وقد دُرسا في ثلاث حالات فقط. نتيجة الرياح تفترض قدرة تحكم كافية في المركبة، وتصبح الحلقة غير مستقرة فوق هامش التأخر، ولم يُقَس أي منهما على مركبة.
- Wind drag uses the wind velocity, not the velocity relative to the air, so drift sizes when authority runs out are not meaningful.سحب الرياح يستخدم سرعة الرياح لا السرعة بالنسبة للهواء، لذا لا يُعتدّ بحجم الانجراف عند نفاد قدرة التحكم.
- The PX4 replay is simulation only, one real time run per vehicle count with default parameters, and aligns logs by the wall clock. It is not evidence about any real vehicle.إعادة التشغيل على PX4 محاكاة فقط، بتشغيل واحد لكل عدد مركبات ومعاملات افتراضية وبمحاذاة السجلات بالساعة الفعلية. وليست دليلًا على أي مركبة حقيقية.
- Monte Carlo rates come with Wilson 95% intervals; each scenario in the viewer is one fixed seed realisation.نسب مونت كارلو مقرونة بفواصل ويلسون 95%؛ وكل سيناريو في العارض هو تحقّق واحد بذرة ثابتة.
- No real flight data is used anywhere. No regulatory property is claimed. A real show needs an operator safety case and approvals from the relevant UAE aviation authorities.لا تُستخدم أي بيانات طيران حقيقية. ولا يُدَّعى أي امتثال تنظيمي. تحتاج العروض الحقيقية إلى ملف سلامة تشغيلي وموافقات الجهات المختصة بالطيران في الإمارات.