استفاده از رویکرد تصادفی در حل مسئله ارضاپذیری بولی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
- نویسنده علی ضیایی
- استاد راهنما منصور رزقی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1391
چکیده
در این پایان نامه سعی شده است تا یک الگوریتم تصادفی کاراتر برای حل مسئله ارضاپذیری بولی ارائه شود، که بدین منظور تکنیک پس گرد تصادفی را معرفی کرده ایم. سپس الگوریتم شانینگ که یکی از الگوریتم های شناخته شده در زمینه حل مسئله ارضاپذیری بولی می باشد به فرم پس گرد تصادفی انتقال یافته و رویکرد های ترتیب انتخاب متغیرها و ترتیب انتخاب عبارت ها(که اولین بار است معرفی می شود) به آن اضافه شده است. برای ارزیابی این الگوریتم جدید، آن را با سه الگوریتم شناخته شده دیگر مقایسه کرده ایم که نتایج خوبی حاصل شده است. دو ملاک برای ارزیابی این الگوریتم ها در نظر گرفته ایم، که شامل میانگین زمان اجرا و تعداد حل شده ها می باشند. این الگوریتم ها روی سه مجموعه متفاوت از نمونه ها در شرایط یکسان مورد ارزیابی قرار گرفته اند که الگوریتم پیشنهادی ما روی دو مجموعه از لحاظ هر دو ملاک رتبه نخست را به خود اختصاص داده است و روی مجموعه دیگر از لحاظ زمان اجرا بهترین و از لحاظ تعداد حل شده ها رتبه دوم را کسب کرده است.?
منابع مشابه
ساختار کتاب درسی و رویکرد حل مسئله
به منظور تهیه و تدوین برنامه ها و کتاب های درسی ، تولید دانش به عنوان یک راهبرد بسیار مهم باید مورد توجه قرار گیرد. تهیه و تولید مواد آموزشی نقش بسیار مهمی در یادگیری و همچنین در ارتقاء و افزایش مهارتهای تفکر دارند. از این رو، مهارت های تفکر، در طراحی و تولید مواد آموزشی باید مورد توجه قرار گیرد. علاوه بر این، هشت فرآیند برای تفکر، یعنی ، شکل گیری مفهوم ، تدوین اصول ، درک و فهم ، حل مسأله، تصمی...
متن کاملحل مسئله ی موازنه هزینه ـزمان و کیفیت پروژه با استفاده از برنامه ریزی تصادفی چندهدفه
مسئله ی موازنه ی هزینه ـزمان در پروژه ها از مباحث مهمی است که مورد توجه محققین زیادی بوده است، اما تعداد اندکی از این تحقیقات محیط های تصادفی را مورد توجه قرار داده اند. از طرف دیگر، کیفیت پروژه نیز یکی از مواردی است که مدیران پروژه به آن علاقه مندند که در تحقیقات مورد توجه چندانی قرار نگرفته است. در این نوشتار مسئله ی موازنه ی هزینه ـزمان با در نظر گرفتن عامل کیفیت پروژه به عنوان یکی از ارکان ...
متن کاملرویکرد واقع‌گرایانه چرچلند در حل مسئله گزاره‌گرایی و نقد آن
از رویکردهای مربوط به تحلیل نظریه‌های علمی می‌توان به رویکردهای پوزِتیویستی و مدل-نظریه‌ای اشاره کرد. این رویکردها هرکدام اشکالاتی دارند و در تحلیل نظریه‌های علمی ناتوان به‌نظر می‌رسند. رویکرد مدل-نظریه‌ای که مطلوب ون فراسن نیز میباشد، چندان خوشایند واقع‌گرایان نیست و چرچلند به‌عنوان یک واقع‌گرای علمی، سعی می‌کند تعبیری واقع‌گرایانه برای تحلیل نظریه‌های علمی پیشنهاد کند. وی از دستاوردهای علوم ...
متن کاملبرازش مدل رگرسیونی رشد به مجموعه‌های تصادفی بولی
یکی از مدل هایی که می تواند در مطالعه رابطه بین مجموعه های تصادفی بولی و متغیرهای کمکی به کار رود مدل رگرسیونی رشد است که با تعمیم مدل بولی و وابسته کردن توزیع دانه های آن به متغیرهای کمکی تعریف می شود. این مدل می تواند در مطالعه رفتار مجموعه های تصادفی بولی وقتی تغییر در ناحیه پوشیده شده توسط آنها با تغییر در اندازه دانه ها همراه است استفاده شود. در این مقاله شناسایی و برازش مدل رشد مناسب، ب...
متن کاملارتقاء سطح خلاقیت و نوآوری در حل یک مسئله با استفاده از تئوری حل مسائل ابداعی
خلاقیت و نوآوری از ارزشمندترین سرمایههای هرکشوری است که قصد توسعه بر پایه استعدادهای درونی خود را دارد و در این راه، وجود تفکر خلاق و نوآور که بسترساز تغییر و دگرگونی باشد بسیار ضروری است. آنچه مسلم است خلاقیت و نوآوری امری توسعه پذیر میباشد و همه افراد از توانایی خلاقیت و نوآوری، با سطوحی متفاوت برخوردارند و تلاش سازنده و عزمی ملی در قالب «نظام ملی نوآوری» میتواند آینده کشور را تضمین نماید....
متن کاملیک الگوریتم فراابتکاری برای حل مسئله ی تخصیص تصادفی
مسئله ی تخصیص یکی از پر کاربردترین مسائل در زمینه ی تحقیق در عملیات است که گونه های مختلفی از آن ارائه شده است. قطعی نبودن داده های دنیای واقعی موجب می شود تا مسائل کلاسیک در عمل کاربرد چندانی نداشته و مسائل تخصیص تصادفی طراحی شوند. در این نوشتار مسئله ی تخصیص تصادفی برای حالتی که هزینه ی تخصیص فعالیت ها به افراد برابر با صفر است و نیز برای کمینه سازی تابع هدفی که براساس دو معیار تأخیر در انجام...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023