هدف اصلی این تحقیق، مدل‌سازی و تحلیل مناقشه تقسیم ارث به جامانده از یک زوج مرحوم بر اساس استراتژی‌ها و اهداف وارثان، با بهره‌برداری از رویکرد نظریه بازی‌ها است. بدین منظور با بهره‌گیری از مدل «گراف» برای تحلیل مناقشات، رقابت بین وارثان مرحوم بر اساس قوانین و مقررات جمهوری اسلامی ایران مدل‌سازی و تحلیل ‌شده است. این مدل شامل دو بازیگر است که از بین 64 ترکیب انتزاعی استراتژی‌ها با اعمال محدودیت‌ه...

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

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

در این مقاله ماهیت گذار به حالت فلزی در فاز ترانس پلی استیلن (trans-pa) بررسی می شود. بر پایه مدل ssh, استفاده از نمایش کسرهای دنباله دار(cfr) برای محاسبه تابع گرین و همچنین به کار بردن الگوریتم lanczos, آثار توزیعهای منتخبی از سالیتونها بر چگونگی گذار نیمرسانا به فلز در پلی استیلن را مطالعه می کنیم. ما نتیجه می گیریم,الف- این گذار هنگامی رخ می دهد که یک زیر شبکه سالیتونی در ساختارtrans-pa وجود...

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...

برای حل برخی از مشکلات یا برای ساده سازی آنالیز ها در گراف،می توان تغییراتی را در ساختار آن ایجاد کرد. دوگان گراف یکی از مصادیق این تغییر محسوب می شود . دوگان گراف خطی یکی از انواع تعریف شده دوگان گراف است که برای بیان گراف های دارای گره ها ی وزن دار پیشنهاد شده است. در این مقاله مفهومی به عنوان حساب دوگان گراف خطی،بر مبنای این دوگان گراف معرفی شده است. برای این منظور،دوگان خطی(ld1) و دوگان خطی...

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

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

در این مقاله دورهای برداشتنی بدین معنی تعریف می شوند: اگر f یک کلاس از گراف ها (دی گراف ها) باشد که در خاصیت معینی صدق کند ، g in f دور c در g با گره برداشتنی است هرگاه g-v(c) in f دورهای با گره برداشتنی از گراف ها ی اویلری مطالعه می گردند. ما دورهای با اضلاع برداشتنی از گراف های منظم (دی گرافها) را نیز مطالعه می کنیم.

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