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

در این مقاله به ارایه‌ی الگوریتم جدیدی برای بهبود عملکرد سامانه‌های ناوبری اینرسی کلاسیک و سنتی SINS/GPS به ویژه در تخمین زوایای تراز و سمت از شمال پرداخته می‌شود. الگوریتمی جامع برای استفاده‌ی بهینه از ناوبری تعیین سمت و تراز AHRS در سامانه‌ی ناوبری اینرسی تلفیقی طراحی می‌شود. روش تخمین حالت در الگوریتم پیشنهادی شامل فیلتر دو مرحله‌ای است. فیلتر اول روی سامانه‌ی AHRS اجرا می‌شود و پارامترهای و...

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

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

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

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

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

در این مقاله یک فیلتر میانگذر فوق‌پهن-باند مایکرواستریپی جدید با استفاده از یک رزوناتور چند- مدی (MMR) بارگذاری شده با استاب طراحی، تحلیل و شبیه‌سازی شده است. ساختار MMR پیشنهادی از یک رزوناتور امپدانس-پله‌ای اصلاح شده‌ی (MSIR) سه-مدی و بارگذاری یک استاب امپدانس‌- پله‌ای خم‌شده (FSIS) ترکیب‌بندی شده است. استاب بارگذاری شده دو مد تشدید دیگر و همزمان دو صفر انتقال تولید می‌کند. ابعاد MMR به گونه‌...

در این مقاله یک فیلتر میانگذر فوق‌پهن-باند مایکرواستریپی جدید با استفاده از یک رزوناتور چند- مدی (MMR) بارگذاری شده با استاب طراحی، تحلیل و شبیه‌سازی شده است. ساختار MMR پیشنهادی از یک رزوناتور امپدانس-پله‌ای اصلاح شده‌ی (MSIR) سه-مدی و بارگذاری یک استاب امپدانس‌- پله‌ای خم‌شده (FSIS) ترکیب‌بندی شده است. استاب بارگذاری شده دو مد تشدید دیگر و همزمان دو صفر انتقال تولید می‌کند. ابعاد MMR به گونه‌...