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

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

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

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

وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

چکیده ندارد.

هدف از انجام این مطالعه بررسی ویژگیهای کمی و کیفی فضای سبز در مناطق 18 ، 19و21 شهرداری تهران بوده است. در این تحقیق با استفاده از تصاویر ماهواره لندست5 در سالهای1991 ، 2000 و 2010، نقشه تراکم فضای سبز با استفاده از شاخص ان دی وی آی تهیه شده است. همچنین برای پیش بینی روند تغییرات فضای سبز در آینده از مدل زنجیره ای مارکوف استفاده شد. نتایج نشان میدهند بیشترین تغییر کاربریها مربوط به تغییر کاربری ...

در این تحقیق، نرمال بودن فضای انعکاس دو مجموعه داده سیاه حاصل از کاربرد روش چاپ بر روی کاغذ و پارچه مقایسه می‌گردد. در ادامه، فضای انعکاس هر دو پایگاه داده با کاربرد روش تحلیل اجزاء اصلی، فشرده و در ابعاد محدود بازسازی می‌شود. نتایج نشان‌دهنده آن است که توزیع هیچ‌یک از دو پایگاه داده سیاه کاغذی و پارچه‌ای از حالت نرمال پیروی نمی‌کند. همچنین به رغم وجود منحنی‌های انعکاسی هموار در هر دو پایگاه دا...

در این مقاله یک مدل موجودی در ترکیبی از فضای نادقیقی و عدم قطعیت توسعه یافته است. مدل ارائه شده توسط مدل R,Q بوده و به صورت چند کالایی و چند هدفه و در دو حالت تقاضای پس افت و فروش از دست رفته مدلسازی شده است. اهداف مدل کمینه سازی هزینه ها و سطح خطر و محدودیت های آن شامل: بودجه در دسترس، حداقل سطح عملکرد، فضای انبار و تعداد کمبود مجاز بوده و تقاضا نمایی است. فضای انبار پارامتری احتمالی – فازی با...