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

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

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

در این پایان‏نامه، مفهوم مدول‏های gc-تصویری روی حلقه‏های جابجایی (درصورت امکان غیر نوتری)، معرفی و بررسی شده‏است که در آن‏ها c یک مدول نیم‏دوگانه‏شده است. این کار، گسترش مفهوم مدول‏های تصویری c-گرنشتاین یورگنسن و هولم به جایگاه غیر نوتری و تعمیم مدول‏های تصویری و تصویری گرنشتاین در درون این جایگاه است. سپس، مدول‏های بدست آمده با بعد gc-تصویری، بررسی شده‏اند. به‏ویژه، نشان داده شده است که این مد...

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

ارزیابی پایداری گذرا (tsa) بخشی از ارزیابی دینامیکی امنیت سیستم های قدرت است که شامل بررسی توانایی سیستم قدرت برای حفظ همزمانی تحت اغتشاشات شدید می باشد. روش های معمول در ارزیابی پایداری گذرای سیستم قدرت روش شبیه سازی زمانی، روش-های مستقیم مانند روش تابع انرژی گذرا و روش معیار مساحت های برابر توسعه یافته و روش های ترکیبی می باشند. روش شبیه سازی زمانی دقیق ترین روش ها بوده، اما زمان بر می باشد و...

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

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