دانلود کتاب Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
کتاب راستی‌آزمایی سیستم‌های فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستم‌های فیزیکی سایبری) نسخه زبان اصلی
دانلود کتاب راستی‌آزمایی سیستم‌های فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستم‌های فیزیکی سایبری) بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
نام کتاب : Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
عنوان ترجمه شده به فارسی : راستی‌آزمایی سیستم‌های فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستم‌های فیزیکی سایبری)
سری :
نویسندگان : Sayan Mitra
ناشر : The MIT Press
سال نشر : 2021
تعداد صفحات : 312
ISBN (شابک) : 0262044803 , 9780262044806
زبان کتاب : English
فرمت کتاب : epub درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 14 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
کتاب درسی در سطح فارغ التحصیلی که یک چارچوب ریاضی یکپارچه برای مدل‌سازی و تجزیه و تحلیل سیستم‌های فیزیکی سایبری، با تمرکز قوی بر تأیید ارائه می‌کند. هدف راستی‌آزمایی تعیین اینکه آیا یک سیستم مجموعه‌ای از الزامات را برآورده می‌کند یا خیر. برای چنین سیستم‌های فیزیکی سایبری مانند خودروهای بدون راننده، فضاپیماهای مستقل، و سیستم‌های مدیریت ترافیک هوایی، راستی‌آزمایی کلید ساختن سیستم‌های ایمن با سطح بالایی از اطمینان است. این کتاب درسی مقطع تحصیلات تکمیلی یک چارچوب ریاضی یکپارچه برای مدل‌سازی و تجزیه و تحلیل سیستم‌های فیزیکی سایبری با تمرکز قوی بر تأیید ارائه می‌کند. این ایده‌ها و الگوریتم‌هایی را که از بیش از سه دهه تحقیق پدید آمده و منجر به ایجاد تکنیک‌های مدل‌سازی و تأیید در مقیاس صنعتی برای سیستم‌های فیزیکی سایبری شده است، تقطیر می‌کند.
توضیحاتی در مورد کتاب به زبان اصلی :
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
پست ها تصادفی