7179

نسيبه دهنوي

كارشناسي ارشد

رياضي كاربردي (تحقيق در عمليات )

پيام نور , كتابخانه مركزي دانشگاه پيام نور

1391

80ص

شيردل ، غلامحسن

فرهمندراد، شهريار

76-75ص

80-78ص

پ دهنوي، نسيبه , ع

در اين پايان نامه به چگونگي ارزيابي برنامه ها با استفاده از مجموعه محدود داده هاي ورودي - خروجي (1-0)مي پردازيم .براي ارزيابي يك برنامه بايد متغيرهاي بولي آن را ارزيابي كنيم .برنامه را در ابتدا مي توان به عنوان جعبه سياهي به حساب آورد كه n ورودي داشته و مطابق با تابعي مي باشد كه متغيرهاي بولي x^ ʹرا توليد مي كند .به عبارت ديگر هدف اين كار تعيين توابع توليد كننده x ^ ʹاست .كه با انتخاب چند مجموعه ورودي براي جعبه سياه و بررسي خروجي شان مي توان آن ها را مشخص كرد .اين پايان نامه روش ارزيابي موثري از توابع يا عملگرهاي بولي را نشان مي دهد و كار مربوطه را شناسايي مي كند .البته براي تعداد جفت 1-0 مورد نياز براي ساخت مجدد برنامه محدوديت قائل است .اين كار براساس "ژاكوبين هاي مجزايي است كه از جفت هاي انتخاب شده 1-0 محاسبه شده اند." در آخر نشان داده ايم كه اين ارزيابي را مي توانيم براي برنامه هايي كه متغيرهايشان اعداد صحيح هستند نيز به كار بريم .نتايج نشان مي دهند كه اگر هر تابع بولي شامل چند متغير باشد، مجموعه محدود از جفت هاي 1-0 براي ارزيابي برنامه كافي است .اين نتايج مورد توجه مهندسي معكوس شبكه هاي ژنتيك در آزمايشات بيولوژيكي مي باشند

فصل صفر: تعاريف و مفاهيم مقدماتي . فصل اول : رفتار ديناميك . فصل دوم : شناخت توابع بولي و روابط بين آن ها . فصل سوم : قضايا و الگوريتم هاي مطرح شده . فصل چهارم : چگونگي به دست آوردن كران پايين براي تعداد جفت هاي مورد نياز و آزمايشات لازم . فصل پنجم : ماتريس هاي ژاكوبين . فصل ششم : نتايج و قضاياي رمي . فصل هفتم : تعيين كران بالا براي ژاكوبين هاي مورد نياز

2931/20/20

7179پ

1

21020