نام پژوهشگر: مینا مهدوی
مرتضی عزیزی چمازکتی مینا مهدوی
یکی از مسائل مهم و همیشگی مورد توجه تولید و توسعه دهندگان نرم افزار، ساخت و ارائه یک نرم افزار با کیفیت و مطلوب به مشتریان و متقاضیان نرم افزار می باشد. دست یابی به نرم افزار با کیفیت بالا حتی برای ناتوان ترین توسعه دهندگان نرم افزار یک هدف مهم است. جهت رسیدن به کیفیت بالا به معیارهایی برای سنجش نیازمندیم. بنابراین جامع بودن این معیار ها که تمامی جزئیات مربوط به فرآیند را تحت پوشش قرار می دهد می تواند منبع مناسبی جهت رسیدن به این هدف باشد. موفقیت هر سازمان نرم افزاری جلب رضایت مشتری می باشد در نتیجه رضایت مشتری را می توان در ارائه یک محصول با کیفیت دانست که برای رسیدن به به این رضایتمندی، دانستن نیازهای مشتری و سامان دهی آنها ضروری می باشد. در گذشته فاکتورهای کیفی در مدلهایی همچون مک کال و کازمن بررسی و گردید ولیکن در این مدلها به تمامی فاکتورهای ممکن پرداخته نشده، با توجه به این اصول می توان با جمع آوری نیازهای مشتری و شنا سایی فاکتورهای کیفی محصول بر مبنای نیازهای مشتری و تشکیل یک ماتریس همبستگی میان نیازهای مشتری و فاکتورهای کیفی محصول و اولویت بندی نیازهای مشتری و همچنین وارد کردن شاخصه های مهم و اساسی تاثیر گذار در کیفیت نرم افزار تولیدی از سمت سازندگان به یک چارچوب جهت بهبود شناخت و انتخاب برای مشتریان نرم افزار دست یافت.
فاطمه اسماعیل نژاد مینا مهدوی
طراحی شبکه از مهارت¬هایی است که کاربران باید قبل از حل مسائل گوناگون از آن مطلع باشند تا بتوانند با استفاده از اتصال ترمینال¬های مربوط به مسئله، شبکه¬ای را ایجاد کنند. عوامل خودمحور می خواهند به راه حل پایداری (تعادل نش) برسند که ممکن است نزدیک به راه حل بهینه یا کاملا متفاوت از آن باشد. این پژوهش مروری است بر کیفیت بهترین تعادل نش که در آن نسبت هزینه بهترین تعادل نش به هزینه راه حل بهینه به عنوان هزینه پایداری در نظر گرفته می شود به طوری که هرچه هزینه پایداری کمتر باشد – یعنی تعادل نش نزدیک به راه حل بهینه باشد - راه حل حاصل شده قابل قبول¬تر می¬باشد. در این پایان نامه با توجه به یکی از پروتکل¬های تخصیص هزینه در شبکه – مکانیسم اشتراک هزینه شپلی – هزینه پایداری را بدست می¬آوریم که مکانیسم ذکر شده به این شرح است¬: هزینه هر یال به طور مساوی بین همه کاربرانی که از آن یال استفاده می¬کنند تقسیم می¬شود. با توجه به این تخصیص منصفانه هزینه، نشان داده شده که هزینه پایداری برای شبکه¬های جهت دار می¬باشد ( تعداد کاربران است) در صورتی که کران پایین هزینه پایداری برای شبکه¬های غیر جهت دار در حالت بازیکن برابر می باشد. تعادل نش خوب را می توان با توجه به بهترین پاسخ پویا بدست آورد به طوری که همه کاربران پس از شروع از یک راه حل با توجه به بهترین پاسخ پویا اگر راه حل بهتری وجود داشته باشد راه حل خود را تغییر می¬دهند و این کار را تا زمانی که راه حل جایگزین دیگری وجود نداشته باشد ادامه می دهند تا به بهترین پاسخ برسند. با توجه مطالبی که ذکر شد پروتکل تخصیص منصفانه هزینه می¬تواند مکانیسم خوبی برای ایجاد رفتار استراتژیک به صورت تعادل نزدیک به راه حل بهینه باشد. در این پایان نامه شبکه را به حالت¬هایی که علاوه بر هزینه ساخت، تاخیر هم مطرح باشد وحالتی که تنها هزینه تاخیر داشته باشیم و نه هزینه ساخت بسط می¬دهیم سپس هزینه پایداری را برای این حالت¬ها بدست می آوریم. در انتها هم پیچیدگی زمانی همگرایی بهترین پاسخ پویا را محاسبه می کنیم.
بهاره حدادی مینا مهدوی
شبکه حسگر بی سیم یکی از مهم ترین ابزار کسب اطلاعات و درک محیط است، که تحقیقات گسترده ای را به خود معطوف نموده است. باوجود پیشرفت صورت گرفته در این نوع شبکه ها، گره های حسگر به دلیل تعداد زیاد و اندازه کوچک هنوز هم برای تأمین انرژی خود، متکی به باتری هایی با توان اندک می باشند. همچنین به دلیل بکارگیری این نوع شبکه ها در محیط های صعب العبور یا خطرناک، امکان شارژ مجدد یا تعویض باتری آنها وجود ندارد و کارایی شبکه ی حسگر به طول عمر این گره ها وابسته است. امروزه در شبکه های حسگر بی سیم، الگوریتم های خوشه بندی می توانند از طریق تقسیم گره ها به خوشه های مجزا و انتخاب سرخوشه های محلی برای ترکیب و ارسال اطلاعات هر خوشه به ایستگاه اصلی، بهترین کارایی را از لحاظ افزایش طول عمر شبکه به دست آورند. این تحقیق، بر اساس الگوریتم خوشه بندی مبتنی بر درخت و الگوریتمی تأخیر آگاه شبیه سازی خواهد شد. الگوریتم پیشنهادی علاوه بر همجوشی داده ها می تواند تأخیر در فرآیند جمع آوری اطلاعات را کاهش داده و مصرف انرژی را در حد پایینی نگه دارد حتی زمانیکه داده ها قابل همجوشی نباشند. همچنین کارایی بهتر الگوریتم پیشنهادی نسبت به الگوریتم های پیشین نظیر leach و dadcns اثبات می شود.
بهاره حدادی مینا مهدوی
شبکه حسگر بی سیم یکی از مهم ترین ابزار کسب اطلاعات و درک محیط است، که تحقیقات گسترده ای را به خود معطوف نموده است. باوجود پیشرفت صورت گرفته در این نوع شبکه ها، گره های حسگر به دلیل تعداد زیاد و اندازه کوچک هنوز هم برای تأمین انرژی خود، متکی به باتری هایی با توان اندک می باشند. همچنین به دلیل بکارگیری این نوع شبکه ها در محیط های صعب العبور یا خطرناک، امکان شارژ مجدد یا تعویض باتری آنها وجود ندارد و کارایی شبکه ی حسگر به طول عمر این گره ها وابسته است. امروزه در شبکه های حسگر بی سیم، الگوریتم های خوشه بندی می توانند از طریق تقسیم گره ها به خوشه های مجزا و انتخاب سرخوشه های محلی برای ترکیب و ارسال اطلاعات هر خوشه به ایستگاه اصلی، بهترین کارایی را از لحاظ افزایش طول عمر شبکه به دست آورند. این تحقیق، بر اساس الگوریتم خوشه بندی مبتنی بر درخت و الگوریتمی تأخیر آگاه شبیه سازی خواهد شد. الگوریتم پیشنهادی علاوه بر همجوشی داده ها می تواند تأخیر در فرآیند جمع آوری اطلاعات را کاهش داده و مصرف انرژی را در حد پایینی نگه دارد حتی زمانیکه داده ها قابل همجوشی نباشند. همچنین کارایی بهتر الگوریتم پیشنهادی نسبت به الگوریتم های پیشین نظیر leach و dadcns اثبات می شود.
زینب روحانی مینا مهدوی
ارزیابی معماری نرم افزار موجب صرفه جویی هزینه های زیاد تعمیرات در مراحل پایانی چرخه حیات نرم افزار می شود. ارزیابی معماری نرم افزار به دو دسته تکنیک های پرسشی و اندازه گیری دسته بندی می شود که از میان آن ها تکنیک های مبتنی بر سناریو از میان تکنیک های پرسشی از اهمیت ویژه ای برخوردار است زیرا مربوط به یک سیستم خاص بوده و به عنوان یک بخشی از فرایند توسعه سیستم همه جوانب سیستم را در بر می¬گیرد به عبارتی ارزیابی کاملی از سیستم انجام می¬دهد. و تکنیک مبتنی بر شبیه¬سازی از میان تکنیک¬های اندازه¬گیری اهمیت ویژه¬ای دارد زیرا مبتنی بر شبکه پتری سطح بالا و رنگی است و صفات کیفی غیر¬وظیفه¬مندی همان مشخصه¬های کیفی هستند که عموماً به صورت ضمنی بیان می¬شوند را ارزیابی می¬کند، شبکه پتری رنگی و شبکه پتری سطح بالا امکان تجزیه و تحلیل پر قدرت و شبیه سازی مناسب را فراهم نموده و برای نیازمندیهای غیر وظیفه مندی نامناسب پاسخگو و قابل شناسایی است و از میان این دو، تکنیک مبتنی بر شبکه پتری رنگی پاسخگوی تحلیل و ارزیابی صفات کیفی معماری نرم¬افزار است. در مراحل اولیه چرخه حیات نرم افزار ایجاد سیستم های نرم افزاری بهتر از طریق مدل کردن الگوهای معماری انجام می شود. مدل سازی uml یک زبان طراحی نرم افزار استاندارد است که به عنوان یک نقطه شروع برای برآوردن مدل معماری در عرصه صنعت استفاده می شود. که با استفاده از مدل uml، مدل cpn متناظر با آن را از طریق الگوها و به صورت خودکار استخراج می کنیم زیرا مدل cpn مورد تحلیل و ارزیابی قرار گرفته تا عملکرد صحیح و میزان برآورده شدن صفات کیفی آن سیستم مشخص گردد، سپس طراحی معماری با مدل cpn مورد تطبیق قرار می گیرد، تا با کاستن خطرات مرتبط، صفات کیفی، بدون ترس از مشکلات به صورت پایه و اساس قوی وارد فاز ساختار از چرخه تولید سیستم شود.