غلامرضا ستوده

غلامرضا ستوده     (EN Page)

مربی
شماره تماس: ۰۹۱۷۳۰۷۶۱۷۳
اتاق: 108
پست الکترونیکی: 

بیوگرافی

 

 

نام و نام خانوادگی:

غلامرضا  ستوده              

 

 

دانشکده و گروه محل کار:

دانشکده فنی و مهندسی، گروه کامپیوتر

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

gr_sotudeh@yahoo.com

آدرس سایت:

http://www.grsotudeh.ir

 

 

                                                                                                       تحصیلات

دوره دکتری:

 

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

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

دوره کارشناسی ارشد:

دانشگاه : صنعتی شریف تهران

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

دوره کارشناسی:

دانشگاه :  صنعتی شریف تهران

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

زمینه کاری:

روش­های رسمی توصیف و وارسی سیستم ها، نظریه زبانها و پیچیدگی محاسباتی، طراحی کامپایلر و زبانهای برنامه­سازی، طراحی الگوریتمها و پردازش موازی، تحلیل و طراحی سیستم­های MIS، طراحی پایگاه داده اراکل، سیستم­های فازی، پردازش زبان طبیعی، تست نرم افزار، مدلسازی و ارزیابی کارایی سیستمهای کامپیوتری، اعجاز علمی و ریاضی قرآن کریم

افتخارات:

مدال برنز المپیاد ریاضی دانش آموزی 72 و 73

سوابق کاری و اجرایی  :

  1. کارشناس نرم افزار  شرکت نبراس انفورماتیک تهران  به مدت دو سال (1379-1381)
  2. کارشناس نرم افزار  شرکت خدمات مهندسی عصر اندیشه شیراز  به مدت پانزده سال (1381-تاکنون)
  3. هیات علمی تمام وقت دانشگاه آزاد اسلامی شیراز (1381-تاکنون)

                                                                                                       

مقالات و کتب

    انتشارات علمی:

عنوان مقالات چاپ شده در مجلات علمی داخلی

  1. Gholamreza Sotudeh, Ali Movaghar; “ Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops”;  2014;  Journal of Computer & Robotics, Vol. 7, Num. 1; pp. 27-36
  2. غلامرضا ستوده، علی موقر رحیم آبادی؛ "وارسی نمادین گزاره‌های منطق زمانی فازی روی گراف برنامه فازی"؛ 1396؛ نشریه مهندسی برق و مهندسی کامپیوتر ایران (پژوهشکده برق جهاد دانشگاهی)، سال 15، شماره 1

 

عنوان مقالات چاپ شده در مجلات علمی خارجی

  1. Gholam Reza Sotudeh, Ali Movaghar; “Abstraction and approximation in fuzzy temporal logics and models”; 2015; Formal Aspect of Computing (Springer), Vol. 27, Num. 2; pp. 309-334
  2. Masoud EbrahimiGholamreza Sotudeh, Ali Movaghar; “Symbolic checking of Fuzzy CTL on Fuzzy Program”; 2018; Acta Informatica (Springer); Online (open access)

عنوان مقالات ارائه شده در همایش های معتبر داخلی

  1. غلامرضا ستوده، جعفر حبیبی؛ "کاربرد منطق توابع احتمالی در سیستم مکان یابی مسابقات شبیه سازی روبات های فوتبالیست"؛ 1380؛ هفتمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 420-428
  2. غلامرضا ستوده، سید مهدی ناصحی، مازیار گمرکچی؛ "معیاری برای یافتن کاندیداهای وجود کد تکراری"؛ 1385؛ دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 1148-1153
  3. ابراهیم فرجاه، سید علیرضا مهدوی فر، غلامرضا ستوده؛ "سیستم تعیین موقعیت وسایل نقلیه متحرک (AVL)"؛ 1386؛ چهارمین همایش ملی تجارت الکترونیک (وزارت بازرگانی)
  4. غلامرضا ستوده، حمید حاج سید جوادی؛ "صفحه بندی بهینه چارت سازمانی به عنوان یک مسئله NP_COMPLETE"؛ 1389؛ شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 167-172
  5. غلامرضا ستوده، حمید حاج سید جوادی؛ "الگوریتمی تقریبی برای صفحه بندی بهینه چارت سازمانی"؛ 1389؛ شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 173-180
  6. غلامرضا ستوده، علی موقر رحیم آبادی؛ "تقریب و تجدید در منطق و مدلهای زمانی فازی"؛ 1389؛ شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 160-166
  7. غلامرضا ستوده، علی موقر رحیم آبادی؛ "تعمیم مدل و منطق زمانی فازی به زمان حقیقی"؛ 1390؛ هفدهمین کنفرانس سالانه انجمن کامپیوتر ایران؛ صص. 517-524
  8. غلامرضا ستوده، غلامحسین ستوده؛ "اعجاز عددی و علمی آیات حاوی نام فلزات"؛ 1391؛ همایش رهیافت های علوم مهندسی در پرتو قرآن (دانشگاه آزاد اسلامی واحد مشهد مقدس)
  9. غلامرضا ستوده؛ "اعجاز عددی قرآن در اثبات حقانیت اهل بیت"؛ 1392؛ دومین کنفرانس اعجاز علمی قرآن حکیم (دانشگاه شهید بهشتی)؛ صص. 1-37

 

عنوان مقالات ارائه شده در همایش های معتبر خارجی

  1. Seyyed Mehdi Nasehi, Gholam Reza Sotudeh, Maziar Ghomrokchi; “ Source code enhancement using reduction of duplicated code”; 2007;  Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering; pp. 192-197
 

 

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

نام درس
 
نمایش 20 نتیجه
از 1
نام درس کد درس تعداد واحد گروه درسی زمان ارائه درس تاریخ امتحان ترم ارائه درس
پایگاه داده پیشرفته 319 0 نامشخص 97/10/26 - 10:30 ترم اول 1397
پردازش موازی 110835 0 چهار شنبه13:30 10:30 شماره کلاس 218م1عادی/ 97/10/26 - 10:30 ترم اول 1397
روش تحقیق 498 0 نامشخص 97/10/26 - 08:00 ترم اول 1397
سیستم عامل 102501 0 نامشخص 97/10/26 - 10:30 ترم اول 1397
سمینار 100656 0 نامشخص نامشخص ترم اول 1397
سمینار و روش تحقیق 100657 0 نامشخص نامشخص ترم اول 1397
مبانی اقتصاد مهندسی 1137 0 نامشخص 97/10/26 - 10:30 ترم اول 1397
مبانی کامپیوتر و برنامه سازی 718 0 نامشخص 97/10/17 - 10:30 ترم اول 1397
مبانی کامپیوتر و برنامه سازی 718 0 نامشخص 97/10/17 - 10:30 ترم اول 1397
مدل سازی و ارزیابی سیستم های کامپیتری 740 0 پنج شنبه10:15 07:30 شماره کلاس 119م1عادی/ 97/10/25 - 10:30 ترم اول 1397
پردازش موازی 110835 0 پنج شنبه16:29 13:30 شماره کلاس 118م1عادی/ 96/03/22 - 10:30 ترم دوم 1395
پردازش موازی 110835 0 پنج شنبه13:00 10:15 شماره کلاس 118م1عادی/ 96/03/22 - 10:30 ترم دوم 1395
پروژه 102678 0 نامشخص نامشخص ترم دوم 1395
پروژه نرم افزار(الزامی) 103095 0 نامشخص نامشخص ترم دوم 1395
روش تحقیق 498 0 پنج شنبه09:30 07:30شماره کلاس118م1عادی/ 96/03/31 - 10:30 ترم دوم 1395
روش تحقیق 498 0 چهار شنبه15:30 13:30شماره کلاس120م1عادی/ 96/03/31 - 10:30 ترم دوم 1395
طراحی زبانهای برنامه سازی 930009 0 سه شنبه16:30 13:30 شماره کلاس 116م1عادی/ 96/03/20 - 08:00 ترم دوم 1395
فرآیندهای تصادفی 656 0 چهار شنبه19:30 16:30 شماره کلاس 120م1عادی/ 96/03/22 - 10:30 ترم دوم 1395
کارآموزی 106431 0 نامشخص نامشخص ترم دوم 1395
کارآموزی(الزامی) 100683 0 نامشخص نامشخص ترم دوم 1395
نمایش 20 نتیجه
از 1

پایان نامه ها و رساله ها


هیچ موردی وجود ندارد.
هیچ موردی وجود ندارد.
نمایش 0 نتیجه

آزمایشگاه ها/آتلیه ها


هیچ موردی وجود ندارد.
هیچ موردی وجود ندارد.
نمایش 0 نتیجه