فرزاد دیده ور - دانشگاه صنعتی امیرکبیر

خدمات ویژه: هیئت علمی دانشجویان دانش آموختگان کارکنان

مطالب پایگاه

اعضای هیات علمی

اینترنت

پست الکترونیک

اتوماسیون اداری و مکاتبات

پورتال آموزشی و پژوهشی

سامانه آموزش الکترونیک

مدیریت یادگیری - دروس حضوری

سامانه ارتقای اساتید(اوج)

سامانه جامع نظام پیشنهادها

سامانه یکپارچه کتابخانه‌ها

سامانه مدیریت یکپارچه آموزش کارکنان

دانشگاه صنعتی امیرکبیر

سامانه رزومه

فرزاد دیده ور

استادیار
دانشکده ریاضی و علوم کامپیوتر
گروه آموزشی علوم کامپیوتر

دریافت با فرمت PDF English

پست الکترونیک:

didehvar

aut.ac.ir

شماره تماس:

h-index (Scopus):

10.00

ارجاعات (Scopus):

322

رساله‌های دکتری

عنوان پایان‌نامه

توسط

تاریخ دفاع

ارائه الگوریتم های تقریبی برای مسائلی در حوزه مسیر یابی خود رو VRP

هانیه فلاح اسلاملو

آذر 1399

توسعه مفهوم پوش محدب با در نظر گرفتن زوایای دلخواه

سعید آسعیدی

اسفند 1397

اتخاب پارامترهای مناسب در حیطه الگوریتم های پارامتر ثابت برای برخی از مسائل هندسه محاسباتی

فرنوش خداکرمی

دی 1395

شار ریچی در فضای مترهای ریمانی و برخی کاربردهای آن در علوم کامپیوتر

هاجر قهرمانی گل و اسدالله رضوی
استاد راهنمای دیگر:

شهریور 1394

مدلسازی و توسعه روش های حل تقریبی کارا برای مساله مسیر یابی باز وسیله نقلیه ناهمگن ثابت

مجید یوسفی خوشبخت و فرهاد رحمتی
استاد راهنمای دیگر:

اردیبهشت 1393

منطق های چند ارزشی از دیدگاه نظریه مدل و محاسبات

نازنین روشندل توانا و مسعود پورمهدیان
استاد راهنمای دیگر:

شهریور 1390

پایان‌نامه‌های کارشناسی ارشد

عنوان پایان‌نامه

توسط

تاریخ دفاع

نواقص احتمالی تست تورینگ و ارائه ی برخی راهکارها برای بهبود آن

علی سمیعی

شهریور 1404

تحلیل عملکردی بازیکنان فوتبال برای شناسائی بازیکنان برتر در فاز هجومی و پبش بینی ارزش آن ها

حسین امانی جونقانی

بهمن 1402

یافتن بهترین مسیر حرکت در زمان بیماری پاندمیک

امیرصادق میرگلوی بیات

بهمن 1402

محاسبه پذیری و پیچیدگی محاسباتی منطق پویای گزاره ای

محمدجواد حسین پور

شهریور 1402

ماشین های تورینگ فازی و نقش UTM در آن

نریمان ایمانی جاجرمی

شهریور 1402

حل مسئله مسیریابی فروشنده دوره گرد چندگانه باالگوریتم بهینه سازی ازدحام ذرات و رویکرد نخست خوشه بندی سپس مسیریابی

صدرا امیریزدانی بناب

شهریور 1402

پیاده سازی و مطالعه الگوریتم ها در مسئله ی گالری هنر

شیوا مالکی ورنوسفادرانی و علی محدث خراسانی
استاد راهنمای دیگر:

اسفند 1400

ارایه یک مدل بهینه برای تبادل خودکار ارز دیجیتال

محمدرضا نامجو و علی محدث خراسانی
استاد راهنمای دیگر:

مهر 1400

موقعیت یابی بر روی زمین 1.5-بعدی به کمک دیدپذیری نقاط

ستاره حرفی مریدانی و علی محدث خراسانی
استاد راهنمای دیگر:

مهر 1400

ساخت ملودی برای اشعار فارسی بر اساس آواشناسی

فرشاد جعفری
استاد راهنمای دیگر: امین غیبی

شهریور 1400

تجزیه و تحلیل شباهت ها در ساختار موسیقی ایرانی به روش هندسی

دانیال عبرت

شهریور 1400

شناسایی چهره با استفاده از نمایش تنک هسته ای در دادهای عظیم

مجتبی امیری رویندزق و محمدحسن شیرعلی شهرضا
استاد راهنمای دیگر:

تیر 1399

ارائه ی یک الگوریتم بهبود یافته برای حل مسائل رتبه بندی بهینه

صدرا محمدشیرازی

شهریور 1398

محاسبه پذیری در ماشین حالات متناهی

انوش سیاه کار
استاد راهنمای دیگر: زاهد رحمتی

اسفند 1397

پیچیدگی محاسبه یافتن تعادل نش و الگوریتمهای تقریبی

کوشا سمیعی فر

مهر 1397

(n)زیگما مجموعه ها و ارتباط آن با مجموعه های شمارش پذیر بازگشتی

علیرضا محمودیان

مهر 1397

مدل سازی و محاسبات ازهم گسستگی اجتماعی و استقرار مجدد جامعه

مریم شریعتمداری

اردیبهشت 1397

پیش بینی و تشخیص داکتال کارسینوما و مسایل محاسباتی آن

محمد بوداغی

فروردین 1397

حل مسئله های مسیر یابی وسایل نقلیه محدودیت دار به روش محاسبات کوانتومی

پدرام جعفری قمی

مهر 1396

نهان نگاری داده در پروتکل HTTP/2 بااستفاده از لایه گذاری فایل های چند رسانه ای

علی عبد سعدون العمیری و محمدحسن شیرعلی شهرضا
استاد راهنمای دیگر:

شهریور 1396

یک چارچوب چند منبعی فرا سازگاربرای اصلاح باور

شهاب ابراهیمی

دی 1395

تشخیص سلولهای سرطانی با استفاده از تکنیکهای پردازش تصویر و یادگیری ماشین

عباس اسلامی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

تیر 1395

کشف کنترل پذیری در شبکه های زیستی

فربد فرهور و فاطمه زارع میرک آباد
استاد راهنمای دیگر:

بهمن 1394

پیشگویی تاخوردگی اجماع در یک مجموعه از توالی های آر ان ای غیر متوازن

محمدرضا واحدی و فاطمه زارع میرک آباد
استاد راهنمای دیگر:

بهمن 1394

رویکرد متاهیوریستیک برای حل مسیریابی وسایل نقلیه به کمک پنجره زمانی

فهیمه یارمحمدی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

بهمن 1394

تشخیص اشیاء با استفاده از مکانیسم سیستم بینایی مغز

لیدا صباغ زاده قمی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

بهمن 1393

استفاده از روش نمونه مورچگان اصلاح شده برای مسئله مسیریابی تعمیم یافته

محمدحسین نویدادهم

بهمن 1393

تشخیص اشیاء چند کلاسه با واژه نامه عمومی از ویژگی های بینایی

زهرا دارایی باف و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

مهر 1393

الگوریتم جهان های موازی : یک رویکرد فرا اکتشاقی برای حل مسئله VRP

علی رضا اکبری بیات

مهر 1393

ارائه الگوریتم های اجتماع مورچگان و زنبور عسل برای مسائل بهینه سازی مقید با استفاده از لاگرانژ افزوده

اصغر مهدوی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

مهر 1393

ارائه الگوریتم های اجتماع مورچگان و زنبور عسل برای مسائل بهینه سازی مقید با استفاده از لاگرانژ افزوده

اصغر مهدوی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

مهر 1393

پوشش زیرمجموعه های مجموعه اعداد طبیعی توسط مجموعه های محاسبه پذیر و محاسبه پذیر شمارشی

محسن منصوری

آبان 1392

طراحی IDS بوسیله نظریه بازی ها و یادگیری ماشین

محمدهادی علی اکبر
استاد راهنمای دیگر: مجتبی مظفری

آبان 1392

نهان کاوی کور از تصاویر

زهرا طاهری

مهر 1392

پنهان نگاری در تصویر با استفاده از تبدیلات مالتی رزولوشن

ریحانه حیدرزاده ریزی
استاد راهنمای دیگر: محمدابراهیم شیری احمدآبادی

مهر 1392

تحلیل مسیریابی وسایل نقلیه دارای پنجره زمانی با استفاده از الگوریتم ژنتیک اصلاح

مهدی بهزادی منش
استاد راهنمای دیگر: مجتبی مظفری

مهر 1392

توسعه چند الگوریتم فرا ابتکاری برای مسئله درخت فراگیر با کمترین هزینه مسیر یابی

ستار ستاری

بهمن 1391

بهبود کارآیی یادگیری تقویتی با استفاده از تکنیک های یادگیری ماشین

علی علیزاده منصوری و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

بهمن 1391

خوشه بندی گراف بر اساس مدل آمیخته

راحله نماینده

آبان 1391

احراز هویت اشخاص با بهره گیری از بایومتریک چهره

زهرا شجاعی

آبان 1391

بررسی الگوریتم های پیدا کردن موتیف در توالی های زیستی

دلارام پودیی
استاد راهنمای دیگر: بهروز بیدآباد

آبان 1390

الگوریتم های پیش بینی ژن

یوسف صیفاری

آبان 1390

ساده ساز ی متن با استفاده از استخراج هستی شناسی و تشخیص الگو

نعیم پاییده و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

آبان 1390

استفاده از زیست سنج چهره برای تشخیص هویت افراد

زینب حاجی محمدی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

مهر 1390

بازی های رقابتی در سیستم های چند عامله

اصغر حقی

مهر 1390

مدل سازی مبتنی بر عامل برای رفتار جمعی در سیستم های پیچیده

دانیال قارونی فرد

اسفند 1389

مهارت آموزی عامل های هوشمند در یادگیری تقویتی سلسله مراتبی در محیط گسسته نیمه- مارکف

فرهاد سروری و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

آذر 1389

بررسی ترتیب تولید در مجموعه های طبیعی وحقیقی

سعید اسعیدی

آذر 1389

پیش بینی ساختار سوم پروتئین به کمک خصوصیات هندسی

لیلا قنبری ممان

بهمن 1388

ارائه یک فرمول بندی از یادگیری محتوا وبررسی جامعیت آن در مدلهای آماری و محاسباتی

محمدرضا ابوالقاسمی دهاقانی

آذر 1388

تشخیص هویت با استفاده از بایومتریک صورت

رقیه عالمی و محمدابراهیم شیری احمدآبادی
استاد راهنمای دیگر:

آذر 1388

تحلیل روش weihrauch درآنالیز محاسباتی

علی اکبر صفی لیان
استاد راهنمای دیگر: مسعود پورمهدیان

آبان 1388

طراحی مدلی برای مدیریت موجودی درسیستم های توزیع چند کاناله زنجیره تامین به وسیله تئوری بازی

مهتاب السادات حسینی نیا و میر مهدی سیداصفهانی
استاد راهنمای دیگر:

بهمن 1387

پیچیدگی اثبات

شرر احمدی
استاد راهنمای دیگر: مسعود پورمهدیان

شهریور 1387

مسائل طراحی مکانیزم و تعیین برنده در حراجیهای ترکیبیاتی از نگاه نظریه بازیهای الگوریتمی

احسان ایرانمنش

مرداد 1387

بررسی نظریه سیستمهای دینامیکی و نظریه اندازه بااستفاده از نظریه دامنه

عاطفه کشاورزی زفرقندی و مسعود پورمهدیان
استاد راهنمای دیگر:

آبان 1386

مسیریلبی حرکت بااستفاده از ترکیب رویت پذیری - ورونوی

ابوالفضل پورعیدی و علی محدث خراسانی
استاد راهنمای دیگر:

مهر 1386

تحویل پذیری های غیر یکنواخت در زمان فازی

ایلیا الماسی

خرداد 1405

مقالات مجلات

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, Zakir Hussain Ahmed, "Fixed fleet open vehicle routing problem: Mathematical model and a modified an colony optimization", Bulletin of The Polish Academy of Sciences-Technical Sciences, vol. 72, no. 1, pp.1-10, 2024.

H. Fallaheslamloo, F. Didehvar, F. Rahmati, "An approximation algorithm for the balanced capacitated minimum spanning tree problem", Scientia Iranica, vol. 0, no. 0, , 2020.

H. Fallaheslamloo, F. Didehvar, F. Rahmati, "Approximation Algorithms for the Load-Balanced Capacitated Vehicle Routing Problem", Bulletin of The Iranian Mathematical Society, vol. -, no. 0, , 2020.

S. Asaeedi, F. Didehvar, A. Mohades Khorasani, "NLP Formulation for Polygon Optimization Problems", Mathematics, vol. (1)7, no. 24, pp.1-25, 2018.

H. Ghahremani Gol, F. Didehvar, Asadollah Razavi, "A Distance Function for Computing on Finite Subsets of Euclidean Spaces", Acta Mathematicae Applicatae Sinica-English Series, vol. 34, no. 1, pp.197-208, 2018.

S. Asaeedi, F. Didehvar, A. Mohades Khorasani, "?-Concave hull, a generalization of convex hull", Theoretical Computer Science, vol. 702, no. 1, pp.48-59, 2017.

H. Ghahremani Gol, Assadolah Razavi, F. Didehvar, "On Intrinsic Properties of Ricci Flow Curve", Iranian Journal of Science & Technology, vol. 41, no. 1, pp.237-241, 2017.

F. Khodakarami, F. Didehvar, A. Mohades Khorasani, "1.5D terrain guarding problem parameterized by guard range", Theoretical Computer Science, vol. 661, no. 0, pp.65-69, 2017.

Y. Seyfari, F. Didehvar, Hadi Banaee, F. Zare Mirakabad, "Evaluating the accuracy of splice site prediction based on integrating Jensen-Shannon divergence and a polynomial equation of order 2", International Journal of Computer Applications, vol. 151, no. 5, pp.1-5, 2016.

Majid Yousefi Khoshbakht, Azam Dolatnejad, F. Didehvar, F. Rahmati, "A Modified Column Generation to Solve the Heteregoneous Fixed Fleet Open Vehicle Routing Problem", Journal of Engineering, vol. 0, no. 0, pp.1-13, 2016.

H. Ghahremani Gol, F. Didehvar, A. Razavi, "Vehicle routing problem for minimizing consumption of energy in three dimensional space", Kuwait Journal of Science, vol. 43, no. 2, pp.139-150, 2016.

M. Pourmahdian, Nazanin Roshandel Tavana, F. Didehvar, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

F. Khodakarami, F. Didehvar, A. Mohades Khorasani, "A fixed-parameter algorithm for guarding 1.5D terrains", Theoretical Computer Science, vol. 595, no. 1, pp.130-142, 2015.

Majid Yusefi Khoshbakht, F. Didehvar, F. Rahmati, "A Mixed Integer Programming Formulation for the Heterogeneous Fixed Fleet Open Vehicle Routing Problem", Journal of Optimization In Industrial Engineering, vol. 8, no. 18, pp.37-46, 2015.

Ebrahim Zarei Zefreh, F. Didehvar, Nasrin Nasrabadi, "A Hybrid Iterative Algorithm For Reconstruction Of X-Ray Computed Tomography", Malaysian Journal of Computer Science, vol. 28, no. 1, pp.46-58, 2015.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "An Effective Rank Based Ant System Algorithm for Solving the Balanced Vehicle Routing Problem", International Journal of Industrial Engineering-Theory Applications and Practice, vol. 23, no. 1, pp.45-55, 2015.

Ebrahim Zarei Zefreh, F. Didehvar, Ali Rajaei, "Accelerated Iterative Algorithms in Reconstruction of Computerized Tomography Images", International Journal of Engineering and Technology(Uae), vol. 2, no. 2, pp.146-158, 2014.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "An Efficient Solution for the Vehicle Routing Problem by Using a Hybrid Elite Ant System", International Journal of Computers Communications & Control, vol. 9, no. 3, pp.340-347, 2014.

S. Sattari, F. Didehvar, "Variable Neighborhood Search Approach for the Minimum Routing Cost Spanning Tree Problem", International Journal of Operations Research, vol. 10, no. 4, pp.153-160, 2014.

Mohammad Sedighpour, M. Yousefi Khoshbakht, Vahid Ahmadi, F. Didehvar, F. Rahmati, "Solving the Open Vehicle Routing Problem by a Modified Ant Colony Optimization", Kuwait Journal of Science and Engineering, vol. 40, no. 3, pp.12-32, 2013.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "Solving the heterogeneous fixed fleet open vehicle routing problem by a combined metaheuristic algorithm", International Journal of Production Research, vol. 51, no. 24, pp.1-11, 2013.

S. Asaeedi, F. Didehvar, Aliakbar Safilian, "Enumeration Order Equivalence in Rational Numbers", Computer Technology and Application, vol. 4, no. 11, pp.615-619, 2013.

Shahrood Azami, M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "An Ant Colony algorithm hybridized with insert and swap heuristics for the Vehicle Routing Problem with Time Windows", , vol. 9, no. 4, pp.15-30, 2013.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "An Improved Modified Tabu Search Algorithm to Solve the Vehicle Routing Problem with Simultaneous Pickup and Delivery", Journal of Advances In Computer Research, vol. 3, no. 4, pp.55-66, 2013.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "Modification of the Elite Ant System in Order to Avoid Local Optimum Points in the Traveling Salesman Problem", Wulfenia, vol. 19, no. 9, pp.181-195, 2012.

M. Yousefi Khoshbakht, F. Didehvar, F. Rahmati, "A Hybrid Ant Colony System for the Heterogeneous Fleet Vehicle Routing Problem", , vol. 9, no. 2, pp.191-207, 2012.

M.S. Hoseini Nia, M. Seyed Esfahani, F. Didehvar, A. Haghi, "Inventory competition in a multi channel distribution system: The Nash and Stackelberg game", Scientia Iranica, vol. 20, no. 3, pp.846-854, 2012.

F. Didehvar, M. Yousefikhoshbakht, F. Rahmati, M. Sedighpour, "An Effective Imperialist Competitive Algorithm for Solving the Open Vehicle Routing Problem", , vol. 9, no. 1, pp.20-34, 2012.

R. Alami, M.E. Shiri Ahmad Abady, F. Didehvar, Z. Hajimohammadi, "NEW FACIAL FEATURE LOCALIZATION ALGORITHM USING ADAPTIVE ACTIVE SHAPE MODEL", International Journal of Pattern Recognition and Artificial Intelligence, vol. 26, no. 1, , 2012.

Majid Yousefikhoshbakht, F. Didehvar, F. Rahmati, "Application a Modified Imperialist Competitive Algorithm for Solving the Traveling Salesman Problem", , vol. 1, no. 2, pp.29-49, 2012.

N. Roshandel, M. Pourmahdian, F. Didehvar, "Compactness in First Order Lukasiewicz Logic", Logic Journal of The Igpl, vol. 0, no. 0, , 2011.

F. Didehvar, Kaveh Ghasemlou, M. Pourmahdian, "Effectiveness in RPL, with applications to continuous logic", Annals of Pure and Applied Logic, vol. 161, no. 6, pp.788-799, 2010.

F. Didehvar, Ali Mehrabi, Fatemeh Raee, "On Unique Independence Weighted Graphs", International Journal of Contemporary Mathematical Sciences, vol. 1, no. 531, pp.257-264, 2009.

F. Didehvar, Changiz Eslahchi, "An algorithm for rank aggregation problem", Applied Mathematics and Computation, vol. 189, no. 1, pp.1847-1858, 2007.

Shahriar Arab, F. Didehvar, Changiz Eslahchi, Mahdi Sadeghi, "Helix segment assignment in proteins using fuzzy logic", Iranian Journal of Biotechnology, vol. 5, no. 2, pp.93-99, 2007.

F. Didehvar, "On a Class of Recursively Enumarable Sets", Mathematical Logic Quarterly, vol. 45, no. 4, pp.467-470, 1999.

دروس ارائه شده

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Theory of Computation

4051

Advanced Computational Complexity

4051

Computer Prog.

4051

Special Topics in Theory of Computing

4042

Theory of Computation

4042

Computer Prog.

4042

Advanced Theory of Computation

4041

Introduction to Logic & Set Theory

4041

Computer Prog.

4041

Computational Complexity

4032

Introduction to the Theory of Computation

4032

Computer Prog.

4032