GNSS کے بغیر پوزیشننگ · نجی ریپو · 9 پیکجز
ایسی پوزیشننگ جو جانتی ہے کہ یہ کتنی غلط ہو سکتی ہے۔
سیٹلائٹ کے بغیر نیویگیشن کے ہر طریقے کی ناکامی کی ایک ہی صورت ہے: وہ پورے اعتماد سے ایک ایسا عدد دیتا ہے جو غلط ہوتا ہے، اور آگے کا کوئی حصہ یہ پہچان نہیں سکتا۔ pnt-stack نو پیکجز پر مشتمل ہے جو اس کے الٹ اصول پر بنے ہیں: ہر پرت اپنی غیر یقینی کو اوپر منتقل کرتی ہے، اور کسی ایسی پوزیشن کا دعویٰ کرنے سے انکار کرتی ہے جس کی وہ تائید نہیں کر سکتی۔
خیال
انکار بھی ایک درجۂ اول کا آؤٹ پٹ ہے۔
گہرائی کی پیمائش جو اپنے datum کے بغیر آئے، وہ احتیاط سے استعمال کیا جانے والا عدد نہیں۔ وہ ایک انکار ہے جو بتاتا ہے کہ کیا غائب ہے۔ یہی ساخت ہر لیئر پر دہرائی جاتی ہے، اور اسی کی بدولت اسٹیک کا سب سے اوپر والا حصہ ACT، CAUTION یا REFUSE کہہ سکتا ہے اور واقعی اس کا مطلب رکھتا ہے۔
غیر یقینی اوپر کی طرف منتقل ہوتی ہے
`celnav` ایک پوزیشن کے ساتھ covariance، ایک error ellipse اور ایک protection level لوٹاتا ہے۔ جس fix کی کوئی حد نہ ہو وہ fix نہیں۔
ایسے ذرائع جو مختلف طریقوں سے ناکام ہوتے ہیں
فلکیاتی، مقناطیسی اور باتھی میٹرک غلطیاں باہم غیر مربوط ہیں، اس لیے `pntfuse` ان کی ایک دوسرے سے جانچ کر سکتا ہے اور کسی خراب ذریعے کو اوسط میں شامل کرنے کے بجائے خارج کر سکتا ہے۔
سپورٹڈ ≠ بھروسے کے قابل
`CAUTION` حالت اس لیے موجود ہے کیونکہ ایک پوزیشن کو شواہد کی پوری تائید حاصل ہو سکتی ہے اور پھر بھی اس پر عمل کرنا غلط ہو سکتا ہے۔
نو پیکجز · 12,725 لائنیں · ٹیسٹس کی 3,923 لائنیں
پوری زنجیر، شروع سے آخر تک۔
محسوس کرنا
ان پٹ NMEA 0183 ہے۔ ہر مقدار اپنے ساتھ اپنی عمر، اپنا datum، اور وہ وجہ رکھتی ہے جس کی بنا پر اس پر یقین نہیں کیا جا سکتا۔
celnav
Celestial sight reduction، weighted least squares، error ellipse، protection level، chi-square fault detection۔
magnav
ایرو میگنیٹک کمپنسیشن اور زمینی خدوخال کی مدد سے نیویگیشن، دونوں حقیقی پرواز کے ڈیٹا پر۔
pntfuse
مختلف ذرائع کے درمیان سالمیت کی نگرانی اور خرابی کا اخراج، ایسے ذرائع کو ملا کر جو مختلف طریقوں سے ناکام ہوتے ہیں۔
دائرہ
پیشگی منظور شدہ capability envelopes اور ایک tamper-evident، hash-chained فیصلہ لاگ، جس پر Ed25519 سے دستخط ہوتے ہیں۔
جاری
وہ نگرانی جو ری اسٹارٹ کے باوجود ایک ہفتے تک چلتی ہے، اور ایک جرنل لکھتی ہے جو بجلی جانے کے بعد بھی محفوظ رہتا ہے۔
helm
ACT / CAUTION / REFUSE۔ اس کے 26 tests دیانت کے اصول ہیں، layout نہیں۔
سالمیت
کچھ بھی ناپنے کی اجازت ملنے سے پہلے اسے حقیقی 5% کے مقابلے میں 4.915% پر calibrate کیا گیا۔
bridge
تخمینہ لگانے والوں اور اس چیز کے درمیان کی درز جسے فیصلہ کرنا ہوتا ہے۔
skymaths ایک submodule ہے، نقل نہیں۔ یہ اپنی عوامی repo میں canonical رہتا ہے کیونکہ TerraFirma اور Starwheel بھی اس پر انحصار کرتے ہیں۔ ایک نقل vendor کرنے ہی کی وجہ سے TerraFirma ایک سال تک گیارہ pixels ہٹا رہا۔
وہ حصہ جو زیادہ تر پروجیکٹس چھوڑ دیتے ہیں
کیا ناپا گیا ہے، اور کیا صرف لکھا گیا ہے۔
یہ جدول پروجیکٹ کی اپنی SYSTEM.md سے نقل کیا گیا ہے، جو خاص طور پر ان دونوں کو الگ رکھنے کے لیے موجود ہے۔ غیر خوشامدی قطاریں ہی اصل نکتہ ہیں۔
| لیئر | حالت | ثبوت |
|---|---|---|
magnav کمپنسیشن | ناپا گیا | اصلی DAF-MIT فلائٹ ڈیٹا پر 22.8× cross-flight |
magnav نیویگیشن | ناپا گیا | 6.64 m DRMS post-processed / ~28.5 m causal، چار پروازیں، ایک الگ رکھی گئی |
skymaths | ناپا گیا | Meeus کی حل شدہ مثالوں کے مقابلے میں سورج 0.01 nm، چاند 0.17، سیارے 0.02 |
integrity | کیلیبریٹڈ | حقیقی 5% کے مقابلے میں 4.915%، اس سے پہلے کہ اسے کچھ بھی ناپنے کی اجازت دی جاتی |
| باتھی میٹرک میچر | twin کے مقابل validated | اصل چارٹ کے 30 مشترکہ حصوں پر چوٹیاں یکساں، انکار 1:1، دونوں طرف DRMS 12.76 m |
pntfuse | منطق ٹیسٹ شدہ | 55 ٹیسٹ؛ مقناطیسی ایرر ماڈل حقیقی ہے، فکس مصنوعی طور پر تیار کیا گیا ہے |
envelope | منطق ٹیسٹ شدہ | 24 ٹیسٹ، Ed25519، ہیش چین شدہ |
sense | کبھی کسی بس سے سامنا نہیں ہوا | 48 ٹیسٹ؛ 9 میں سے 7 داخل کردہ faults مسترد، 2 ناقابلِ شناخت دکھائے گئے۔ ہر جملہ مصنوعی |
underway | کبھی کشتی سے سامنا نہیں ہوا | 39 ٹیسٹ؛ کوئی سیریل پورٹ نہیں کھولا گیا |
celnav | کبھی کوئی مشاہدہ نہیں دیکھا | درست ریاضی، دیکھنے کو صفر |
| ورٹیکل حوالہ | کوئی ہارڈویئر نہیں | اور یہ ہر فلکیاتی فکس پر حاوی رہتی ہے |
ایمانداری سے موجودہ حالت: اس stack کی کسی چیز کا ابھی حقیقت سے سامنا نہیں ہوا۔ مقناطیسی نتائج کسی اور کے فلائٹ ڈیٹا پر کسی اور کے نقشوں کے ساتھ لی گئی حقیقی پیمائشیں ہیں۔ فلکیاتی حصہ سارا درست ریاضی ہے جس نے کبھی کوئی مشاہدہ نہیں دیکھا۔ سب سے اہم خلا کو پُر کرنے پر تقریباً £25 لاگت آتی ہے۔
وہی اصول جو یہاں باقی ہر چیز پر لاگو ہے۔
PANTHEON کسی ایجنٹ کو اختیار کے بغیر عمل کرنے نہیں دیتا۔ یہ ایسی پوزیشن کا دعویٰ کرنے سے انکار کرتا ہے جس کی یہ تائید نہیں کر سکتا۔ جبلت وہی ہے: جو نظام انکار کر دے وہ اندازہ لگانے والے نظام سے زیادہ مفید ہے، بس اسے ایک ایسے مسئلے پر لاگو کیا گیا ہے جس کا نہ کوئی کسٹمر ہے اور نہ کوئی ڈیڈ لائن۔
اس پروجیکٹ کے بارے میں پوچھیں: کیا ناپا جاتا ہے، اور کیا صرف لکھا ہوا ہے۔
- یہاں اصل میں کیا ناپا جاتا ہے؟
- کیا چیز کبھی ٹیسٹ نہیں ہوئی؟