در این پایان نامه ابتدا برخی از ویژگی های عملگرهای دانفورد-پتیز را بیان می کنیم . سپس شرایطی را مطرح میکنیم که تحت آنها هر عملگر دانفورد-پتیز، m-ضعیف فشرده باشد. در ادامه پس از تعریف عملگرهای نیم فشرده، به بررسی رابطه بین m–ضعیف فشرده و نیم فشرده بودن عملگرهای دانفورد-پتیز می پردازیم. سپس به مطالعه خواص عملگرهای تقریبا دانفورد-پتیز پرداخته و با ارائه قضایایی به بیان شرایط لازم و کافی برای تقریب...

چکیده: تئوری موضعی سازی و جبر کسرها، ابتدا درنظریه حلقه ها مطرح شد و سپس توسط مدرسه ی رومانی به جبر های منطق اصلی گسترش پیدا کرد. پایان نامه ی حاضر در چهار فصل به نگارش در آمده است، ابتدا پیش نیاز هایی از جبر جامع را که مورد نیاز است بیان می کنیم. ساختار جبرهای موضعی برحسب ضربگرها برای مشبکه های توزیعپذیر کراندار، جبرهای هیلبرت و هرتز، blوmv- جبرها و جبرهای heytingو لوکاسویچ مویسیل در فصل یک ...

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

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

در این پایان نامه نیم گروه ها با یک عمل گر یکتای c به نام بستار راست مورد بررسی قرار گرفته اند.‎‏ نیم گروه های بستا‏ر‎‎ ‏را می توان به عنوان تعمیم هایی از نیم گروه های وارون پذیر (نه لزوما منظم) در نظر گرفت. هم چنین در این پایان نامه ساختارهای مختلفی از نظریه نیم گروه های وارون پذیر به بعضی رده های مهم نیم گروه های بستار مانند نیم گروه های بستار وارون پذیر‏ و نیم گروه های بستار پیچیده‏ گسترش یا...

در این مقاله برای تنظیم پارامترهای سیستم قدرت و ادوات facts از روش های بهینه سازی ژنتیک، ازدحام ذرات، ترکیب منطق فازی با الگوریتم ژنتیک و ترکیب منطق فازی با الگوریتم تکامل دیفرانسیل استفاده شده است. در اینجا دو نوع از ادوات facts، جبران ساز سری کنترل شده با تریستور (tcsc) و جبران ساز توان راکتیو استاتیک (svc) برای بهینه‎سازی مصرف توان راکتیو شبکه و کاهش تراکم خطوط مورد استفاده قرار گرفته است. ج...

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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

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