توضیحات
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.
————————————————————–
ترجمه ماشینی :
یک کتاب درسی مقطع تحصیلات تکمیلی که یک چارچوب ریاضی یکپارچه برای مدلسازی و تجزیه و تحلیل سیستمهای فیزیکی سایبری، با تمرکز قوی بر تأیید ارائه میکند. هدف تأیید تعیین اینکه آیا یک سیستم مجموعهای از الزامات را برآورده میکند یا خیر. برای چنین سیستمهای فیزیکی سایبری مانند خودروهای بدون راننده، فضاپیماهای مستقل، و سیستمهای مدیریت ترافیک هوایی، راستیآزمایی کلید ساختن سیستمهای ایمن با سطح بالایی از اطمینان است. این کتاب درسی مقطع تحصیلات تکمیلی یک چارچوب ریاضی یکپارچه برای مدلسازی و تجزیه و تحلیل سیستمهای فیزیکی سایبری با تمرکز قوی بر تأیید ارائه میکند. این ایدهها و الگوریتمهایی را که از بیش از سه دهه تحقیق پدید آمده و منجر به ایجاد تکنیکهای مدلسازی و تأیید در مقیاس صنعتی برای سیستمهای فیزیکی سایبری شده است، تقطیر میکند.
tag : دانلود کتاب راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) , Download راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) , دانلود راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) , Download Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) Book , راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) دانلود , buy راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) , خرید کتاب راستیآزمایی سیستمهای فیزیکی-سایبری: مسیری به سوی خودمختاری ایمن (سری سیستمهای فیزیکی سایبری) , دانلود کتاب 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) , خرید 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) ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.