در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جب...

در این پایان نامه هدف ما مطالعه هم نهشتی برروی جهت واره است. به این منظور ابتدا مشبکه و نیم مشبکه و جهت واره را تعریف کرده و قضایایی برای تسهیل در شناخت آن ها بیان کرده ایم. در ادامه هم نهشتی برروی جهت واره ها, هم نهشتی برروی جهت واره با یچش غیرصعودی معرفی کرده ایم. نشان‏ داده ایم که یک جهت واره با پیچش غیرصعودی یک پیچش غیرصعودی روی مجموعه جزئاً مرتب متناظر است. در ادامه هسته ?f هم نهشتی تعریف ...

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

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

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

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

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

در این پایان نامه به معرفی سه ساختار گرافیکی می پردازیم.ابتدااولین ساختار گرافیکی یعنی، گراف مقسوم علیه صفر حلقه ی r را معرفی و ضمن بیان ویژگی های این گراف به بیان مثال هایی از این ساختار می پردازیم. هم چنین با استفاده از این ساختار، مجموعه ی z(r)را به ساختارهای جبری مجهز می کنیم. بعد از این بحث دومین ساختارگرافیکی یعنی، گراف مقسوم علیه صفر فشرده شده ی حلقه ی r را معرفی و به بیان ویژگی های این ...

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

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