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

در این تحقیق, ابتدا با تعریف ابرگراف, ابرگراف جهت دار و ابرمسیر آشنا خواهیم شد. سپس الگوریتمی را برای به دست آوردن کوتاه ترین ابرمسیر روی یک ابرگراف جهت دار معرفی خواهیم کرد. در ادامه الگوریتم هایی معرفی می شوند که با استفاده از آن ها می توانیم k‎ تا از کوتاه ترین ابرمسیرها را از راس مبدا s به راس مقصد t‎ به دست آوریم و این الگوریتم ها از نظر زمان اجرا با هم مقایسه می شوند. بعد از آن یکی از کار...

جبرهای باناخ a و b با طیفb)=?)? و(b) ??? مفروض اند. ضرب ?-لائو ، a*?b روی حاصل ضرب دکارتی a*b یک جبر باناخ باشد. اگر ?=0 ، آنگاه حاصل ضرب معمولی جبرهای باناخ به دست می آید و اگر b=c (مجموعه ی اعداد مختلط) و ?:c---?c نگاشت همانی باشد، آنگاه a*?c بر یکانی سازی a منطبق می شود. ثابت می شود که این ضرب توسیع قویا شکافته شده ای از b به وسیله ی aاست. با مطالعه ی این ضرب به بررسی یک سری ویژگی هایی از قب...

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

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

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

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

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

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

میراگرهای جاری شونده فلزی، از قدیمی ترین ابزار اتلاف انرژی برای کنترل و کاهش پاسخ های لرزه ای سازه ها تحت زمین لرزه های شدید محسوب می شوند. یکی از پرکاربردترین این وسایل نوع خاصی از میراگرها تحت عنوان میراگرهای adas می باشند . در طراحی این نوع میراگرها پارامتر های مختلفی دخیل هستند که عبارت اند از: 1-جابجایی تسلیمی(?y) 2-ضریب سخت شوندگی کرنشی(?) 3-نسبت سختی اعضای بادبندی به سختی میراگرها(b/d) 4...