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

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

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

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

در این نوشتار نخست توصیفی از سیستم استاندارد فازی به ‌عنوان نظریه‌ای دربارة ابهام طرح می‌شود؛ بدین قرار که ابتدا پشتوانه‌های شهودی این نظریه را مطابق ادعای حامیان آن مطرح می‌کنیم سپس بیانی نسبتاً صوری از سیستم استاندارد منطق فازی ارائه می‌کنیم. درادامه راه‌ حل‌های مبتنی‌بر این سیستم برای پارادوکس خرمن معرفی می‌شوند، پس از آن این سیستم در دو موضع نقد می‌شود؛ نقد نخست این است که پاسخ‌های معمول حام...

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

بیماری دیابت یکی از جدی ترین، شایع ترین و پرهزینه ترین بیماری های غدد در جهان است که کنترل آن نیازمند تنظیم و کنترل مصنوعی سطح غلظت گلوکز خون می باشد. جدیدترین آمار سازمان سلامت جهانی، افزایش جمعیت بیماران دیابتی بزرگسال را از % 4 (180 میلیون) در سال 2008 به % 4/5 (350 میلیون) در سال 2030 پیش بینی کرده است. در این میان، در حال حاضر کشور ایران حدود 7 میلیون نفر (9/8 درصد) بیمار مبتلا به دیابت دا...

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

امروزه تحقیقات گسترده ای در زمینه کاهش مصرف انرژی در بخش سیستم های تهویه مطبوع صورت می پذیرد و تنظیم دقیق این سیستم ها مورد توجه قرار گرفته است. سیستم های تهویه مطبوع علیرغم وجود پیچیدگی می بایست شرایط حرارتی مطلوب را تأمین کنند. در این سیستم ها کنترلر می بایست قابلیت تطبیق با تغییرات پارامترهای محیطی را داشته باشد. در بیشتر سیستم های تهویه مطبوع امروزی از کنترلرهای روشن/خاموش (ترموستات) و در ...