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

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

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

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

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

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

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