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

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

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

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

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

برآورد بار معلق رودخانه یک امر مهم در طراحی سازه‌های آبی, مسائل زیست محیطی و کیفیت آب رودخانه‌ها می‌باشد. یکی از متداول‌ترین روش‌ها برای برآورد بار معلق رودخانه منحنی سنجه رسوب می‌باشد،‏‏ْ در منحنی سنجه رسوب یک رابطه رگرسیونی که به‌طور معمول از نوع توانی می‌باشد بین دبی آب و رسوب بر قرار می‌شود. با توجه به عدم قطعیت‌ها و غیر خطی بودن ارتباط بین دبی آب و رسوب, منحنی سنجه رسوب فاقد کارایی لازم برا...

هوش مصنوعی زیر نظام علوم رایانه است که بر درک و اجرای فرآیندهایی همچون منطق, و یادگیری مهارتهای جدید و تطبیق با شرایط موجود و حل مسائل, استوار است. این عمل با استنتاج روش هایی که از قبل به سیستم داده شده صورت می گیرد.

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

مقدمه: بیماری کبد یکی از شایع‌ترین مشکلات مزمن کبدی و سیروز می‌باشد. مشکلات کبدی شامل طیف وسیعی از بیماری‌ها و نارسایی‌‌هایی هستند که به بافت کبد یا عملکرد آن آسیب می‌رسانند. تشخیص زودهنگام و درمان این بیماری می‌تواند مرگ‌و‌میر و درجه بیماری را کاهش دهد. روش: این مطالعه از نوع توصیفی-تحلیلی است. پایگاه داده آن شامل 583 رکورد مستقل شامل 11 ویژگی موجود در پایگاه داده یادگیری ماشین UCI می‌باشد. در...

در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...