دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Mohammad Reza Mousavi. Christian Berger (eds.)
سری: Lecture Notes in Computer Science 9361
ISBN (شابک) : 9783319251400, 9783319251417
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 155
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب سیستم های فیزیکی سایبر. طراحی ، مدل سازی و ارزیابی: پنجمین کارگاه بین المللی ، CyPhy 2015 ، آمستردام ، هلند ، 8 اکتبر 2015 ، مجموعه مقالات: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های فیزیکی سایبر. طراحی ، مدل سازی و ارزیابی: پنجمین کارگاه بین المللی ، CyPhy 2015 ، آمستردام ، هلند ، 8 اکتبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پنجمین کارگاه بینالمللی طراحی، مدلسازی و ارزیابی سیستمهای فیزیکی سایبری، CyPhy 2015 است که به عنوان بخشی از ESWeek 2015، در آمستردام، هلند، در اکتبر 2015 برگزار شد. p>
10 مقاله ارائه شده در این جلد به دقت بررسی و از بین 13 مقاله ارسالی انتخاب شدند. آنها به طور گسترده، از مجموعهای از رشتهها، مدلسازی، شبیهسازی و ارزیابی سیستمهای فیزیکی-سایبری را تفسیر میکنند.
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.
The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.
Front Matter....Pages I-VII
Resource-Aware Control and Dynamic Scheduling in CPS....Pages 1-7
Current Challenges in the Verification of Hybrid Systems....Pages 8-24
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems....Pages 25-39
Core Research and Innovation Areas in Cyber-Physical Systems of Systems....Pages 40-55
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems....Pages 56-66
A Modelling Framework for Cyber-Physical System Resilience....Pages 67-82
Recharging Probably Keeps Batteries Alive....Pages 83-98
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability....Pages 99-115
Hybrid Secure Data Aggregation in Wireless Sensor Networks....Pages 116-131
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations....Pages 132-146
Back Matter....Pages 147-147