دانلود کتاب Duration Calculus: A Formal Approach to Real-Time Systems (به فارسی: محاسبه مدت زمان: یک رویکرد رسمی به سیستم های زمان واقعی) نوشته شده توسط «Zhou Chaochen – Michael R. Hansen»
اطلاعات کتاب محاسبه مدت زمان: یک رویکرد رسمی به سیستم های زمان واقعی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Zhou Chaochen – Michael R. Hansen
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 256
حجم فایل: 1.79 مگابایت
کد کتاب: 3540408231 , 9783540408239
توضیحات کتاب محاسبه مدت زمان: یک رویکرد رسمی به سیستم های زمان واقعی
حساب مدت زمان (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.
دانلود کتاب «محاسبه مدت زمان: یک رویکرد رسمی به سیستم های زمان واقعی»
