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

هدف این پایان نامه بررسی فشردگی ضعیف عملگرهای به طور ضعیف b-فشرده است. ابتدا عملگرهای به طور ضعیف b-فشرده را تعریف کرده و نشان می دهیم که فضای عملگر های به طور ضعیف فشرده از e به x یک زیرفضای عملگرهای به طور ضعیف b-فشرده از e به x است. در ادامه فشردگی ضعیف عملگرهای به طور ضعیف b-فشرده را بررسی خواهیم کرد و با یک مثال نقض نشان خواهیم داد که یک عملگر به طور ضعیف b-فشرده، لزوماً یک عملگر به طور ضعی...

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

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

در این پایان نامه به بررسی برد عددی عملگرهای مثبت روی فضای مشبکه هیلبرت خواهیم پرداخت. برای ماتریس های نامنفی ‎$a$‎ و هر عدد مختلط ‎$xi$‎ متلعق به گوی یکه، رابطه ‎$$xi w(a) in w(a) longleftrightarrow xi w(a)=w(a)‎, ‎$$‎ که در آن ‎$w(a)$‎ و ‎$w(a)$‎ به ترتیب برد عددی و شعاع عددی ماتریس نامنفی ‎$a$‎ می باشند، بررسی شده اند؛ در این پژوهش رابطه فوق را برای عملگرهای مثبت روی فضای مشب...

فرض‎‎ کنید ‎(m,?)‎‎‎ یک‎ چندگونای ‎2n‎‎-بعدی سیمپلکتیک باشد و h1, . . . , hn ‎‎ توابع جابه جایی و مستقل تابعی روی ‎ ‎m‎‎ باشند. در این پایان نامه محکی هندسی برای ناتبهگونی نقطه ی تکین ‎p ? m‎‎ به مفهوم الیاسون معرفی می کنیم.‎ از این محک برای یافتن تکینگی های سیستم ماناکوف تاپ (همچنین جسم صلب چهاربعدی) استفاده می کنیم. با به کار بردن نظریه ی فومنکو به مطالعه ی همسایگی ‎u‎‎ از برگ لیوویلی تکین ما...

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

بررسی گراف مقسوم علیه فشرده صفر،تعریف ساختار گرافی جدید شبکه مقسوم علیه صفر(? (r از حلقه r ، و قضیه ای را بیان می کنیم که نشان دهد (? (r تقریبا همیشه همبند است.