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

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

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

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

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

فرض کنیم r حلقه ای نوتری و جابه جایی و m، r- مدولی با تولید متناهی باشد ابتدا با استفاده از ویژگی های m- رشته مطلق با بعد بزرگتر از s، درباره متناهی بودن مجموعه بحث می کنیم. سپس با اضافه کردن شرط موضعی به حلقه r ، نشان می دهیم برابر کمترین مقدار عدد صحیح r است به طوری که مدول کوهمولوژی موضعی تعمیم یافته آرتینی نباشد. در خاتمه با در نظر گرفتن عدد صحیح برای هر درباره آرتینین بودن بحث می کنیم.

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