نام پژوهشگر: محمد حسن شیردره حقیقی
فاطمه منفرد دهبیدی کورش زیارتی
در سیستم های تولیدی، تصمیم ها در رابطه با زمانبندی کارها روی ماشین ها و زمانبندی مربوط به جدول کاری کارمندان به طور معمول به صورت دنباله وار صورت می گیرد. هدف زمانبندی کارها کمینه کردن زمان کل زمانبندی است در حالی که هدف زمانبندی کاری کارمندان بیشینه کردن میزان رضایت و یا کمینه کردن هزینه های کاری است. واضح است که بهینه سازی موثر این مسائل به طور همزمان بین هزینه های تولیدی و رضایت کارمندان تعادل بهتری برقرار می کند. در این رساله حل مسئله زمانبندی کارها و زمانبندی کاری کارمندان به صورت همزمان با استفاده از برنامه ریزی محدودیت بررسی می شود. حل همزمان این دو مسئله ی np-hard ، ساده نیست. با توجه به مطالعات انجام شده کمینه کردن زمان کل زمانبندی مسائل کار و کارگاه به طور دقیق براساس روش های انتشار محدودیت است. در حالی که کمینه کردن هزینه کارمندان براساس برنامه ریزی خطی صحیح است. از این رو حل ترکیب این دو مسئله از عناصری از برنامه ریزی محدودیت و برنامه ریزی خطی صحیح استفاده می کند. دو روش بررسی می شود که در روش اول از فرمول بندی مستقیم استفاده می شود و در روش دوم از فرمول بندی براساس تجزیه زمان های شروع به بازه های تقاضا استفاده می شود. در هر دو روش از روش جست وجوی بازگشتی و الگوریتم های انتشار محدودیت استفاده می شود و برتری روش دوم نسبت به روش اول را بهصورت تئوری بررسی می کنیم.
مریم بیات راد محمد باقر احمدی
شبکه های تلفن همراه( شبکه های تلفن سلولی) خدمات انتقال داده و اطلاعات را برای استفاده کنندگان تلفن همراه فراهم می آورند. در این نوشتار به بررسی شبکه های تلفن همراه و ساختار و ویژگی های آن پرداخته ایم و پس از آن مسأله تخصیص کانال های فرکانسی را در این شبکه ها بیان نموده ایم و آن را به صورت دو مدل برنامه ریزی صحیح ارئه کرده ایم و سپس آنها را به کمک روش هایی که ترکیبی از ستون سازی و شاخه و برش هستند حل کرده ایم و در پایان نتایج عددی را در خصوص این روش ها ارائه نموده ایم و به مقایسه تحلیلی این روش ها پرداخته ایم.
جواد برادران محسن تقوی
چکیده ندارد.
مژگان قوانلو محمد باقر احمدی
گراف فولرن، گرافی است مسطح، و سه همبند که دوازده وجه آن پنج ضلعی و سایر وجوه آن شش ضلعی هستند و بنزنوئید هیدروکربن مولکولی ساخته شده از کربن و هیدروژن می باشد. عدد کلار، ماکزیمم اندازه مجموعه رزنانت و عدد فریز، ماکزیمم تعداد شش ضلعی ها در هر ساختار ککوله می باشد. عدد کلار و عدد فریز نقش کلیدی در بررسی پایداری مولکول ها دارند. در این پایان نامه به ارائه مدل ریاضی برای بدست آوردن عدد کلار و عدد فریز این دو مولکول می پردازیم و همچنین نقش عدد کلار در پیش بینی پایداری مولکول فولرن را بررسی کرده و برای بهبود پارامتر های موثر در پایداری تابع جدیدی را معرفی می کنیم.
مریم فیروزی سنگری محمد حسن شیردره حقیقی
فرض کنید 1(g)? ، بیشترین مقدار ویژه ی ماتریس مجاورت و بیشترین مقدار ویژه ی ماتریس لاپلاسین از گرافg باشد. اگر گرافg،دارای بیشترین درجه ی راسی باشد، آنگاه: , بنابراین فاصله ی بین بیشترین و کمترین مقدار و در رده ی درخت های با مقدار ثابت ، مقدار را اختیار خواهد کرد. در این پایان نامه، نشان خواهیم داد که در رده ی درخت های با مقدار ثابت ، این فاصله تنها برابر با می باشد. در واقع نشان خواهیم داد که، اگر درخت t، دارایبیشترین درجه ی راسی باشد، آنگاه:
سید علی اصغر حسینی محمد باقر احمدی
در این پایان نامه سعی داریم قابلیت بقا و اطمینان را برای شبکه های سلسله مراتبی بررسی کرده و چند معیار را برای ارزیابی این شبکه ها مطرح کنیم. دو روش پیشنهاد شده برای ارتقاء قابلیت بقای این دسته از شبکه ها را معرفی کرده و آن ها را با یکدیگر مقایسه می کنیم. با استفاده از یک شاخص توپولوژیکی، معیاری جدید برای مقایسه قابلیت بقای شبکه های سلسله مراتبی بهبود یافته ارائه می کنیم. همچنین یک روش جدید برای بهبود قابلیت بقای این شبکه ها پیشنهاد کرده و مزیت این روش را نسبت به دو روش قبلی بیان می کنیم.