Embed Size (px)
DESCRIPTION
course in ir
Citation preview
و ريز مواد دروس كارشناسي ارشد مهندسي كامپيوتر
*
دانشگاه صنعتي شريف
دانشكده مهندسي كامپيوتر
و ريز مواد دروس كارشناسي ارشد مهندسي كامپيوتر برنامه درسي
افزار ايش نرمگر
*به بعد 1388هاي مخصوص ورودي*
1389 اسفند
برنامه درسي
٢
فهرست مطالب
4 ..........................................................................................................................................................................افزار نرم گرايش عمومي تمقررا
٥ .................................................... "افزار نرم مهندسي و هاسيستم"زيرگرايش) اختياري و اجباري( اصلي روسليست د
٦ ........................................................... "محاسبات و ها الگوريتم" رايشزيرگ) اختياري و اجباري( اصلي روسليست د
٧ ......................................................................................................... افزارنرم گرايش پروژه و سمينار دروس
8 .............................................................................................................. افزار نرم مهندسي و ها سيستم زيرگرايش اختياري و ياجبار دروس
٩ ............................................................................................................... )٤٠٥٣٤( پيشرفته عامل هايسيستم
١١ ............................................................................................................................... )۴۰۷۱۴( کاوي داده
١٣ ............................................................................................................ )٤٠٧٢٤( افزار نرم ايجاد هاي متدولوژي
١٥ ............................................................................................................... )٤٠٧٤٥( هابرنامه وارسي و توصيف
١٧ ............................................................................................................... )٤٠٨٢٤( هاکامپيوتر کارايي ارزيابي
١٩ ..................................................................................................................... )۴۰۹۲۴( ۲ افزارنرم مهندسي
٢١ ................................................................................................................ )٤٠٩٣٨( ٢ ها داده پايگاه طراحي
٢٣ .................................................................................................... )٤٠٥٤٨( يريگ تصميم يپشتيبان هايسيستم
٢٥............................................................................................................................ )٤٠٦٤٦( افزارماری نرممع
٢٧ ................................................................................................ )۴۰۶۵۷( کامپيوتري هايشبکه وتحليل مدلسازي
٢٩ ....................................................................................................... )۴۰۶۶۵( واکنشي هاي سيستم يابيدرستي
٣١ ............................................................................................................)۴۰۶۸۴( يرسم ازتوصيف برنامه ديلتو
٣٣ .............................................................................................................................. )۴۰۶۹۴( معنايي وب
٣٦ .............................................................................................................. )۴۰۷۸۷( افزار نرم درمهندسي الگوها
٣٨ .......................................................................................................................... )۴۰۸۲۸( افزارنرم آزمون
37 ....................................................................................................................... ها و محاسباتالگوريتم شزيرگراي اختياري و ياجبار دروس
٤٠ .......................................................................................................................... )۴۰۶۴۷( موازي پردازش
٤٢ ...................................................................................................................... )۴۰۷۳۵( محاسباتي هندسه
٤٤ ................................................................................................................... )۴۰۷۶۵( پيشرفته هايالگوريتم
٤٦ ........................................................................................................................ )٤٠٧٧٥( پيچيدگي نظريه
٤٨ .................................................................................................................... )۴۰۸۳۴( تقريبي هايالگوريتم
٤٩ ................................................................................................................ )٤٠٨٣٥( ها بازي الگوريتمي نظريه
٥١ ................................................................................................................... )٤٠٦٨٥( تصادفي هايالگوريتم
٥٢ .................................................................................................................. )٤٠٧٨٥( سازي ترکيبياتيهينهب
٣
زارگرايش نرم اف -تربرنامه كارشناسي ارشد مهندسي كامپيو
* به بعد 1388هاي مخصوص ورودي*
٤
افزار ش نرميگرا يعموم مقررات
.طول دوره دو سال است :طول دوره •
:كندر را انتخاب يد حداكثر تا پايان ترم اول يكي از دو زير گرايش زيدانشجوي ورودي با : شيرگراين زييتع •
ها و مهندسي نرم افزارسيستم �
ها و محاسباتالگوريتم �
دوره در قبالً كه را دانشجويان حق ندارند دروسي(ر بگذرانند يواحد به شرح ز 32دانشجويان بايد در مجموع :واحدها •
):نمايند اخذ مجدداً اند گرفته يكارشناس
، و 2از جدول "افزار ها و مهندسي نرمسيستم"ش يان گرايدانشجو -واحد 12 حداقل: ياجبار يدروس اصل .1
.ندينما يخود را انتخاب م ياجبار يدروس اصل 4از جدول "ها و محاسباتلگوريتما"ش يان گرايدانشجو
، و 3از جدول "افزار ها و مهندسي نرمسيستم"ش يان گرايدانشجو -واحد 12 حداكثر: يارياخت يدروس اصل .2
.ندينما يخود را انتخاب م يارياخت يدروس اصل 5از جدول "ها و محاسباتالگوريتم"ش يان گرايدانشجو
6مطابق جدول -واحد 2: ارشد ينار كارشناسيسم .3
6مطابق جدول - واحد 6: ارشد يپروژه كارشناس .4
آموزش "دانشجويان . ف پروژه كارشناسي ارشد، پايان نيمسال دوم مي باشديب تعريمهلت تصو :پروژه كارشناسي ارشد •
.حدي اخذ كنندوا 3درس واحد پروژه، دو 6بايد به جاي "محور
در زمينة پروژه ارائه دهد كه گزارش يسمينار و پس از تصويب پروژه،د در ترم سوم يدانشجو با: ارشد ينار كارشناسيسم •
ز بايد در ترم سوم و پس از تائيد موضوع توسط گروه ين "آموزش محور"سمينار دانشجويان . شود يپيشرفت پروژه محسوب م
.اخذ شود
با دانشكده ) واحد 2معادل (يا با انجام امور ارجاعي ديگر TAد به صورت يبا نوبت اولدانشجويان هيكل :با دانشكده يهمكار •
.ز اجباري استين "آموزش محور"همكاري با دانشكده براي دانشجويان . كنند يهمكار
س از تصويب تعريف پروژه، استاد پ. ان استيمدير گروه تا قبل از انتخاب و تصويب پروژه استاد راهنماي دانشجو :استاد راهنما •
.ز مي باشديدر اخذ واحدهاي درسي ن يراهنماي پروژة هر دانشجو مسئول تائيد و راهنمايي و
بايستي ر گروه براي دانشجو ضروري باشد، مييص مديدر صورتي كه گذراندن واحدهاي جبراني به تشخ :واحدهاي جبراني •
واحد جبراني يا بيشتر 8اخذ . را بگذراند 1گروه حداكثر چهار درس از دروس جدول حداكثر تا پايان سال اول تحصيل با تائيد
. است 12حداقل نمرة درس جبراني . امكان افزايش حداكثر يك نيمسال تحصيلي را به سنوات تحصيلي دانشجو فراهم مي كند
افزار گرايش نرم ليست دروس جبراني. 1جدول
)التين(نام درس )فارسي(درس نام تعداد واحد شماره درس رديف
Data Structures and Algorithms ها ها و الگوريتم ساختمان داده 3 40254 1
Design of Algorithms ها طراحي الگوريتم 3 40354 2
Compiler Design لرهايكامپا يطراح 3 40414 3
Operating Systems هاي عامل سيستم 3 40424 4
Software Engineering افزار نرم مهندسي 3 40474 5
٥
"افزار ها و مهندسي نرمسيستم"زير گرايش ) اجباري و اختياري(دروس اصلي
حداقل چهار درس بايد گذرانده شود – شيرگرايز ياجبار يليست دروس اصل. 2جدول
)التين(نام درس )فارسي(نام درس تعداد واحد شماره درس رديف
1 40534 3 شرفته يهاي عامل پ سيستم
)2عامل يها ستميس(Advanced Operating Systems (Operating Systems 2)
Data Mining داده كاوي 3 40714 2
Software Development Methodologies افزار جاد نرميا يها يمتدولوژ 3 40724 3
Program Specification and Verification ها توصيف و وارسي برنامه 3 40745 4
Computer Performance Evaluation ارزيابي كارايي كامپيوترها 3 40824 5
Software Engineering 2 2افزار مهندسي نرم 3 40924 6
Database Design 2 2ها پايگاه داده يطراح 3 40938 7
تواند گذرانده حداكثر چهار درس مي – "افزار ها و مهندسي نرمسيستم"ش يرگرايز يارياخت يليست دروس اصل. 3جدول
شود
)التين(نام درس )فارسي(نام درس تعداد واحد شماره درس رديف
Decision Support Systems يريگ ميتصم يبانيهاي پشتسيستم 3 40548 1
Software Architecture افزار ممعماري نر 3 40646 2
Computer Networks Modeling and Analysis يوتريكامپ يها ل شبكهيو تحل يمدلساز 3 40657 3
Reactive Systems Verification هاي واكنشييابي سيستم درستي 3 40665 4
Formal Program Development توليد برنامه از توصيف رسمي 3 40684 5
Semantic Web وب معنايي 3 40694 6
Advanced Topics in Software Architecture افزار رمن يم پيشرفته معماريمفاه 3 40737 7
Patterns in Software Engineering افزار الگوها در مهندسي نرم 3 40787 8
Software Testing افزار آزمون نرم 3 40828 9
Advanced Topics in Software Engineering افزار نرم يم پيشرفته مهندسيمفاه 3 40925 10
Advanced Topics in Software Systems يافزار نرم يها ستميم پيشرفته سيمفاه 3 40926 11
12 توانند حداكثر سه درس يم "آموزش محور"ان يدانشجو( با موافقت استاد راهنما "ها و محاسباتالگوريتم"رگرايش يحداكثر دو درس از دروس ز
).ندياخذ نما
)پس از اخذ پروژه(دانشكده يا دانشگاه مرتبط با رساله با موافقت استاد راهنما هاي ديگر حداكثر يك درس از رشته 13
٦
"ها و محاسبات الگوريتم"زير گرايش ) اجباري و اختياري(دروس اصلي
چهار درس بايد گذرانده شود حداقل – "ها و محاسبات الگوريتم "يرگرايش ز ياجبار يليست دروس اصل. 4جدول
)التين(نام درس )فارسي(نام درس تعداد واحد درسشماره رديف
Parallel Processing پردازش موازي 3 40647 1
Computational Geometry هندسة محاسباتي 3 40735 2
Advanced Algorithms هاي پيشرفته الگوريتم 3 40765 3
Complexity Theory نظرية پيچيدگي 3 40775 4
Approximation Algorithms هاي تقريبيتمالگوري 3 40834 5
Algorithmic Game Theory ها نظرية الگوريتمي بازي 3 40835 6
Learning Algorithms هاي يادگيريالگوريتم 3 * 7
.شمارة اين درس پس از دو نيمسال ارائه تعيين خواهد شد*
تواند گذرانده شود حداكثر چهار درس مي – "ا و محاسباته الگوريتم "يرگرايش ز يارياخت يليست دروس اصل. 5جدول
)التين(نام درس )فارسي(نام درس تعداد واحد شماره درس رديف
Randomized Algorithms هاي تصادفيالگوريتم 3 40685 1
Combinatorial Optimization اتييبهينه سازي تركيب 3 40785 2
Advanced Topics in Computer Science وتريمپم پيشرفته علوم كايمفاه 3 40795 3
Advanced Topics in Computer Science 2 2وتر يم پيشرفته در علوم كامپيمفاه 3 40796 4
Advanced Topics in Theoretical Computer Science وتريكامپ يم پيشرفته علوم نظريمفاه 3 40797 5
)پس از اخذ پروژه(نشكده يا دانشگاه مرتبط با رساله با موافقت استاد راهنما هاي ديگر داحداكثر يك درس از رشته 6
7 توانند حداكثر سه يم "آموزش محور"ان يدانشجو(با موافقت استاد راهنما "افزار ها و مهندسي نرمسيستم"رگرايش يحداكثر دو درس از دروس ز
).نديدرس اخذ نما
٧
افزار ايش نرمدروس سمينار و پروژه گر
شيرگرايان هر دو زيدانشجو يبرا - نار و پروژه يدروس سمليست . 6جدول
)التين(نام درس )فارسي(نام درس تعداد واحد شماره درس رديف
M.Sc. Seminar ارشد يسمينار كارشناس 2 )1گروه ( 40900 1
M.Sc. Thesis ارشد يان نامه كارشناسيپا 6 40640 2
افزار خانوادگي مدير گروه نرم نام و نام
رامان رامسين
نام و نام خانوادگي معاون تحصيالت تكميلي دانشكده
حميد سربازي آزاد
14/10/1389 14/10/1389
٨
افزار ها و مهندسي نرم و اختياري زيرگرايش سيستم يجباردروس ا
)40534( هاي عامل پيشرفته
Advanced Operating Systems رسول جليلي: طراح درس
مطرح در ادبيات موضـوع در ييع شده و عناوين پژوهش
معرفي اجزاي سيستم هاي عامل، سيستم هاي توزيع شده، سيستم هاي عامل توزيع شده و ديگر مفاهيم مقدماتي
)افزار ها و مهندسي نرم
٩
هاي عامل پيشرفتهسيستم
Advanced Operating Systems
يع شده و عناوين پژوهشهدف از اين درس، آشنائي دانشجويان با مفاهيم سيستم هاي عامل توز
.همگامي، تكرار، و تحمل خطا مي باشد ،زمينه ارتباطات بين پردازه اي
معرفي اجزاي سيستم هاي عامل، سيستم هاي توزيع شده، سيستم هاي عامل توزيع شده و ديگر مفاهيم مقدماتي
ارتباطات در سيستم هاي عامل توزيع شده
روتكل هاي اليه اي
)RPC(فراخواني از راه دور
)RMC(فراخواني از راه متد
)Message-Oriented(ارتباطات پيام محور
)Stream-Oriented(ارتباطات نهر محور
پردازه ها در سيستم هاي عامل توزيع شده
Threads (
)Client & Server(كارخواه و كارساز
)Code Migration(مهاجرت كد
نام در سيستم هاي عامل توزيع شده
ضرورت نام و عناصر نام
ساختارهاي مديريت نام
حالت در سيستم هاي توزيع شده
ساعت فيزيكي
ساعت منطقي
توافق در محيط توزيع شده
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتهدف از اين درس، آشنائي دانشجويان با مفاهيم سيستم هاي عامل توز
زمينه ارتباطات بين پردازه اي
ريز مواد
معرفي اجزاي سيستم هاي عامل، سيستم هاي توزيع شده، سيستم هاي عامل توزيع شده و ديگر مفاهيم مقدماتي .1
ارتباطات در سيستم هاي عامل توزيع شده .2
a. روتكل هاي اليه ايپ
b. فراخواني از راه دور
c. فراخواني از راه متد
d. ارتباطات پيام محور
e. ارتباطات نهر محور
پردازه ها در سيستم هاي عامل توزيع شده .3
a. ريسمانها)Threads
b. كارخواه و كارساز
c. مهاجرت كد
نام در سيستم هاي عامل توزيع شده .4
a. ضرورت نام و عناصر نام
b. ساختارهاي مديريت نام
حالت در سيستم هاي توزيع شده .5
ساعت و همگامي .6
a. ساعت فيزيكي
b. ساعت منطقي
c. بردار ساعت
انتخاب رهبر .7
توافق در محيط توزيع شده .8
افزار نرم: گرايش
3: واحد
- :نياز پيش
١٠
ممانعت دوجانبه توزيع شده .9
a. روشهاي نامهره بنياد
b. دروشهاي مهره بنيا
c. روشهاي حسي ذهني
ترميم .10
a. نقطه مقابله گيري و ترميم
b. همگامي در ترميم
c. ناهمگامي در ترميم
Commitment تحمل خطا با تاكيد بر .11
a. 2-Phase Commitment b. 3-Phase Commitment
گزارش پژوهشي -تمرين -آزمون
تمرين و برنامه نويسي درون هسته اي سيستم عامل •
امتحان ميان نيمسال •
پايان نيمسالامتحان •
ارائه در روز سمينار و مقاله مروري درس •
مراجع اصلي
• Tanenbaum, A.S., and van Steen, M. “Distributed Systems”, Prentice-Hall, 2002.
• Singhal, M., and Shivarati, N. “Advanced Concepts in Operating Systems”, McGraw-Hill, 1994.
• Mullender, S. (Editor) “Distributed Systems”, 2nd edition, ACM Press, 1993.
مراجع فرعي
• Lynch, N. “Distributed Algorithms”, Morgan Kaufmann, 1997.
• Tanenbaum, A.S. “Distributed Operating Systems”, Prentice-Hall, 1994.
)40714( كاوي داده
Data Mining
حسن ابوالحسني: طراح درس
ها ادهكاوش حجم وسيعي از داين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در
ها و انباره داده ارائه شده و سپس به مباحث مربوط به سه
هاي معروف در اين حوزه مورد اولين حوزه استخراج الگوهاي متداول است كه الگوريتم
در انتهاي درس بعضي از مباحث . هاست
.شودهاي اجتماعي ارائه مي
)نمرهكل % 25. (سه تمرين پژوهشي، و يك تمرين عملي در طول نيمسال تحويل داده مي شوند
دانشجو كار پژوهش را با كمك استاد درس آغاز
)كل نمره
• Han and Kamber, Data Mining Concepts and Techniques
• Tan, Steinbach, and Kumar, Introduction to Data
• Papers from KDD, ICDM and other related conferences.
)افزار ها و مهندسي نرم
١١
اين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در
ها و انباره داده ارائه شده و سپس به مباحث مربوط به سه در ابتدا مفاهيم پيش پردازش داده. و كشف الگوهاي موجود در آنهاست
اولين حوزه استخراج الگوهاي متداول است كه الگوريتم. شودكاوي پرداخته مي
هاستها و حوزه سوم خوشه بندي دادهحوزه دوم مبحث دسته بندي داده
هاي اجتماعي ارائه ميها و شبكه ها، گرافپيشرفته در اين حوزه نظير كاوش جويبار داده، دنباله
)جلسه 2(هاي اصلي در آن معرفي داده كاوي و مدل
)جلسه 4تا 3(ها شهاي مربوط به پيش پردازش داده
)جلسه 5تا 4( گيري تحليلياي و گزارشمعرفي انباره داده، مكعب داده
)جلسه 6تا 5( هاي مربوط به كاوش الگوهاي متداول
)جلسه 6تا 5( هابندي دادههاي مربوط به دسته
)جلسه 6تا 5( هاادهبندي دهاي مربوط به خوشه
)جلسه 4تا 2(هاي اجتماعي ها و شبكهها، گرافهاي زماني، دنباله
گزارش پژوهشي
)كل نمره% 60(آزمونهاي ميان ترم و پايان ترم
سه تمرين پژوهشي، و يك تمرين عملي در طول نيمسال تحويل داده مي شوند
دانشجو كار پژوهش را با كمك استاد درس آغاز . موضوع پزوهش قبل از آزمون پايان نيمسال تعيين ميشود
كل نمره% 15. (كرده و پس از انجام كار، نتيجه پژوهش را در قالب گزارش ارائه ميدهد
Data Mining Concepts and Techniques, 2006.
Introduction to Data Mining, 2006.
apers from KDD, ICDM and other related conferences.
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتاين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در هدف
و كشف الگوهاي موجود در آنهاست
كاوي پرداخته ميحوزه اصلي در داده
حوزه دوم مبحث دسته بندي داده. گيردبحث قرار مي
پيشرفته در اين حوزه نظير كاوش جويبار داده، دنباله
ريز مواد
معرفي داده كاوي و مدل -مقدمه .1
شهاي مربوط به پيش پردازش دادهرو .2
معرفي انباره داده، مكعب داده .3
هاي مربوط به كاوش الگوهاي متداولالگوريتم .4
هاي مربوط به دستهالگوريتم .5
هاي مربوط به خوشهالگوريتم .6
هاي زماني، دنبالهكاوش سري .7
گزارش پژوهشي -تمرين -آزمون
آزمونهاي ميان ترم و پايان ترم : آزمون •
سه تمرين پژوهشي، و يك تمرين عملي در طول نيمسال تحويل داده مي شوند: تمرين •
موضوع پزوهش قبل از آزمون پايان نيمسال تعيين ميشود: گزارش پژوهشي •
كرده و پس از انجام كار، نتيجه پژوهش را در قالب گزارش ارائه ميدهد
مراجع اصلي
افزار نرم: گرايش
3: واحد
-: نياز پيش
١٢
مراجع كمكي
• Hand, Mannila, and Smyth, Principles of Data Mining, MIT Press, 2001.
• Witten and Eibe, Data Mining, Practical Machine Learning Tools and Techniques with Java Implementations,
Morgan Kaufmann, 1999.
• KDnuggets.com: News, Publications, Software, Solutions
• Many other papers and web resources, to be posted on the course website.
)40724( افزار رمهاي ايجاد ن
Software Development Methodologies
رامان رامسين: طراح درس
هاي ايجاد نرم افزار و مفاهيم و اصول مرتبط
هاي پادالگوها و متامدل/ها، الگوها هاي تحليل و ارزيابي متدولوژي
مي متدها از نظر ساختار و محتوا متناظر با درس
در ) MSE(افزار پيشنهاد شده و از دروس اصلي كارشناسي ارشد مهندسي نرم
ب است، ساختار و محتواي فعلي درس عمدتاً
مدت هر جلسه، نود دقيقه - جلسه 2( هاي شيءگرا و معيارهاي ارزيابي مربوطه
)جلسه
Coad-Yourdon ،RDD ،Booch ،OMT ،
UML-Components ،RUP/USDP ،EUP ،
ASD ،AUP ،Crystal و ،FDD )7 جلسه(
)افزار ها و مهندسي نرم
١٣
هاي ايجاد ن متدولوژي
Software Development Methodologies
هاي ايجاد نرم افزار و مفاهيم و اصول مرتبط ارشد و دكترا با متدولوژياين درس، آشنا كردن دانشجويان كارشناسي
هاي تحليل و ارزيابي متدولوژي مطرح، با روشهاي دانشجويان ضمن آشنايي با متدولوژي
از نظر ساختار و محتوا متناظر با درس اين درس. هاي مهندسي متدولوژي آشنا مي شوند ايجاد نرم افزار، و روش
پيشنهاد شده و از دروس اصلي كارشناسي ارشد مهندسي نرم) SEI(باشد كه از طرف انستيتو مهندسي نرم افزار
.است
ب است، ساختار و محتواي فعلي درس عمدتاً ها مبناي غال ر مشي شيءگرا در بين متدولوژيضبا توجه به اينكه در حال حا
.هاي شيءگرا تمركز دارد
هاي شيءگرا و معيارهاي ارزيابي مربوطه معرفي تاريخچه تكاملي متدولوژي
جلسه 2(گرا بررسي نمودهاي بارز مشي شيء - Fusionمعرفي تحليلي متدولوژي
Yourdonهاي متدولوژي -اول و دوم هاي هاي شاخص نسل متدولوژي
Hodge-Mock )4 جلسه(
OPM ،Catalysis ،Componentsهاي متدولوژي -هاي نسل سوم معرفي تحليلي متدولوژي
)جلسه
DSDM ،Scrum ،XP ،ASDهاي متدولوژي - هاي چابك معرفي تحليلي متدولوژي
)جلسه MDD )1و MDA - معماري و ايجاد نرم افزار به روش مبتني بر مدل
)جلسه 2(ايجاد نرم افزار فرايند
)جلسه 1(زار ايجاد نرم اف
)جلسه 2(تحليل و طراحي - هاي مهندسي متدولوژي
)جلسه EPFC )2معرفي ابزار مهندسي متدولوژي
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتاين درس، آشنا كردن دانشجويان كارشناسي هدف
دانشجويان ضمن آشنايي با متدولوژي. است
ايجاد نرم افزار، و روش فرايند
باشد كه از طرف انستيتو مهندسي نرم افزار
است Carnegie Mellonدانشگاه
با توجه به اينكه در حال حا
هاي شيءگرا تمركز دارد بر متدولوژي
ريز مواد
معرفي تاريخچه تكاملي متدولوژي -مقدمه .8
)است
معرفي تحليلي متدولوژي .9
متدولوژي اجماليمعرفي .10
OOSE ،BON و ،Mock
معرفي تحليلي متدولوژي .11
OPEN و ،FOOM )7
معرفي تحليلي متدولوژي .12
معماري و ايجاد نرم افزار به روش مبتني بر مدل .13
فرايندالگوها و پاد الگوهاي .14
ايجاد نرم اف فرايندهاي متامدل .15
هاي مهندسي متدولوژي روش .16
معرفي ابزار مهندسي متدولوژي .17
افزار نرم: گرايش
3: واحد
-: نياز پيش
١٤
گزارش پژوهشي -تمرين -آزمون
)كل نمره% 60(هاي ميان ترم و پايان ترم آزمون: آزمون •
؛ تمرينات در طول نيمسال تحويل داده مي EPFCسه تمرين پژوهشي، و يك تمرين عملي مهندسي متدولوژي با ابزار : تمرين •
)كل نمره% 25. (شوند
دانشجو كار پژوهش را با كمك استاد درس آغاز . موضوع پزوهش قبل از آزمون پايان نيمسال تعيين ميشود: گزارش پژوهشي •
)كل نمره% 15. (كرده و پس از انجام كار، نتيجه پژوهش را در قالب گزارش ارائه ميدهد
اصليمراجع
• Ambler, S.W. Process Patterns: Building Large-Scale Systems Using Object Technology. Cambridge University
Press, 1998.
• Ambler, S.W., Nalbone, J., and Vizdos, M.J. The Enterprise Unified Process: Extending the Rational Unified
Process. Prentice-Hall, 2005.
• Cockburn, A. Agile Software Development: The Cooperative Game, 2nd edition. Addison-Wesley, 2006.
• OMG. Model Driven Architecture (MDA) Guide. Object Management Group (OMG). Available online at
http://www.omg.org/cgi-bin/doc?omg/03-06-01, 2003.
• OMG. Software and Systems Process Engineering Metamodel Specification (v2.0). Object Management Group
(OMG). Available online at http://www.omg.org/cgi-bin/doc?ptc/2007-11-01, 2007.
• Ralyté, J., Brinkkemper, S., and Henderson-Sellers, B. (Eds.). Situational Method Engineering: Fundamentals
and Experiences. Springer, 2007.
• Ramsin, R., and Paige, R.F. Process-centered review of object-oriented software development methodologies.
ACM Computing Surveys 40, 1 (February), Article 3, 89 pages, 2008.
• Shoval, P. Functional and Object Oriented Analysis and Design: An Integrated Methodology. Idea Group
Publishing, 2007.
)40745( هاتوصيف و وارسي برنامه
Program Specification and Verification
سيد حسن ميريان حسين آبادي:
هاي صوري براي توصيف و وارسي شود و هدف از آن پرداختن به روش
طور سازي به رابطه بين توصيف صوري و پياده
)زير گرايش مهندسي و سيستم
١٥
توصيف و وارسي برنامه
ecification and Verification
: طراح درس
شود و هدف از آن پرداختن به روش جويان كارشناسي ارشد و دكتري ارايه مي
رابطه بين توصيف صوري و پيادهدر مورد ها معرفي و در اين درس ابزارهاي الزم براي به كارگيري اين روش
)هفته 1 ( ها اي بر توصيف سيستم
چرا توصيف صوري؟
افزار توصيف صوري و مهندسي نرم
)پااليش( توليد برنامه از توصيف
)هفته 1(ها، جبر مسندات
)هفته Z )2ها و زبان
نهاها و عمليات روي آ
روابط و عمليات روي آنها
توابع و عمليات روي آنها
)هفته 2(واحدهاي ساختاري توصيف
و نحوه مدل كردن سيستم
به عنوان اعالن، نوع و مسند
(Axiomatic Description)
(Schema Calculus) )2 هفته(
(Renaming and Decoration)
تحصيالت تكميلي: مقطع
زير گرايش مهندسي و سيستم( ياجبار: نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
لياتك
جويان كارشناسي ارشد و دكتري ارايه مي اين درس براي دانش
در اين درس ابزارهاي الزم براي به كارگيري اين روش. ها است سيستم
.گردد اختصار بحث مي
ريز مواد
اي بر توصيف سيستم مقدمه. 1
a( چرا توصيف صوري؟
b( توصيف صوري و مهندسي نرم
c( توليد برنامه از توصيف
ها، جبر مسندات جبر گزاره .2
ها و زبان تئوري مجموعه. 3
a( تساوي
b( ها و عمليات روي آ انواع، مجموعه
c( تعاريف
d( روابط و عمليات روي آنها
e( توابع و عمليات روي آنها
f( مثال
واحدهاي ساختاري توصيف . 4
a( ماش (Schema) و نحوه مدل كردن سيستم
b( مابه عنوان اعالن، نوع و مسند استفاده از ش
c( ماي ژنريكش
d( نحوه بيان اصول(Axiomatic Description)
e( مثال
(Schema Calculus)جبر شماها . 5
a( تغيير متغير (Renaming and Decoration)
افزار نرم: گرايش
3: واحد
-: نياز پيش
١٦
b( ماها با استفاده ازتركيب ش �, ; , � , � , �, � , , Inclusionو
c( مثال
)هفته Z1 ( ابزارگان رياضي. 6
a( و ها رديف Bag ها و عمليات روي آنها
b( نوع آزاد(Free Type)
c( مثال
)هفته 1( (Promotion) توصيف با استفاده از ارتقا . 7
)هفته 1( (Precondition)ها امكان پذيري توصيف و محاسبه پيش شرط . 8
)هفته 3( (Verification) وارسي . 9
a( ها اصول تئوري مجموعه
b( قوانين استنتاج
c( قضيه حالت اوليه سيستم
d( ها شرط سازي پيش ساده
e( اثبات خصوصيات توصيف
f( مثال
)هفته 2( (Refinement)با استفاده از پااليش Zرنامه از توصيف صوري توليد ب. 10
a( اي پااليش ساختارهاي داده
b( پااليش عمليات
c( مثال
گزارش پژوهشي -تمرين -آزمون چك، متوسط و بزرگ را هاي كو شوند و هر گروه سه صورت برنامه در اندازه نفره تقسيم مي 3 يا 2 هاي دانشجويان به گروه •
را در طول ترم براساس مسايل پيشنهادي خود )تمرين 3 حداقل ( ها، هر گروه تمرينات پس از تصويب برنامه. نمايد پيشنهاد مي
. پاسخ خواهد داد
كامل كند كه يك ماه پس از پايان امتحانات فرصت دارند تا توصيف صوري برنامه بزرگ صورت پروژه هر گروه را مشخص مي •
. پروژه را تحويل نمايند
افزارهاي كنترل كننده جامعيت و عدم تناقض و اثبات قضيه خصوصيات توصيف صوري خود را دانشجويان بايد با استفاده از نرم •
.مورد ارزيابي قرار دهند
.دناينم مطالب درس پس از گرفتن تاييد ارايه ميبا جويان به طور اختياري سميناري را در ارتباط دانش •
زمون كوچك به جاي امتحان ميان ترمآ 7 حدود •
آزمون نهايي •
مراجع اصلي
• Woodcock, J. and Davies, J. Using Z Specifications, Refinement, and Proof, Prentice-Hall, 1996.
• Gries, D., and Schneider, F.B. A Logical Approach to Discrete Math, Springer, 1993.
• Morgan, C. Programming from Specifications, Prentice-Hall, 1990.
)40824( هاارزيابي كارايي كامپيوتر
Computer Performance Evaluation آبادي ر رحيمعلي موق: طراح درس
سيسـتم هـاي كـامپيوتري و هدف اين درس معرفي مفاهيم و روش هاي مطرح به كار گرفته شده در ارزيابي كارايي و اتكـا پـذيري
م از روش هـاي انـدازه گيـري و روش هـاي مختلـف ارزيـابي اعـ
(computer simulation) و روش هـاي تركيبـي ،
اعتبار سنجي سيسـتم : از قبيل ،پذيري بسيارند
، مقايسه انواع مختلف طراحي هاي يك سيسـتم، مقايسـه دو و يـا چنـد سيسـتم مـرتبط، تعيـين مقـادير بهينـه
(bottleneck identificatin)، بار كاري اعمـال شـده در تبيين
و (capacity planning) ، تعيين تعداد و بزرگي مؤلفـه هـاي موجـود در يـك سيسـتم
معيار هاي ارزيابي، روش هاي ارزيابي شامل روش هاي اندازه گيري، شبيه سـازي كـامپيوتري، روش هـاي تحليلـي و تركيبـي،
(benchmarking).
.سخت افزاري، بازرسي نرم افزاري، بازرسي تركيبي
(regression analysis).
هاي مستقل، زنجيره هاي مـاركوف، رفتـار دراز
مدت زنجيره هاي ماركوف، توزيع حدي و ايستا، رده بندي حاالت و مفهوم ارگوديك بودن، تحليل زنجيره هـاي كـاهش ناپـذير
د و مرگ، تحليل حالت پايـداري هاي تول ايند
، صــف ســاده ∞/∞/M/G/∞/SI ، صــف ســاده
M/M/c هـاي ، توزيعـات زمـان پاسـخ، سيسـتم
، FCFS اي بـا زمـان بنـدي ، تحليل سيستم هاي گروهي، سرويس مرحلـه
)افزار ها و مهندسي نرم
١٧
ارزيابي كارايي كامپيوتر
Performance Evaluation
طراح درس
هدف اين درس معرفي مفاهيم و روش هاي مطرح به كار گرفته شده در ارزيابي كارايي و اتكـا پـذيري
و روش هـاي مختلـف ارزيـابي اعـ ارهـا ين اندازه ها و معيياين مفاهيم و روش ها شامل تب
(computer simulation)، شـبيه سـازي كـامپيوتري (analytic modeling) ، مدلسازي تحليلي
(analytic-simulative) پذيري بسيارند كاربرد هاي ارزيابي كارايي و اتكا. مي باشد
، مقايسه انواع مختلف طراحي هاي يك سيسـتم، مقايسـه دو و يـا چنـد سيسـتم مـرتبط، تعيـين مقـادير بهينـه
(system tuning) تعيين گلوگاه هاي يك سيستم ،(bottleneck identificatin)
(workload characterization) تعيين تعداد و بزرگي مؤلفـه هـاي موجـود در يـك سيسـتم ،
. (forecasting)بيني كارايي و بار كاري در آينده
(evaluation techniques) و روش هاي ارزيابي
معيار هاي ارزيابي، روش هاي ارزيابي شامل روش هاي اندازه گيري، شبيه سـازي كـامپيوتري، روش هـاي تحليلـي و تركيبـي،
(benchmarking)كاربرد هاي ارزيابي، تبيين بار كاري، محك زني سيستم هاي كامپيوتري
ي
سخت افزاري، بازرسي نرم افزاري، بازرسي تركيبي (monitoring) زرسي رده بندي روش هاي اندازه گيري، با
طراحي تجربي و تحليل داده ها
(regression analysis)روش هاي شبيه سازي، اصول تحليل داده ها، تحليل آماري، تحليل بازگشتي
تحليل تصادفي مقدماتي
هاي مستقل، زنجيره هاي مـاركوف، رفتـار دراز فرايندهاي ماركوف، رايندفهاي تصادفي، فرايندهاي تصادفي، رده بندي
مدت زنجيره هاي ماركوف، توزيع حدي و ايستا، رده بندي حاالت و مفهوم ارگوديك بودن، تحليل زنجيره هـاي كـاهش ناپـذير
ايندفر، فرايند هاي تصادفي عام (ergodicity) ، مفهوم ارگوديك بودن
، صــف ســاده ∞/∞/M/M/c/SI ، صــف ∞/∞/M/M/1/SI، صــف ســاده
M/M/cخروج در صـف هـاي فرايند، سيستم هاي با جمعيت محدود،
، تحليل سيستم هاي گروهي، سرويس مرحلـه (method of stages) راحل و روش م
. PS اي با زمان بندي
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
هدف اين درس معرفي مفاهيم و روش هاي مطرح به كار گرفته شده در ارزيابي كارايي و اتكـا پـذيري
اين مفاهيم و روش ها شامل تب. است ارتباطي
(measurement) مدلسازي تحليلي ،
(simulativeشبيه سازي -تحليلي
(system validation) مقايسه انواع مختلف طراحي هاي يك سيسـتم، مقايسـه دو و يـا چنـد سيسـتم مـرتبط، تعيـين مقـادير بهينـه ،
(system tuning)پارامترهاي يك سيستم
(workload characterization)روي يك سيستم
بيني كارايي و بار كاري در آينده پيش
ريز موادو روش هاي ارزيابي (measures) اندازه ها .1
معيار هاي ارزيابي، روش هاي ارزيابي شامل روش هاي اندازه گيري، شبيه سـازي كـامپيوتري، روش هـاي تحليلـي و تركيبـي،
كاربرد هاي ارزيابي، تبيين بار كاري، محك زني سيستم هاي كامپيوتري
يروش هاي اندازه گير .2
رده بندي روش هاي اندازه گيري، با
طراحي تجربي و تحليل داده ها .3
روش هاي شبيه سازي، اصول تحليل داده ها، تحليل آماري، تحليل بازگشتي
تحليل تصادفي مقدماتي .4
هاي تصادفي، رده بندي فرايند
مدت زنجيره هاي ماركوف، توزيع حدي و ايستا، رده بندي حاالت و مفهوم ارگوديك بودن، تحليل زنجيره هـاي كـاهش ناپـذير
(irreducibility) رگوديك بودنمفهوم ا ،
/M/M مــدل هــاي ، صــف ســاده
M/M/c/SI/K/∞ ،سيستم هاي با جمعيت محدود ،
و روش م (batch) گروهي
اي با زمان بندي سرويس مرحله
افزار نرم: گرايش
3: واحد
-: نياز پيش
١٨
(Petri nets) مدلسازي كارايي مبتني بر شبكه هاي پتري .5
، (stochastic Petri nets) شبكه هاي پتري كالسيك، شبكه هاي پتري زماني، شبكه هاي پتري تصادفي
.. (stochastic activity networks) هاي فعاليت تصادفي شبكه هاي پتري تصادفي تعميم يافته، شبكه
(product-form queueing networks) مدل هاي شبكه هاي صف ضرب پذير .6
، سيسـتم هـاي (reversible) هاي مـاركوف برگشـت پـذير فرايندي و راه حل ضرب پذير، بيين راه حل ضرب پذير، توازن محلت
، مدل هاي شبكه صف باز، شرايط پايداري ، شبكه هاي ضرب پذير تك زنجيره اي ، (quasi-reversible) صف شبه برگشت پذير
، brute-force شبكه هاي ضرب پذير چند زنجيره اي ، مدل هاي شبكه صف بسته، شبكه هاي تك زنجيـره اي، الگـوريتم هـاي
، الگوريتم هاي مختلف براي شبكه هاي بسته، الگـوريتم (multiclass) ي، شبكه هاي صف چند رده اي شبكه هاي چند زنجيره ا
.ضرب پذير ريبي، كران هاي كارايي، شرايط حلهاي دقيق، الگوريتم هاي تق
گزارش پژوهشي -تمرين -آزمون آزمون ميان نيمسال •
آزمون پايان نيمسال •
كامپيوتريانجام دو يا سه برنامه شبيه سازي •
هاگردآوري يك يا دو مقاله تحقيقي و ارائه شفاهي آن •
مراجع اصلي
• Kant , K . Introduction to Computer System Performance Evaluation , McGraw-Hill , 1992 .
• Haverkort , B.R. Performance of Computer Communication Systems , John Wiley and Sons , 1998 .
مراجع فرعي
• Lazowska , E.D. , Zahorjan , J , Graham , G.S . and Sevcik , K.S . Quantitative System Performance, Prentice-Hall,
1984 .
• Nain , F . Basic Elements of Queueing Theory, Lecture Notes , 1998 .
• Jain , R . The Art of Computer System Performance Analysis, John Wiley and Sons , 1991 .
• Banks , J. , Carson , J.S . and Nelson , B.L . Discrete-Event Simulation, 3rd edition , Prentice-Hall , 2000 .
• Bolch , G. , Greiner , S. , de Meer , H . and Trivedi , K . Queueing Networks and Markov Chains, 2nd edition, John
Wiley and Sons , 2006 .
)40924( 2افزار مهندسي نرم
Software Engineering
سيد حسن ميريان: طراح درس
شـود و هـدف از آن پـرداختن بـه مباحـث پيشـرفته در ارتبـاط بـا
گيرند كـه از ر مورد بحث قرار ميافزاهاي جديد در مورد هر يك از مراحل چرخه حيات نرم
گرا در تجزيه و تحليل، طراحي و مديريت پـروژه، روش
بتني بر عامـل هاي مهاي مبتني بر جنبه و روش
.گردندها به اختصار و در حد امكان معرفي مي
گيري و آزموني چرخه حيات، مديريت پروژه، برآورد، مديريت ريسك، اندازه
گراافزارهاي شئگرا و تست نرمهاي شئگرا، مديريت پروژه
)نمره 20( تعيين موضوعي مرتبط با موضوعات درس، تصويب موضوع، تهيه مقاله، ارايه سمينار، تحويل نسخه نهايي مقاله
)افزار ها و مهندسي نرم
١٩
مهندسي نرم
2
شـود و هـدف از آن پـرداختن بـه مباحـث پيشـرفته در ارتبـاط بـا اين درس براي دانشجويان كارشناسي ارشد و دكتري ارائه مي
هاي جديد در مورد هر يك از مراحل چرخه حيات نرمدر اين درس روش
گرا در تجزيه و تحليل، طراحي و مديريت پـروژه، روش هاي شيهاي صوري در ثبت نيازها، روشتوان به استفاده از روش
هاي مبتني بر جنبه و روشافزار و روشسازي، معماري نرممبتني بر خانواده در تجزيه و تحليل و طراحي و پياده
ها به اختصار و در حد امكان معرفي ميابزارهاي الزم براي به كارگيري اين روش
ي چرخه حيات، مديريت پروژه، برآورد، مديريت ريسك، اندازهاهمروري بر متدولوژي
گرا، مديريت پروژها، طراحي شئگرگرايي، تجزيه و تحليل شئاصول و مفاهيم شئ
هاي جبري هاي بر مبناي مدل و زبانهاي صوري ثبت نيازها و زبان
Cleanroom
متدولوژي خط توليد و روش مبتني بر خانواده
گراهاي عاملهاي مبتني بر جنبه و روش
گزارش پژوهشي
)نمره 15( تمرين نظري
تعيين موضوعي مرتبط با موضوعات درس، تصويب موضوع، تهيه مقاله، ارايه سمينار، تحويل نسخه نهايي مقاله
)نمره 15( هاي كالسي
)نمره
تحصيالت تكميلي: مقطع
ها و مهندسي نرم سيستم زيرگرايش( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتاين درس براي دانشجويان كارشناسي ارشد و دكتري ارائه مي
در اين درس روش. افزار استمهندسي نرم
توان به استفاده از روشآن جمله مي
مبتني بر خانواده در تجزيه و تحليل و طراحي و پياده
ابزارهاي الزم براي به كارگيري اين روش. اشاره نمود
ريز مواد
مروري بر متدولوژي: يادآوري .1
اصول و مفاهيم شئ .2
هاي صوري ثبت نيازها و زبانروش .3
Cleanroomروش .4
افزارمعماري نرم .5
متدولوژي خط توليد و روش مبتني بر خانواده .6
فرايندسازي مدل .7
هاي مبتني بر جنبه و روشروش .8
گزارش پژوهشي -تمرين -آزمون
تمرين نظري 5حدود •
تعيين موضوعي مرتبط با موضوعات درس، تصويب موضوع، تهيه مقاله، ارايه سمينار، تحويل نسخه نهايي مقاله •
هاي كالسي آزمون •
50(آزمون نهايي •
افزار نرم: گرايش
3: واحد
-: نياز پيش
٢٠
مراجع اصلي
• Pressman, R.S. Software Engineering: A Practitioner’s Approach, 7th edition, McGraw-Hill, 2010.
• Sommerville, I. Software Engineering, 8th edition, Addison-Wesley, 2006.
• Weiss, D. and Lai, C.T.R. Software Product-Line Engineering: A Family-Based Software Development Process,
Addison-Wesley, 1999.
• Bass, L., Clements, P., Kazman, R. Software Architecture in Practice, 2nd edition, Addison-Wesley, 2003.
هاي مبتني بر جنبه و مبتني بر عاملمقاالت روش •
)40938( 2 هاطراحي پايگاه داده
Database Design 2 سيد محمد تقي روحاني رانكوهي:
چون مفاهيمي ررود كه دانشجو بشويم و در انتهاي ترم انتظار مي
زموارد به يخش رياست كه در يگر موارديو د
- تعارضي- اينتيجه(هاي معادل پذير، طرحنشده، طرح توالي
پذيري، كاربرد پذيري، قضيه بنيادي در تئوري توالي
، پروتكل)دقيق- جسور- شديد-كارمحافظه-ي
اي، گذاري چند نسخهگذاري جنگلي، قفلگذاري درختي، قفل
سازي، هاي چند نسخههاي مبتني بر زمان مهر، پروتكل
هاي گذاري مسندي، كنترل همروندي در شاخص درختي، پارامترهاي ارزيابي تكنيك
هاي تخليه حافظه نهان، امكانات ترميم، ثبت با نوشتن پيشرس، انواع فايل ثبت، زدايش
UNDO-NO REDO, REDO-NO UNDO, REDO
هاي توصيف محدوديت جامعيتي، سيستم فعال، قاعده فعال،
ها توسط سيستم فعال، مزايا و كاربردهاي سيستم فعال، رهانا
)افزار هندسي نرمها و م
٢١
طراحي پايگاه داده
: طراح درس
شويم و در انتهاي ترم انتظار ميها آشنا ميدر اين درس با مفاهيم پيشرفته طراحي پايگاه داده
و د يسازهنيها، بهداده گاهيپا يمنيم و ايكنترل آن، ترم ي
هاتعريف، خواص، حاالت، تكنيك نقطه نگهداشت، زيرسيستم مديريت تراكنش
پذيري
نشده، طرح تواليطرح اجراي متوالي، طرح اجراي همروند، مشكالت توارد كنترل
پذيري، قضيه بنيادي در تئوري توالي، آزمون توالي)نمايي- تعارضي-اينتيجه(پذير هاي توالي
هاي كنترل همروندي
يمبناي(اي گذاري دو مرحلهدوگاني، چند اسلوبي،قفل: گذاري
گذاري درختي، قفلگذاري قصدي، قفلشدني، قفلگذاري روي چند واحد قفل
هاي مبتني بر زمان مهر، پروتكل، پروتكل)كشف- اجتناب-گيريپيش( بست
گذاري مسندي، كنترل همروندي در شاخص درختي، پارامترهاي ارزيابي تكنيكييد، پديده شبح داده، قفل
هاي تخليه حافظه نهان، امكانات ترميم، ثبت با نوشتن پيشرس، انواع فايل ثبت، زدايش تعريف، انواع خرابي، مدير ترميم، روش
-NO UNDO, REDO(هاي ترميم خرابي سيستمي جاد نقطه وارسي، روش
UNDO, NO UNDO (اي، ترميم خرابي رسانه.
هاي توصيف محدوديت جامعيتي، سيستم فعال، قاعده فعال، تعريف، عوامل نقض جامعيت، انواع محدوديت جامعيتي، روش
ها توسط سيستم فعال، مزايا و كاربردهاي سيستم فعال، رهانا يستم فعال، مدل اجرا، مراحل اعمال محدوديت
)هاداشتكم-مشكالت
تحصيالت تكميلي: مقطع
ها و م زيرگرايش سيستم( ياجبار :نوع درس
- : نياز هم
دانشكده مهندسي كامپيوتر
كليات
در اين درس با مفاهيم پيشرفته طراحي پايگاه داده
يهاو پروتكل يتراكنش، همروند
.اندان شدهيل بيتفص
ريز مواد
تراكنش .1
تعريف، خواص، حاالت، تكنيك نقطه نگهداشت، زيرسيستم مديريت تراكنش
پذيريمفاهيم تئوري توالي .2
طرح اجراي متوالي، طرح اجراي همروند، مشكالت توارد كنترل
هاي توالي، انواع طرح)نمايي
پذيرتئوري توالي
هاي كنترل همرونديپروتكل .3
گذاريهاي قفلپروتكل
گذاري روي چند واحد قفل قفل
بست هاي مشكل بنحل راه
ييد، پديده شبح داده، قفلپروتكل تا
.كنترل همروندي
دادهترميم پايگاه .4
تعريف، انواع خرابي، مدير ترميم، روش
جاد نقطه وارسي، روشفايل ثبت، اي
UNDO, NO UNDO-NO REDO
هاترميم پايگاه داده .5
تعريف، عوامل نقض جامعيت، انواع محدوديت جامعيتي، روش
يستم فعال، مدل اجرا، مراحل اعمال محدوديتمعماري س
مشكالت-مزايا-كاربرد-تعريف(
افزار نرم : گرايش
3: واحد
-: نياز پيش
٢٢
هادادهايمني پايگاه .6
حراز هويت، شناسايي كاربر، ا: تعريف، خطرات، تحليل خطرات، شئ ايمني، تدابير ايمني غير كامپيوتري، تدابير كامپيوتري
.هاي طراحي سيستم اطالعاتي ايمنهاي كنترل دستيابي، روشمجازشماري، روش
سازي پرسشبهينه .7
بازنويسي، : سازي پرسشاي، بهينهسازي عملگرهاي جبر رابطهپياده - تجزيه پرسش - مراحل كلي پردازش پرسش -تعريف
.هاي ديگريافتاري، روشروش مبتني بر هزينه، روش : ارزيابي عبارات، انتخاب طرح اجرا
هاپارامترهاي شناخت سيستم مديريت پايگاه داده .8
بندي سيستم، اجزاي سيستم، كاتالوگ سيستم، پارامترهاي مربوط به كارايي، پارامترهاي مربوط به معماري، پارامترهاي رده
.زني سيستمها، محكاي فرعي، محورهاي اصلي مقايسه سيستممربوط به زبان داده
گزارش پژوهشي -تمرين -ون آزم
آزمون كتبي •
تمرين •
مطالعه بيشتر •
تحقيق و ارائه شفاهي آن •
پروژه •
مراجع اصلي
• Elmasri, R., and Navathe, S.B. Fundamentals of database systems, 4th edition, Addison-Wesley, 2003.
• Silberschatz, H., Korth, F. and Sudarshan, S. Database Systems Concepts, 3rd edition, McGraw-Hill, 1997.
• Date, C.J. An Introduction toDatabase Systems, Volume 2, Addison-Wesley, 1983.
• Garcia-Molina, H., Ullman, J.D., and Widom, J. Database System Implementation, Prentice-Hall, 2000.
• Weikum, G., and Vossen, G. Transactional Information Systems, Morgan Kaufmann, 2002.
• Bernstein, P.A., Hadzilacos, V., and Goodman, N. Concurrency Control and Recovery in Database Systems,
Addison-Wesley, 1987.
• Connolly, T.M., and Begg, C.E. Database Solutions: A step by step guide to building databases, Addison-
Wesley, 2003.
• Simovici, D.A., and Tenney, R.L. Relational Database Systems, Academic Press, 1995.
• Gray, J. and Reuter, A. Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993.
...هامفاهيم و تكنيك: هاديريت پايگاه دادهسيستم م:روحاني رانكوهي •
):كارشناسي(ها سازي پايگاه دادهطراحي و پياده "بازخواني درس •
o 9تا 7و 3تا 1منابع
o ها، از چاپ سوم به بعدروحاني رانكوهي، مفاهيم بنيادي پايگاه داده.
)40548( يريگ تصميم يهاي پشتيبان
Decision Support Systems
جعفر حبيبي: طراح درس
و استفاده از ابزارهـاي كـامپيوتري بـراي حـل
در اين درس دانشـجويان بـا سيسـتم هـاي پشـتيباني مـديريت
در . شوند يو توسعه و ساخت اين سيستم ها آشنا م
هـا در هايي نظير انبـاره داده هاي اطالعاتي و ابزارها و تكنيك
هـاي الزم بـراي توسـعه يـك سيسـتم پشـتيباني تصـميم را فـرا
هاي پشتيبان تصميم
)DSS(شامل سيستم پشتيباني تصميم يار
شامل زير سيستم داده، زيرسيستم مـدل و زيرسيسـتم واسـط
، داده كاوي و نمايش)On Line )OLAP، پردازش تحليلي
، هاي استاتيك و پويا، مدل به وسيله صـفحه گسـترده، درخـت تصـميم و جـدول تصـميم
)OLAP(، سازي بصري مدلسازي و شبيه
DSSمتدولوژي هاي مختلف براي توسعه
)افزار ها و مهندسي نرم
٢٣
هاي پشتيبانسيستم
Decision Support Systems
و استفاده از ابزارهـاي كـامپيوتري بـراي حـل گيري هاي تصميم فرايندهاي پشتيبان تصميم واحد درسي است كه طي آن
در اين درس دانشـجويان بـا سيسـتم هـاي پشـتيباني مـديريت . شود ها معرفي مي هاي موجود در آن بهتر مسائل و غلبه بر پيچيدگي
DSS (هاي مرتبط با هوشمندي تجاري و مكانيزم(BI) و توسعه و ساخت اين سيستم ها آشنا م
هاي اطالعاتي و ابزارها و تكنيك چوبي تدوين شده كه دانشجويان در آن با ساختار سيستم
هـاي الزم بـراي توسـعه يـك سيسـتم پشـتيباني تصـميم را فـرا هاي سيستم پشتيباني تصميم آشنا شده و در طي آن مهارت
گيري تصميم
هاي پشتيبان تصميم
هاي پشتيبان تصميم و رابطه آن با سيستم) Business Intelligence(مفهيم مطرح در هوشمندي تجاري
شامل سيستم پشتيباني تصميم يار ) MSS(مديران و تصميم گيري، دورنمايي از سيستم هاي پشتيباني مديريت
)G-DSS(سيستم پشتيباني تصميمي گروهي
)EIS(سيستم پشتيباني اجرائي
)KMS(سيستم مديريت دانش
و فازهاي آن گيري ، مفهوم سيستم، تصميم
شامل زير سيستم داده، زيرسيستم مـدل و زيرسيسـتم واسـط ) DSS(هاي پشتيباني تصميم يار دورنمايي از سيستم
، پردازش تحليلي DSSداده ها در ها، بازيابي، پايگاه مديريت داده ها شامل مخزن داده
ها و مفاهيم مرتبط با آن
هاي استاتيك و پويا، مدل به وسيله صـفحه گسـترده، درخـت تصـميم و جـدول تصـميم مدل سازي و تحليل شامل انواع مدل
(هاي چند بعدي مدل ، شبيه سازي،)Heuristic(هاي ابتكاري
متدولوژي هاي مختلف براي توسعه و شامل چرخه سنتي عمر نرم افزار،
هاي پشتيباني گروهي گيري گروهي و تكنولوژي هاي پشتيباني تصميم
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتهاي پشتيبان تصميم واحد درسي است كه طي آن سيستم
بهتر مسائل و غلبه بر پيچيدگي
)MSS( پشتيباني تصميم ،)DSS
چوبي تدوين شده كه دانشجويان در آن با ساختار سيستمراين درس چها
هاي سيستم پشتيباني تصميم آشنا شده و در طي آن مهارت فرايند
.گيرند مي
موادريز
تصميم فرايندمفاهيم پايه .1
هاي پشتيبان تصميم نياز به سيستم .2
مفهيم مطرح در هوشمندي تجاري .3
مديران و تصميم گيري، دورنمايي از سيستم هاي پشتيباني مديريت .4
سيستم پشتيباني تصميمي گروهي .5
سيستم پشتيباني اجرائي .6
)ES(سيستم خبره .7
سيستم مديريت دانش .8
مفهوم سيستم، تصميم .9
دورنمايي از سيستم پشتيباني، .10
بر كار
مديريت داده ها شامل مخزن داده .11
ها و مفاهيم مرتبط با آن انباره داده .12
مدل سازي و تحليل شامل انواع مدل .13
هاي ابتكاري مدلهاي بهينه، و مدل
شامل چرخه سنتي عمر نرم افزار، DSSتوسعه .14
هاي پشتيباني تصميم سيستم .15
افزار نرم: گرايش
3: واحد
-: نياز پيش
٢٤
، EISهاي اطالعاتي اجرائي نقش مديران و اطالعات احتياجي، مشخصـه هـاي شامل سيستم EISهاي پشتيباني اجرائي يستمس .16
، زنجيره تامين و پشتيباني تصميم DSو EISمقايسه
هـاي هاي خبره، سـاختار سيسـتم هاي خبره و هوش مصنوعي شامل مفهوم هوش مصنوعي و اجزاي آن، مفهوم سيستم سيستم .17
هاي خبره هاي خبره، و انوع سيستم ره ، زمينه هاي سيستمخب
گير شبكه اي مثل اينترنت ، اينترانت و اكسترانت پشتيباني تصميم .18
هاي آن و استراتژي DSSپياده سازي .19
20. DSS هاي پشتيباني مديريت آثار اجتماعي و سازماني سيستم و هاي هوشمند)MSS (
انبارهاي داده و داده كاوي .21
) CRM(ارتباطي با مشتري مديريت .22
) ERP(برنامه ريزي منابع سازمان .23
)AHP(برنامه ريزي سلسه مراتبي .24
گزارش پژوهشي -تمرين -آزمون
:هاي پژوهشي تمرين •
.هايي كه بايد با استفاده از اينترنت و متن كتاب تجزيه و تحليل شده و پاسخ داده شوند تمرين) 1
استفاده از مفاهيم و ابزارهاي موجود در دنياي واقعي است كه تحت عنوان مطالعه موردي به كه در ارتباط با هايي تمرين) 2
. شود دانشجويان داده مي
هاي مرتبط با اين درس و استفاده از ابزارهاي در اين بخش دانشجويان موظف به اجرا و پياده سازي پروژه: هاي عملي تمرين •
.ندموجود دراين زمينه هست باز -متنمتنوع
در اين درس دانشجويان به صورت گروهي و يا انفرادي بايد كارهاي پژوهشي خود را ارائه : سمينار و ارائه كارهاي پژوهشي •
.آيد دهند و از سمينارهاي مذكور ارزشيابي به عمل مي
فصل ابتدايي 6الب اين درس شامل يك آزمون مياني است كه در اواسط ترم برگزار شده و شامل مط: آزمون مياني و پاياني •
. آزمون پاياني شامل كليه مطالب تدريس شده است. است
مراجع اصلي
• Turban, E., Sharda, R., and Delen, D. Decision Support System and Business Intelligent Systems, 9th edition,
Prentice-Hall, 2010.
• Marakas, G.M. Decision Support in the 21st Century, 2nd edition, Prentice-Hall, 2003.
• Todman, C. Designing a Data Warehouse: Supporting Customer Relationship Management, Prentice-Hall
Professional Technical Reference, 2000.
• Brown, S.A. Customer Relationship Management: A Strategic Imperative in the World of e-Business, John Wiley
and Sons, 1999.
)40646( افزارمعماري نرم
Software Architecture
جعفر حبيبي: طراح درس
سازي و ارزيابي معماري است كه افزار، جايگاه آن، فرايند تدوين معماري، مستند
)افزار ها و مهندسي نرم
٢٥
Software Architecture
افزار، جايگاه آن، فرايند تدوين معماري، مستند نايي با مفاهيم معماري نرم
افزاري هاي نرم هاي معماري بر ساختار سيستم
افزار درك نقش فني، سازماني و تجاري معماري نرم
...)ها و ها، تاكتيك سبك(معماري شناخت ساختارهاي كليدي
سازي و ارائه معماري فهم اصول صحيح مستند
در طراحي معماري
هاي ارزيابي معماري هاي كيفي و روش
افزار آگاهي از آينده معماري نرم
هاي معماري افزار، پيشران
مندي مندي و غير وظيفه
افزار هاي كيفي نرم افزار در دستيابي به ويژگي
افزاري افزار در فرايند توسعه محصوالت نرم
هاي معماري
ها و متدهاي طراحي معماري
هاي معماري ها، الگوها و سبك
هاي دستيابي به خصوصيات كيفي حي معماري و روش
هاي توصيف معماري سازي معماري و زبان
افزار هاي ارزيابي معماري نرم
افزار
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتنايي با مفاهيم معماري نرمهدف اصلي از اين درس آش
:باشد شامل اهداف جزئي زير مي
هاي معماري بر ساختار سيستم فهم تاثير پيشران •
درك نقش فني، سازماني و تجاري معماري نرم •
شناخت ساختارهاي كليدي •
فهم اصول صحيح مستند •
در طراحي معماري COTSدرك تاثير •
هاي كيفي و روش آشنايي با مشخصه •
آگاهي از آينده معماري نرم •
ريز مواد
افزار، پيشران تعاريف معماري نرم .1
چرخه حيات معماري .2
مندي و غير وظيفه هاي وظيفه نيازمندي .3
افزار در دستيابي به ويژگي نقش معماري نرم .4
افزار در فرايند توسعه محصوالت نرم جايگاه معماري نرم .5
هاي معماري ساختارها و منظر .6
ها و متدهاي طراحي معماري تكنيك .7
ها، الگوها و سبك تاكتيك .8
حي معماري و روشطرا .9
سازي معماري و زبان مستند .10
هاي ارزيابي معماري نرم روش .11
افزار بازيابي معماري نرم .12
افزار نرم: گرايش
3: واحد
-: نياز پيش
٢٦
)DSSA(افزار خاص دامنه معماري نرم .13
افزار معماري خط توليد نرم .14
گرا معماري سرويس .15
توسعه بر پايه معماري مولفه محور .16
اسبات ابريمح .17
افزار مباحث نوين در معماري نرم .18
افزار آينده معماري نرم .19
پروژه -تمرين -آزمون
)%15( تمرينات •
)%25( پروژه •
)%50( پايان ترم آزمون •
)%10(سمينار •
مراجع اصلي
• Shaw, M., Garlan, D., and Hall, P. Software Architecture: Perspectives on an Emerging Discipline, Prentice-
Hall, 1996.
• Bass, L., Clements, P., and Kazman, R. Software Architecture in Practice, 2nd edition, Addison-Wesley, 2003.
• Clements, P., et al. Documenting Software Architectures: Views and Beyond, Addison-Wesley, 2003.
• J. Lattanze, A. Architecting Software Intensive Systems: A Practitioner’s Guide, Auerbach Publications, 2008.
)40657(هاي كامپيوتريمدلسازي و تحليل شبكه
Computer Networks Mode
آبادي ر رحيمعلي موق: طراح درس
هدف اين درس معرفي تاريخچه و داليل بوجود آمدن شبكه هاي كامپيوتري، مروري بر كاربردهاي گسترده آن ها چـه در گذشـته،
چه در حال و چه در آينده، مروري دقيق بر مفاهيم اصلي استفاده شده در اين سيستم هـا، و نهايتـاً اسـتفاده از روش هـاي مدلسـازي
(The Internet and Web) شبكه هاي اقتضايي سـيار ،(Mobile Ad-
Peer-to-Peer) همتـا -بـه -هـاي همتـا ، شـبكه
(Grid Computing) محاسبات ابـري ، (Cloud Computing)
تعريف شبكه هاي كامپيوتري، شبكه هاي كامپيوتري و سيستم هاي توزيع شده، تاريخچه شـبكه هـاي كـامپيوتري، چگـونگي
هاي گسترده و انواع آنها، شبكه جهاني اينترنت، سـخت افـزار
ر شبكه ها، سرويس هاي اتصال گرا، سرويس هاي بدون اتصال، مفهوم راهگزينـي در
، مدل مرجـع OSI اي، راهگزيني مدار مجازي، ديتاگرام، معماري شبكه، مدل مرجع
، انـواع كانـال هـا، Shannon و تعريف دقيق آن، قضـيه
اصول عملكرد مودم ها و انواع آنها، جفت سيم تابيده، كابل هم محور، فيبر نوري، انتقال بي سيم، ماهواره هاي ارتبـاطي و انـواع
و عدم ادغـام (Multiplexing) سيار و نحوه عملكرد آنها، نسل هاي مختلف تلفن هاي سيار، انواع ادغام
، انواع قالب بندي، روش هـاي (Framing) ، مفهوم قالب بندي
اي، انواع پروتكل هاي پنجره لغزان، درستي يابي پروتكل
M/M سيستم هاي صف ، M/M/m ، M/M/∞ و
، مدلسازي و تحليل انـواع (Polling) با تعطيالت، سيستم هاي سركشي
)افزار ها و مهندسي نرم
٢٧
مدلسازي و تحليل شبكه
Modeling and Analysis
طراح درس
هدف اين درس معرفي تاريخچه و داليل بوجود آمدن شبكه هاي كامپيوتري، مروري بر كاربردهاي گسترده آن ها چـه در گذشـته،
چه در حال و چه در آينده، مروري دقيق بر مفاهيم اصلي استفاده شده در اين سيستم هـا، و نهايتـاً اسـتفاده از روش هـاي مدلسـازي
. هاي كامپيوتري است طرح در مدلسازي و تحليل شبكه
(The Internet and Web)انواع شبكه هاي كامپيوتري مورد مطالعه شامل اينترنت و وب
، شـبكه (Wireless Sensor Networks) ، شـبكه هـاي حسـگر بـي سـيم
(Grid Computing) ، محاسبات توري (Overlay Networks) ، شبكه هاي فراگستر
(Pervasive Computing) مي باشد .
تعريف شبكه هاي كامپيوتري، شبكه هاي كامپيوتري و سيستم هاي توزيع شده، تاريخچه شـبكه هـاي كـامپيوتري، چگـونگي
هاي گسترده و انواع آنها، شبكه جهاني اينترنت، سـخت افـزار هاي محلي و انواع آنها، شبكه تكامل شبكه هاي كامپيوتري، شبكه
ر شبكه ها، سرويس هاي اتصال گرا، سرويس هاي بدون اتصال، مفهوم راهگزينـي در شبكه، نرم افزار شبكه، مفهوم اليه بندي د
اي، راهگزيني مدار مجازي، ديتاگرام، معماري شبكه، مدل مرجع شبكه ها، راهگزيني مداري، راهگزيني بسته
.، استانداردهاي مطرح شبكه
ارتباطات و پروتكل هاي نقطه به نقطه
و تعريف دقيق آن، قضـيه ه فيزيكي، كانال ها و مودم ها، قضيه نمونه برداري، مفهوم پهناي باند
اصول عملكرد مودم ها و انواع آنها، جفت سيم تابيده، كابل هم محور، فيبر نوري، انتقال بي سيم، ماهواره هاي ارتبـاطي و انـواع
سيار و نحوه عملكرد آنها، نسل هاي مختلف تلفن هاي سيار، انواع ادغام آنها، تاريخچه تلفن هاي
، مفهوم قالب بندي ARQ ، انواع پروتكل هاي ARQ ، پروتكل هاي
اي، انواع پروتكل هاي پنجره لغزان، درستي يابي پروتكل هاي چند جملهكنترل خطا، روش هاي مطرح كنترل جريان، كد
خيردر شبكه هاي داده
M/1، سيستم صف Little ادغام ترافيك در خطوط ارتباطي، مدل هاي صف و قضيه
با تعطيالت، سيستم هاي سركشي M/G/1 ، سيستم صف M/G/1 ، سيستم صف
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
هدف اين درس معرفي تاريخچه و داليل بوجود آمدن شبكه هاي كامپيوتري، مروري بر كاربردهاي گسترده آن ها چـه در گذشـته،
چه در حال و چه در آينده، مروري دقيق بر مفاهيم اصلي استفاده شده در اين سيستم هـا، و نهايتـاً اسـتفاده از روش هـاي مدلسـازي
طرح در مدلسازي و تحليل شبكهرياضي م
انواع شبكه هاي كامپيوتري مورد مطالعه شامل اينترنت و وب
hoc Networks) شـبكه هـاي حسـگر بـي سـيم ،
Networks) شبكه هاي فراگستر ،
(Pervasive Computing)و محاسبات فرا گير
ريز مواد
مفاهيم اوليه .1
تعريف شبكه هاي كامپيوتري، شبكه هاي كامپيوتري و سيستم هاي توزيع شده، تاريخچه شـبكه هـاي كـامپيوتري، چگـونگي
تكامل شبكه هاي كامپيوتري، شبكه
شبكه، نرم افزار شبكه، مفهوم اليه بندي د
شبكه ها، راهگزيني مداري، راهگزيني بسته
TCP/IPاستانداردهاي مطرح شبكه ،
ارتباطات و پروتكل هاي نقطه به نقطه .2
ه فيزيكي، كانال ها و مودم ها، قضيه نمونه برداري، مفهوم پهناي باند الي
اصول عملكرد مودم ها و انواع آنها، جفت سيم تابيده، كابل هم محور، فيبر نوري، انتقال بي سيم، ماهواره هاي ارتبـاطي و انـواع
آنها، تاريخچه تلفن هاي
(Demultiplexing) پروتكل هاي ،
كنترل خطا، روش هاي مطرح كنترل جريان، كد مطرح
.هاي ارتباطي
خيردر شبكه هاي داده ٔمدل هاي تا .3
ادغام ترافيك در خطوط ارتباطي، مدل هاي صف و قضيه
M/M/m/m سيستم صف ،
افزار نرم: گرايش
3: واحد
-: نياز پيش
٢٨
، Burk سيستم هاي سركشي، مدلسازي و تحليل صف هاي با اولويت، شبكه هاي خطوط ارتباطي، برگشت پذيري زماني، قضـيه
.Jackson ، شبكه ها ي صف، قضيه Kleinrock اصل استقالل
گزارش پژوهشي -تمرين -آزمون
يك آزمون ميان نيمسال •
يك آزمون پايان نيمسال •
تمرين جهت آشنايي با حداقل دو شبيه ساز مطرح مدلسازي و تحليل شبكه ها، 3 يا 2 انجام حداقل •
هاگردآوري يك يا دو مقاله تحقيقي و ارائه شفاهي آن •
مرجع اصلي
• Bertsekas, D. and Gallager, R. Data Networks, 2nd edition, Prentice-Hall, 1992.
مراجع فرعي
• Tanenbaum, A. Computer Networks, 4th edition, Prentice-Hall, 2003.
• Kurose, J.F. and Ross, K.W. Computer Networking: A Top-down Approach Featuring the Internet, Addison-
Wesley, 2000.
• Kumar, A., Manjunath, D. and Kuri, J. Communication Networking: An Analytical Approach, Morgan
Kaufmann, 2004.
• Recent papaers in computer networking which have appeared in renowned national and international conferences
and journals.
)40824(نشيهاي واكيابي سيستم
Reactive Systems Verification
آبادي ر رحيمعلي موق: طراح درس
تعريـف اي پيوسته و تنگاتنگ در ارتبـاط بـا محـيط
، سيسـتم هـاي عامـل : بردهـا عبارتنـد از نمونه هايي از اين كار
از خـواص . و غيـره ، نيروگاه هـاي اتمـي هاي صنعتي
خاصيت اخير معموالًمستلزم درستي رفتار اينگونـه سيسـتم هـا
مروندي و بي درنگـي معمـوالً بسـيار پيچيـده
كنشـي بـه كـار واسيسـتم هـاي ار سـنجي و اعتبـ
ي گذار، مدل هاي متني مبتني بر متغير هاي مشترك،مسائل معنايي، روابط هـم ارزي بـين دسـتورات، مـدل هـاي
، تـوازي NanoPromela ، شبكه هاي پتري، هم ارزي رفتاري، توازي همگـام،
لت، عدالت ضعيف، عدالت قوي، دسـتورات هماهنـگ سـازي، دسـتورات
.ارتباطي، جنبه هاي معنايي عدالت، عدالت در شبكه هاي پتري، عدالت در سيستم هاي گذار
.بن بست، رفتار زمان خطي، خواص و تغيير ناپذيرهاي ايمني، خواص زندگي، انصاف
لمات متناهي، وارسي الگوي خواص ايمني منظم، خودكـار هـا در روي كلمـات نامتنـاهي، وارسـي الگـوي
CTL وارسي الگوي نمادين ، CTL ، CTL* .
)افزار ها و مهندسي نرم
٢٩
يابي سيستمدرستي
Verification
طراح درس
(reactive)اي پيوسته و تنگاتنگ در ارتبـاط بـا محـيط د كه رفتار آن ها به گونه، سيستم هايي هستن
نمونه هايي از اين كار. به كار مي آيند س سيستم ها معموالً در كاربردهاي حسا
هاي صنعتي فرايندكنترل ، ، هوانوردي ، سيستم هاي همراه بي سيم
خاصيت اخير معموالًمستلزم درستي رفتار اينگونـه سيسـتم هـا . است درنگ و اتكاپذيري باالها، همروندي، جنبه هاي بي
مروندي و بي درنگـي معمـوالً بسـيار پيچيـده از سويي ديگر، تعيين چنين درستي رفتاري به دليل جنبه هاي ه
و اعتبـ اي است كه براي توصيف مشخصات اين درس درباره مفاهيم و روش هاي رسمي
.وارسي الگو، مشخصات وارسي الگو، نقاط قوت و ضعف
ي گذار، مدل هاي متني مبتني بر متغير هاي مشترك،مسائل معنايي، روابط هـم ارزي بـين دسـتورات، مـدل هـاي
، شبكه هاي پتري، هم ارزي رفتاري، توازي همگـام، CCS ، مدل CSP متني مبتني بر ارسال پيام، مدل
لت، عدالت ضعيف، عدالت قوي، دسـتورات هماهنـگ سـازي، دسـتورات همگام، مساله انفجار فضاي حالت، تبعات ملزومات عدا
ارتباطي، جنبه هاي معنايي عدالت، عدالت در شبكه هاي پتري، عدالت در سيستم هاي گذار
بن بست، رفتار زمان خطي، خواص و تغيير ناپذيرهاي ايمني، خواص زندگي، انصاف
لمات متناهي، وارسي الگوي خواص ايمني منظم، خودكـار هـا در روي كلمـات نامتنـاهي، وارسـي الگـوي
LTL نحو و معنا، هم ارزي فورمول هاي .LTL ، وارسي الگوي مبتني بر خودكارهاي
منطق درخت محاسباتي
LTL نسبت به CTL نحو و معنا، قابليت توصيف CTL، انصاف در CTL ، وارسي الگوي
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
(reactive)سيستم هاي واكنشي
سيستم ها معموالً در كاربردهاي حسااينگونه . شود مي
، سيستم هاي همراه بي سيم شبكه هاي كامپيوتري سريع
ها، همروندي، جنبه هاي بياين سيستم مهم
از سويي ديگر، تعيين چنين درستي رفتاري به دليل جنبه هاي ه. در شرايط مختلف است
اين درس درباره مفاهيم و روش هاي رسمي. است
.آيند مي
ريز مواد
درستي يابي سيستم .1
وارسي الگو، مشخصات وارسي الگو، نقاط قوت و ضعف
مدل هاي همروندي .2
ي گذار، مدل هاي متني مبتني بر متغير هاي مشترك،مسائل معنايي، روابط هـم ارزي بـين دسـتورات، مـدل هـاي سيستم ها
متني مبتني بر ارسال پيام، مدل
همگام، مساله انفجار فضاي حالت، تبعات ملزومات عدا
ارتباطي، جنبه هاي معنايي عدالت، عدالت در شبكه هاي پتري، عدالت در سيستم هاي گذار
خواص زمان خطي .3
بن بست، رفتار زمان خطي، خواص و تغيير ناپذيرهاي ايمني، خواص زندگي، انصاف
خواص منظم .4
لمات متناهي، وارسي الگوي خواص ايمني منظم، خودكـار هـا در روي كلمـات نامتنـاهي، وارسـي الگـوي خودكار ها در روي ك
.منظم ω خواص
منطق زماني خطي .5
نحو و معنا، هم ارزي فورمول هاي
منطق درخت محاسباتي .6
نحو و معنا، قابليت توصيف
افزار نرم: گرايش
3: واحد
-: نياز پيش
٣٠
هم ارزي و تجريد .7
*CTL شبيه سازي دو سويه، شبيه سازي دو سويه و هم ارزي ، الگوريتم هاي پيمانه سازي شبيه سازي دو سويه، روابـط شـبيه
*�CTLسازي، شبيه سازي دو سويه و هم ارزي .
يكاهش ترتيب جزئ .8
. Ample ي زمان شاخه اي ، رهيافت مجموعه Ample ي زمان خطي استقالل اعمال، رهيافت مجموعه
خودكارهاي زماني .9
. TCTL معنا، منطق درخت محاسباتي زماني، وارسي الگوي
سيستم هاي احتمالي .10
زي دو سـويه احتمـالي،زنجيره و شبيه سا *PCTL زنجيره هاي ماركوف، منطق درخت محاسباتي احتمالي، خواص زمان خطي،
.هاي تصميم گيري ماركوف فرايندهاي ماركوف و هزينه ها،
گزارش پژوهشي -تمرين -آزمون
آزمون ميان نيمسال •
آزمون پايان نيمسال •
گردآوري يك يا دو مقاله تحقيقي و ارائه شفاهي آنها •
جع اصليمر
• Baier , C . and Katoen , J.P . Principles of Model Checking, MIT Press , 2008 .
جع فرعيامر
• Clarke , E. , Grumberg , O . and Peled , D.A . Model Checking, MIT Press , 1999 .
• Huth , M . and Ryan , M . Lofic in Computer Science : Modelling and Reasoning about Systems , Cambridge
University Press , 2000 .
• Alur , R . and Henzinger , T.A . Comuter-Aided Verification , Draft, 1999 .
• Manna , Z . and Pnueli , A . The Temporal Logic of Reactive and Concurrent Systems : Specification, Springer,
1992 .
• Hoare , C . Communicating Sequential Processes, Prentice-Hall , 1985 .
• Milner , R . Communication and Concurrency, Prentice-Hall , 1989 .
)40684( يرسمبرنامه از توصيف
Formal Program Development باديسيد حسن ميريان حسين آ:
هاي توليد برنامه از توصيف شود و هدف از آن پرداختن به روش
و به خصوص تقليد و جبرپااليش Z شده به زبان
Z ي نو نسخه ساخت (Type Theory)، تئوري انواع
)افزار ها و مهندسي نرم
٣١
برنامه از توصيف ديلتو
Program Development
: طراح درس
شود و هدف از آن پرداختن به روش جويان كارشناسي ارشد و دكتري ارايه مي
شده به زبان در اين درس توليد برنامه از توصيف نوشته. طور سيستماتيك است
، تئوري انواع B هاي ديگر از جمله جبر پااليش مورگان، متدولوژي
.گردد ها معرفي مي ابزارهاي الزم براي به كارگيري اين روش
اي بر توليد برنامه
چرا توليد برنامه از توصيف رسمي؟
)تبديل، پااليش، تقليد و تئوري انواع(
)هفته Z )3 شده به زبان توليد برنامه از توصيف نوشته
(Animation) هاي تابعي و منطقي ا استفاده از زبانب
معرفي ابزارهاي تقليد
(Refinement)
معرفي ابزارهاي پااليش
)هفته 4
ها و پااليش
ها
جايگزيني و تركيب ترتيبي
جمالت انتخابي
هاي منطقي
هاي تكرار
ها و پارامترها
هاي انتزاعي
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
جويان كارشناسي ارشد و دكتري ارايه مي اين درس براي دانش
طور سيستماتيك است ها به رسمي سيستم
هاي ديگر از جمله جبر پااليش مورگان، متدولوژي روش. گيرد مورد بحث قرار مي
ابزارهاي الزم براي به كارگيري اين روشضمناً . گردند معرفي مي
ريز مواد
اي بر توليد برنامه مقدمه .1
a. چرا توليد برنامه از توصيف رسمي؟
b. توليد برنامه )
توليد برنامه از توصيف نوشته .2
a. تقليد (Animation)
b. معرفي ابزارهاي تقليد
c. پااليش(Refinement)
d. معرفي ابزارهاي پااليش
4( جبر پااليش مورگان .3
a. ها و پااليش برنامه
b. ها انواع و اعالن
c. جايگزيني و تركيب ترتيبي
d. جمالت انتخابي
e. هاي منطقي ثابت
f. هاي تكرار حلقه
g. ها و پارامترها رويه
h. مثال
)هفته B )3 متدولوژي .4
a. هاي انتزاعي ماشين
افزار نرم: گرايش
3: واحد
-: نياز پيش
٣٢
b. ساختن توصيف
c. طراحي و پااليش
d. سازي اثبات و پياده
e. مثال
)هفته 3(تئوري انواع .5
a. يناي بر رياضيات ساخت مقدمه (Constructive Mathematics)
b. تئوري انواع Martin LÖf
c. امه با استفاده از تئوري انواع توليد برن
d. مثال
)هفته Z (CZ) )2 ي زبان توصيفننسخه ساخت .6
a. ي نهاي ساخت انواع تئوري مجموعه
b. اصول CZ
c. ماي ساختي نجبر ش
d. توليد برنامه در CZ
e. مثال
گزارش پژوهشي -تمرين -آزمون هاي كوچك، متوسط و بزرگ را پيشنهاد و هر گروه سه صورت برنامه در اندازهشوند نفره تقسيم مي 3 يا 2 هاي دانشجويان به گروه •
را در طول ترم براساس مسايل پيشنهادي خود پاسخ ) تمرين 3 حداقل ( ها، هر گروه تمرينات پس از تصويب برنامه. نمايد مي
ز پايان امتحانات فرصت دارند تا پروژه خود كند كه يك ماه پس ا برنامه بزرگ صورت پروژه هر گروه را مشخص مي . خواهد داد
. افزارهاي موجود دراين زمينه كار نمايند االمكان با استفاده از نرم دانشجويان بايد با حتي. را تحويل نمايند
.نمايد جويان به طور اختياري سميناري را در ارتباط مطالب درس پس از گرفتن تاييد ارايه مي دانش •
كوچك به عنوان امتحان ميان ترمآزمون 7 حدود •
آزمون نهايي •
مراجع اصلي
• Morgan, C. Programming from Specifications, Prentice-Hall, 1990.
• Diller, A. Z: An Introduction to Formal Methods, John Wiley and Sons, 1992.
• Lano, K. and Haughton, H. Specification in B: An Introduction Using the B Toolkit, Imperial College Press,
1996.
• Nordstrom, B. Petersson, K. and Smith, J.M., Programming in Martin Löf’s Type Theory: An Introduction,
Oxford University Press, 1990.
• Woodcock, J. and Davies, J. Using Z Specifications, Refinement, and Proof, Prentice-Hall, 1996.
• Gries D., and Schneider F.B. A Logical Approach to Discrete Math, Springer, 1993.
)40694( وب معنايي
Semantic Web
حسن ابوالحسني: طراح درس
. اين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در ايجاد و توسعه وب معنايي است
ين اين حوزه است، در اين درس مباحث مربوط به هر اليه در طي جلسات
هاي كليدي در اين درس مفهوم يكي از مفهوم
ه ايجاد آنتولوژيها، زيرساخت نحو. كنداي از اين درس در مورد اين موضوع صحبت مي
منطقي مربوطه، نگاشت آنتولوژيها، يادگيري آنها و استفاده از آنها در موتورهاي جستجوي معنايي و بعنوان بستري براي تركيب
)افزار ها و مهندسي نرم
٣٣
اين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در ايجاد و توسعه وب معنايي است
ين اين حوزه است، در اين درس مباحث مربوط به هر اليه در طي جلسات با توجه به اليه بندي معرفي شده كه مورد توافق محقق
يكي از مفهوم. شودمتناسب ارائه شده و برخي از دستاوردهاي تحقيقاتي مربوطه ارائه مي
اي از اين درس در مورد اين موضوع صحبت ميآنتولوژي است كه به اين خاطر بخش عمده
منطقي مربوطه، نگاشت آنتولوژيها، يادگيري آنها و استفاده از آنها در موتورهاي جستجوي معنايي و بعنوان بستري براي تركيب
.گيردوب سرويسها از جمله مواردي است كه در اين درس مورد بحث قرار مي
)جلسه 2(معرفي شده براي آن معرفي وب معنايي و اليه بندي
)جلسه 2تا 1( مباحث مربوط به اليه ايكس ام ال
)جلسه 3تا 2( مرور مباحث بازيابي اطالعات و جستجو در ايكس ام ال
)جلسه 3تا 2( آر دي اف و آر دي اف اس
)جلسه 1( زبانهاي پرسش ايكس كوئري و اسپاركيول
)جلسه
)جلسه 3تا 2(و نحوه استنتاج در آن
)جلسه 2تا OWL )1معرفي مفهوم آنتولوژي و زبان آنتولوژي
)جلسه 2تا 1(مهندسي آنتولوژي و ارزيابي آنتولوژي
)جلسه 2تا
)جلسه 2تا 1(همتراز سازي آنتولوژيها
)جلسه 2تا 1(حاشيه نويسي و غني سازي آنتولوژي
)جلسه 2تا 1(نمايش قواعد در وب معنايي
)جلسه 2تا 1(مديريت اعتماد در وب معنايي
)جلسه 2تا 1(سرويسهاي وب معنايي
)جلسه 2تا
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتاين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با مفاهيم و مسائل مطرح در ايجاد و توسعه وب معنايي استهدف
با توجه به اليه بندي معرفي شده كه مورد توافق محقق
متناسب ارائه شده و برخي از دستاوردهاي تحقيقاتي مربوطه ارائه مي
آنتولوژي است كه به اين خاطر بخش عمده
منطقي مربوطه، نگاشت آنتولوژيها، يادگيري آنها و استفاده از آنها در موتورهاي جستجوي معنايي و بعنوان بستري براي تركيب
وب سرويسها از جمله مواردي است كه در اين درس مورد بحث قرار مي
ريز مواد
معرفي وب معنايي و اليه بندي -مقدمه .1
مباحث مربوط به اليه ايكس ام ال .2
مرور مباحث بازيابي اطالعات و جستجو در ايكس ام ال .3
آر دي اف و آر دي اف اس .4
زبانهاي پرسش ايكس كوئري و اسپاركيول .5
جلسه 1( نمايش دانش .6
معرفي منطق تشريحي .7
معرفي مفهوم آنتولوژي و زبان آنتولوژي .8
مهندسي آنتولوژي و ارزيابي آنتولوژي .9
تا 1(يادگيري آنتولوژي .10
همتراز سازي آنتولوژيها .11
حاشيه نويسي و غني سازي آنتولوژي .12
نمايش قواعد در وب معنايي .13
مديريت اعتماد در وب معنايي .14
سرويسهاي وب معنايي .18
تا 1(جستجوي معنايي .19
افزار نرم: گرايش
3: واحد
-: نياز پيش
٣٤
گزارش پژوهشي -تمرين -آزمون
)كل نمره% 60(آزمونهاي ميان ترم و پايان ترم : آزمون •
)كل نمره% 25. (ن عملي در طول نيمسال تحويل داده مي شوندسه تمرين پژوهشي، و يك تمري: تمرين •
دانشجو كار پژوهش را با كمك استاد درس آغاز . موضوع پزوهش قبل از آزمون پايان نيمسال تعيين ميشود: گزارش پژوهشي •
)كل نمره% 15. (كرده و پس از انجام كار، نتيجه پژوهش را در قالب گزارش ارائه ميدهد
مراجع اصلي
• The Semantic Web, A guide to the future of XML, Web Services and Knowledge Management, By Michael C.
Daconta et al., 2003.
• Spinning the Semantic Web, Bringing the World Wide Web to Its Full Potential Edited by Dieter Fensel, James
A. Hendler, Henry Lieberman and Wolfgang Wahlster.
• The Description Logic Handbook Theory, Implementation and Applications Edited by Franz Baader, Diego
Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider, Published January 2003.
• J. Brank, M. Groblnik and D. Meladenic, “Ontology Evaluation”, SEKT Project Technical Report, 2003.
• S. Staab, A. Maedche, S. Handschuh, An Annotation Framework for the Semantic Web, In: S. Ishizaki (ed.),
Proc. of The First International Workshop on MultiMedia Annotation. January. 30 - 31, 2001. Tokyo, Japan.
• D. Celjuska, M. Vargas-Vera, Ontosophie: A Semi-Automatic System for Ontology Population from Text, Tech
Report kmi-04-19, knowlegde media KMI institude, 2004.
• A. G. Valarakos, G. Paliouras, V. Karkaletsis, G. A. Vouros, Enhancing the Ontological Knowledge through
Ontology Population and Enrichment, LNCS 3257, 2004.
• S. Handschuh, S. Staab, CREAM: CREAting Metadata for the Semantic Web, Elsevier Computer Networks 42,
pp. 579–598, 2003.
• S. Handschuh, S. Staab , R. Volz, On Deep Annotation, WWW2003, May 20–24, 2003, Budapest, Hungary.
• M.-R. Koivunen, D. Brickley, J., Kahan, E. P. Hommeaux, R. R. Swick, The W3C CollaborativeWeb
Annotation Project ... or how to have fun while building an RDF infrastructure, 2000.
• T. Finin, J. Mayfield, C. Fink, A. Joshi, and R. S. Cost, “Information retrieval and the semantic web,” in
Proceedings of the 38th International Conference on System Sciences, Hawaii, United States of America, 2005.
• T. Finin, L. Ding, R. Pan, A. Joshi, P. Kolari, A. Java, and Y. Peng, “Swoogle: Searching for knowledge on the
semantic web,” in Proceedings of the AAAI 05, 2005.
• R. Guha, R. McCool, and E. Miller, “Semantic search,” in Proc. of the12th international conference on World
Wide Web, New Orleans, 2003, pp. 700–709.
• Y. Zhang, W. Vasconcelos, and D. Sleeman, “OntoSearch: An ontology search engine,” in The Twenty-fourth
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge,
2004.
• M. Klusch, B. Fries, and M. Khalid, “OWLS-MX: Hybrid Semantic Web Service Retrieval”, In Proceedings of
1st International AAAI Fall Symposium on Agents and the Semantic Web, Arlington VA, USA, 2005.
• M. Klusch, A. Gerber, and M. Schmidt, “Semantic Web Service Composition Planning with OWLS-Xplan”,
AAAI Fall Symposium Series, Arlington, Virginia, USA, Nov. 2005.
٣٥
• B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, “Composing Web services on the Semantic Web”, The
VLDB Journal, vol. 12, no. 4, Nov. 2003.
• S. McIlraith and T. C. Son, “Adapting Golog for composition of Semantic Web services”, In Proceedings of the
8th International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France, April
2002.
• S. R. Ponnekanti and A. Fox, “SWORD: A developer toolkit for Web service composition”, In Proceedings of
the 11th World Wide Web Conference, Honolulu, HI, USA, 2002.
• D. Wu et al., “Automatic Web services composition using SHOP2”, In Proceedings of the Workshop on
Planning for Web Services, Trento, Italy, June 2003.
• E. Sisrin, B. Parsia, and J. Hendler, “Filtering and selecting semantic web services with interactive composition
techniques”, IEEE Intelligent Systems, vol. 19, no. 4, pp. 42-49, 2004.
• M. Paolucci et al., “Semantic matching of web services capabilities”, In Proceedings of the 1st International
Semantic Web Conference (ISWC), Springer, 2002, pp. 333-347.
• S. Ben Mokhtar et al., “Context-aware Service Composition in Pervasive Computing Environments”, In
Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques
(RISE’05), Heraklion Crete, Greece, Sep. 2005.
• Jorge Perez, Marcelo Arenas, and Claudio Gutierrez, “Semantics and Complexity of SPARQL” , 5th
International Semantic Web Conference, Athens, GA, USA, November 5-9, 2006, LNCS 4273.
• INEX proceedings online
• http://www.w3.org/XML/
• http://www.ilrt.bris.ac.uk/discovery/rdf/resources/
• http://www.w3.org/TR/owl-ref/
)40787( افزار الگوها در مهندسي نرم
Patterns in Software Engineering
نرامان رامسي: طراح درس
. استاين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با الگوها و كاربرد آنها در مهندسي نرم افزار
، با الگوهاي اصالح كد و فرايندمعماري، مهندسي مجدد و مهندسي
به دليل تعدد الگوها، سعي ميشود ضمن تأكيد بر معرفي تفصيلي الگوهاي پركاربرد، آشنايي كافي با
)كل نمره
ا با كمك استاد درس آغاز دانشجويان كار پژوهش ر
)كل نمره% 20
)افزار ها و مهندسي نرم
٣٦
الگوها در مهندسي نرم
Patterns in Software Engineering
اين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با الگوها و كاربرد آنها در مهندسي نرم افزار
معماري، مهندسي مجدد و مهندسي من آشنايي با الگوهاي رايج تحليل، طراحي،
به دليل تعدد الگوها، سعي ميشود ضمن تأكيد بر معرفي تفصيلي الگوهاي پركاربرد، آشنايي كافي با .
.پيچيدگي و تحليل الگوها نيز حاصل شودساختارها و اصول مبنايي و روشهاي مديريت
)مدت هر جلسه، نود دقيقه است -جلسه 1( مباني و تاريخچه
)جلسه 1
Gamma et al. )5 جلسه(
)جلسه GRASP )2الگوهاي - اصول و قواعد شيءگرايي در قالب الگوها
GoV - Buschmann et al. )4 جلسه(
)جلسه 2(
)جلسه
)جلسه 4(الگوهاي مهندسي مجدد
)جلسه 1(ايجاد نرم افزار
Fowler )2 جلسه(
)جلسه 1( روشهاي طبقه بندي، مديريت پيچيدگي و تحليل الگوها
گزارش پژوهشي )كل نمره% 60(هاي ميان ترم و پايان ترم
كل نمره% 20. (چهار يا پنج تمرين پژوهشي كه در طول نيمسال تحويل داده شوند
دانشجويان كار پژوهش ر. موضوع مقاله قبل از آزمون پايان نيمسال تعيين ميشود
20. (نتايج بايد نهايتاً در قالب يك گزارش پژوهشي تهيه و تحويل داده شوند
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم(اختياري :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
اين درس، آشنا كردن دانشجويان كارشناسي ارشد و دكترا با الگوها و كاربرد آنها در مهندسي نرم افزار هدف
من آشنايي با الگوهاي رايج تحليل، طراحي،دانشجويان ض
. پادالگوها نيز آشنا مي شوند
ساختارها و اصول مبنايي و روشهاي مديريت
ريز مواد
مباني و تاريخچه: مقدمه .1
Coad )1الگوهاي پايه .2
.GoF - Gamma et alالگوهاي .3
اصول و قواعد شيءگرايي در قالب الگوها .4
GoVالگوهاي معماري .5
GoVالگوهاي طراحي .6
4(الگوهاي اصالح كد .7
الگوهاي مهندسي مجدد .8
ايجاد نرم افزار فرايندالگوهاي .9
)جلسه 3(پادالگوها .10
Fowlerالگوهاي تحليل .11
روشهاي طبقه بندي، مديريت پيچيدگي و تحليل الگوها .12
گزارش پژوهشي -تمرين -آزمون
هاي ميان ترم و پايان ترم آزمون: آزمون •
چهار يا پنج تمرين پژوهشي كه در طول نيمسال تحويل داده شوند: تمرين •
موضوع مقاله قبل از آزمون پايان نيمسال تعيين ميشود: مقاله پژوهشي •
نتايج بايد نهايتاً در قالب يك گزارش پژوهشي تهيه و تحويل داده شوند. كنند مي
افزار نرم: گرايش
3: واحد
-: نياز پيش
٣٧
مراجع اصلي
• Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. Pattern-Oriented Software Architecture:
A System of Patterns, Vol. 1. Wiley, 1996.
• Buschmann, F., Henney, K., and Schmidt, D. C. Pattern-Oriented Software Architecture: On Patterns and
Pattern Languages, Vol. 5. Wiley, 2007.
• Fowler, M. Analysis Patterns: Reusable Object Models. Addison-Wesley, 1996.
• Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns: Elements of Reusable ObjectOriented
Software. Addison-Wesley, 1995.
• Kerievsky, J. Refactoring to Patterns. Addison-Wesley, 2004.
• Manolescu, D., Voelter, M., and Noble, J. Pattern Languages of Program Design, Vol. 5. Addison-Wesley,
2006.
• Shalloway, A., and Trott, J. Design Patterns Explained: A New Perspective on Object-Oriented Design, 2nd
edition. Addison-Wesley, 2005.
)40828( افزارآزمون نرم
Software Testing حسن ميريان حسين آباديسيد :
وليد داده آزمون از روي هاي ت شود و هدف از آن پرداختن به روش
ها معرفي همچنين در طي اين درس ابزارهاي الزم براي به كارگيري اين روش
هاي كوچك، متوسط و بزرگ را پيشنهاد شوند و هر گروه سه صورت برنامه در اندازه
پاسخ را در طول ترم براساس مسايل پيشنهادي خود
كند كه يك ماه پس از پايان امتحانات فرصت دارند تا پروژه خود
. افزارهاي موجود دراين زمينه كار نمايند
.نمايد ناري را در ارتباط مطالب درس پس از گرفتن تاييد ارايه مي
• Ammann, P., and Offutt , J. Introduction to Software Testing
)افزار ها و مهندسي نرم
٣٨
: طراح درس
شود و هدف از آن پرداختن به روش جويان كارشناسي ارشد و دكتري ارايه مي
همچنين در طي اين درس ابزارهاي الزم براي به كارگيري اين روش. طور سيستماتيك است
گزارش پژوهشيشوند و هر گروه سه صورت برنامه در اندازه نفره تقسيم مي 3 يا 2 هاي
را در طول ترم براساس مسايل پيشنهادي خود) تمرين 3 حداقل ( ها، هر گروه تمرينات پس از تصويب برنامه
كند كه يك ماه پس از پايان امتحانات فرصت دارند تا پروژه خود برنامه بزرگ صورت پروژه هر گروه را مشخص مي
افزارهاي موجود دراين زمينه كار نمايند االمكان با استفاده از نرم دانشجويان بايد با حتي
ناري را در ارتباط مطالب درس پس از گرفتن تاييد ارايه ميجويان به طور اختياري سمي
آزمون كوچك به عنوان امتحان ميان ترم
Introduction to Software Testing , Cambridge University Press
تحصيالت تكميلي: مقطع
ها و مهندسي نرم زيرگرايش سيستم( يارياخت :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
جويان كارشناسي ارشد و دكتري ارايه مي اين درس براي دانش
طور سيستماتيك است افزار به هاي مختلف نرم مدل
.گردد مي
ريز مواد
مقدمه .1
پوشش گراف .2
پوشش منطق .3
افراز فضاي ورودي .4
آزمون مبتني بر نحو .5
مالحظات عملي .6
ساخت ابزار آزمون .7
گزارش پژوهشي -تمرين -آزمون
هاي دانشجويان به گروه •
پس از تصويب برنامه. نمايد مي
برنامه بزرگ صورت پروژه هر گروه را مشخص مي . خواهد داد
دانشجويان بايد با حتي .را تحويل نمايند
جويان به طور اختياري سمي دانش •
آزمون كوچك به عنوان امتحان ميان ترم 7 حدود •
آزمون نهايي •
مرجع اصلي
Cambridge University Press , 2008.
افزار نرم: گرايش
3: واحد
-: نياز پيش
٣٩
ها و محاسبات ختياري زيرگرايش الگوريتمدروس اصلي و ا
)40647( پردازش موازي
Parallel Processing محمد قدسي: طراح درس
ي كوچك يا بزرگ است تا بتوان كارايي و تسريع بااليي را
هاي موازي هاي موازي بر روي معماري جويان در اين درس، با مباحث نظري پردازش موازي و طراحي و تحليل الگوريتم
هاي خود سازيالگوريتم نويسي موازي مبتني بر انتقال پيام عمالً به پياده
.دهيم اي را در اين زمينه انجام مي
)پراكني داده سازي،
)ها
اي، عمليات حسابي، محاسبات بيتي و كلمه
)ها پراكني، انقباض و پيشوند موازي، ترتيب عناصر در ليست، ضرب ماتريس
بند و بستار تعدي
)و محاسبات ها
٤٠
ي كوچك يا بزرگ است تا بتوان كارايي و تسريع بااليي را كمك چندين پردازنده هدف اصلي از پردازش موازي انجام محاسبات به
جويان در اين درس، با مباحث نظري پردازش موازي و طراحي و تحليل الگوريتم
نويسي موازي مبتني بر انتقال پيام عمالً به پياده كمك برنامه شوند و نيز به آشنا مي
اي را در اين زمينه انجام مي نگاه مختصري خواهيم داشت و پروژهنيز » اي نويسي چند هسته
نياز به پردازش موازي
هاي علمي مورد استفاده ها و پردازش موازي و واژه
موانع پردازش موازي
هاي موازي
سازي، ي پيشوندي موازي، مرتب انقباض موازي، محاسبه(ي ساده
)ي خطي، توري، ساختار درختي، گراف كامل هآراي(چند معماري موازي
ها حد پايين الگوريتم(هاي فوق بر روي هر ساختار و تحليل آن
عمليات حسابي، محاسبات بيتي و كلمه(ي ساده و چند مسئله » (systolic) تپنده هاي سيستم
NC ي هپيچيدگي محاسبات موازي و رد
اي هاي پايه و الگوريتم
رم تعريف و فرضيات مدل پي
پراكني، انقباض و پيشوند موازي، ترتيب عناصر در ليست، ضرب ماتريس داده(حل چند مسئله و تحليل
)ي محدب نقاط سازي، پوسته انتخاب موازي، مرتب(مسائل ديگر
ي موازي در سطح مدار
retiming گام به تپنده هاي هم براي تبديل مدارها و الگوريتم
بند و بستار تعدي ي معادالت خطي، اجزاي هم استفاده از اين قضيه در حل مسئله
تحصيالت تكميلي: مقطع
ها زيرگرايش الگوريتم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
هدف اصلي از پردازش موازي انجام محاسبات به
جويان در اين درس، با مباحث نظري پردازش موازي و طراحي و تحليل الگوريتم دانش. كسب كرد
آشنا مي »رم پي« عي مختلف و مدل انتزا
. پردازند مي
نويسي چند هسته برنامه «در اين درس به
ريز مواد
معرفي. 1
a( نياز به پردازش موازي
b( ها و پردازش موازي و واژه انواع سيستم
c( موانع پردازش موازي
هاي موازي آشنايي با الگوريتم .2
a( ي ساده چند مسئله
b( چند معماري موازي
c( هاي فوق بر روي هر ساختار و تحليل آن حل مسئله
d( سيستم «آشنايي با
)كانولوشن
پيچيدگي محاسبات موازي و رد .3
و الگوريتم » (PRAM) رم پي «مدل. 4
a( تعريف و فرضيات مدل پي
b( حل چند مسئله و تحليل
c( مسائل ديگر
ي موازي در سطح مدارها الگوريتم .5
a( ي قضيهretiming
b( استفاده از اين قضيه در حل مسئله
افزار نرم: گرايش
3: واحد
-: نياز پيش
٤١
c( ساز هاي مرتب شبكه) Batcher فرد- ، زوج(
d( اي داده وجو و عمليات بر روي فرهنگ جست
e( وندي، محاسبات پيش FFT
هاي موازي مبتني بر توري الگوريتم .6
a( سازي الگوريتم هاي مرتب:Shearsort
b( ي محاسباتي هاي پردازش تصوير و هندسه الگوريتم
c( ها مسيردهي بسته (packet routing)
d( عمليات ماتريسي)حل معادالت خطي(
e( هاي گراف الگوريتم
)ي فوق مكعب ادهخانو(هاي با قطر كم معماري .7
a( تعويض اي، برش ، فوق مكعب، پروانه»ها توري از درخت «ساختارهاي
b( جادهي ساختارهاي ساده در فوق مكعب
c( هاي مختلف الگوريتم)سازي، ماتريسي، مرتب(..
d( هاي گراف الگوريتم
e( پراكني مسيردهي و داده
f( هاي نرمال بر روي اين ساختارها الگوريتم
g( هاي موازي از يك مدل به مدل ديگر الگوريتمسازي شبيه
گزارش پژوهشي -تمرين -آزمون
)درصد نمره 15(عدد 4-5 هاي نظري، تمرين •
)درصد نمره MPI )15عملي با استفاده از تمرين 3يا 2 •
اي آن و در انتهاي درس در جلسهاو بايد مقاله را بخواند .شود ي عميقي از مفاهيم درس داده مي جو مقاله به هر دانش: پژوهش •
اگر بر روي اين موضوع كار پژوهشي جدي انجام دهيد، امتياز . را فهميده است را ارائه نمايد و نشان دهد كه با جزئيات كامل آن
)درصد نمره 15. (ويژه و اضافي خواهيد گرفت
)درصد نمره 25(ترم آزمون ميان •
)درصد نمره 30( آزمون نهايي •
ع اصليمراج
• Parhami, B. Introduction to Parallel Processing: Algorithms and Architectures, Plenum Press, 2000.
• Leighton, F.T. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes, Morgan
Kaufmann, 1992.
• MPI Foru.m, MPI: A Message-Passing Interface Standard, April 1994.
)40735( هندسه محاسباتي
Computational Geometry محمد قدسي: طراح درس
گـران شكوفا شده اسـت و پـژوهش » كاربردي
وگرافيـك Robotics ،GIS ، CAD هـاي زيـادي، از جملـه
از آن در جـو بتوانـد طوري كه دانـش به ،هاي كارا براي حل مسايل اصلي آن است
اي هـ در انجـام پـروژه شـود و آشنامينيز اي
(LEDA: .
، DCEL ، ليسـت دوهمبنـد يـالي »وضـعيت «
.نوا
ريزي خطي تصادفي،مسـئله در ابعـاد ريزي خطي افزايشي، برنامه
ي چندبعدي، مسئله در حالت هاي بازه درخت
ها و كران پايين آن
)ومحاسبات ها
٤٢
هندسه محاسباتي
Computational Geometry
كاربردي هاي الگوريتم « هاي مهم ي محاسباتي در دو ده سال اخير به عنوان يكي از زمينه
هـاي زيـادي، از جملـه اين موضوع عالوه بر غناي نظـري، در زمينـه . خود جذب كرده است
هاي كارا براي حل مسايل اصلي آن است ساختارها و الگوريتم هدف از اين درس آشنايي با داده
اي خانه با توابع كتاب جو در اين درس، دانش. هاي ديگر يا پژوهش بعدي خود استفاده كند
LEDA: Library of Efficient Data structures and Algorithms)
معرفي درس و كاربردهاي آن
« سـاختار دادها و داده صف رخ ، (Plane Sweep) » جاروب صفحه
.ها پوشاني دونقشه و اعمال منطقي بر روي آن
) Art Gallery Problemي گالري هنر مسئله(ها
نوا بندي چندضلعي يك نوا، مثلث هاي يك هاي ساده، تقسيم به قطعه
)يگر ي ريخته مسئله
ريزي خطي افزايشي، برنامه ها، برنامه صفحه گري، تقاطع نيم ي ريخته
.ي محاطي ترين دايره
(Orthogonal Range Searching) اي متعامد
درخت هاي بازه، ، درخت (Kd-Trees)» دي كي« هاي درخت، تر بعدي و بيش
(Point Location)
.بندي يك نقشه، يك الگوريتم تصادفي افزايشي
و كران پايين آن (Proximity Problems) » ريجوا هم« اي براي مسايل
تحصيالت تكميلي: مقطع
ها زيرگرايش الگوريتم( ياجبار: نوع درس
- :نياز هم
دانشكده مهندسي كامپيوتر
كلياتي محاسباتي در دو ده سال اخير به عنوان يكي از زمينه هندسه
خود جذب كرده است زيادي را به
.ي، كاربرد داردكامپيوتر
هدف از اين درس آشنايي با داده
هاي ديگر يا پژوهش بعدي خود استفاده كند درس
كند عملي خود از آن استفاده مي
ريز مواد
معرفي درس و كاربردهاي آن .1
ها خط تقاطع پاره .2
جاروب صفحه«هاي مبتني بر الگوريتم
پوشاني دونقشه و اعمال منطقي بر روي آن ي هم محاسبه
ها بندي چندضلعي مثلث .3
هاي ساده، تقسيم به قطعه بندي چندضلعي مثلث
مسئله(ريزي خطي برنامه .4
ي ريخته سي مسئلهسازي هند مدل
ترين دايره ي كوچك بيشتر، مسئله
اي متعامد جستجوي بازه .5
بعدي و بيش يكتعريف مسئله
.تر كلي
(Point Location)يابي نقطه مكان .6
بندي يك نقشه، يك الگوريتم تصادفي افزايشي ذوزنقه
اي براي مسايل هاي پايه الگوريتم .7
افزار نرم: گرايش
3: واحد
-: نياز پيش
٤٣
هاي بهينه براي حل آن و الگوريتم (Convex Hull) ي پوش محدب مسئله .8
(Delaunay Triangulation) بندي دالني و مثلث (Voronoi Diagram) دياگرام ورونوي .9
.بندي دالني ي مثلث هاي مختلف محاسبه ي دياگرام ورونوي، دوگان مسئله، خواص و روش ها، محاسبه تعاريف اوليه و ويژگي
ها سازي آن شده و ساده بندي ظم مثلثهاي نامن شبكه .10
.سازي موازي هاي مختلف، ساده ي روش بررسي و مقايسه
ي محاسباتي ساختارهاي ديگر براي مسايل هندسه داده .11
.هاي قطعه هاي جستجوي اولويت، درخت هاي بازه، درخت درخت
: مسايل ديگر .12
(Visibility) قابليت ديد .د آن در روباتيكترين مسيرها و كاربر ، كوتاه
گزارش پژوهشي -تمرين -آزمون
تمرين نظري 4 دود ح •
سال آزمون ميان نيم •
آزمون نهايي •
نهاد شده بـه عنـوان موضـوع پـژوهش خـود در ايـن جو موضوعي از بين موارد پيش حداكثر يك ماه تا پايان ترم، هر يك يا دو دانش •
جو بايـد سال، دانش در انتهاي نيم.كند ، خالصه موضوع انتخابي خود را در كالس ارائه ميجو در طول ترم دانش. كند درس انتخاب مي
جوياني كـه ي دانش مرهن. دهد با در سميناري پيشرفت خود را ارايه نمايد، و در پايان، گزارش بررسي خود را در اين زمينه تحويل مي
.خواهد بود 20 تا 16 داخلي تهيه كنند، بين هاي اي در حد كنفرانس ي درس خود مقاله بتوانند از پروژه
مراجع اصلي
• de Berg, M., van Kreveld, M., Overmars, M., and Schwarzkopf, O. Computational Geometry: Algorithms and
Applications, 3rd edition, Springer, 2008.
• Mehlhorn, K., et al. The LEDA User Manual, ftp://ftp.mpi-sb.mpg.de/pub/LEDA, 1998.
)40765( هاي پيشرفتهالگوريتم
Advanced Algorithms
محمد قدسي: طراح درس
هاست كه هاي مهمي از الگوريتم شود و هدف آن پرداختن به موضوع
)، دور هميلتوني، افراز
Relabel-to-front(
)و محاسبات ها
٤٤
الگوريتم
Advanced Algorithms
شود و هدف آن پرداختن به موضوع جويان كارشناسي ارشد و دكتري ارايه مي
.ها مسلط باشد قاعدتاً يك دانشجوي كارشناسي ارشد كامپيوتر بايد بر آن
(Amortized) حليل سرشكني
(NP-Complete)
تمام-پي
پي رابطه با مسايل ان
ي كوك
، دور هميلتوني، افراز Sat ، 3D-matching ، Vertex-Cover ، Clique-3 ( مسايل اصلي
تمام بودن يك مسئله -پي هاي اثبات ان
ها از اين موضوع براي تحليل الگوريتم
هاي شبكه و گراف
frontو Preflow-Push هاي ، الگوريتم Ford-Fulkerson روش (ي شاره
هاي متفاوت مسئله
كاربردهاي مختلف
(Matching) هاي تطابق
(Assignment
«(Transportation)
Robin-Karp
Knuth-Morris-Pratt
Boyer-Moore
تحصيالت تكميلي: مقطع
ها ريتمزيرگرايش الگو( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
جويان كارشناسي ارشد و دكتري ارايه مي اين درس براي دانش
قاعدتاً يك دانشجوي كارشناسي ارشد كامپيوتر بايد بر آن
ريز مواد
حليل سرشكني مقدمات، ت. 1
(Completeتمام-پي مسايل ان. 2
a( مقدمات
b( پي ي ان نظريه
c( رابطه با مسايل ان
d( ي كوك قضيه
e( مسايل اصلي
f( هاي اثبات ان روش
g( از اين موضوع براي تحليل الگوريتماستفاده
هاي شبكه و گراف الگوريتم. 3
a( ي شاره شبكه
b( هاي متفاوت مسئله گونه
c( كاربردهاي مختلف
d( هاي تطابق مسئله
e( »ُگمارش «t)
f( »ونقل حمل «
g( جايابي
ها تطابق رشته. 4
a( الگوريتم Karp
b( الگوريتمPratt
c( الگوريتمMoore
افزار نرم: گرايش
3: واحد
-: نياز پيش
٤٥
(Sorting Networks) ساز هاي مرتب شبكه. 5
(Linear Programming) ريزي خطي هاي برنامه الگوريتم . 6
(Computational Geometry) ي محاسباتي هندسههاي آشنايي با الگوريتم. 7
NP-hard هاي تقريبي براي برخي مسايل الگوريتم. 8
]در صورت وجود وقت [(Probabilistic Algorithms)هاي احتماالت الگوريتم. 9
گزارش پژوهشي -تمرين -آزمون
تمرين نظري 4 حدود •
:در يكي از كارهاي زير مشاركت كنند) نهايي استاد انتخاب به(جو بايد هر يك يا دو دانش •
ي گزارش فارسي از آن الس و تهيهي آن در ك مطالعه و فهم يك مقاله تعيين شده و ارايه .1
ي يك مقاله ي اوليه شود، و حاصل آن گونه انجام پژوهش بر روي موضوعي خارج از درس كه توسط مدرس تعيين مي .2
.است
آزمون ميان ترم •
ون نهاييآزم •
مراجع اصلي
• Cormen , T ., Leiserson , C ., Riverst , R ., and Stein, C . Introduction to Algorithms, MIT Press , 2001 .
• Kleinberg , J ., and Tardos , E. Algorithm Design, Addison-Wesley , 2005 .
• Vazirani , V . Approximation Algorithms, Springer , 2002 .
)40775( نظريه پيچيدگي
Theory of Computational Complexity ايزديمحمد : طراح درس
هـاي جديـدتر هاي پايه براي پيچيدگي محاسبه و همچنين مروري بر به كارگيري اين نظريـه در شـاخه
.هاي رمزنگاري است
چـرچ، -، تـز تورينـگ )Nondeterministic(هاي تورينگ چند نـواري و غيرقطعـي
.تعريف مفاهيم زمان اجرا و فضاي مصرفي يك الگوريتم
اول، قضـيه هاي حساب، قضاياي صحت و تماميت نظام استنتاجي منطق مرتبه
، P ،NPمـروري بـر كالسـهاي زمـاني . هاي پيچيدگي زماني و فضايي در حالت كلي و قضاياي اساسي ارتباط آنهـا
PSPACE ،NPSPACE و كالسـهاي مكمـل آنهـا و
C-Complete ( بررسـي كالسـهاي مسـايل . هسـتندP-
..NPو
Oracle TM( ، نظريه پيچيدگي محاسبات كوانتميو
)ها و محاسبات
٤٦
Theory of Computational Complexity
هاي پايه براي پيچيدگي محاسبه و همچنين مروري بر به كارگيري اين نظريـه در شـاخه هدف از اين درس ارايه مدل
هاي رمزنگاري است نظريه محاسبات مانند محاسبات موازي، محاسبات تصادفي، محاسبات كوانتمي و روش
هاي تورينگ چند نـواري و غيرقطعـي نهاي تورينگ، ماشي مروري بر نظريه ماشين
تعريف مفاهيم زمان اجرا و فضاي مصرفي يك الگوريتم. هاي بازگشتي و به طور بازگشتي شمارا
.مروري بر مسايل تصميم ناپذير، مساله توقف و انواع آن، قضيه رايس
هاي حساب، قضاياي صحت و تماميت نظام استنتاجي منطق مرتبه اول، مدل طق مرتبهها و من
.اول، قضاياي ناتماميت گدل تصميم ناپذيري منطق مرتبه
هاي پيچيدگي زماني و فضايي در حالت كلي و قضاياي اساسي ارتباط آنهـا
L ،NL ،PSPACEمروري بر كالسهاي فضايي . سهاي مكمل آنها
. ارتباط آنها با كالسهاي زماني
Reduction ( و مسايلي كـه بـراي يـك كـالس C تمـام)Complete
NP-Complete .باحث مرتبط با رابطه كالس لوين و م-قضيه كوكP و
. NP-Completeمروري بر برخي مسايل معروف
.و مسايل مهم در آن PSPACE-Completeكالس . و مسايل توابع
.هاي تصادفي هاي پيچيدگي الگوريتم
.هاي موازي هاي پيچيدگي الگوريتم
.هاي تقريبي هاي پيچيدگي الگوريتم
.پيچيدگي و رمزنگاري
Oracle TM(هاي تورينگ پيشگو مباحث ويژه مانند نظريه پيچيدگي در حضور ماشين
تحصيالت تكميلي: مقطع
ها و محاسبات زيرگرايش الگوريتم( ياجبار: نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كلياتهدف از اين درس ارايه مدل
نظريه محاسبات مانند محاسبات موازي، محاسبات تصادفي، محاسبات كوانتمي و روش
ريز مواد
مروري بر نظريه ماشين .1
هاي بازگشتي و به طور بازگشتي شمارا مسايل و زبان
مروري بر مسايل تصميم ناپذير، مساله توقف و انواع آن، قضيه رايس .2
ها و من مروري بر منطق گزاره .3
تصميم ناپذيري منطق مرتبه
هاي پيچيدگي زماني و فضايي در حالت كلي و قضاياي اساسي ارتباط آنهـا تعريف كالس .4
EXP وNEXP سهاي مكمل آنهاو كال
ارتباط آنها با كالسهاي زماني
Reduction(تعريف تقليل .5
Complete وComplete
مروري بر برخي مسايل معروف .6
و مسايل توابع coNPكالس .7
هاي پيچيدگي الگوريتم كالس .8
هاي پيچيدگي الگوريتم كالس .9
هاي پيچيدگي الگوريتم كالس .10
پيچيدگي و رمزنگاري هاي ه نظريهرابط .11
مباحث ويژه مانند نظريه پيچيدگي در حضور ماشين .12
افزار نرم : گرايش
3: واحد
-: نياز پيش
٤٧
گزارش پژوهشي -تمرين -آزمون
) كل نمره% 25(آزمون ميان نيمسال •
)كل نمره% 40(ايان نيمسالآزمون پ •
)كل نمره% 10(اس متون معرفي شده بر اس چند سري تمرين: تمرين •
)كل نمره% 25(اي در موضوعات مرتبط كه حداقل مستلزم مطالعه پنج مقاله به روز باشد مقاله ارايه: گزارش پژوهشي •
مراجع اصلي
• Papadimitriou, C.H. Computational Complexity, 2003.
• Du, D.Z., and Ko, K.I . Theory of Computational Complexity, 2000.
• Arora, S., and Barak, B. Computational Complexity: A Modern Approach, 2009.
)40834(هاي تقريبي الگوريتم
Approximation Algorithms محمد علي صفري: طراح درس
هـاي مبتنـي بـر قسمت اصلي درس اختصـاص بـه تكنيـك
• Vazirani, V . Approximation Algorithms
)ها و محاسبات
٤٨
الگوريتم
Approximation Algorithms
قسمت اصلي درس اختصـاص بـه تكنيـك . پردازيم هاي تقريبي مي در اين درس به بررسي تكنيكهاي طراحي الگوريتم
.يابد ولي مباحث ديگر هم تدريس خواهد شد
Bin Packing
ريزي خطي
Facility Location
گزارش پژوهشي
Approximation Algorithms, 2nd edition , Springer , 2004 .
تحصيالت تكميلي: مقطع
ها و محاسبات زيرگرايش الگوريتم( ياجبار :نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
در اين درس به بررسي تكنيكهاي طراحي الگوريتم
يابد ولي مباحث ديگر هم تدريس خواهد شد مي ريزي خطي برنامه
ريز مواد
قدمه م .1
اي پوشش مجموعه .1
(Cut) برشها .2
Bin Packing كوله پشتي و مساله .3
ريزي خطي اي بر برنامه مقدمه .4
Primal-Dual روش .5
Rounding روش .6
Multi-cut مساله .7
Multiway-cut مساله .8
Steiner هاي شبكه .9
Facility Locationمسائل مربوط به .10
سختي تقريب .11
گزارش پژوهشي -تمرين - آزمون
)نمره 5( تمرين 3 •
)نمره 6( ي نهايي پروژه •
)نمره 3(ميان ترم •
)نمره 6(آزمون نهايي •
جع اصليمر
افزار نرم: گرايش
3: واحد
-: نياز پيش
)40835( هانظريه الگوريتمي بازي
Algorithmic Game Theory محمد علي صفري: طراح درس
و معرفـي ابزارهـاي الزم بـراي تحليـل آنهـا
.و راههاي طراحي بهينه آن خواهيم پرداخت
)جلسه 5 (لتهاي مختلف آن در حا
)و محاسبات ها
٤٩
نظريه الگوريتمي بازي
Algorithmic Game Theory
(Multiagents Systems) هاي چند كاربره بازيها و سيتم هدر اين درس به بررسي نظري
و راههاي طراحي بهينه آن خواهيم پرداخت در قسمت دوم كالس به مبحث طراحي مكانيزم
)جلسه 2 (مقدمه و تعريف
آن در حا و مباحث مربوط به محاسبه (Nash Equilibrium) نقطه تعادل نش
)جلسه 2( (Price of Anarchy) هزينه آشوب
)جلسه2( (Impossiblity Theorems) قضاياي امكان ناپذيري
VCG جلسه3( و مثالهاي مرتبط(
)جلسه 3(هاي صادق و طراحي با پرداخت
)جلسه 4( اختها بدون پردطراحي مكانيزم
)جلسه 4(هاي تركيبياتي
)جلسه 3(هاي اجتماعي و مسائل مربوطه
گزارش پژوهشي
تحصيالت تكميلي: مقطع
ها زيرگرايش الگوريتم( ياجبار: نوع درس
-: نياز هم
دانشكده مهندسي كامپيوتر
كليات
در اين درس به بررسي نظري
در قسمت دوم كالس به مبحث طراحي مكانيزم. پرداريم مي
ريز مواد
هابازي .1
a. مقدمه و تعريف
b. نقطه تعادل نش
c. هزينه آشوب
طراحي مكانيزم .2
a. قضاياي امكان ناپذيري -مقدمه
b. مكانيزمVCG
c. هاي صادق و طراحي با پرداخت مكانيزم
d. طراحي مكانيزم
e. هاي تركيبياتي مزايده
f. هاي اجتماعي و مسائل مربوطه شبكه
گزارش پژوهشي -تمرين -آزمون
)نمره 6(تمرين 3 •
)نمره 6( ي نهايي پروژه •
)نمره 4( ميان ترم •
)نمره 4(آزمون نهايي •
افزار نرم: گرايش
3: واحد
-: نياز پيش
٥٠
مراجع اصلي
• Nisan , N., Roughgarden , T., Tardos , E., and Vazirani, V. Algorithmic Game Theory, Cambridge University
Press , 2007 .
• Shoham, Y., and Brown , K.L . Multiagent Systems : Algorithmic , Game-Theoretic and Logical
Foundations, Cambridge University Press , 2008 .
)40685( هاي تصادفيالگوريتم
Randomized Algorithms
يمحمد قدس: درس طراح
و ياحتماالت يهاو روش يه بازيبر نظر ي
.به آنها اشاره شده است
تي احتماالتي، شدودويي، رابطه بازگكارلو، افراز مسطح
هاي موازيهاي گراف، الگوريتم
• R. Motwni, and P. Raghavan, Randomized Algorithms
)ها و محاسبات
٥١
الگوريتم
Randomized Algorithms
يمبتن يهاكيتحت تكن يتصادف يهاتميالگور نشجو بادرس آشنايي دا
به آنها اشاره شده است زمواردياست كه تحت عنوان ر يگريد يهاره ماركو و روش
كارلو، افراز مسطح هاي الس وگاس و مونتالگوريتم برش كمينه، روش
هاي پيچيدگيمدل محاسباتي و كالس
هاي مبتني بر نظريه بازي
نامعادله ماركف و چبيشف، انتخاب تصادفي
هاي گراف، مسئلهSAT-2مسئله : زنجيره ماركو و قدم تصادفي
هاي گراف، الگوريتمريزي خطي الگوريتمهاي هندسي برنامه، الگوريتمايساختمان داده
Randomized Algorithms, Cambridge University Press,
الت تكميلييتحص: مقطع
ها و محاسبات زيرگرايش الگوريتم( يارياخت :نوع درس
-: نياز هم هاي پيشرفته
كامپيوتردانشكده مهندسي
كلياتدرس آشنايي دان ياهدف
ره ماركو و روشيو زنج يجبر
ريز مواد
الگوريتم برش كمينه، روش: مقدمات ومعرفي .1
مدل محاسباتي و كالس
هاي مبتني بر نظريه بازيتكنيك .2
نامعادله ماركف و چبيشف، انتخاب تصادفي: مومنت و انحراف .3
روش احتماالتي .4
زنجيره ماركو و قدم تصادفي .5
هاي جبريروش .6
ساختمان داده: كاربردها .7
جع اصليمر
, 1997.
افزار نرم: گرايش
3: واحد
هاي پيشرفتهالگوريتم: نياز پيش
)40785(سازي تركيبياتي بهينه
Combinatorial Optimization محمد قدسي: راح درسط
ن حوزه از يخاص ا يهاتمير، الگويسازنهيمسائل به
ريزي محدب هاي برنامه
هاي الگوريتم و پيچيدگي سيمپلكس، جنبه ريزي خطي،
ي شاره، دوگان ي شبكه ترين مسير ودوگان آن، مسئله
ي شاره، هاي شبكه هاي كارا براي مسئله الگوريتم
NP-Hard يها مسئله ي
• Papadimitriou , C.H ., and Steiglitz
Publications, 1998.
)و محاسبات ها الگوريتم
٥٢
بهينه
Combinatorial Optimization
مسائل به يق بررسياز طر ياتيبيترك يسازنهيبه درس آشنايي دانشجو با
Simplex وPrime-Dualاستح يصح يخط يزيرو برنامه ي، دوگان.
:
هاي برنامه سازي محلي و سراسري، مجموعه و توابع محدب، مسئله معرفي، همسايگي، بهينه
ريزي خطي، ي برنامه پذير، هندسه حل امكان ريزي خطي، راه برنامه
ترين مسير ودوگان آن، مسئله ي كوتاه ، مسئله Slackness ريزي خطي در حالت كلي،
هاي محاسباتي الگوريتم سيمپلكس جنبه
الگوريتم ،ترين مسير دايكسترا هاي كوتاه ي شاره و مسئله الگوريتم و كاربرد آن در شبكه
هاي پوشاي كمينه درخت ،)
: ريزي خطي صحيح
يبيدر حل تقر يساز نهياستفاده از به ، هاي تقريبي بودن مسئله و راه
Steiglitz , K . Combinatorial Optimization : Algorithms and Complexity
الت تكميلييتحص: مقطع
الگوريتمزيرگرايش (اختياري :نوع درس
-: نياز هم ها
دانشكده مهندسي كامپيوتر
كلياتدرس آشنايي دانشجو بان ياهدف
Simplex يهاتميجمله الگور
ريز مواد
:يساز هاي بهينه مسئله .1
معرفي، همسايگي، بهينه
: Simplexالگوريتم .2
برنامه ي هاي مسئله فرم
هندسي انتخاب محور
:(Duality) دوگاني .3
ريزي خطي در حالت كلي، دوگان برنامه
جنبه ، يمپلكسالگوريتم س
:Primal-Dualالگوريتم .4
الگوريتم و كاربرد آن در شبكه
)ردا عادي و وزن(تطابق
ريزي خطي صحيح برنامه .5
NP-Complete بودن مسئله و راه
مراجع اصلي
Algorithms and Complexity, Dover
افزار نرم: گرايش
3: واحد
هاپيچيدگي الگوريتم: نياز پيش
![5.design-ppt.ppt [호환 모드] - Kangwonysmoon/courses/2010_2/se/5.design-ppt.pdf · 소프트웨어공학팀프로젝트 (CS Mobile Webpage) 55조-이재욱, 황윤상김기훈,](https://img.pdfslide.tips/doc/110x75/5e606e2dc51d5652d852da44/5design-pptppt-eeoe-kangwon-ysmooncourses20102se5design-pptpdf.jpg)
![5.design-ppt.ppt [호환 모드]cs.kangwon.ac.kr/~ysmoon/courses/2010_2/se/5.design-ppt.pdf소프트웨어공학팀프로젝트 (CS Mobile Webpage) 55조-이재욱, 황윤상김기훈,](https://img.pdfslide.tips/doc/110x75/5e3cc3355c27f80ef00c2b59/5design-pptppt-eeoecs-ysmooncourses20102se5design-pptpdf-oeeoeeoe.jpg)
