هدف اصلی از نگارش این پایان نامه بررسی bl-جبرها به عنوان ساختار جبری متناظر با منطق فازی پایه (bl) است.bl-جبرها در راستای اثبات قضیه تمامیت در bl توسط هایک در سال 1998 به وجود آمده اند. توضیح آن که? در منطق فازی پایه- که توسیعی از منطق دو ارزشی است- همانند منطق کلاسیک? مفاهیم مختلف راستی و برهان یکسان هستند. یعنی این که در bl? هر چه که برهان پذیر باشد راست است.(قضیه درستی)? و هر چه راست باشد برهان پذیر است.(قضیه تمامیت). هم چنین? در این پایان نامه گذری کوتاه بر bck-جبرها و دسته ویژه ای از آن با نام جبرهای ایزکی? به عنوان ساختارهای جبری که منطق یکی از خاستگاههای آن ها محسوب می شود داشته? و آن ها را به عنوان رسته های هم ارز با رسته bl-جبرها معرفی خواهیم کرد.

پروتکل ieee 802.15.4 که از سوی موسسه ieeeبرای شبکه‏های شخصی بی‏سیم با نرخ بیت کم تدوین شده است، به دلیل قابلیت‏ها و مزایایی مانند مدیریت مصرف انرژی، نرخ‏گذردهی بالا و مقیاس‏پذیری، گزینه مناسبی برای شبکه‏های حسگر بی‏سیم است. در این پروتکل گره‏ها با استفاده از الگوریتم csma/ca به منظور دستیابی به کانال و ارسال بسته‏های خود به مقصد، با یکدیگر رقابت می‏کنند. این الگوریتم با استفاده از پارامتر be شدت رقابت بین گره‏ها را تعیین می‏کند. پارامتر be محدوده اعداد تصادفی که گره‏ها به منظور کاهش تصادم و ارسال بسته خود صبر می‏کنند، را تعیین می‏کند. این الگوریتم با وجود مزایای مذکور، در مقابل تغییرات ترافیک عملکرد پویایی ندارد و همواره میزان be در ترافیک‏های مختلف ثابت می‏باشد. با توجه به اهمیت الگوریتم csma/ca در پروتکل ieee 802.15.4، در این پایان‏نامه تأثیر پارامتر be بر روی عملکرد شبکه در ترافیک‏های متغییر با زمان مورد ارزیابی و بررسی قرار گرفته است.با توجه به تغییرات ترافیک شبکه برای کاهش انرژی مصرفی، میزان تصادم‏ها و جلوگیری از سرریز شدن بسته‏ها در گره‏ها نیاز است که گره‏ها‏ از محدوده اعداد تصادفی متناسب با ترافیک شبکه استفاده کنند. در این پایان‏نامه روشی ارئه شده که گره هماهنگ‏کننده با استفاده از این روش میزان ترافیک شبکه را تخمین می‏زند و سپس در هر سوپرفریم با استفاده از این اطلاعات، پارامتر be را تنظیم می‏کند. در این روش گره مرکزی جهت جلوگیری از سرریز شدن بسته‏های آماده ارسال در گره‏ها در ابتدای هر سوپرفریم، تعداد بسته‏های باقیمانده در صف گره‏ها را با تعداد بسته‏های دریافتی در سوپرفریم قبلی مقایسه می‏کند ودر صورت نیاز، اندازه پارامتر be را متناسب با ترافیک شبکه تغییر می‏دهد. همچنین در روش پیشنهادی به منظور افزایش دقت در انتخاب اندازه be گره مرکزی همواره تعداد بسته‏های دریافتی در هر سوپرفریم و تعداد تصادم‏ها را بررسی می‏کند. بر اساس نتایج شبیه‏سازی، با تغییر ترافیک شبکه، روش پیشنهادی از نظر متوسط انرژی مصرفی و نرخ ارسال بسته در مقایسه با پروتکل ieee 802.15.4 و دیگر الگوریتم‏های موجود عملکرد بهتری دارد.

در فصل اول ابتدا تقارنهای cp,c,p را معرفی و نشان می دهیم که این تقارنها در برهم کنشهای ضعیف نقض می شوند. سپس سیستم کائونهای خنثی (k.-k.) را بطور کامل مورد بررسی قرار می دهیم و با پارامترهای نقض cp یعنی e و آشنا می شویم . در فصل دوم مدل استاندارد را بطور خلاصه مرور می کنیم. این مدل علیرغم موفقیتهای فراوان قادر به توضیح علت نقض پاریته نیست و برای نقض cp بایستی حداقل سه نسل کوارکی داشته باشیم. در فصل سوم مدل استاندارد را تعمیم داده و مدل تقارنی راست - چپ را براساس گروه پیمانه ای بنا می کنیم. در این مدل cp,p بعلت شکست خودبخودی تقارن نقض می شوند و پدیده نقض پاریته یک پدیده کم انرژی محسوب میشود و در انرژیهای بالا تقارن پاریته را خواهیم داشت . این مدل قادر است علت کوچک بودن جرم نوترینوها را توضیح دهد. در فصل چهارم پدیده نقض cp را در مدل تقارنی راست - چپ مورد بررسی قرار می دهیم . در اینجا با وجود تنها دو نسل کوارکی cp نقض می شود و بین نقض پاریته و نقض cp ارتباط وجود دارد. در خاتمه e , e را محاسبه و نتایج آنرا با مدل ابر ضعیف و مدل استاندارد مقایسه و پیش بینی مدل را ذکر می کنیم .