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

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

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

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

در این پایان نامه کدهای دوری مینیمال تولید شده توسط خودتوان های اولیه در حلقه خارج قسمتی ‎$ frac{mathbb{f}_{q}[x]}{langle x^{l^{m}}-1 angle} $‎ را بررسی می کنیم. فاصله همینگ، بُعد و وزن همینگ این دسته از کدهای دوری بررسی و تعیین می گردد

در این پایان نامه ابتدا به معرفی خم های جبری و گونای آن ها می پردازیم. سپس خم های ابر بیضوی و ژاکوبین آن ها و مسئله لگاریتم گسسته روی ژاکوبین یک خم ابر بیضوی را مورد بررسی قرار خواهیم داد. پس از آن یک معادله ی جایگزین برای خم های ابر بیضوی از گونای 2 روی میدان های متناهی با مشخصه ی مخالف 2 و 5 ارائه خواهیم داد. در پایان به یافتن تعداد کلاس های ایزومورفیسم خم های ابر بیضوی از گونای 2 روی میدان ...

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

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

در این پایان نامه که براساس دو مقاله از رومن ونسل نوشته می شود، ابتدا نشان داده می شود که اگر m,<,+,...)‎ ) یک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب ‎(m,<,+)‎ باشد، آنگاه بسط آن با گردایه ای از محمولات تک موضعی غیرارزیابی همچنان غیرارزیابی باقی می ماند. سپس با به کار بردن نتیجه ای از دایاز درباره استقلال جبری دنباله های معینی از اعداد، نشان داده می شود که اگرk یک میدان از درجه تعالی مت...

پاسخ‌های اپتیکی و مغناطواپتیکی بلورهای مغناطوفوتونی با لایه نقص مغناطیسی که در بین دو آینه براگ دی‌لکتریک احاطه شده است، مورد بررسی قرار گرفته است. این ساختارها دارای پتانسیل بالقوه‌ای برای کاربرد در ابزارهای مغناطواپتیکی و اپتیک مدارهای مجتمع می‌باشند. آینه‌های براگ، متشکل از ساختارهای چندلایه از مواد SiO2  و Ta2O5  می‌باشد. با معرفی ماده Ce:YIG به عنوان لایه نقص مغناطیسی، افزایش عبور و زاویه ...