معرفی
خودروها و هواپیماهای بدون راننده دیگر چیزهای آینده نیستند. تنها در شهر سانفرانسیسکو، دو شرکت تاکسیسازی مجموعاً 8 میلیون مایل رانندگی مستقل را تا آگوست 2023 ثبت کردهاند. و بیش از 850,000 وسیله نقلیه هوایی خودران یا پهپاد در ایالات متحده ثبت شده است - بدون احتساب آنهایی که متعلق به ارتش هستند.
اما نگرانی های قانونی در مورد ایمنی وجود دارد. به عنوان مثال، در یک دوره 10 ماهه که در می 2022 به پایان رسید، اداره ملی ایمنی ترافیک بزرگراه گزارش نزدیک به 400 تصادف در خودروها با استفاده از نوعی کنترل خودکار. بر اثر این حوادث XNUMX نفر جان باختند و پنج نفر به شدت مجروح شدند.
روش معمول رسیدگی به این مشکل - که گاهی اوقات "تست از طریق خستگی" نامیده می شود - شامل آزمایش این سیستم ها می شود تا زمانی که مطمئن شوید که آنها ایمن هستند. اما هرگز نمی توانید مطمئن باشید که این فرآیند تمام عیوب احتمالی را آشکار می کند. گفت: «افراد تا زمانی که منابع و صبر خود را تمام نکرده باشند، آزمایشات را انجام می دهند سایان میترا، دانشمند کامپیوتر در دانشگاه ایلینوی، اوربانا-شامپین. با این حال، آزمایش به تنهایی نمی تواند تضمینی ارائه دهد.
میترا و همکارانش می توانند. تیم او موفق شده است ثابت la ایمنی از قابلیت های ردیابی خطوط برای خودروها و سیستم های فرود برای هواپیماهای خودمختار استراتژی آنها اکنون برای کمک به فرود هواپیماهای بدون سرنشین بر روی ناوهای هواپیمابر استفاده می شود و بوئینگ قصد دارد امسال آن را روی یک هواپیمای آزمایشی آزمایش کند. گفت: «روش آنها برای ارائه تضمین های ایمنی سرتاسر بسیار مهم است کورینا پاسارانو، یک دانشمند محقق در دانشگاه کارنگی ملون و مرکز تحقیقات ایمز ناسا.
کار آنها شامل تضمین نتایج الگوریتم های یادگیری ماشینی است که برای اطلاع رسانی وسایل نقلیه خودران استفاده می شود. در سطح بالا، بسیاری از وسایل نقلیه خودران دارای دو جزء هستند: یک سیستم ادراکی و یک سیستم کنترل. برای مثال، سیستم ادراک به شما می گوید که ماشین شما چقدر از مرکز خط فاصله دارد، یا هواپیما در چه جهتی در حرکت است و زاویه آن نسبت به افق چقدر است. این سیستم با تغذیه دادههای خام از دوربینها و سایر ابزارهای حسی به الگوریتمهای یادگیری ماشینی مبتنی بر شبکههای عصبی، که محیط خارج از خودرو را دوباره ایجاد میکند، عمل میکند.
این ارزیابی ها سپس به یک سیستم جداگانه، ماژول کنترل فرستاده می شود، که تصمیم می گیرد چه کاری انجام شود. به عنوان مثال، اگر مانعی پیش رو وجود داشته باشد، تصمیم می گیرد که آیا ترمز را فشار دهد یا اطراف آن را هدایت کند. مطابق با لوکا کارلوناستادیار مؤسسه فناوری ماساچوست، در حالی که ماژول کنترل بر فناوری تثبیت شده متکی است، "بر اساس نتایج ادراک تصمیم گیری می کند، و هیچ تضمینی وجود ندارد که این نتایج درست باشد."
برای ارائه تضمین ایمنی، تیم میترا روی اطمینان از قابلیت اطمینان سیستم ادراک خودرو کار کرد. آنها ابتدا فرض کردند که می توان ایمنی را زمانی که رندر کاملی از دنیای بیرون در دسترس است تضمین کرد. سپس آنها تعیین کردند که سیستم ادراک چه مقدار خطا در ایجاد مجدد محیط اطراف وسیله نقلیه وارد می کند.
کلید این استراتژی تعیین کمیت عدم قطعیت های موجود است، که به عنوان باند خطا شناخته می شود - یا همان طور که میترا می گوید "معلومات شناخته شده". این محاسبه از آنچه او و تیمش قرارداد ادراک می نامند، حاصل می شود. در مهندسی نرم افزار، قرارداد تعهدی است که برای یک ورودی معین به یک برنامه کامپیوتری، خروجی در محدوده مشخصی قرار می گیرد. پی بردن به این محدوده آسان نیست. سنسورهای ماشین چقدر دقیق هستند؟ یک پهپاد چقدر مه، باران یا تابش نور خورشید را می تواند تحمل کند؟ اما اگر بتوانید وسیله نقلیه را در محدوده مشخصی از عدم قطعیت نگه دارید، و اگر تعیین آن محدوده به اندازه کافی دقیق باشد، تیم میترا ثابت کرد که می توانید از ایمنی آن اطمینان حاصل کنید.
معرفی
این یک موقعیت آشنا برای هر کسی است که سرعت سنج نامشخصی دارد. اگر میدانید که دستگاه هرگز بیش از ۵ مایل در ساعت خاموش نمیشود، همچنان میتوانید با حفظ سرعت ۵ مایل در ساعت کمتر از حد مجاز سرعت (همانطور که توسط سرعتسنج غیرقابل اعتماد شما نشان میدهد) از سرعتگیری اجتناب کنید. یک قرارداد ادراک تضمینی مشابه از ایمنی یک سیستم ناقص را که به یادگیری ماشین بستگی دارد، می دهد.
کارلون گفت: "شما به درک کامل نیاز ندارید." "شما فقط می خواهید آنقدر خوب باشد که ایمنی را به خطر نیندازید." او گفت که بزرگترین مشارکت این تیم "معرفی کل ایده قراردادهای ادراکی" و ارائه روش هایی برای ساخت آنها است. آنها این کار را با استفاده از تکنیک هایی از شاخه علوم کامپیوتر به نام تأیید رسمی انجام دادند، که روشی ریاضی برای تأیید اینکه رفتار یک سیستم مجموعه ای از الزامات را برآورده می کند، ارائه می دهد.
میترا گفت: «اگرچه ما دقیقا نمیدانیم شبکه عصبی چگونه کاری را که انجام میدهد، انجام میدهد، اما آنها نشان دادند که هنوز هم میتوان به صورت عددی ثابت کرد که عدم قطعیت خروجی شبکه عصبی در محدودههای خاصی قرار دارد. و اگر اینطور باشد، سیستم امن خواهد بود. سپس میتوانیم تضمینی آماری در مورد اینکه آیا (و تا چه میزان) یک شبکه عصبی معین واقعاً این محدودهها را برآورده میکند ارائه کنیم.»
شرکت هوافضا سیرا نوادا در حال حاضر در حال آزمایش این ضمانتهای ایمنی هنگام فرود پهپاد بر روی یک ناو هواپیمابر است. این مشکل از برخی جهات پیچیدهتر از رانندگی با اتومبیل است، زیرا ابعاد اضافی در پرواز وجود دارد. گفت: "در فرود، دو وظیفه اصلی وجود دارد." دراگوس مارجینئانتو، فنآور ارشد هوش مصنوعی در بوئینگ، «هواپیمایی را با باند فرودگاه هماهنگ میکند و مطمئن میشود که باند فرودگاه عاری از موانع است. کار ما با سایان شامل دریافت ضمانت برای این دو عملکرد است.
او گفت: «شبیهسازیها با استفاده از الگوریتم سایان نشان میدهد که هم ترازی [یک هواپیما قبل از فرود] بهبود مییابد.» گام بعدی که برای اواخر سال جاری برنامه ریزی شده است، به کارگیری این سیستم ها در عین فرود هواپیمای آزمایشی بوئینگ است. Margineantu خاطرنشان کرد، یکی از بزرگترین چالشها این است که بفهمیم چه چیزی را نمیدانیم - «تعیین عدم قطعیت در برآوردهای ما» - و دیدن اینکه چگونه بر ایمنی تأثیر میگذارد. "بیشتر خطاها زمانی اتفاق میافتند که ما کارهایی را انجام میدهیم که فکر میکنیم میدانیم - و معلوم میشود که نمیدانیم."
- محتوای مبتنی بر SEO و توزیع روابط عمومی. امروز تقویت شوید.
- PlatoData.Network Vertical Generative Ai. به خودت قدرت بده دسترسی به اینجا.
- PlatoAiStream. هوش وب 3 دانش تقویت شده دسترسی به اینجا.
- PlatoESG. کربن ، CleanTech، انرژی، محیط، خورشیدی، مدیریت پسماند دسترسی به اینجا.
- PlatoHealth. هوش بیوتکنولوژی و آزمایشات بالینی. دسترسی به اینجا.
- منبع: https://www.quantamagazine.org/how-to-guarantee-the-safety-of-autonomous-vehicles-20240116/
- : دارد
- :است
- :نه
- ][پ
- 000
- 2022
- 2023
- 400
- 8
- a
- درباره ما
- حوادث
- مطابق
- دقیق
- ACM
- واقعا
- خطاب به
- حکومت
- هوافضا
- AI
- هواپیما
- الگوریتم
- الگوریتم
- هم ترازی
- معرفی
- تنها
- همیشه
- an
- و
- هر کس
- درخواست
- هستند
- دور و بر
- AS
- ارزیابی ها
- وابسته
- فرض
- At
- اوت
- خود مختار
- خودروهای خودمختار
- در دسترس
- اجتناب از
- باند
- مستقر
- BE
- زیرا
- رفتار
- بودن
- در زیر
- بزرگترین
- بوئینگ
- مرزها
- شاخه
- اما
- by
- محاسبه
- صدا
- نام
- دوربین
- CAN
- نمی توان
- قابلیت های
- ماشین
- کارنگی ملون
- حامل
- حمل
- اتومبیل
- مورد
- مرکز
- معین
- چالش ها
- رئیس
- شهر:
- همکاران
- مجموعا
- می آید
- تعهد
- شرکت
- شرکت
- بغرنج
- اجزاء
- کامپیوتر
- علم کامپیوتر
- نگرانی ها
- ساخت
- قرارداد
- مشارکت
- کنترل
- اصلاح
- با احتساب
- در حال حاضر
- داده ها
- تصمیم گیری
- درجه
- بستگی دارد
- تعیین
- مشخص
- دستگاه
- DID
- درگذشت
- بعد
- جهت
- do
- میکند
- آیا
- رسم
- رانندگی
- وزوز
- هواپیماهای بدون سرنشین
- ساده
- پشت سر هم
- به پایان رسید
- مهندسی
- کافی
- اطمینان حاصل شود
- حصول اطمینان از
- تمام
- محیط
- خطا
- خطاهای
- کاملا
- مثال
- تجربی
- اضافی
- سقوط
- آشنا
- بسیار
- تغذیه
- نام خانوادگی
- پنج
- معایب
- پرواز
- مه
- برای
- فرم
- رسمی
- فرانسیسکو
- رایگان
- از جانب
- توابع
- آینده
- گرفتن
- داده
- خوب
- ضمانت
- تضمین می کند
- رخ دادن
- آیا
- he
- عنوان
- کمک
- زیاد
- بزرگراه
- خود را
- افق
- ساعت
- چگونه
- چگونه
- اما
- HTML
- HTTPS
- اندیشه
- IEEE
- if
- ایلینوی
- مهم
- بهبود
- in
- نشان داد
- اطلاع دادن
- ورودی
- نمونه
- موسسه
- به
- معرفی می کند
- گرفتار
- شامل
- موضوع
- IT
- ITS
- تنها
- نگاه داشتن
- کلید
- دانستن
- شناخته شده
- زمین
- فرود
- لین
- بعد
- یادگیری
- قانونی
- سطح
- نهفته است
- محدود
- سیستم وارد
- دیگر
- دستگاه
- فراگیری ماشین
- مجله
- اصلی
- ساخت
- اداره می شود
- بسیاری
- ماساچوست
- موسسه تکنولوژی ماساچوست
- ریاضی
- ممکن است..
- دیدار
- ملون
- روش
- روش
- نظامی
- میلیون
- MIT
- ماژول ها
- بیش
- بسیار
- ملی
- تقریبا
- نیاز
- شبکه
- شبکه
- عصبی
- شبکه های عصبی
- شبکه های عصبی
- نوادا
- هرگز
- بعد
- نه
- اشاره کرد
- اکنون
- مانع
- موانع
- of
- خاموش
- on
- ONE
- عمل می کند
- or
- دیگر
- ما
- خارج
- تولید
- خارج از
- متعلق به
- صبر
- مردم
- برای
- ادراک
- کامل
- دوره
- هواپیما
- برنامه ریزی
- برنامه
- افلاطون
- هوش داده افلاطون
- PlatoData
- ممکن
- پتانسیل
- قبلا
- مشکل
- روند
- معلم
- برنامه
- ثابت كردن
- ثابت
- ارائه
- فراهم می کند
- ارائه
- قرار دادن
- باران
- محدوده
- خام
- ثبت نام
- قابلیت اطمینان
- تفسیر
- مورد نیاز
- تحقیق
- منابع
- احترام
- نتیجه
- نتایج
- خطر
- باند فرودگاه
- امن
- ایمنی
- سعید
- سان
- سان فرانسیسکو
- راضی
- علم
- دانشمند
- مشاهده
- سنسور
- فرستاده
- جداگانه
- به طور جدی
- تنظیم
- نشان
- نشان داد
- مشابه
- وضعیت
- شش
- So
- نرم افزار
- مهندسی نرم افزار
- خورشیدی
- برخی از
- گاهی
- مشخص شده
- سرعت
- ایالات
- آماری
- اقامت
- هدایت کردن
- گام
- هنوز
- استراتژی
- مطمئن
- سیستم
- سیستم های
- وظایف
- تیم
- تکنیک
- تکنسین
- پیشرفته
- می گوید
- آزمون
- تست
- تست
- نسبت به
- که
- La
- آینده
- شان
- آنها
- سپس
- آنجا.
- اینها
- آنها
- اشیاء
- فکر می کنم
- این
- در این سال
- کسانی که
- اگر چه؟
- از طریق
- به
- ابزار
- ترافیک
- تبدیل
- دو
- عدم اطمینان
- تردید
- برملا کردن
- متحد
- ایالات متحده
- دانشگاه
- تا
- نزدیک
- استفاده
- با استفاده از
- معمول
- وسیله نقلیه
- وسایل نقلیه
- تایید
- بسیار
- می خواهم
- مسیر..
- راه
- we
- وب سایت
- بود
- چی
- چه زمانی
- چه
- که
- در حین
- اراده
- با
- در داخل
- مهاجرت کاری
- مشغول به کار
- جهان
- سال
- شما
- شما
- زفیرنت