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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

در این تحقیق برای پهنه‌‌بندی زمین لغزش در حوضه رودخانه سنگورچای از مدل سیستم استنتاجی فازی عصبی (ANFIS) استفاده شد. به این منظور، داده‌‌های 124 زمین لغزش، شناسایی شده و برای انجام فرایند تحلیل و پردازش به سیستم ارائه شد. در کنار آن برای پردازش زمین لغزش‌‌ها، 8 لایه متشکل از لایه‌‌های شیب، جهت شیب، DEM، لیتولوژی، شبکه هیدروگرافی،لایه NDVI، گروه خاک و پراکنش زمین لغزش ترسیم گردید. برای پردازش لای...

موتور dc امروزه هم در جهان بدلیل قابلیت کنترل آسان سرعت هنوز مورد استفاده قرار می گیرد. در این پایان نامه طراحی و شبیه سازی یک کنترل کننده ی سیستم عصبی فازی سازگار(adaptive neuro fuzzy inference system) تحقیق می شود که این کنترل کننده در روش کنترل سرعت مدولاسیون پهنای باند(pulse width modulation)، بر روی یک موتور dc تحریک مستقل به کار گرفته شده است. هدف اصلی از انجام این کار، کاهش جریان راه ان...

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

در این پایان نامه به صورتبندی و بیان یک سیستم استنتاجی برای یک منطق کنترل دسترسی پرداخته ایم که هم برای کنترل دسترسی و هم برای بررسی تطابق با قوانین مفید است. این سیستم منطقی قابلیت بیان سیستمهای کنترل دسترسی، به عنوان یک دستگاه حقوقی و قانونی را دارد. نخست عملگر says، از منطقهای کنترل دسترسی را مورد توجه قرار داده ایم. عملگر says مفهوم «گفتن» به عنوان یک وجه در منطق موجهاتی بیان میشود. در این ...

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

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

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