فضا-زمان دوسیتر3+1،جواب معادله انیشتین در حالت خلاء و با ثابت کیهان شناسی مثبت، به صورت یک هذلولیوار چهار بعدی که در فضا-زمان مینکوفسکی پنج بعدی شناور است در نظر گرفته می شود. هدف این پایان نامه کوانتش مشاهده پذیر های کلاسیکی مربوط به حرکت ذره جرم دار روی دوسیتر به کمک حالت های همدوس می باشد. بدین منظور ما ابتدا فضای فاز مربوط به این حرکت ( که مورد نیاز این روش می باشد) را به روش اربیت الحاقی ب...

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

فرض کنیم h یک فضای هیلبرت و (b(h یک جبر از همه عملگرهای خطی کراندار روی h باشد در این پایان نامه نشان خواهیم داد که اگر h یک فضای هیلبرت نامتناهی بعد باشدآنگاه صفر یک نقطه کاملاً مشتق پذیر جردن تعمیم یافته در (b(h است برای هر فضای هیلبرت h همچنین نشان می دهیم که i یک نقطه کاملاً مشتق پذیر جردن در (b(h است . در ادامه فرض می کنیم a یک زیر جبری از (b(h باشدنفطه z متعلق به a یک نقطه کاملاً مشتق پذیر ...

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

هدف این تحقیق،بهینه سازی پروفیل نازل فراصوت برای رسیدن به حداکثر یکنواختی سرعت در خروجی نازل است. برای این کار از روش بهینه سازی معادلات الحاقی استفاده شده است. ابتدا با حل یک مسئله طراحی معکوس، درستی روش و نحوه رفتار مسئله به ازای تعریف تابع هزینه روی مرزهای مختلف مشاهده شده است ودرنهایت نشان داده شده که برای بهینه سازی این مسئله نمی توان تابع هزینه را روی مرز خروجی تعریف کرد؛ سپس با بررسی توا...

اصطلاح پیراحاصلضرب‎ امروزه در مقالات برای نشان دادن یک عملگر دوخطی استفاده می شود. این عملگر دوخطی با وجود اینکه ناجابه جایی ‎است تا حدودی از ضرب معمولی توابع خوش رفتار تر است.‎‎پیراحاصلضرب ها اولین بار در نظریه ی عملگرهای پیرادیفرانسیل پذیر بانی‎ [۱] ظهور پیدا کردند‎.. این نظریه نقطه عطفی در نظریه ی عملگرهای شبه دیفرانسیلی بود که کافمن و مِیِردر [۳] از پیشگامان آن بودند. ‏کلمه ی یونانی paraدر زب...

مسایل مقدار مرزی یکی از مباحث خیلی مهم در زمینه های مهندسی و فیزیک ریاضی می باشند و در این بین مسایل خودالحاق به دلیل دارا بودن برخی ویژگیهای مطلوب برای حلشان، از جمله اینکه مقادیر ویژه مسئله الحاقی همیشه حقیقی بوده و توابع ویژه یک دستگاه متعامد تام می سازند، اهمیت ویژه ای دارند. در مباحث کلاسیک معمولا از روش نایمارک [3] برای تشخیص خودالحاق بودن مسئله اصلی استفاده می شود . اما در این روش چون رو...

فرض کنید c^1[0,1]‎ جبر توابع مشتق پذیر پیوسته از فاصله واحد ‎[0,1] ‎ به توی ‎ c‎ باشد. هدف اصلی این پایان نامه مشخصه سازی نگاشت های دو خطی پیوسته از c^1[0,1]× c^1[0,1]‎ به توی فضای باناخ x ‎ مانند ? است مشروط به این که اگر ‎ f,g?c^1[0,1] ‎ که ‎ fg=0 ‎ آنگاه ? (f,g)=0‎. عملگر خطی ‎ tاز جبر باناخ a ‎ به توی جبر باناخ b‎ را حافظ ضرب صفر گوییم در صورتی که اگر ‎ a,b? a ‎ و ‎ ab=0 ‎ آنگاه ‎ta....