دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Real-Time Systems: Modeling, Design, and Applications
دانلود کتاب سیستم های زمان واقعی: مدل سازی، طراحی و برنامه های کاربردی
مشخصات کتاب
Real-Time Systems: Modeling, Design, and Applications
ویرایش: نویسندگان: Aurel Cornell. Aurel Cornell, Dan Ionescu سری: Amast Series in Computing ISBN (شابک) : 9789810244248, 981024424X ناشر: World Scientific Publishing Company سال نشر: 2007 تعداد صفحات: 503 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Real-Time Systems: Modeling, Design, and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های زمان واقعی: مدل سازی، طراحی و برنامه های کاربردی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های زمان واقعی: مدل سازی، طراحی و برنامه های کاربردی
این کتاب کار تحقیقاتی محققان و متخصصان پیشرو در زمینه های تجزیه و تحلیل، سنتز، طراحی و پیاده سازی سیستم های بلادرنگ با کاربرد در زمینه های مختلف صنعتی را جمع آوری می کند. آثار آنها در شش بخش دسته بندی شده است که با هم شامل بیست فصل است. هر بخش به یک موضوع اصلی اختصاص دارد، فصل‌هایی که در آن یکی از جنبه‌های اصلی نظریه سیستم بلادرنگ، مدل‌سازی، طراحی و کاربردهای عملی را توسعه می‌دهد. این کتاب با رویکردی کلی در زمینه رسمی‌سازی سیستم‌های بلادرنگ شروع می‌شود، و پایه‌های یک نظریه کلی سیستمی این سیستم‌ها را تنظیم می‌کند، این کتاب همه چیز را از ساخت چارچوب‌های مدل‌سازی برای انواع مختلف سیستم‌های بلادرنگ، تا تأیید، و سنتز. بخش‌های دیگر کتاب به موضوعات مرتبط با ابزارها و کاربردهای این سیستم‌ها می‌پردازد. بخش ویژه ای به زبان هایی که برای مدل سازی و طراحی آنها استفاده می شود اختصاص داده شده است. کاربردهای ارائه شده در کتاب، بینش های ارزشمندی را در مورد اسرار تمرین کنندگان نشان می دهد.
توضیحاتی درمورد کتاب به خارجی
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners' secrets.
