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

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

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

در این پایان نامه کرانی برای درجه همولوژیکی بر اساس نظم کاستلنو مامفورد معرفی میشود.برای رسیدن به آن نظم کاستلنو مامفورد مدول بیان میشودهمچنین تخمین هایی برای این نظم ارایه میشود.کرانی برای نظم مدول های ext تهیه شده و از روی آن مولفه های مدرج مدول هایextوضرایب هیلبرت آن هابیان میشود

چکیده ندارد.

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

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفا...

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

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

در این پایان نامه‏، پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز‏، نخست یک vt-عملگر روی‎ یک rl-تکواره m تعریف کرده و ‎rlvt-تکواره هارا معرفی خواهیم کرد. بعلاوه‏، با استفاده‎‎‎‎‎‎‎‎‎‎‎‎‎‎ از vt-عملگرها خود-نگاشت هایی ازm معرفی می کنیم که در حالت mv-جبرها دوگان vt-عملگرهامی باشند. سپس سور عمومی ‎?‎‎روی یک rl-تکوارهرا تعریف کرده و در نتیجه rl-تکواره تکین( mrl-تکواره) را‏ معرفی و برخی از ویژ‎‎‏گی ه...