Exciton Computer Missile Program

نقص نرم افزاری پدافند SAMP-T فرانسوی یادآور نقص نرم افزاری جدی پاتریوت در عملیات طوفان صحرا که منجر به تلفاتی عمده شد

معروف ترین نمونه اشکال نرم افزاری در یک سیستم نظامی که در کلاسهای کامپیوتر دانشگاه هم شاید به آن اشاره شود مساله خطای نرم افزار سیستم پدافندی پاتریوت در سال 1991 در حمله موشکی اسکاد (نوع الحسین) عراق بود که به تنهایی عامل بخش مهمی از تلفات ارتش آمریکا در عملیات طوفان صحرا شد، که در آن 28 سرباز آمریکایی در اصابت موشک به ظهران عربستان کشته و 150 نفر زخمی شدند.

پردازشگر پاتریوت از یک سیستم 24 بیتی استفاده میکرد. نرم افزار با زبان اسمبلی نوشته شده بود. در سیستم 24 بیتی مثلا عدد 2 به شکل 000000000000000000000010 با 24 بیت ذخیره میشود. حال اگر یک عدد اعشاری داشته باشیم بخش اعشاری را با جمع مجموعه ای از کسر باینری با توان منفی از 2 نمایش می‌دهیم. پاتریوت برای محاسبات خود ساعت سیستم را بر اساس دهم ثانیه ذخیره میکرد. اما در 1/10 براساس سیستم 24 بیتی همیشه بخشی از اطلاعات دقیق عددی گرد میشد و از اینرو دقت سیستم با گذشت زمان به صورت تجمعی از زمان کار سیستم کم کمتر میشد تا حدی که پس از ساعاتی کار مشخص عملنا دیگر درست کار نمیکرد. مثلا پس از 8 ساعت 20% دچار شیفت میشد، پس از 20 ساعت شکست در هدفیابی و رهگیری قطعی است. سیستم پاتریوت تحت حملات موشکی عراق میزان ساعات زیادی روشن مانده بود این نقص را آشکار کرد و آمریکایی ها مجبور شدند نرم افزار را آپدیت کنند. یک نقص نرم افزاری باعث یکی از بزرگترین تلفات ارتش آمریکا در یک حمله شد. مورد پدافند SAMP-T فرانسوی مرا یاد این نقص تکنیکی کامپیوتری انداخت. بارها گفتم پدافند و رادار نرم افزار همه چیزشان است. تنها به مشخصات سخت افزاری که اعلام میشود توجه نکنید، الگورتمهایشان و کدهایشان که از دید ما پنهان هستند اهمیت بالا دارند.

@Exciton_missile_program 🚀

در رابطه با احتمال خروج ایالات متحده از ناتو به وسیله ترامپ باید گفت که به لحاظ قانونی ترامپ هم نمیتواند از ناتو خارج شود و هم با خلاهای قانونی شاید بتواند اینکار را در شرایطی صورت دهد. قانون ابهاماتی دارد. قوانینی که در قانون مجوز دفاع ملی وضع شده است، توانایی رئیس جمهور را برای خروج یکجانبه از اتحادها بدون موافقت کنگره را محدود می کند، سنا حتی یک ماده ویژه برای خروج سخت تر ریاست جمهوری از ناتو تصویب کرده است. رئیس جمهور باید رای دو سوم سنا را برای خروج از ناتو بگیرد (یا قانونی برای آن تصویب شود) که طبعا باید بخشی از دموکراتها راضی به آن باشند. اما ترامپ میتواند با اختیارات ریاست جمهوری با دور زدن سنا خروج از ناتو رقم زند و نهایت با شکایت به دیوان عالی، ترامپ را به چالش قانونی دعوت کنند که رای آن مشخص نیست و شاید حتی دیوان عالی در آن دخالت نکند.

نمونه تاریخی این امر مثلا دولت کارتر از معاهده دفاعی متقابل با تایوان خارج شد، اعضای کنگره به دادگاه شکایت کردند. در نهایت، دادگاه عالی از بررسی این اختلاف خودداری کرد.

خروج از ناتو هم یک فرآیند تدریجی است و باید فرآیندهایی طی شود تا رسمی شود که خود بازه ای را در بر خواهد گرفت، اما وقتی شما نیت خروج کردید احتمالا حداقل بخشی از تعهدات را هم تضعیف خواهید کرد.

در مجموع راحت ترین راه برای ترامپ ناتویی ضعیف و بی خاصیت است که آمریکا در آن عضو است اما اعمالش برای ناتو نیست. مثلا کاهش دادن تبادلات اطلاعاتی با اعضا، کاهش تمرینات نظامی با ناتو، کاهش حضور نظامی و لجستیکی که اعضای ناتو شدیدا به آمریکا وابسته هستند... که خود به خود این سازمان را بسیار تضعیف خواهد کرد. بنیه این سازمان تا حد زیادی به توانمندی نظامی و اطلاعاتی ایالات متحده استوار است، وضعیتی که امروز نمونه آنرا در اوکراین میبینیم که بدون آمریکا با همه تلاش اروپا چیزی کم است.

@Exciton_missile_program 🚀