دانلود کتاب Modeling Time in Computing (به فارسی: مدلسازی زمان در محاسبات) نوشته شده توسط «Carlo A. Furia – Dino Mandrioli – Angelo Morzenti – Matteo Rossi»
اطلاعات کتاب مدلسازی زمان در محاسبات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Carlo A. Furia – Dino Mandrioli – Angelo Morzenti – Matteo Rossi
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2012
تعداد صفحه: 429
حجم فایل: 5.17 مگابایت
کد کتاب: 3642323324 , 9783642323324
توضیحات کتاب مدلسازی زمان در محاسبات
مدلهایی که شامل مفهومی از زمان هستند در رشتههایی مانند علوم طبیعی، مهندسی، فلسفه و زبانشناسی در همه جا وجود دارند، اما در محاسبه انتزاعات ارائه شده توسط مدلهای سنتی مشکل دارند و این رشته دارای مشکل است. بسیاری از مدل های جدید تولید کرد. این کتاب یک ارائه منظم و منظم از نتایج چندین دهه تحقیق در زمینه توسعه، تجزیه و تحلیل و به کارگیری مدلهای زمانی در محاسبات و مهندسی است.
پس از یک انگیزه آغازین با معرفی موضوعات، ساختار و اهداف، نویسندگان مفاهیم فرمالیسم و مدل را به صورت کلی به همراه برخی از معیارهای طبقه بندی اساسی آنها معرفی می کند. در انجام این کار، آنها مبانی منطق گزارهای و محمولی و مسائل اساسی را که هنگام مدلسازی زمان در همه انواع سیستمها به وجود میآیند، ارائه میکنند. بخش اول خلاصهای از مدلهای سنتی در مهندسی و علوم طبیعی، از جمله علوم کامپیوتری بنیادی است: سیستمهای دینامیکی و تئوری کنترل. طراحی سخت افزار؛ و تحلیل الگوریتمی و پیچیدگی نرم افزار. بخش دوم فرمالیسمهای پیشرفته و تخصصی را پوشش میدهد که با مدلسازی زمان در سیستمهای نرمافزاری ناهمگن سروکار دارند: فرمالیسمهایی که ماشینهای حالت محدود را بهعنوان «اجداد» مشترک به اشتراک میگذارند. شبکه های پتری در انواع مختلف؛ نمادهای مبتنی بر منطق ریاضی، مانند منطق زمانی. جبرهای پردازشی؛ و “رویکردهای دو زبانه” ترکیب دو نماد با ویژگی های مختلف برای مدل سازی و تأیید سیستم های پیچیده، به عنوان مثال، چارچوب های بررسی مدل. در نهایت، کتاب با جمع بندی نکات و نکاتی در مورد تحولات آینده و چالش های باز به پایان می رسد. این ارائه از سبکی دقیق، اما نه بیش از حد فنی، مناسب برای خوانندگان با پیشینههای ناهمگون استفاده میکند، و هر فصل با نکات کتابشناختی مفصل و تمرینهایی با دقت انتخاب شده با دشواری و دامنه متفاوت تکمیل میشود.
این کتاب برای دانشجویان تحصیلات تکمیلی و محققان علوم کامپیوتر طراحی شده است، در حالی که محققان و دست اندرکاران سایر رشته های علمی و مهندسی که علاقه مند به مدل سازی زمان با طعم محاسباتی هستند نیز کتاب را پیدا خواهند کرد. ارزش، و رویکرد تطبیقی و مفهومی این مقدمه ارزشمند را برای افراد غیر متخصص می سازد. نویسندگان دانش پایه ای از حساب دیفرانسیل و انتگرال، نظریه احتمالات، الگوریتم ها و برنامه نویسی را در نظر گرفته اند، در حالی که دانش پیشرفته تر از خودکار، زبان های رسمی و منطق ریاضی مفید است.
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.
The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
دانلود کتاب «مدلسازی زمان در محاسبات»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.