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

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

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

قسمت اول

صفحات i-xiii

مهندسی دوقلوی دیجیتال

قسمت اول

صفحات 1-1

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

• جان فیتزجرالد ، پیتر گورم لارسن ، Tiziana Margaria ، Jim Woodcock ، Cláudio Gomes

صفحات 3-8

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

• Tao Yue ، Shaukat Ali ، Paolo Arcaini ، Fuyuki Ishikawa

صفحات 9-21

دوقلوهای دیجیتال برای دستگاههای حفظ اندام

• آرون جان بوواگیار ، لئو فریتاس ، ویلیام ای. اسکات سوم ، پیتر گورم لارسن

صفحات 22-36

استفاده از دوقلوهای دیجیتال در توسعه سیستم های تعبیه شده در زمان واقعی قابل اعتماد

• شیائوتیان دای ، شوای ژائو ، بنیامین لساژ ، آئین بیت

صفحات 37-53

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

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

صفحات 54-70

تنظیم مجدد دوقلوی دیجیتال با استفاده از مدل های دارایی

• ادوارد کامبورجان ، ویدار نورسین کلونگره ، رودولف شلات ، س. لیزت تاپیا تارفا ، دیوید کامرون ، اینار بروش جانسن

صفحات 71-88

خود سازگاری رسمی یک دوقلو دیجیتال انکوباتور تأیید شده است

• توماس رایت ، کلودیو گومز ، جیم وودکاک

صفحات 89-109

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

• Tongtong Wang ، Robert Skulstad ، Motoyasu Kanazawa ، Lars Ivar Hatledal ، Guoyuan Li ، Houxiang Zhang

صفحات 110-125

رویکرد کنترل پشتی سازگار با تطبیقی قوی با استفاده از توابع درجه دوم Lyapunov برای دوقلوهای دیجیتال HVDC مبتنی بر MMC

• لو لیو ، الكساندرا لكیچ ، مرجان پوپوف

صفحات 126-138

تجزیه و تحلیل قابلیت دستیابی به داده ها از مدلهای دوقلوی دیجیتال FMI

• Sergiy Bogomolov ، John Fitzgerald ، Sadegh Soudjani ، Paulius Stankaitis

صفحات 139-158

به سمت دوقلوهای دیجیتال ایمن

• Tomas Kulik ، Cláudio Gomes ، Hugo Daniel Macedo ، Stefan Hallerstede ، Peter Gorm Larsen

صفحات 159-176

موضوع دیجیتال در ساخت هوشمند

قسمت اول

صفحات 177-177

موضوع دیجیتال در ساخت هوشمند

• Tiziana Margaria ، Dirk Pesch ، Alan McGibney

صفحات 179-183

ادغام نظارت بر پوشیدنی و مبتنی بر دوربین در دوقلو دیجیتال برای ارزیابی ایمنی در صنعت 4. 0 ERA

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

صفحات 184-194

مهندسی مدل محور در سیستم عامل های موضوع دیجیتال: یک مورد استفاده عملی و چالش های آینده

• حافظ احمد آویز چوداری ، ایوان گوارا ، جوبیش جان ، آماندیپ سینگ ، امریتا قوزال ، دیرک پسچ و همکاران.

صفحات 195-207 دسترسی آزاد

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

• Pasindu Kuruppuarachchi ، Susan Rea ، Alan McGibney

صفحات 208-218

Distil: محیط محاسبات صنعتی توزیع شده برای گردش کار دیجیتال قابل اعتماد: چشم انداز طراحی

• آلن مک گیبنی ، سوراب باری

صفحات 219-226

با استفاده از انتخاب و کاهش مدل برای توسعه یک مدل تجربی برای پیش بینی مصرف انرژی یک دستگاه CNC

• لیام موریس ، رز کلنسی ، آندری هایشچنکو ، دومینیک اوسلیوان ، کن بروتون

صفحات 227-234

جلد های دیگر

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

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

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

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

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

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

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

کلید واژه ها

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