نام پژوهشگر: روح اله یوسف پور
معصومه یعقوبی استانی سید هادی ناصری
اخیراً مسایل برنامه ریزی خطی فازی مورد توجه بسیاری از محققین حوزه تحقیق در عملیات و ریاضیات فازی قرار گرفته است. شهرت برنامه ریزی خطی فازی اساساً به واسطه توانایی تفسیر و مدل سازی مفاهیم نا دقیق و مبهم است. از این رو مدل برنامه ریزی خطی فازی یکی از مهم ترین و مناسب ترین مدل ها برای تفسیر و تعیین تصمیم بهینه می باشد .در حوزه تحقیق در عملیات انواع مختلفی از این مسایل پیشنهاد شده است که ما در این پایان نامه سه نوع ، مدل برنامه ریزی خطی فازی را مورد بحث قرار می دهیم :(1 مساله برنامه ریزی خطی با اعداد فازی (fnlp) 2) مساله برنامه ریزی خطی با متغیرهای فازی (fvlp) 3) مساله برنامه ریزی خطی تماماً فازی (fflp) ، که با استفاده از توابع رتبه بندی به حل مسایل با لا می پردازیم . در سراسر پایان نامه اعداد فازی بکارگرفته شده همگی از نوع ذوزنقه ای می باشند ، در مدل سوم دو روش برای حل مساله برنامه ریزی خطی تماماً فازی پیشنهاد می شود ، در روش اول با بکارگیری از ضرب ganesan [8] و با اعمال تابع رتبه بندی خاص ، مساله برنامه ریزی خطی تماماً فازی به یک مساله برنامه ریزی خطی قطعی تبدیل می شود که از حل مساله برنامه ریزی خطی قطعی بدست آمده یک جواب بهینه برای مساله اصلی به دست می آید به طور مشابه ، می توان ضرب اعداد فازی مثلثی را تعریف کرده و به کمک آن به حل مساله برنامه ریزی خطی تماماً فازی با اعداد مثلثی پرداخت . در روش دوم همه ضرایب و متغیرهای مساله ، نوع یکسانی از اعداد فازی ذوزنقه ای می باشند که برای حل این مسایل ابتدا از نگاشت تبدیل اعداد ذوزنقه ای به مثلثی استفاده کرده و مساله با اعداد ذوزنقه ای را به مساله با اعداد مثلثی تبدیل می کنیم ، سپس با استفاده ازمفهوم نزدیکترین تقریب عدد فازی مثلثی ، مساله اصلی به دو مساله کمکی (max,min) تبدیل می شود که با حل این دو مساله یک بردار جواب شامل اعداد مثلثی متقارن به دست می آید. جواب مساله کمکی بیشینه سازی ، مرکز وجواب مسئله کمکی کمینه سازی کناره های جواب محسوب می شود. در نهایت با استفاده از نگاشت تبدیل مثلثی به ذوزنقه ای به جواب ذوزنقه ای برای مساله اصلی دست می یابیم.
مریم تقی زاده اشکوایی بهرام صادقپور
در این پایان نامه، توسعه و کاربرد نمودارها را شرح داده و از طریق مطالعه شبیه سازی، خواص آنها را مورد ارزیابی قرار می دهیم. ابتدا به معرفی کنترل کیفیت آماری و طرح سانسور می پردازیم. در فصل دو، برای فرآیند با داده های سانسور شده از راست، مسائلی از مشاهده انحراف پارامترهای مقیاس و شکل توزیع وایبل را نشان می دهیم. در فصل سه، مشابه فصل دو، برای فرآیند با داده سانسور شده از راست، مسائلی از مشاهده انحراف در پارامتر مقیاس و همچنین در هر دو پارامتر توزیع لگ لجستیک را نشان می دهیم.
عزیز اله بابایی روح اله یوسف پور
در ارتباط با انتقال و توزیع گاز از طریق لوله زمینه های زیادی برای بهینه سازی مطرح است. در این مطالعه تلاش شده است به زمینه های مفید و قابل توجه از نظر میزان صرفه جویی اقتصادی پرداخته شود. بحث مهم در خطوط انتقال، کاهش میزان مصرف سوخت در ایستگاه های تقویت فشار می باشد که مساله با ارائه ی مدل ریاضی برای محدودیت ها وتابع هدف مطرح شده است وسپس به حل آن از طریق الگوریتم فراابتکاری مورچگان پرداختیم. زمینه ی مهم دیگر در بحث انتقال و توزیع، موضوع انتخاب قطر مناسب با توجه به حجم و فشار گاز عبوری از لوله و هم چنین توپولوژی شبکه ی گاز است. ما در ابتدا جدا گانه، بدونه در نظر گرفتن توپولوژی شبکه اقدام به سایزینگ(تعیین قطر) لوله پرداختیم و سپس اقدام به معرفی مدل کاملتر و جامعی که هم زمان به بهینه سازی قطر لوله و توپولوژی شبکه می پردازد نموده ایم. درخت شبکه، را از طریق الگوریتم" مینیمم درخت فراگیر"(mst) پیدا کرده و سپس با ابتکار تغییر دلتا به بهبود درخت حاصل می پردازیم و تا حد ممکن هزینه ها را کاهش می دهیم. موضوع حداقل خرید گاز با تابع هدف خطی موضوع مهم دیگر است که مطرح شده است. برای حل این مساله، ابتدا با تعریف مساله دوم و حل آن با برنامه ریزی خطی تکه ای (plp) نقطه اولیه مناسب برای حل مساله اول بدست می آوریم وبا به کار گیری plp برای مساله اول در نهایت به جواب بهینه می رسیم.
جابر رمضانی طوسی روح اله یوسف پور
امروزه مشتریان عمومی آب بر این باورندکه وقتی شیرهای آب را باز می کنند آب سالم با فشار مناسب توسط یک سیستم توزیع آب دراختیارشان قرارخواهدگرفت. سیستم های عرضه ی آب شهری، بخش اساسی و زیربنای عمومی یک شهر را تعیین می کند، لذا باید هزینه های زیادی را در دوره های مختلف برای احداث، نگهداری و تعمیرات آن پرداخت نمود. منظور از مدل سازی شبکه، کاهش هزینه های سرمایه گذاری و نحوه ی حرکت بهینه ی جریان در شبکه برای حداقل کردن هزینه های متغیر است. موضوع این پایان نامه، مینیمم سازی هزینه ی برنامه ریزی عملیاتی شبکه های آب پرفشار در یک افق زمانی محدود با در نظر گرفتن میزان مصرف است. در فصل اول تعاریف و مفاهیم تابع غیرخطی و بهینه سازی و انواع مدل مطرح شده است. در فصل دوم به بررسی تاریخچه ی شبکه ی آب و آشنایی با انواع شبکه ی آب پرداخته شد. در ادامه و در فصل سوم مدلسازی ریاضی عناصر شبکه ی آب و بهینه سازی آن ها انجام شد و در فصل آخر مدل های جامع و بهینه ی شبکه ارایه گردید. در این پایان نامه ما مدل های ریاضی را برای برنامه ریزی عملیاتی در شبکه های آب نوشیدنی توسعه دادیم و برای پمپ ها و سوپاپ ها ، فرمول عدد صحیح ترکیبی غیرخطی را مطرح کردیم بدون اینکه عبارات m بزرگ یا غیرخطی بودن اضافی را ارایه کنیم.
آتنا کاملی اله بخش یزدانی چراتی
در این پایان نامه با بکار گیری روش بی-اسپلاین اجزای محدود، جواب تقریبی معادله را برای اعداد رینولدز بزرگ، بدست آورده ایم. ابتدا با استفاده از تبدیل هاف - کول، معادله غیر خطی برگر را به معادله خطی گرما تبدیل می کنیم و روش اجزای محدود با پایه های بی - اسپلاین مربعی را برای حل معادله بکار می بریم. سپس، با استفاده از روش بی - اسپلاین مربعی اجزای محدود و روش گسسته سازی زمان نیز، معادله برگر را به دستگاهی از معادلات دیفرانسیل معمولی تبدیل کرده و در نهایت با استفاده از روش توماس دستگاه معادلات را حل می کنیم.
فاطمه نظری هادی ناصری
چکیده در این تحقیق، یک مساله برنامه ریزی کسری دوسطحی خطی را مورد بررسی قرار می دهیم. برای حل یک مساله برنامه ریزی کسری دوسطحی خطی مدل های متفاوتی ارائه شده است که تمام روش های ارائه شده تکنیک هایی برای حل مساله اند اما پشتوانه تئوری محکمی ندارند. در این تحقیق، براساس فرآیند خطی سازی، مساله برنامه ریزی فوق به یک مساله برنامه ریزی دوسطحی معادل تبدیل شده، بدین صورت که با اعمال روش متغیر چارنز وکوپر روی توابع هدف و قیود مدل برنامه ریزی کسری دو سطحی خطی، مساله به یک مدل برنامه ریزی دو سطحی خطی تبدیل می شود و در انتها جواب مدل به کمک روش k ام –بهترین بدست می آید که این روش یکی از پرکاربردترین روش ها برای حل مساله برنامه ریزی دوسطحی خطی است.
شهرام پورداد روح اله یوسف پور
تشخیص لبه یکی از مهمترین مباحث پردازش تصویر است. اساسی ترین مسئله که در مرحله ی پیش پردازش تصویر باید مورد بحث قرار گیرد، تحلیل و تجزیه بینایی است که به طور کلی درخصوص شناسایی محدوده و جزئیات مهم در مورد یک تصویر می باشد. بنابراین، این تکنیک در شناسایی و قطعه بندی اشیا به تحلیل پردازش های سطح بالا کمک می کند. مهمترین گام در تشخیص لبه که موفقیت دستیابی به نقشه لبه به آن وابسته است، تعیین آستانه می باشد. در این تحقیق سعی می شود برای تشخیص لبه از الگوریتم کلونی مورچه الهام گرفته و از آن به عنوان بهینه سازی کلونی مورچه یاد می شود. برای تعیین محاسبه آستانه از تکنیک جدید نسبت فیشر ، استفاده می شود. برای ارزیابی این طرح، پارمترهای آماری در چند تصویر نمونه در آزمونی تجربی مورد مقایسه قرار می گیرند. در هنگام استخراج ویژگی های مهم یک تصویر، سعی می شود تا جای ممکن اطلاعات غیرضروری و بی اهمیت کنارگذاشته شود. روش های بسیاری برای حذف اطلاعات اضافی دراین زمینه مورد استفاده قرار می گیرند، اما قابل اعتمادترین و رایج ترین آن ها روش تخصیص آستانه طول موج با استفاده از آستانه سخت است. روش جدید پیشنهادی در این پایان نامه روی تصاویر بدون نویز آزمایش می شود. شناسایی لبه ی تصاویر بدون نویز نتیجه بهتری نسبت به شناسایی لبه در تصاویر معمولی را نشان می دهد. واژه های کلیدی: بهینه سازی کلونی مورچه ، تشخیص لبه، نسبت فیشر، حذف نویز، آستانه، ارزیابی آماری.
فاطمه خانیانی ابوالفضل طالشیان
در ابتدا لازم است به این موضوع اشاره کنیم که برای مطالعه ی یک مدل هندسی از ستون فقرات انسان، باید یک حدمینیمم از یک تابع با مقدار حقیقی که روی یک ضرب از گروههای متعامد ویژه تعریف شده، پیدا کنیم. برای نتیجه گرفتن از ساختار گروه لی آن، از روش نیوتن روی این خمینه استفاده می کنیم.
مجتبی آقاجان زاده میانده روح اله یوسف پور
از زمان روی کار آمدن روش های مجموعه ی سطح به عنوان ابزارهای انتشار مقابل و اولین استفاده از آن ها درقطعه بندی لبه ای در اوایل دهه ی 90 این روش ها به طور فزاینده ای به عنوان یک زیرساخت کلی برای قطعه بندی تصویر معروفیت پیدا کردند. در این مقاله، ما طبقه ی خاصی از متدهای قطعه بندی مجموعه ی سطح ناحیه محور را ارائه خواهیم کرد و توضیح می دهیم که چگونه می توان همگی آن ها را از یک زیرساخت آماری متداول استخراج کرد. هدف از طرح های قطعه بندی ناحیه محور تکه بندی دامنه ی تصویر با تناسب دهی دائمی مدل های آماری با شدت رنگ، بافت یا حرکت در هر یک از مجموعه های مناطق مختلف است. در مقابل طرح های لبه ای مانند اسنیک های کلاسیک، متدهای ناحیه محور از حساسیت کمتری نسبت به نویز برخوردار هستند. برای برخی تصاویر، توابع هزینه ی متناظر، مینیمم محلی کمتری دارند که همین عامل آن ها را بخوبی مناسب متدهای بهینه سازی محلی مانند متدهای مجموعه ی سطح می سازد. در ادامه، توضیح خواهیم داد که چگونه ادغام معیارهای سطح پایین مختلف به مجموعه ای از توابع هزینه منتهی می شود و اشاره ای نیز به روابط میان طرح های قطعه بندی مختلف خواهیم داشت. در زمینه ی نتایج تجربی، نشان می دهیم که چطور تابع مجموعه ی سطح در راستای تکه بندی صفحه ی عکس به دامنه هایی با رنگ یکسان، بافت، بافت دینامیک یا حرکت مورد استفاده قرار می گیرد. علاوه بر این، فرمولبندی بیزی امکان استفاده از دانش شکلی قبلی در متد مجموعه ی سطح را می دهد. همچنین مرور مختصری بر پیشرفت هایی که در این زمینه انجام گرفته اند خواهیم داشت.
مائده امینی روح اله یوسف پور
پیشرفتهایی که در سیستمهای پردازش ویدئویی صورت گرفته، امکان توسعه کنترل و مدیریت شهری و حمایت از امنیت عمومی جاده را فراهم آورده است. در این بین سیستمهای بینایی کامپیوتر برای ساخت تجهیزات و کنترل اتوماتیک ترافیک مورد توجه قرار گرفته است. در این رساله ما از تکنیکهای پردازش تصویر برای کنترل ترافیک هوشمند با استفاده از یک دوربین ثابت بهره بردهایم. بر خلاف روش های سنتی که خودروها را فقط به دسته سواری و غیر سواری تقسیم می کردند، روش بررسی شده قابلیت خوبی برای تقسیم بندی خودروها به دسته های بیشتر را با استفاده از خصوصیت "خطی بودن " دارد. این سیستم قادر به تشخیص، ردیابی و طبقهبندی وسایل نقلیه و به دست آوردن پارامترهای ترافیکی میباشد. در این سیستم روشی برای تشخیص خطوط ارائه میشود. انسدادهای به وجود آمده از سایه ها که باعث ایجاد مشکل در شمارش و طبقه بندی خودروها می شود از بین برده می شوند. خطوط جداکننده پیدا شده به نرمالسازی خصوصیات خودروها کمک میکنند که میتواند سایز خودرو را ثابت و دستهبندی خودورها را دقیقتر کند.
مهدیه امیری روح اله یوسف پور
مساله اعزام قطارها یکی از دشوارترین مسائل در سیستم های حمل و نقل محسوب می شود. این دشواری به دلیل ابعاد بزرگ مسائل واقعی و همچنین وجود عملیات های مختلف است.
محمد عمار امینی روح اله یوسف پور
این پایان نامه به معرفی فرمول بندی تنگ محدب برنامه های غیرخطی صحیح مرکب(آمیخته) شامل محدودیت های «فعال/غیرفعال» (محدودیتی جبری که فعال است اگر و تنها اگر یک متغیر «صفر/یک» متناظر با آن، مساوی با یک باشد) با استفاده از برنامه ریزی تفکیک پذیر و برنامه ریزی محدب می پردازد.