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

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

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

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

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

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری mv و bl و جبرهایتینگ معرفی می شوند. فیلترهای بولی، اول، استلزامی مثبت، شبه متمم و پیچشی را روی مشبکه های مانده تعریف کرده و چند فرم از فیلتر اول و بولی را معرفی می کنیم. سپس با استفاده از قضایا رابطه بین آنها را بررسی می نماییم. تعریف –t نرم ها و عملگرهای مربوطه و مثال هایی از آنها آورده می شود. مشبکه های مانده بازه ایی مقدار (ivrl) معر...

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

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

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