ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب The Unknown Component Problem: Theory and Applications

دانلود کتاب مسئله مؤلفه ناشناخته: نظریه و کاربردها

The Unknown Component Problem: Theory and Applications

مشخصات کتاب

The Unknown Component Problem: Theory and Applications

ویرایش: 1 
نویسندگان: , , , , ,   
سری:  
ISBN (شابک) : 9780387345321, 9780387687599 
ناشر: Springer US 
سال نشر: 2012 
تعداد صفحات: 311 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 49,000



کلمات کلیدی مربوط به کتاب مسئله مؤلفه ناشناخته: نظریه و کاربردها: مدارها و سیستم ها، طراحی منطق، مهندسی برق



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب The Unknown Component Problem: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مسئله مؤلفه ناشناخته: نظریه و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مسئله مؤلفه ناشناخته: نظریه و کاربردها



مشکل جزء ناشناخته: تئوری و کاربردها به موضوع طراحی مولفه ای می پردازد که با یک بخش شناخته شده از یک سیستم ترکیب شده و با مشخصات کلی مطابقت دارد. نویسندگان این مشکل را با حل معادلات انتزاعی بر روی یک زبان حل می کنند. کلی ترین راه حل ها زمانی مورد مطالعه قرار می گیرند که از عملگرهای ترکیب همزمان و موازی استفاده شود. معادلات انتزاعی برای زبان‌های مرتبط با کلاس‌های مهم خودکار مورد استفاده برای سیستم‌های مدل‌سازی تخصصی هستند.

این کتاب ترکیبی از تئوری و عمل است که شامل توضیحات بسته نرم افزاری با کاربردهایی برای سنتز متوالی ماشین های حالت محدود است. توپولوژی‌های خاصی که اجزاء را به هم متصل می‌کنند، تکنیک‌های دقیق و اکتشافی، و سناریوهای بهینه‌سازی مورد مطالعه قرار می‌گیرند. در نهایت دامنه به حوزه هایی مانند تست، کنترل نظارتی، تئوری بازی و ترکیب برای زبان های امگا افزایش می یابد. نویسندگان نتایج اصلی نویسندگان را همراه با مروری بر نتایج موجود ارائه می دهند.


توضیحاتی درمورد کتاب به خارجی

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems.

The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.



فهرست مطالب

Front Matter....Pages i-xv
Synopsis....Pages 1-5
Front Matter....Pages 7-8
Equations Over Languages and Finite Automata....Pages 9-36
Equations Over Finite State Machines....Pages 37-71
Equations Over ω-Automata....Pages 73-84
A Survey of Relevant Literature....Pages 85-105
Front Matter....Pages 107-108
Implementation of Automata Manipulations....Pages 109-120
Manipulations of FSMs Represented as Sequential Circuits....Pages 121-135
The Software Package BALM....Pages 137-155
Fundamental Operations in BALM....Pages 157-169
Front Matter....Pages 171-172
Computation of Flexibility in Sequential Networks....Pages 173-184
Computation of Sequential Flexibility in Netlists by Windowing....Pages 185-194
Computation of Sequential Flexibility in Networks of FSMs by Windowing....Pages 195-210
Language Solving Using Simulation Relations....Pages 211-225
Exploitation of Flexibility in Sequential Networks....Pages 227-243
Front Matter....Pages 245-246
Supervisory Control....Pages 247-265
Testing....Pages 267-274
Synthesis of Strategies for Games....Pages 275-281
Extending BALM to Synchronous Equations Over co-Büchi Specifications....Pages 283-297
Conclusions and Open Problems....Pages 299-300
Back Matter....Pages 301-311




نظرات کاربران