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

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

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

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

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

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

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

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