Professional Documents
Culture Documents
موضوع ارائه:
تحقیق در عملیات در علوم کامپیوتر
تحقیق در عملیات و علوم کامپیوتر از زمان پیدایش به هم پیوسته اند .و به پیشرفت های چشمگیر یکدیگركمك مي كنند.
تحقيق در عمليات بهترین بستر را برای درک مفهوم سود و زیان فراهم می کند هدف یافتن حداقل هزینه و زمان مورد انتظار برای تکمیل یک
پروژه است
تحقیق در عملیات ایده روشنی در مورد تصمیم گیری با هوشمندی می دهد .در حوزه مهندسی نرم افزار و شبکه های کامپیوتری ،مدل های
بهینه سازی بسیار مفید هستند.
اجراي تحقيق در عمليات به طورعمده به شخصي كه راه حل را ارائه مي دهدفردی که از راه حل ها استفاده می کند.
به طور عمده ،مفهوم تحقیق در عملیات از جنگ جهانی دوم سرچشمه می گیرد.
درواقع یک علم مدیریت است مفهومی که وارد زمینه نظامی شد.
در گذشته مفهوم تحقیق در عملیات فقط توسط شرکت های بزرگ قابل قبول بود ،اما بعدا وقتی تکنیک موجودی ،تخصیص ،جایگزینی،
زمان بندی و غیره مطرح شد ،این روش در شرکت های کوچک نیز مورد استفاده قرار گرفت.
بسیاری از کاربردهای تکنیک های تحقیق در عملیات میتوانند به راحتی از طریق رایانه اعمال شوند ،چون یکی ازبهترین بسترهایی است و امکان
استفاده از هر تکنیک تحقیق عملیاتی را برای تجزیه و تحلیل تصمیم گیری عملی ممکن می سازد.
دريک کالم علوم کامپيوتر تاکنون نقش بارزي در شکلگيري مرزها و حتي درونمايهي مباحث علم تحقيق در عمليات ايفا
کرده است.
بدون تحوالت عظيم علم محاسبات کامپيوتري در امر بهينهسازي در دو دههي اخير ،تجسم بقاي بسياري از روشهاي
اساسي علم تحقيق در عمليات امکانپذير نبود .نمونهي آن را ميتوان در توسعهي الگوريتم سيمپلکس توسط شرکت ها و
يا احياي دوبارهي روش برشها در بستههاي مختلف نرمافزاري مالحظه نمود
مدل های بهینه سازی مورد استفاده در حوزه های علوم کامپیوتر
مدل برنامه ریزی خطی مدل موجودی مدل بازي مدل شبكه مدل صف بندي مدل ماركوف مدل حمل و نقل
در محیط علوم کامپیوتر ما ،از رویکرد برنامه نویسی خطی برای یافتن کوتاه ترین و طراحی بهترین مسیر بهینه سازی بر روی یک نمودار
استفاده می شود.
روش فرمول بندی ریاضی یک مدل برنامه ریزی خطی شامل شرایط زیر است یک متغیر تصمیم در یک مسئله بهینه سازی ناشناخته است.
دارای یک دامنه است که نمایشی فشرده از مجموعه تمام مقادیر ممکن برای متغیر است.
مدل برنامه ریزی خطی یک توصیف جبری از هدفی است که باید به حداقل برسد و محدودیت هایی که باید توسط
متغیرها برآورده شود.
متغیرهای تصمیم گیری با متغیرهای برنامه نویسی معمولی تفاوت دارند زیرا دامنه هایی از مقادیر ممکن را دارند و ممکن است
محدودیت هایی روی ترکیب های مجاز این مقادیر اعمال کنند .به همین دلیل ،متغیرهای تصمیم به عنوان متغیرهای محدود
نیز شناخته می شوند.
متغیرهای قیوداجبار در مسئله را شناسایی کرده و آنها را به صورت معادله خطی بیان می کند
در نهایت مي توان تابع هدف را شناسایی و به صورت تابع خطی از متغیر تصمیم بیان کرد
به طوری که فرمول کلی LLPابتدا متغیر تصمیم x 0 , x 2 …..xnرا برای به حداکثر رساندن و کمینه کردن
تابع هدف پیدا می کند.
برنامه نویسی خطی مهم ترین حوزه در علوم کامپیوتر با کاربرد چندگانه است
بنابراین ،علم کامپیوتر از طریق محاسبات در مقیاس بسیار بزرگ ،به طور پیچیده بامسئله برنامه ریزی خطی مرتبط است.
(2مدل موجودی
مدل موجودی تعريف یک مدل ریاضی است که ميتواند سطح بهینه موجودی هایی که باید در فرآیند تولیدحفظ شود ،مدیریت دفعات سفارش،
تصمیم گیری در مورد مقدار کاال یا مواد اولیه ذخیره سازی ،ردیابی جریان عرضه مواد اولیه و کاالها برای ارائه خدمات بدون وقفه به مشتریان
بدون تاخیر در تحویل را تعیین كند .کرد به این معنی که چگونه به درستی مدیریت موجودی و استفاده های مناسب را انجام دهیم.
موجودی که به عنوان سهام نیز نامیده می شود ،اساسا کاالها و مواد اولیه ای هستند که هر کسب و کاری نگهداری می کند
و آماده یا آماده فروش است.
مدیریت موجودی به معنی کنترل موجودی توسط مدیر است تا در آنجا استفاده مناسب از مواد با حداقل اتالف امکان پذیر باشد.
هنگامی که ما مواد را خریداری می کنیم ،کل هزینه آن مواد شامل موارد زیر است1( :هزینه خرید )2هزینه سفارش )3هزینه حمل
هزینه اصلی محصول که توسط سازنده با سود مشخص تعیین می شود .هزینه خرید با تخفیف در خرید به تعداد معینی که به
آن هزینه خرید می گویند و هزینه سفارش یک هزینه ثابت است در نظر گرفته می شود .
همچنین هزینه حمل مرتبط با حمل و نگهداری کاال در انبار به عنوان هزینه حمل شناخته می شود.
در نهایت می توان گفت که حداقل تعداد هزینه های سفارش ،هزینه حمل و هزینه خرید را
( EOQ (Economic Order Quantityمی گویند
شكل باال تعداد کل مقدار تولید شده در طول یک سال را نشان می دهد
فرض بر این است که پس از هر بازه زمانی ،tمقدار Qتولید یا عرضه در کل دوره زمانی مثال یک سال
D= nQ
ممکن است که کل موجودی در دوره زمانی tروز مشخص باشد
دو نوع مدل موجودی وجود دارد که به طور گسترده در تجارت استفاده می شود.
مدل موجودی
میانگین زمان تولید ): (TLزمان مورد نیاز برای تولید کاال یا محصول.
میانگین تقاضای زمان سررسید ) : (DLمیانگین تعداد سفارشهای درخواست شده در طول مدت زمان تحویل
سطح سفارش مجدد ) : (RLسطح موجودی است که در آن زنگ هشدار بالفاصله برای پرکردن آن موجودی خاص به صدا در می آید.
مقدار سفارش ):(Oمقدار سفارش همان تقاضا )درخواست های سفارش( است که باید به مشتری تحویل داده شود.
حداقل سطح :حداقل موجودی ایمنی باید همیشه حفظ شود تا از هرگونه انبارداری در آینده طبق شیوه های استاندارد مدیریت موجودی
جلوگیری شود.
حداکثر سطح :حداکثر سطحی که می توان در انبار نگه داشت ،موجودی ایمنی و تقاضا)مقدار سفارش شده(است.
(3مدل بازي
نظریه بازی یک چارچوب نظری برای درک موقعیت های اجتماعی در بین بازیکنان رقیب است .از برخی جهات،
نظریه بازی علم استراتژی یا حداقل تصمیم گیری بهینه بازیگران مستقل و رقیب در یک محیط استراتژیک است.
این بازی هویت ،ترجیحات و استراتژی های موجود بازیکنان و چگونگی تأثیر این استراتژی ها بر نتیجه را مشخص
می کند .بسته به مدل ،الزامات یا مفروضات مختلفی ممکن است الزم باشد.
نظریه بازی ها کاربردهای گسترده ای دارد ،از جمله روانشناسی ،زیست شناسی تکاملی ،جنگ ،سیاست ،اقتصاد وتجارت.
با وجود پیشرفت های فراوان ،نظریه بازی ها هنوز یک علم جوان و در حال توسعه است.
از اين نظريه سازمان هاو سایر زمینه های مختلف استفاده می کنند تا بفهمند چه نوع استراتژی هایی توسط رقیب دنبال می شود و همچنین
سایر رقبا از آن استراتژی پیروی می کنند و استراتژی خود را توسعه می دهد.
Maximinو : Minimaxاز این روش برای یافتن استراتژی بهینه بین دو بازیکن استفاده می شود.
Minimaxبه معنای یافتن حداقل مقدار از هر ردیف سپس انتخاب حداکثر یک است یعنی مواردی را انتخاب
می کند که بازیکن یک سود بیشتری کسب کند.
maximinبه معنای پیدا کردن حداکثر مقدار ازهر ستون را انتخاب کنید و حداقل یک را انتخاب کنید
یعنی بازیکن دیگر سعی می کند ضرر خود را کاهش دهد.
دو تکنیک اساسی برنامه ریزی و کنترل وجود دارد که به روش تحقیق در عملیات نزدیک به هم مرتبط هستند)PERT ) ،تکنیک ارزیابی
و بازبینی برنامهو )(CPMروش مسیر بحرانی برای کمک به مدیر پروژه در نحوه dتکمیل پروژه یا زمانبندی.
تکنیک بازبینی ارزیابی برنامه )(PERTیک ابزار برنامه ریزی مدیریت پروژه است که برای محاسبه مدت زمان الزم
برای اتمام واقعی یک پروژه استفاده می شود .نمودارهای PERTبرای برنامه ریزی وظایف در یک پروژه استفاده
می شود .برنامه ریزی و هماهنگی اعضای تیم را آسان تر می کند.
نمودار CPMو PERTیک نمایش تصویری است که نمای کلی ب رای محاسبه کل روزهای پروژه بزرگ را ارائه می دهد.
این مطالعه با هدف یافتن هزینه و حداقل زمان مورد انتظاری است که باید برای اتمام پروژه تکمیل شود.
علوم کامپیوتر بهترین راه برای توصیف انواع مختلف فیلدها بر روی روش CPMو PERTاست
و همچنین مشخص می کند که چگونه توسعه دهنده نرم افزار می تواند به راحتی یک پروژه بزرگ را مدیریت کند
که از طریق تکنیک PERTو CPMبه چندین زیر دنباله کوچکتر تقسیم می شود.
)5مدل صف بندي
یک موقعیت معمولی که در زندگی روزمره اتفاق می افتد ،صف کشیدن یا انتظار در یک صف است
نمونهای از مدل های صف عبارتند از :ایستگاه اتوبوس ،باجه های بلیط ،کلینیک یا بیمارستان ،پیشخوان بانک ،چراغ راهنمایی ،غیره.
معموال تئوری صف مطالعه ریاضی خطوط انتظار است
بنابراین ،به طور کلی ،چهار نوع رفتار مشتری در تئوری صف وجود دارد که عبارتند از:
Balkingبه این معنی است که ممكن است اگر مشتری نپیوندد و صف را ترک کند یا این صف خیلی طوالنی باشد بنابراین ممکن است
تصمیم بگیرد که وارد سیستم نوبت نشود.
از طرفی ممکن است مشتری وارد صف شود اما صبرش تموم بشود و مشتری تصمیم به ترک سیستم نوبت بگیرد،
در این حالت گفته می شود که در حال عقب نشینی renegingاست ،گاهی اوقات می توانیم آن را مانند ticket counterبگوییم که
یک یا چند صف وجود دارد.
در صف ،مشتری ممکن است برای منافع شخصی خود یک صف را به صف دیگر منتقل کند ،که به آن jockeyingمی گویند.
نظریه صف یک ساختار داده خطی است و به طور گسترده در علوم کامپیوتر استفاده می شود.
انواع مختلف صف استفاده و مطالعه برای اجرای ساختار داده صف هستند ،با استفاده از یک آرایه و لیست پیوندی
از سوی دیگر صف در علوم کامپیوتر در سیستم عامل اشتراک زمانی رخ می دهد ،در اینجا هر مشتری (برنامه) با اولویت یکسان
از یک صف درگیر است تا اجرا شود.
تئوری صف در شبکه های ارتباطی بی سیم و رایانه های چند وظیفه ای استفاده می شود.
شناخت یک سیستم
شناخت یک سیستم صف ،باید شش بخش را بشناسیم :
ِ برای
) 1الگوی ورود مشتریان
)2کالینِت
سرورِها )
روش خدمت دهندگان ( ِ
ِ )3الگوی
)4نظم صف
ظرفیت سیستم
ِ )5
)6تعداد کانالهای سرویس
)6مدل ماركوف
مدلهای زنجیرهای مارکوف که توسط ریاضیدان روسی آنمارکوف در سال 1905ایجاد شد ،کالس خاصی از مدلهای احتمالی هستند که به عنوان
فرآیندهای تصادفی شناخته میشوند ،که در آن وضعیت فعلی یک سیستم به تمام حالتهای قبلی آن بستگی دارد.
مدل مارکوف یک روش تصادفی برای سیستم هایی است که به طور تصادفی در حال تغییر هستند که در آن فرض
می شود حالت های آینده به حالت های گذشته وابسته نیستند .این مدل ها همه حالت های ممکن و همچنین
انتقال ها ،نرخ گذارها و احتماالت بین آنها را نشان می دهند.
در نظریه احتمال ،مدل مارکوف یک مدل تصادفی است که برای مدلسازی سیستمهای با تغییر شبه تصادفی
استفاده میشود .فرض بر این است که حالت های آینده فقط به وضعیت فعلی بستگی دارد ،نه به رویدادهایی که
قبل از آن رخ داده است یعنی ویژگی مارکوف را فرض می کند.
این مدل اساسا در توالی صف ،اینترنت ،،سیستم موجودی ،بیو انفورماتیک ،توالی ،DNAشبکه ژنتیکی ،داده کاوی ،تشخیص الگو و بسیاری
از سیستم های عملی دیگر استفاده می شود.
روش اساسی اصلی فرآیند زنجیره مارکوف گرفتن دو حالت است که در حال گذار از یک حالت به حالت دیگر هستند،
بین یک عدد محدود و قابل شمارش از حالت ممکن ،یکی از تعداد نامتناهی فرآیند است که فرآیند بعدی فقط به آن بستگی دارد.
روند فعلی و نه بر اساس وقایعی که قبل از آن اتفاق افتاده است .به این نوع بی حافظه ،ویژگی MARKOVمی گویند.
بنابراین ،مارکوف از مجموعه داده های بسیار بزرگ نمونه برداری می کند .مارکوف یکی از مهم ترین مفاهیم در علوم کامپیوتر را زنجیره می کند.
مثالی دیگر عادات غذایی موجودی است که فقط انگور ،پنیر و کاهو میخورد وعادات غذایی او از قوانین زیر پیروی
میکند :
او فقط یک بار در روز غذا میخورد .
اگر امروز پنیر بخورد فردا انگور یا کاهو را با احتمال برابر خواهد خورد.
• اگر امروز انگور بخورد فردا با احتمال 0.1انگور ،با احتمال 0.4پنیر و با احتمال 0.5کاهو خواهد خورد .
• اگر امروز کاهو بخورد فردا با احتمال 0.4انگور و با احتمال 0.6پنیر خواهد خورد .
عادات غذایی این موجود را میتوان با یک زنجیره مارکوف مدلسازی کرد به دلیل این که چیزی که فردا میخورد (حالت بعدی)
تنها به چیزی که امروز خورده است(حالت فعلی) بستگی دارد .یکی از ویژگی های آماری که میتوان در مورد این زنجیره ي
محاسبه کرد امید ریاضی درصد روزهایی است که انگور خوردهاست (در یک دوره طوالنی ).
احتمال وضعیت آب و هوایی که آب و هوا در طول روز را نشان میدهد و هم به صورت بارانی و هم آفتابی مدل میشود ،توسط یک
ماتریس انتقال ارائه داده میشود .ماتریس Pیک مدل آب و هوایی را نشان میدهد به طوریکه روز بعد یک روز آفتابی ،با احتمال
90 %آفتابی است و روز بعد یک روز بارانی ،با احتمال 50%آفتابی است.
با استفاده از زنجیره مارکوف ارتقاء ،تنزل ،انتقال ،استخدام و ترک خدمت کارکنان را می توان مشخص نمود.
ضرورت استفاده از زنجیره مارکوف به عنوان یکی از روشهای پیش بینی عرضه داخلی که به بررسی وضعیت نقل و انتقاالت پرسنلی
و جابجائی داخلی درون سازمانها می پردازد ،در اینجا آشکار می گردد چرا که تکنیکهای علمی و معتبر آن راهنمای مناسبی برای حفظ تعادل
سرمایه های انسانی در حین تغییر و توسعه می باشد.
مدل حمل و نقل به مفهوم انتقال یک چیز از مکانی به مکان دیگر بدون تغییر می پردازد .فرض بر این است که هر
گونه آسیب در مسیر پیامدهای منفی دارد و بنابراین برای تجزیه و تحلیل سیستم های حمل و نقل و یافتن
کارآمدترین مسیر برای تخصیص منابع استفاده می شود.
حمل و نقل همواره یکی از مهم ترین عوامل اثرگذار بر ساختار شهرها بوده است .ریشه برخی از مشکالت موجود درحمل و نقل شهری
در عدم توجه به کاربری زمین و حمل و نقل در ساختار یکپارچه ،و منفک پنداشتن این دو زیرسیستم در برنامه ریزی ها و به تبع آن م
دل سازی ها قرار دارد .به همین دلیل در کشورهای توسعه یافته تالش های گوناگونی در زمینه مدل سازی حمل و نقل با توجه به سی
ستم ها ،متغیرهای گوناگون شهری ،روش ها ،و نظریات مختلف صورت گرفته است ..در این میان با توجه به تعدد مدل های توسعه یا
فته و تفاوت بنیان های نظری و روش های به کارگرفته شده در آنها ،مرور و بررسی مدل های موجود در این زمینه و اولویت بندی آنها
ضروری است.
مشکل ممکن است ماهیت متعادل یا نامتعادل داشته باشد .اگر مجموع تقاضا با مجموع عرضه برابر نباشد ،آن را مشکل نامتعادل می نامیم و
با حرکات ساختگی می توان آن را به مسئله متعادل تبدیل کرد.