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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Constraint Solving Over Multi-valued Logics: Application to Digital Circuits

دانلود کتاب محدود کردن حل بیش از منطق های چند محوری: کاربرد در مدارهای دیجیتال

مشخصات کتاب

Constraint Solving Over Multi-valued Logics: Application to Digital Circuits

دسته بندی: منطق
ویرایش:  
نویسندگان: Francisco Azevedo  
سری: Frontiers in Artificial Intelligence and Applications 
ISBN (شابک) : 1586033042, 9780585458601 
ناشر: IOS Press 
سال نشر: 2002 
تعداد صفحات: 210 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب Constraint Solving Over Multi-valued Logics: Application to Digital Circuits به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محدود کردن حل بیش از منطق های چند محوری: کاربرد در مدارهای دیجیتال

سیستم ها در معرض خطاهایی در اجزای خود هستند که بر رفتار کلی آنها تأثیر می گذارد. در یک سیستم "جعبه سیاه"، چنین خطاهایی تنها زمانی در خروجی آشکار می شوند که ورودی های مناسب داده شود، که تعدادی از مشکلات رضایت و بهینه سازی را در مورد آزمایش و تشخیص ایجاد می کند. در این پایان نامه به چنین مشکلاتی می پردازیم و مدل هایی با منطق های چند ارزشی را توسعه می دهیم که آنها را رسمیت می دهیم و به چندین خطا تعمیم می دهیم. چنین منطق‌هایی با رمزگذاری وابستگی‌ها به خطاها، منطق بولی را گسترش می‌دهند، بنابراین امکان مدل‌سازی تعداد دلخواه تئوری‌های تشخیصی را فراهم می‌کنند. اثربخشی حل محدودیت بر روی دامنه ها و مجموعه های محدود در چندین مورد از مسائل فوق نشان داده شده است.

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

Systems are subject to faults in their components, affecting their overall behaviour. In a 'black-box' system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus allowing the modelling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several of the above problems.