برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Duration Calculus: A Formal Approach to Real-Time Systems

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

مشخصات کتاب

Duration Calculus: A Formal Approach to Real-Time Systems

دسته بندی: ریاضیات گسسته
ویرایش:  
نویسندگان: Zhou Chaochen. Michael R. Hansen  
سری: Monographs in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783540408239, 3540408231 
ناشر: Springer 
سال نشر: 2004 
تعداد صفحات: 256 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 31,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 14

در صورت تبدیل فایل کتاب Duration Calculus: A Formal Approach to Real-Time Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حساب دوره: یک رویکرد رسمی به سیستم های زمان واقعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب حساب دوره: یک رویکرد رسمی به سیستم های زمان واقعی

محاسبه مدت زمان (DC) یک رویکرد منطقی برای طراحی رسمی سیستم های بلادرنگ را نشان می دهد. در DC اعداد واقعی برای مدل‌سازی زمان و توابع با مقدار بولی (یعنی {0,1}-valued) در طول زمان برای مدل‌سازی حالت‌های سیستم‌های زمان واقعی استفاده می‌شوند. مدت زمان یک حالت در یک بازه زمانی، زمان حضور انباشته حالت در بازه زمانی است. DC منطق بازه‌ای را به حساب دیفرانسیل و انتگرال گسترش می‌دهد تا ویژگی‌های مدت‌زمان حالت را مشخص و درباره آن استدلال کند.

توضیحاتی درمورد کتاب به خارجی

The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time are used to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations.