دانلود کتاب Combinatorics on Traces (به فارسی: ترکیبیات در ردیابی) نوشته شده توسط «Volker Diekert (auth.)»
اطلاعات کتاب ترکیبیات در ردیابی
موضوع اصلی: کامپیوتر – برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Volker Diekert (auth.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 174 / 169
حجم فایل: 1.21 مگابایت
کد کتاب: 3540530312 , 9783540530312
نوبت چاپ: 1
توضیحات کتاب ترکیبیات در ردیابی
موازی یا همزمانی یکی از مفاهیم اساسی در علوم کامپیوتر است. اما با وجود اهمیت آن، روش‌های نظری برای مدیریت همزمانی هنوز به اندازه کافی توسعه نیافته‌اند. این جلد مطالعه جامعی از نظریه ردیابی Mazurkiewicz از دیدگاه جبری-ترکیبی ارائه می دهد. این نظریه به عنوان یک ابزار مهم برای یک درمان ریاضی دقیق سیستم های همزمان شناخته می شود. این جلد چندین حوزه تحقیقاتی مختلف را پوشش می‌دهد و نه تنها نتایج شناخته شده را در بر می‌گیرد، بلکه نتایج جدیدی را نیز در بر می‌گیرد که در هیچ جای دیگری منتشر نشده‌اند. فصل 1 مفاهیم اساسی را معرفی می کند. فصل 2 مسیر مستقیمی به توصیف اوچمانسکی از زبان‌های ردیابی قابل تشخیص و تئوری زیلوونکا در مورد خودکارهای ناهمزمان می‌دهد. فصل 3 تئوری آثار را در شبکه های پتری اعمال می کند. نوعی مورفیسم بین شبکه ها معرفی شده است که مفهوم همگام سازی را تعمیم می دهد. فصل 4 یک پل جدید بین تئوری بازنویسی رشته و سری‌های قدرت رسمی ارائه می‌کند. فصل 5 مقدمه ای بر یک نظریه ترکیبی بازنویسی روی ردیابی است که می تواند به عنوان یک حساب انتزاعی برای تبدیل فرآیندهای همزمان استفاده شود.
Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz’ trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic concepts. Chapter 2 gives a straight path to Ochmanski’s characterization of recognizable trace languages and to Zielonka’s theory of asynchronous automata. Chapter 3 applies the theory of traces to Petri nets. A kind of morphism between nets is introduced which generalizes the concept of synchronization. Chapter 4 provides a new bridge between the theory of string rewriting and formal power series. Chapter 5 is an introduction to a combinatorial theory of rewriting on traces which can be used as an abstract calculus for transforming concurrent processes.
دانلود کتاب «ترکیبیات در ردیابی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.