نرم افزار: سیستم ها: محاسبات علمی

سیستم های بلادرنگ: مدل سازی، طراحی و کاربردها

Real-Time Systems: Modeling, Design, and Applications

دانلود کتاب Real-Time Systems: Modeling, Design, and Applications (به فارسی: سیستم های بلادرنگ: مدل سازی، طراحی و کاربردها) نوشته شده توسط «Aurel Cornell – Aurel Cornell – Dan Ionescu»

اطلاعات کتاب سیستم های بلادرنگ: مدل سازی، طراحی و کاربردها

موضوع اصلی: کامپیوتر – علوم کامپیوتر

نوع: کتاب الکترونیکی

ناشر: World Scientific Publishing Company

نویسنده: Aurel Cornell – Aurel Cornell – Dan Ionescu

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2007

تعداد صفحه: 504 / 503

حجم فایل: 2.16 مگابایت

کد کتاب: 9812708472 , 9789812708472

توضیحات کتاب سیستم های بلادرنگ: مدل سازی، طراحی و کاربردها

این کتاب کار تحقیقاتی محققان و متخصصان پیشرو در زمینه های تجزیه و تحلیل، سنتز، طراحی و پیاده سازی سیستم های بلادرنگ با کاربرد در زمینه های مختلف صنعتی را جمع آوری می کند. آثار آنها در شش بخش دسته بندی شده است که با هم شامل بیست فصل است. هر بخش به یک موضوع اصلی اختصاص دارد، فصل‌هایی که در آن یکی از جنبه‌های اصلی نظریه سیستم بلادرنگ، مدل‌سازی، طراحی و کاربردهای عملی را توسعه می‌دهد. این کتاب با رویکردی کلی در زمینه رسمی‌سازی سیستم‌های بلادرنگ شروع می‌شود، و پایه‌های یک نظریه کلی سیستمی این سیستم‌ها را تنظیم می‌کند، این کتاب همه چیز را از ساخت چارچوب‌های مدل‌سازی برای انواع مختلف سیستم‌های بلادرنگ، تا تأیید، و سنتز. بخش‌های دیگر کتاب به موضوعات مرتبط با ابزارها و کاربردهای این سیستم‌ها می‌پردازد. بخش ویژه ای به زبان هایی که برای مدل سازی و طراحی آنها استفاده می شود اختصاص داده شده است. کاربردهای ارائه شده در کتاب، بینش ارزشمندی را در مورد اسرار تمرین‌کنندگان نشان می‌دهد.

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.

دانلود کتاب «سیستم های بلادرنگ: مدل سازی، طراحی و کاربردها»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان