در این پروژه به مطالعه ابتدا به ساکن نمونه هایی نیم فلزی که در صنعت اسپین‎ ‎ترونیک حائز اهمیت هستند پرداخته ایم. کلیه ‏محاسبات در چارچوب نظریه تابعی چگالی می باشند و بسته به نوع نیاز مسأله در بخش های مختلف پروژه یکی از دو کد ‏محاسباتی ‏pwscf‏ و ‏wien2k‏ به کار گرفته شده‎ ‎اند. کد ‏wien2k‏ یک کد محاسباتی تمام الکترونی بر پایه روش ‏‎(l)apw‎‏ جهت ‏بسط توابع موج می باشد و محاسبات کد ‏pwscf‏ مبتنی ب...

در این پایان نامه نشان داده می شود ضرب تانسوری تصویری دو جبر باناخ دوشکافنده(دوتصویری)، دوشکافنده(دوتصویری) است. با استفاده از این موضوع دوشکافندگی و دوتصویری (m_lambda(a مشخص می شود. در حقیقت برای یک جبر باناخ یکدار a و یک مجموعه اندیس گذار ناتهی،(c،m_lambda(a-دوتصویری (c-دوشکافنده)است اگر و تنها اگر c،a-دوتصویری (c-دوشکافنده) باشد. همچنین نشان داده می شود ell^1-جمع مستقیم جبرهای باناخ a_lambd...

دراین پایان نامه نشان خواهیم داد که برای یک نیم شبکه ی متناهیs ، ثابت میانگین پذیری ( l^1(s که همواره به فرم4n+1 است، چگونه محاسبه می شود. همچنین نشان می دهیم که 4n+1 برای برخی از جبرهای باناخ مدرج روی نیم شبکه ها، یک کران پایین برای ثابت های میانگین پذیری است. بعلاوه مثالی از یک نیم گروه کلیفورد جابجایی g ارائه می کنیم که برای آن ثابت میانگین پذیری (l^1(g به فرم4n+1 نیست. همچنین نشان می دهیم ک...

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

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

در این پایان نامه یکی از راه های ساختن ابرساختارها توسط ساختارهای جبری بررسی می شود. با استفاده از مفهوم "لم پایانی " از روی (نیم) گروه مرتب (جزئی) به (نیم) ابرگروه خواهیم رسید و به این ابرساختار، el-ابرساختار گوییم. ابتدا به بررسی اعضای همانی و معکوس در el-ابرساختارها پرداخته و سپس به ارتباط بین زیرساختارهای گروه مرتب و el-زیرابرساختارها با مفهومی به نام "انتهای فوقانی" می پردازیم. در ادامه به...

در این پایان نامه به بررسی ساختار توپولوژیک فضاهای اندازه می پردازیم. فرض کنیم x یک فضای خطی و ? توپولوژی موضعاً محدب تولید شده به وسیله نیم نرم های روی x باشد. در این پایان نامه به بررسی x_? یعنی توپولوژی محض روی x می پردازیم و در ادامه با این روش دوگان x_? را مورد بررسی قرار می دهیم. همچنین کاربردهای ازاین روش، فضای اندازه m (x) تجهیز به توپولوژی محض یعنی ?m (a)?_? مورد مطالعه قرار می گیرد و ن...

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

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