دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
سری:
ISBN (شابک) : 0262044803, 9780262044806
ناشر: The MIT Press
سال نشر: 2021
تعداد صفحات: 312
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 Mb
قیمت کتاب (تومان) : 53,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راستی‌آزمایی سیستم‌های فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستم‌های فیزیکی سایبری) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب راستی‌آزمایی سیستم‌های فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستم‌های فیزیکی سایبری)
کتاب درسی در سطح فارغ التحصیلی که یک چارچوب ریاضی یکپارچه برای مدل‌سازی و تجزیه و تحلیل سیستم‌های فیزیکی-سایبری با تمرکز قوی بر تأیید ارائه می‌کند. هدف راستی‌آزمایی تعیین اینکه آیا یک سیستم مجموعه‌ای از الزامات را برآورده می‌کند یا خیر. برای چنین سیستم‌های فیزیکی سایبری مانند خودروهای بدون راننده، فضاپیماهای مستقل، و سیستم‌های مدیریت ترافیک هوایی، راستی‌آزمایی کلید ساختن سیستم‌های ایمن با سطح بالایی از اطمینان است. این کتاب درسی مقطع تحصیلات تکمیلی یک چارچوب ریاضی یکپارچه برای مدل‌سازی و تجزیه و تحلیل سیستم‌های فیزیکی سایبری با تمرکز قوی بر تأیید ارائه می‌کند. این ایده‌ها و الگوریتم‌هایی را که از بیش از سه دهه تحقیق پدید آمده و منجر به ایجاد تکنیک‌های مدل‌سازی و تأیید در مقیاس صنعتی برای سیستم‌های فیزیکی سایبری شده است، تقطیر می‌کند.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Advanced Methodologies and Technologies in Library Science, Information Management, and Scholarly Inquiry
