توضیحات
This book focuses on numerous examples of tasks represented by c-e structure. Causeeect (c-e) structures are dynamic objects devised for algebraic and graphic description of realistic tasks. They constitute a formal system providing means to specify or implement (depending on degree of description generality) the tasks. They can be transformed, thus come under simplication, in accordance with rules-axioms of their algebra. Also, their properties can be inferred from the axioms. One objective of this book is presentation, by many realistic examples, of computing capability of c-e structures, without entering into mathematical details of their algebra. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures. But also demonstration of many other tasks taken from the area of parallel processing, specied as c-e structures. Another objective is modelling or simulation by means of c-e structures, of other descriptive systems, devised for tasks from various elds. Also without formalizing by usage of functions between the systems. This concerns formalisms such as reaction systems, rough sets, Petri nets and CSP-like languages. Also on such, where temporal interdependence between actions matters. The presentation of examples is prevalently graphic, in the form of peculiar nets, but accompanied by their algebraic and set-theoretic expressions. A fairly complete exposition of concepts and properties of the algebra of cause-eect structures is in the previous book appeared in the Lecture Notes in Networks and Systems series. But basic notions of c-e structures are here provided for understanding the examples.
————————————————————–
ترجمه ماشینی :
این کتاب بر نمونههای متعددی از وظایفی که با ساختار ce نشان داده شدهاند، تمرکز دارد. ساختارهای Causeeect (ce) اشیایی پویا هستند که برای توصیف جبری و گرافیکی وظایف واقعی ابداع شده اند. آنها یک سیستم رسمی را تشکیل می دهند که ابزاری برای مشخص کردن یا پیاده سازی وظایف (بسته به درجه کلیت توصیف) فراهم می کند. آنها را میتوان بر اساس قوانین-اصول جبر خود تبدیل کرد، بنابراین تحت سادهسازی قرار گرفتند. همچنین خواص آنها را می توان از بدیهیات استنباط کرد. یکی از اهداف این کتاب ارائه، با مثالهای واقعی، توانایی محاسباتی ساختارهای ce، بدون ورود به جزئیات ریاضی جبر آنها است. به طور خاص، چگونه محاسبات با اعداد طبیعی و در حساب گزاره ای را می توان توسط ساختارهای ce انجام داد و چگونه رفتار ساختارهای داده را مشخص کرد. اما همچنین نمایش بسیاری از وظایف دیگر برگرفته از ناحیه پردازش موازی، که به عنوان ساختارهای ce گونهبندی شدهاند. هدف دیگر مدلسازی یا شبیهسازی با استفاده از ساختارهای ce، سیستمهای توصیفی دیگر است که برای وظایف از بخشهای مختلف ابداع شدهاند. همچنین بدون رسمی سازی با استفاده از توابع بین سیستم ها. این به فرمالیسمهایی مانند سیستمهای واکنش، مجموعههای خشن، شبکههای پتری و زبانهای شبه CSP مربوط میشود. همچنین در مواردی که وابستگی متقابل زمانی بین اعمال اهمیت دارد. ارائه نمونه ها غالباً گرافیکی است، به شکل شبکه های عجیب و غریب، اما همراه با عبارات جبری و نظری مجموعه آنها. توضیح نسبتاً کاملی از مفاهیم و ویژگیهای جبر ساختارهای علت-عتابی در کتاب قبلی در مجموعه یادداشتهای سخنرانی در شبکهها و سیستمها ارائه شده است. اما مفاهیم اولیه ساختارهای ce در اینجا برای درک مثال ها ارائه شده است.
tag : دانلود کتاب محاسبات در ساختارهای علت و معلولی , Download محاسبات در ساختارهای علت و معلولی , دانلود محاسبات در ساختارهای علت و معلولی , Download Computing in Cause-Effect Structures Book , محاسبات در ساختارهای علت و معلولی دانلود , buy محاسبات در ساختارهای علت و معلولی , خرید کتاب محاسبات در ساختارهای علت و معلولی , دانلود کتاب Computing in Cause-Effect Structures , کتاب Computing in Cause-Effect Structures , دانلود Computing in Cause-Effect Structures , خرید Computing in Cause-Effect Structures , خرید کتاب Computing in Cause-Effect Structures ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.