دانلود کتاب Constraint Solving Over Multi-valued Logics: Application to Digital Circuits
49,000 تومان
حل محدودیت بر روی منطق های چند ارزشی: کاربرد در مدارهای دیجیتال
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | IOS Press |
| تعداد صفحه | 210 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 1586033042,9781586033040,9780585458601 |
| نویسنده | Francisco Azevedo |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
حل محدودیت بر روی منطق های چند ارزشی: کاربرد در مدارهای دیجیتال
سیستم ها در معرض خطاهایی در اجزای خود هستند که بر رفتار کلی آنها تأثیر می گذارد. در یک سیستم “جعبه سیاه”، چنین خطاهایی تنها زمانی در خروجی آشکار می شوند که ورودی های مناسب داده شود، که تعدادی از مشکلات رضایت و بهینه سازی را در مورد آزمایش و تشخیص ایجاد می کند. در این پایان نامه به چنین مشکلاتی می پردازیم و مدل هایی با منطق های چند ارزشی را توسعه می دهیم که آنها را رسمیت می دهیم و به چندین خطا تعمیم می دهیم. چنین منطقهایی با رمزگذاری وابستگیها به خطاها، منطق بولی را گسترش میدهند، بنابراین امکان مدلسازی تعداد دلخواه تئوریهای تشخیصی را فراهم میکنند. اثربخشی حل محدودیت بر روی دامنه ها و مجموعه های محدود در چندین مورد از مسائل فوق نشان داده شده است.
Constraint Solving Over Multi-valued Logics: Application to Digital Circuits
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.