دانلود کتاب The Theory of Timed I-O Automata (به فارسی: تئوری خودکارهای I-O زماندار) نوشته شده توسط «Kaynar D.K. – Lynch N. – Segala R. – Vaandrager F.»
اطلاعات کتاب تئوری خودکارهای I-O زماندار
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: MC
نویسنده: Kaynar D.K. – Lynch N. – Segala R. – Vaandrager F.
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 114
حجم فایل: 656 کیلوبایت
کد کتاب: 159829010X , 9781598290103
توضیحات کتاب تئوری خودکارهای I-O زماندار
این مونوگراف چارچوب مدلسازی خودکار ورودی/خروجی زماندار (TIOA)، یک چارچوب ریاضی پایه برای پشتیبانی از توصیف و تحلیل سیستمهای زماندار (محاسباتی) را ارائه میکند. سیستم های زمان بندی شده سیستم هایی هستند که در آنها صحت یا ویژگی های عملکرد مطلوب سیستم به زمان بندی رویدادها بستگی دارد، نه فقط به ترتیب وقوع آنها. سیستم های زمان بندی شده در طیف گسترده ای از حوزه ها از جمله ارتباطات، سیستم های تعبیه شده، سیستم عامل های بلادرنگ و کنترل خودکار استفاده می شوند. بسیاری از برنامههای کاربردی مربوط به سیستمهای زماندار دارای الزامات ایمنی، قابلیت اطمینان و قابلیت پیشبینی قوی هستند، که داشتن روشهایی برای طراحی سیستماتیک سیستمها و تجزیه و تحلیل دقیق رفتار وابسته به زمان را مهم میسازد. یکی از ویژگی های مهم چارچوب TIOA پشتیبانی آن از تجزیه توصیفات سیستم زمان بندی شده است. به طور خاص، این چارچوب شامل مفهومی از رفتار خارجی برای یک TIOA است که تعاملات گسسته آن را با محیط خود نشان میدهد. این چارچوب همچنین معنای پیادهسازی TIOA دیگری را بر اساس رابطه گنجاندن بین مجموعههای رفتار خارجی آنها، و مفاهیم شبیهسازی را تعریف میکند که شرایط کافی برای نشان دادن روابط پیادهسازی را فراهم میکند. این چارچوب شامل یک عملیات ترکیبی برای TIOAها است که به رفتار خارجی احترام میگذارد، و یک مفهوم پذیرش، که به این معنی است که TIOA گذر زمان را مسدود نمیکند.
دانلود کتاب «تئوری خودکارهای I-O زماندار»