ترجمه فارسی مقاله انتزاعهای دادهمحور از طریق فرآیندهای گاوسی درخت دودویی برای تأیید رسمی
| عنوان مقاله به انگلیسی | Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification |
| عنوان مقاله به فارسی | انتزاعهای دادهمحور از طریق فرآیندهای گاوسی درخت دودویی برای تأیید رسمی |
| نویسندگان | Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani |
| فرمت مقاله انگلیسی | |
| تعداد صفحات | 10 |
| دسته بندی موضوعات | Logic in Computer Science,Formal Languages and Automata Theory,Machine Learning,Systems and Control,منطق در علوم کامپیوتر , زبان های رسمی و نظریه اتومات , یادگیری ماشین , سیستم ها و کنترل , |
| توضیحات | Submitted 15 July, 2024; originally announced July 2024. , Comments: Published at IFAC conference on analysis and design of hybrid systems (ADHS) 2024 |
| توضیحات به فارسی | ارسال شده در 15 ژوئیه 2024 ؛در ابتدا ژوئیه 2024 اعلام شد ، نظرات: منتشر شده در کنفرانس IFAC در مورد تجزیه و تحلیل و طراحی سیستم های ترکیبی (ADHS) 2024 |
قیمت: 19,000 تومان
دانلود مقاله اصل انگلیسی + خلاصه دو صفحه ای مقاله + پادکست صوتی فارسی خلاصه مقاله
با انتخاب این گزینه، علاوه بر دریافت مقاله اصلی، یک خلاصه دو صفحهای فارسی و پادکست صوتی فارسی خلاصه مقاله را نیز دریافت خواهید کرد.
قیمت: 99,000 تومان
سفارش + خلاصه دو صفحه ای مقاله + پادکست صوتی فارسی خلاصه مقاله
با انتخاب این گزینه، علاوه بر دریافت مقاله اصلی و ترجمه کامل آن، یک خلاصه دو صفحهای فارسی و پادکست صوتی فارسی خلاصه مقاله را نیز دریافت خواهید کرد.
قیمت: 400,000 تومان
زمان تحویل: 2 تا 3 روز کاری
📚 محتوای این محصول آموزشی (پکیج کامل)
علاوه بر مقاله اصلی انگلیسی که دریافت می کنید، برای یادگیری عمیقتر و تسلط کامل بر مباحث مجموعهای از کتابهای آموزشی نیز ارائه میشود.
-
کتاب صدها نکته فارسی (خودمونی) – نسخه PDF — زبان ساده و کاربردی
مشاهده نمونه نسخه نکات ساده -
کتاب صدها نکته رسمی فارسی – نسخه PDF — نگارش استاندارد و علمی
مشاهده نمونه نسخه نکات رسمی -
کتاب صدها پرسش و پاسخ تشریحی – نسخه PDF
— هر سؤال همراه با پاسخ کامل برای درک عمیق مفاهیم
مشاهده نمونه نسخه پرسش و پاسخ -
کتاب پرسش و پاسخ چهارگزینهای – نسخه یادگیری سریع
— پاسخها بلافاصله بعد از سؤال برای مرور سریع
مشاهده نمونه نسخه کوییز سریع -
کتاب پرسش و پاسخ چهارگزینهای – نسخه خودآزمایی
— پاسخها در انتهای بخشها برای سنجش واقعی یادگیری
مشاهده نمونه نسخه آزمونی
🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل ویدیوهای آموزشی، کتابها، تمرینها و خودآزمایی.
ℹ️ نکات مهم هنگام خرید
- این محصول به صورت فایل دانلودی کامل ارائه میشود.
- توجه: لینکهای اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال میشوند.
- دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
- برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های محصول همان جا برای شما ارسال گردد.)
- اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینکها را دریافت نکردهاید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینکها دوباره ارسال شوند.
💬 راههای ارتباطی پشتیبانی:
واتساپ یا هر پیام رسان داخلی یا پیامک:
09395106248
تلگرام: @ma_limbs
چکیده
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspired by breakthroughs in the underlying machine learning techniques. As one promising research direction, abstraction-based solutions based on Gaussian process (GP) regression have become popular for their ability to learn a representation of the latent system from data with a quantified error. Results obtained based on this model are then translated to the true system via various methods. In a recent publication, GPs using a so-called binary-tree kernel have demonstrated a polynomial speedup w.r.t. the size of the data compared to their vanilla version, outcompeting all existing sparse GP approximations. Incidentally, the resulting binary-tree Gaussian process (BTGP) is characteristic for its piecewise-constant posterior mean and covariance functions, naturally abstracting the input space into discrete partitions. In this paper, we leverage this natural abstraction of the BTGP for formal verification, eliminating the need for cumbersome abstraction and error quantification procedures. We show that the BTGP allows us to construct an interval Markov chain model of the unknown system with a speedup that is polynomial w.r.t. the size of the abstraction compared to alternative approaches. We provide a delocalized error quantification via a unified formula even when the true dynamics do not live in the function space of the BTGP. This allows us to compute upper and lower bounds on the probability of satisfying reachability specifications that are robust to both aleatoric and epistemic uncertainties.
چکیده به فارسی (ترجمه ماشینی)
برای پیشبرد تأیید رسمی سیستم های تصادفی در برابر الزامات منطق زمانی برای رسیدگی به پویایی ناشناخته ، محققان در حال طراحی رویکردهای مبتنی بر داده با الهام از پیشرفت در تکنیک های یادگیری ماشین هستند.به عنوان یکی از جهت های تحقیق امیدوار کننده ، راه حل های مبتنی بر انتزاع مبتنی بر رگرسیون فرآیند گاوسی (GP) به دلیل توانایی آنها در یادگیری بازنمایی از سیستم نهفته از داده ها با یک خطای کمی محبوب شده اند.نتایج به دست آمده بر اساس این مدل از طریق روش های مختلف به سیستم واقعی ترجمه می شود.در یک انتشار اخیر ، GPS با استفاده از یک هسته به اصطلاح درخت باینری ، سرعت چند جمله ای W.R.T.اندازه داده ها در مقایسه با نسخه وانیل آنها ، از همه تقریب های GP پراکنده موجود استفاده می کند.اتفاقاً ، فرآیند گاوسی باینری حاصل (BTGP) برای عملکردهای متوسط و کواریانس خلفی ثابت آن مشخصه است ، که به طور طبیعی فضای ورودی را در پارتیشن های گسسته انتزاع می کند.در این مقاله ، ما از این انتزاع طبیعی BTGP برای تأیید رسمی استفاده می کنیم ، و نیاز به انتزاع دست و پا گیر و روش های تعیین میزان خطا را از بین می بریم.ما نشان می دهیم که BTGP به ما امکان می دهد تا یک مدل زنجیره ای از مارکوف فاصله از سیستم ناشناخته را با یک سرعت گیری که چند جمله ای W.R.T. است ، بسازیم.اندازه انتزاع در مقایسه با روشهای جایگزین.ما حتی وقتی دینامیک واقعی در فضای عملکرد BTGP زندگی نمی کند ، یک اندازه گیری خطای جدا شده را از طریق یک فرمول یکپارچه ارائه می دهیم.این به ما اجازه می دهد تا مرزهای بالا و پایین را در مورد احتمال رضایت از مشخصات دستیابی به قابلیت دسترسی که برای عدم قطعیت های آلوئوریک و معرفتی قوی هستند محاسبه کنیم.📚 محتوای این محصول آموزشی (پکیج کامل)
علاوه بر مقاله اصلی انگلیسی که دریافت می کنید، برای یادگیری عمیقتر و تسلط کامل بر مباحث مجموعهای از کتابهای آموزشی نیز ارائه میشود.
-
کتاب صدها نکته فارسی (خودمونی) – نسخه PDF — زبان ساده و کاربردی
مشاهده نمونه نسخه نکات ساده -
کتاب صدها نکته رسمی فارسی – نسخه PDF — نگارش استاندارد و علمی
مشاهده نمونه نسخه نکات رسمی -
کتاب صدها پرسش و پاسخ تشریحی – نسخه PDF
— هر سؤال همراه با پاسخ کامل برای درک عمیق مفاهیم
مشاهده نمونه نسخه پرسش و پاسخ -
کتاب پرسش و پاسخ چهارگزینهای – نسخه یادگیری سریع
— پاسخها بلافاصله بعد از سؤال برای مرور سریع
مشاهده نمونه نسخه کوییز سریع -
کتاب پرسش و پاسخ چهارگزینهای – نسخه خودآزمایی
— پاسخها در انتهای بخشها برای سنجش واقعی یادگیری
مشاهده نمونه نسخه آزمونی
🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل ویدیوهای آموزشی، کتابها، تمرینها و خودآزمایی.
ℹ️ نکات مهم هنگام خرید
- این محصول به صورت فایل دانلودی کامل ارائه میشود.
- توجه: لینکهای اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال میشوند.
- دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
- برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های محصول همان جا برای شما ارسال گردد.)
- اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینکها را دریافت نکردهاید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینکها دوباره ارسال شوند.
💬 راههای ارتباطی پشتیبانی:
واتساپ یا هر پیام رسان داخلی یا پیامک:
09395106248
تلگرام: @ma_limbs
نظرات
هنوز نظری ثبت نشده است.
وارد شوید تا نظر ثبت کنید.