اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. سازگاری و یادگیری

این پیش نمایش محتوای اشتراک ، دسترسی از طریق موسسه شما است.

فهرست مطالب (27 مقاله)

قسمت اول

صفحات i-xiii

مهندسی دقیق سیستم های تطبیقی جمعی

قسمت اول

صفحات 1-1

مهندسی دقیق سیستم های تطبیقی جمعی آشنایی با نسخه چهارم آهنگ

• مارتین ویرسینگ ، روکو د نیکولا ، استفان ژنیچن

صفحات 3-12

درست با هماهنگی طراحی سیستم های رانندگی خودمختار

• ماریوس بوزگا ، جوزف سفاکس

صفحات 13-29

نظارت پیش بینی عصبی برای سیستم های تطبیقی جمعی

• Francesca Cairoli ، Nicola Paoletti ، Luca Bortolussi

صفحات 30-46

گسترش Hybridsynchaadl و کاربرد آن برای همکاری پهپادهای خودمختار

• Jaehun Lee ، Kyungmin Bae ، Peter Csaba ölveczky

صفحات 47-64

مدل های گسسته رفتار مداوم سیستم های تطبیقی جمعی

• پیتر فتکه ، ولفگانگ ریزگ

صفحات 65-81

مدل سازی گله های پرندگان از پایین به بالا

• Rocco de Nicola ، Luca di Stefano ، Omar Inverso ، Serenella Valiani

صفحات 82-96

با استفاده از اندازه گیری فاصله نسبی به سمت گله های پهپاد

• Andreas Brandstätter ، Scott A. Smolka ، Scott D. Stoller ، Ashish Tiwari ، Radu Grosu

صفحات 97-109

گروه معرفتی

• Rolf Hennicker ، Alexander Knapp ، Martin Wirsing

صفحات 110-126 دسترسی آزاد

یک رویکرد معین برای آگاهی از عوامل

• چن Yifeng ، J. W. Sanders

صفحات 127-141

یک ابزار آزمایشی برای سنتز استراتژی با خصوصیات مکانی

• داوید باسیل ، موریس H. Ter Beek ، Vincenzo Ciancia

صفحات 142-164

به سمت یک چارچوب جنبشی برای مدل سازی پویایی جمعی سیستم های چند عامل

• استفانیا مونیکا ، فدریکو برگنتی ، فرانکو زامبونلی

صفحات 165-180

درک بازخورد اجتماعی در مجموعه های بیولوژیکی با بررسی مدل صاف

• جولیا کلین ، تاتجانا پتروف

صفحات 181-198 دسترسی آزاد

برآورد کارآمد شبکه های عامل

• الكساندر لگویزامون-روبایو ، مكس Tschaikowski

صفحات 199-214

قوانین سازگاری Attuning از طریق یک شبکه عصبی خاص قانون

• Tomáš Bureš ، Peter Hnětynka ، Martin Kruliš ، František Plášil ، Danylo Khalyeyev ، Sebastian Hahner et al.

صفحات 215-230

اندازه گیری اینرسی همگرایی: یادگیری آنلاین در سیستم های خود سازگار با تغییر زمینه

• الوین آلبرتز ، ایلیاس گروستاتوپولوس

صفحات 231-248

ضبط وابستگی در یادگیری ماشین از طریق یک مدل فرآیند رسمی

• Fabian Ritz ، Thomy Phan ، Andreas Sedlmeier ، Philipp Altmann ، Jan Wieghardt ، Reiner Schmid et al.

صفحات 249-265

در تجزیه و تحلیل عملکرد مبتنی بر مدل از سیستم های تطبیقی جمعی

• Maurizio Murgia ، Riccardo Pinciroli ، Catia Trubiani ، Emilio Tuosto

صفحات 266-282

برنامه نویسی سیستم های چند ربات با X-Klame

• Lorenzo Bettini ، خالد بور ، Rosario Pugliese ، Francesco Tiezzi

صفحات 283-300

جلد های دیگر

اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. اصول تأیید

اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. مهندسی نرم افزار

اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. سازگاری و یادگیری

اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. تمرین

در مورد این کتاب

این مجموعه چهار جلدی LNCS 13701-13704 کمک هایی از وقایع مرتبط که در یازدهمین سمپوزیوم بین المللی در زمینه اعمال اعمال روشهای رسمی ، ایزولا 2022 برگزار می شود ، که در اکتبر/نوامبر 2022 در رودس ، یونان صورت گرفت ، تشکیل می دهد.

مشارکت در مجموعه چهار جلدی مطابق با بخش های موضعی زیر سازماندهی شده است: این را مشخص کنید - شکاف های پل بین الگوی مشخصات برنامه. X-by-Bonduction با تأیید زمان اجرا ملاقات می کند. تأیید و اعتبار سنجی سیستم های ناهمگن همزمان و توزیع شده. برنامه نویسی - بعدی چیست: نقش مستندات ؛مهندسی مجدد نرم افزار خودکار ؛Dime Day ؛مهندسی دقیق سیستم های تطبیقی جمعی ؛روشهای رسمی با یادگیری ماشین مطابقت دارند. مهندسی دوقلوی دیجیتال ؛موضوع دیجیتال در تولید هوشمند ؛روشهای رسمی برای محاسبات توزیع شده در سیستم های راه آهن آینده. روز صنعتی

کلید واژه ها

• سیستم های سازگار
• انواع معماری
• تأیید و اعتبار معماری
• هوش مصنوعی
• سخت افزار رایانه
• برنامه نویسی کامپیوتر
• تجزیه و تحلیل همبستگی
• سیستم های جاسازی شده
• زبانهای رسمی
• منطق رسمی
• روشهای رسمی
• سیستم مبتنی بر دانش
• بررسی مدل
• برنامه نویسی شی گرا
• پردازش سیگنال
• معماری نرم افزاری
• مهندسی نرم افزار