نام پژوهشگر: محمد حسین منشئی

طراحی و آنالیز یک مکانیزم نوین برای ارزشیابی تحصیلی، برمبنای نظریه ی بازی ها
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1393
  سارا رنجبران   محمد حسین منشئی

این پایان نامه با نگاه تازه ای به مسئله ی ارزیابی تحصیلی، سعی در بهبود روش های متداول به صورت امتحان و افزودن ویژگی های سودمند دیگر از جمله امکان یادگیری دانشجویان در طول امتحان را دارد. بر این اساس دو شیوه ی نوین برای ارزیابی تحصیلی ارائه و سپس توسط نظریه بازی ها مدل سازی و مورد ارزیابی قرار می گیرد. نظریه ی بازی ها به عنوان قوی ترین ابزار ریاضی برای مدل سازی و تحلیل شرایطی که در آن منفعت یک شخص علاوه بر رفتار خود وابسته به انتخاب دیگران نیز می باشد مورد استفاده قرار می گیرد. در مدل پیشنهادی، برگزاری امتحان به صورت یک بازی میان دانشجویان و استاد طراحی شده است.در اولین مدل پیشنهادی، برگزاری امتحان به صورت یک بازی میان دانشجویان و استاد طراحی شده است. در مکانیزم ارائه شده بر اساس این مدل کهegm نامگذاری شده، از دسته ای از بازی ها با نام بازی های هدف معین (gwap) که مرتبط با شاخه ی هوش مصنوعی است استفاده شده است. در gwap یک بازی برای همکاری بین عناصر برای رسیدن به هدف مشخص طراحی می شود. از مهمترین ویژگی های egm این است که اولاً بار طراحی سوال بین دانشجویان توزیع می¬شود، در نتیجه زحمت استاد در طراحی سوال کاهش می¬یابد؛ ثانیاً مکانیزم در برابر تقلب مقاوم است و ثالثاً امکان یادگیری در طول امتحان فراهم می¬گردد. در دومین مدل پیشنهادی، ارزیابی به صورت یک حراج سوال بین دانشجویان انجام می گیرد، برای ارائه این مدل از حراج ترکیبی استفاده شده و پروتکلی به نام eaa پیشنهاد شده است.نتایج مدل پیشنهادی نشان می¬دهد که eaa موجب تشویق دانشجویان برای انتخاب سوالات متنوع ، با درجه ی سختی بالاتر و ایجاد رقابت می شود.

ارائه ی مدل حراج گروهی در مساله انتشار در شبکه های اجتماعی بمنظور حفظ حریم خصوصی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1393
  هانیه شادمهر   محمد حسین منشئی

سیاست تبلیغاتی و چگونگی تبلیغ، نقش فراوانی در میزان سود حاصل از آن دارد. امروزه علوم کامپیوتر و پیشرفت فناوری در عرصه بازاریابی با علم اقتصاد درآمیخته است که در این میان، شبکه های اجتماعی به عنوان ابزاری بسیار قدرتمند این ارتباط را استوارتر نموده است. با توجه به این که تاثیرپذیری و موج محبوبیت، بیش ترین تاثیر را در انتشار رفتار خرید افراد دارد، مساله پیدا کردن k گره تاثیر گذار در شبکه ها دارای جایگاه ویژه ای است. مد ل ها و الگوریتم های مختلفی مانند مدل آبشاری و آستانه ای ارائه شده است،که تا حد قابل قبولی مساله انتشار را نشان می دهند ، اما جنبه انگیزه، تشویق و حریم خصوصی افراد در این مدل ها هنوز یک چالش اصلی به شمار می رود. این پایان نامه با ارائه مدل حراج گروهی سعی بر آن دارد تا در یک بستر امن و از طریق انتخاب گروه های تاثیر گذار به جای افراد، اطلاعات و تعاملات آن ها را از دیگران پنهان سازد. هم چنین با توجه به اهمیت ایجاد انگیزه در افراد تاثیرگذار برای تبلیغ، ایده حراج و پیشنهاد قیمت توسط افراد، به عنوان تشویقی برای انتشار اطلاعات محسوب می شود. در الگوریتم های ارائه شده گروه های برنده، بر اساس میزان محبوبیت و قیمت پیشنهادی انتخاب می شوند و مدل با طراحی مکانیزمی، راست کرداری گروه ها در اعلام قیمت را تضمین می کند کلمات کلیدی: بازاریابی ویروسی، مدل های انتشار، حفظ حریم خصوصی، حراج گروهی، طراحی مکانیزم راستگویی

ارائه ی مدلی مبتنی بر تئوری بازی ها برای بررسی دینامیک و پیش بینی اثر درمان در بیماری ایدز
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1393
  بهاره خزائی   رسول موسوی

بیماری ایدز یک پدیده تکاملی است و می توان آن را با استفاده از نظریه ی تکامل مدل نمود. هدف از این پایان نامه ارائه ی مدلی برای تکامل و رشد جمعیت سلول های آلوده و نیز بررسی راهکارهای درمانی در بیماری ایدز بر مبنای نظریه بازی های تکاملی است. در این پژوهش برای بررسی راهکارهای درمانی در بیماری ایدز، دو رویکرد مبتنی بر ایجاد جهش در رترو ویروس ها و کاهش سطح بیان ژنی مورد مطالعه قرارگرفته است. با استفاده از مدل پیشنهادی، نحوه و میزان تأثیر این رویکردها بر بیماری بررسی شده است.

امنیت در شبکه های اجتماعی مکانی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1393
  میثم غفاری دهکردی   ناصر قدیری مدرس

ا پیشرفت تکنولوژی و خصوصا گوشی های هوشمند دارای سنسور های مکانی، سرویس های مکانی روز به روز با استقبال بیشتری مواجه می شوند. خصوصیت اصلی این سرویس ها استفاده از اطلاعات مکانی افراد برای دادن اطلاعات متناسب با موقعیت مکانی شخص می باشد. همانطور که این سرویس ها به واسطه ارتباط تنگاتنگ با دنیای واقعی برای کاربران دارای جذابیت هستند، عدم وجود امنیت کافی در این سرویس ها می تواند مخاطرات بسیاری برای کاربران ایجاد کند. به همین دلیل حفظ ایمنی و حریم خصوصی در این سرویس ها یک نکته بسیار مهم است. در جهت حفظ اطلاعات مکانی کاربران راهکارهای بسیاری پیشنهاد شده است که مهمترین نکته در همه آن ها ارسال اطلاعات به طریق و در حدی است که تنها برای مقصد مورد نظر و در حد مورد نظر اطلاعات کاربر فاش شود و به جز آن منظور غیر قابل استفاده باشد، از جمله این راهکارها می توان به پوشش زمانی و مکانی، استفاده از نویز و سرویس قابل اعتماد گمنام ساز اشاره کرد که البته حفظ امنیت و حریم خصوصی کاربران توسط این روش ها مهم هنوز به طور ایده ال عملی نشده است. در این پایان نامه ضمن بررسی روش های موجود، با ارائه روشی نوین بر مبنای ترکیب خوشه بندی فازی و تئوری بیز سعی در افزایش دقت الگوریتم خوشه بندی شده است و به این ترتیب این الگوریتم توانایی تفکیک داده های نویزی و یا داده هایی که با دقت پایین خوشه بندی شده اند را فراهم می کند و امکان تعیین دقیق تر اطلاعات مکانی افراد را حتی در صورت وجود داده های نویزی فراهم می کند به شناسایی نقاط پرکاربرد کاربر پرداخته شده که از طریق آن می توان به شناسایی کاربر از روی الگوی حرکتی وی و نقاط مورد بازدید وی پرداخت و به این وسیله نقطه ضعف روش سرور قابل اعتماد که شناخته شده ترین روش در این زمینه است بیشتر نشان داده می شود و سپس روشی بر مبنای تفکیک درخواست ها از کاربران ارائه شده است و به جای شناسه کاربر از تیکت برای هر درخواست استفاده می شود این روش که بر مبنای استفاده از اصول رمزنگاری و استفاده از جدول درهم سازی توزیع شده است امکان توزیع غیر منظم درخواست ها را فراهم می کند و به این ترتیب با تفکیک ارتباط درخواست های متوالی مهاجم نمی تواند با وابسته کردن دنباله درخواست ها به کاربر خاص، به شناسایی کاربر و یا تحلیل عادات رفتاری وی بپردازد. دو روش پیشنهاد شده بر روی چند مجموعه داده مرتبط در این زمینه از جمله پایگاه داده اطلاعات مکانی msr نیز تست شده است و نتایج نشان دهنده بهبود قابل توجه نتایج توسط هر دو روش پیشنهادی می باشد.