در سال 1971، با الهام از کار لازارد و گُورو برای مدول ها روی یک حلقه، استنستروم ثابت کرد که سیستم راست به طور قوی هموار است هرگاه تابعگون a تانسور (از رسته s-سیستم های چپ به رسته مجموعه ها) حافظ عقب برها و برابرکننده ها باشد. او همچنین نوعی از شرایط را (که تحت عنوان شرط (p) و (e) به آن اشاره خواهیم کرد) برای تشخیص همواری قوی فراهم کرد. بر خلاف حالت مدول های روی یک حلقه، همواری قوی اکیداً قوی تر ا...

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

 مرتب سازی داده‌ها یکی از مسائل مهم در هنگام پردازش اطلاعات دیجیتال می‌باشد. بسته به نحوه پیاده سازی مرتب کننده، معمولاً سه پارامتر سرعت، سطح اشغالی بر روی تراشه و توان مصرفی از اهمیت ویژه برخوردار هستند. وقتی مرتب کننده بر روی آرایه‌های منظقی برنامه­پذیر (FPGA) پیاده سازی شود، از آنجا که این بلوک به عنوان یک پردازشگر جانبی در کنار سایر بلوک‌های افزاری قرار می‌گیرد، تعداد CLBهای اشغال شده پارامت...

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

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

در این پایان نامه خواص مولدها و مولدهای تصویری دوری را در رسته ی s-سیستم های مرتب جزئی مورد مطالعه قرار می دهیم که در آن s یک تکواره مرتب جزئی است. نشان می دهیم برای هر a در رسته ی pos نگاشت pos(-,a) با عملی که روی آن تعریف می کنیم یک تابعگون مرتب جزئی با این ویژگی است که هر شیء از pos(s) پس از قرار گرفتن در آن می تواند به یک شیء در رسته ی (t)pos و بالعکس تبدیل شود. این ویژگی تحت شرایطی به ارتب...

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

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

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