نام پژوهشگر: محمد حسن شیردره حقیقی

حل همزمان مسئله زمانبندی کارها و زمانبندی کاری کارمندان با استفاده از یک روش ترکیبی شاخه و کران و برنامه ریزی محدودیت
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1390
  فاطمه منفرد دهبیدی   کورش زیارتی

در سیستم های تولیدی، تصمیم ها در رابطه با زمانبندی کارها روی ماشین ها و زمانبندی مربوط به جدول کاری کارمندان به طور معمول به صورت دنباله وار صورت می گیرد. هدف زمانبندی کارها کمینه کردن زمان کل زمانبندی است در حالی که هدف زمانبندی کاری کارمندان بیشینه کردن میزان رضایت و یا کمینه کردن هزینه های کاری است. واضح است که بهینه سازی موثر این مسائل به طور همزمان بین هزینه های تولیدی و رضایت کارمندان تعادل بهتری برقرار می کند. در این رساله حل مسئله زمانبندی کارها و زمانبندی کاری کارمندان به صورت همزمان با استفاده از برنامه ریزی محدودیت بررسی می شود. حل همزمان این دو مسئله ی np-hard ، ساده نیست. با توجه به مطالعات انجام شده کمینه کردن زمان کل زمانبندی مسائل کار و کارگاه به طور دقیق براساس روش های انتشار محدودیت است. در حالی که کمینه کردن هزینه کارمندان براساس برنامه ریزی خطی صحیح است. از این رو حل ترکیب این دو مسئله از عناصری از برنامه ریزی محدودیت و برنامه ریزی خطی صحیح استفاده می کند. دو روش بررسی می شود که در روش اول از فرمول بندی مستقیم استفاده می شود و در روش دوم از فرمول بندی براساس تجزیه زمان های شروع به بازه های تقاضا استفاده می شود. در هر دو روش از روش جست وجوی بازگشتی و الگوریتم های انتشار محدودیت استفاده می شود و برتری روش دوم نسبت به روش اول را بهصورت تئوری بررسی می کنیم.

روش تولید ستون و شاخه و برش برای مسأله تخصیص کانال ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1390
  مریم بیات راد   محمد باقر احمدی

شبکه های تلفن همراه( شبکه های تلفن سلولی) خدمات انتقال داده و اطلاعات را برای استفاده کنندگان تلفن همراه فراهم می آورند. در این نوشتار به بررسی شبکه های تلفن همراه و ساختار و ویژگی های آن پرداخته ایم و پس از آن مسأله تخصیص کانال های فرکانسی را در این شبکه ها بیان نموده ایم و آن را به صورت دو مدل برنامه ریزی صحیح ارئه کرده ایم و سپس آنها را به کمک روش هایی که ترکیبی از ستون سازی و شاخه و برش هستند حل کرده ایم و در پایان نتایج عددی را در خصوص این روش ها ارائه نموده ایم و به مقایسه تحلیلی این روش ها پرداخته ایم.

صفرهای برخی چند جمله ایهای گولی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1391
  جواد برادران   محسن تقوی

چکیده ندارد.

محاسبه ی عدد کلار و فریز مولکول های بنزنوئید هیدروکربن و فولرن به کمک تکنیک های بهینه سازی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1391
  مژگان قوانلو   محمد باقر احمدی

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

کران هایی برای بزرگترین مقدار ویژه ی درختها بر حسب بیشترین درجه رأس
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1392
  مریم فیروزی سنگری   محمد حسن شیردره حقیقی

فرض کنید 1(g)? ، بیشترین مقدار ویژه ی ماتریس مجاورت و بیشترین مقدار ویژه ی ماتریس لاپلاسین از گرافg باشد. اگر گرافg،دارای بیشترین درجه ی راسی باشد، آنگاه: , بنابراین فاصله ی بین بیشترین و کمترین مقدار و در رده ی درخت های با مقدار ثابت ، مقدار را اختیار خواهد کرد. در این پایان نامه، نشان خواهیم داد که در رده ی درخت های با مقدار ثابت ، این فاصله تنها برابر با می باشد. در واقع نشان خواهیم داد که، اگر درخت t، دارایبیشترین درجه ی راسی باشد، آنگاه:

قابلیت بقا و اطمینان در شبکه ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1392
  سید علی اصغر حسینی   محمد باقر احمدی

در این پایان نامه سعی داریم قابلیت بقا و اطمینان را برای شبکه های سلسله مراتبی بررسی کرده و چند معیار را برای ارزیابی این شبکه ها مطرح کنیم. دو روش پیشنهاد شده برای ارتقاء قابلیت بقای این دسته از شبکه ها را معرفی کرده و آن ها را با یکدیگر مقایسه می کنیم. با استفاده از یک شاخص توپولوژیکی، معیاری جدید برای مقایسه قابلیت بقای شبکه های سلسله مراتبی بهبود یافته ارائه می کنیم. همچنین یک روش جدید برای بهبود قابلیت بقای این شبکه ها پیشنهاد کرده و مزیت این روش را نسبت به دو روش قبلی بیان می کنیم.