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

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

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

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

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

در این مقاله شیوه جدیدی بر مبنای گراف سیگنال جریان برای مدلسازی مبدل Cuk ارائه شده و در کنار آن روش اولیه مبتنی بر گراف سیگنال جریان پیشنهاد شده در مراجع نیز بر روی مبدل Cuk پیاده شده است. روش پیشنهادی فرآیند بسیار ساده­تری در مقایسه با سایر روش­های مدلسازی و هم چنین روش قدیمی­تر مبتنی بر گراف سیگنال جریان داشته و از گراف به دست آمده می­توان سه مدل سیگنال کوچک، سیگنال بزرگ و حالت ماندگار مبدل ر...

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

این آزمایش در سال1394 در قالب طرح فاکتوریل و بصورت کاملا تصادفی اجرا شد. میوه ها در 2مرحله و به فاصله  زمانی  15 روزه به سردخانه انتقال داده شدند و پس از بسته بندی به 3دسته و با 3تکرار  تقسیم شدند. و خصوصیات کمی و کیفی شامل جرم تر، مواد جامد محلول، تغییرات درصد ماده خشک، تغییرات وزن جعبه، تغییرات جرم ماده خشک آنها بلافاصله پس از برداشت ارزیابی شد. نتایج بدست آمده نشان داد که طی دوره انبارمانی ب...

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