در این پایان نامه ابتدا مدل استاندارد ذرات بنیادی را معرفی می کنیم. مدل استاندارد، ذرات بنیادی و برهمکنش های میان ذرات بنیادی را توسط لاگرانژی با تقارن غیر آبلی ?su(3)?_c×?su(2)?_l×?u(1)?_y توصیف می کند. سپس مکانیزم هیگز را توضیح می دهیم که مسئول جرم دار کردن ذرات و بوزون های پیمانه ای است. در ادامه برهمکنش های بوزون های الکتروضعیف مدل استاندارد را مورد مطالعه قرار می دهیم. قضیه هم ارزی بوزون گ...

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

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

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

محاسبه پایه های گروبنر ‏با کمک الگوریتم بوخبرگر هنگامی که ضرایب اعداد گویا باشند، رشد ضرایب متغیرها یک مشکل شناخته شده است. یکی از روش های پیشنهادی برای حل این مشکل استفاده از روش های پی-ادیک و پیمانه ای است که برای محدود کردن رشد ضرایب متغیرها به کار می رود. به ویژه این روش ها در الگوریتم اقلیدسی برای محاسبه بزرگترین مقسوم علیه مشترک چندجمله ای های یک متغیره مفید هستند. در این پایان نامه به مع...

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

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

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

در این پایان نامه با درنظرگیری g-کلاف اصلی p فرم های gaup-ناوردا و فرم های autp-ناوردا را روی کلاف و روی کلاف c(p)مورد مطالعه قرار می دهیم. یکسانی طبیعی نیز بررسی می شود. برای این منظور مفاهیمی از قبیل التصاق در کلاف های اصلی و گروه پیمانه ای و جبر پیمانه ای و کلاف التصاق و کلاف آورده شده است و در انتها نتایج جالبی در کلاف های اصلی با گروه لی (2)su مورد تجزیه و تحلیل قرار گرفته است.

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