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

این پایان نامه به توصیف فشردگی و پیش فشردگی زیرمجموعه ها در فضاهای خطی نرم دار نامتقارن می پردازد. اگرچه بعضی از نتایج کلی برای موارد کلی به دست آمده ا‎‏ند‎، ما روی فضاهای خطی نامتقارن (x,q) تمرکز می کنیم که مستقیماً مربوط به مشبکه های باناخ (x,?.?,?)هستند که از ترتیب‎ ? برای تعریف یک نرم نامتقارن خاص با فرمول q(x)??x?0?,x?x‎استفاده می شود. در پایان‏ رده ی‎ خاصی از زیر مجموعه های k از فضای خطی ن...

در این پایان نامه ما رده ای از حلقه های‏ تعویض پذیر را معرفی می کنیم به طوری که مشبکه ایده آل های آن‏، به وسیله ضرب ایده آل ها تکمیل شده است یعنی این که نیم حلقه از ایده آل ها یکریخت با جبر ـm v‎‎ ‎‎ است. این رده از حلقه های تعویض پذیر‏، جمع مستقیم حلقه های زنجیر آرتینی موضعی یکدار هستند. از جمله حلقه هایی که در این رده قرار دارند‏، حلقه های لوکاسوییچ می باشند که در ادامه به بررسی برخی خواص آن ...

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

چکیده ندارد.

چکیده ندارد.

در فصل اول، به بیان مفاهیم و تعاریف اولیه پرداخته و سپس نشان می دهیم که تکواره های معکوس پذیر، مطلقا هموار هستند. فصل بعدی را با معرفی رسته - سیستم های مرتب جزیی آغاز نموده و در ادامه ساختارهای کلی در رسته pos-sرا مورد بررسی فرار داده، سپس برخی خواص نظریه ای رسته ای را برای آن بیان می کنیم. در فصل سوم، ابتدا به معرفی تکواره های جزیی مرتب مطلقا هموار پرداخته، نشان می دهیم که نیم مشبکه مرتب s ...

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

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

ابتدا هنگ (modulus) حاصلضرب عناصر جبرهای باناخی که دارای ساختار مشبکه ای و به گروه های موضعا فشرده مربوط می شوند مورد بررسی قرار می گیرند و سپس برای گروه موضعا فشرده g، هنگ مضروب های (multiplier)، l (g), l1 (g) و l1 (g)** مورد مطالعه قرار می دهیم در حقیقت نشان داده می شود که اگر t:l1 (g)-->l1 (g) یک مضروب باشد هنگ t که به [t] نمایش می دهیم نیز یک مضروب است و به طور مشابه برای l (g) نشان می دهیم...