دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 1 نویسندگان: Ron Koymans (eds.) سری: Lecture Notes in Computer Science 651 ISBN (شابک) : 3540562834, 9783540562832 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 169 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب تعیین سیستمهای ارسال پیام و زمان بحرانی با منطق زمانی: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تعیین سیستمهای ارسال پیام و زمان بحرانی با منطق زمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این مونوگراف به کاربرد منطق زمانی در حوزههای انتقال پیام و سیستمهای بحرانی زمان میپردازد. جدا از استفاده عملی از منطق زمانی برای این دو حوزه کاربردی، این کتاب همچنین شامل مطالعات بنیادی خالص در منطق زمانی است. انگیزه مطالعه سیستم های ارسال پیام و زمان حیاتی از اهمیت آنها در عمل ناشی می شود. ارسال پیام یکی از مهم ترین ابزارهای ارتباط بین فرآیندی در سیستم های توزیع شده است، چه در سطح بالا، مانند برنامه های مخابراتی، یا در سطح پایین تر، مانند پیاده سازی زبان هایی مانند Ada. در مورد سیستم های بحرانی زمان، در میان تعداد فزاینده برنامه های کاربردی بلادرنگ، سیستم های بسیار حیاتی مانند نیروگاه های شیمیایی کنترل شده توسط کامپیوتر و نیروگاه های هسته ای وجود دارد. این مونوگراف نشان میدهد که چگونه میتوان از منطق زمانی استاندارد برای مشخصات سیستمهای ارسال پیام استفاده کرد، و یک منطق زمانی ویژه برای استدلال در مورد ویژگیهای زمانی کمی ایجاد میکند. حوزه کاربرد اصلی سیستمهای بلادرنگ توزیعشده است.
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.
Introduction....Pages 1-5
How to specify....Pages 7-11
A review of modal and temporal logic....Pages 13-37
Polymodal logics with inequality....Pages 39-63
Message passing systems....Pages 65-98
Time-critical systems....Pages 99-142
Summary and concluding remarks....Pages 143-150