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

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

در این ‏رساله‏، ابتدا ‎گاما‎-جبرها‏ را به عنوا‏ن توسیعی از جبرها تعریف کرده‏ و مفهوم ‎گاما-بعد را معرفی می کنیم. سپس با ارائه ‎‎‏‎‎‏‎‎‏چند مثال و خاصیت در مورد گاما‎‎‎-جبرها ‏ به بررسی مطالبی پیرامون ماتریس‏ های ‎ m×n‎‎ و ‎گاما‎‎‎-جبرهای منظم می پردازیم.‎ در ادامه‏، مفهوم گاما‎-جبرها‏ را به گاما‎-ابرجبرها توسعه داده و روابط منظم را روی آن ها مطالعه می کنیم. هم چنین‏، رابطه هم ارزی گاما^* ‎ ر...

یک فضای نرمدار احتمالی، دارای شرایط یک فضای نرمدار حقیقی است، که در آن نرم هر عضو بجای یک مقدار حقیقی در $br$، یک مقدار احتمالی در $delta$ اختیار می کند. در اینجا $delta$ مجموعه همه توابع صعودی و پیوسته چپ، که به فرم $f:br obac$ است، می باشد. که در اصطلاح به این گونه توابع، توابع توزیع توسیعی می گویند. ایده ای که برای اولین بار توسط یک ریاضیدان، بنام شرستنو در سال ???? میلادی بیان گردید. د...

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

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

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

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

در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...

مسئله جریان با هزینه مینیمم ‎ (mcf)(minimum cost flowدر یک شبکه که تعدادی از رئوس، دارای مقداری موجودی از یک کالا و تعدادی دیگر متقاضی مقداری از همان کالا هستند و برای هر یال مقادیری برای حداقل و حداکثر کالای عبوری و هزینه عبور یک واحد کالا مشخص شده است، به دنبال پیدا کردن جریانی از آن کالا است که در کران های داده شده برای میزان جریان برای یال ها صدق کند، تقاضای رأس ها را برآورده کند و کمترین ه...