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

شرح و تفسیر مثنوی جلال‌الدین محمد مولوی سابقه‌ای دیرین دارد، اما نکتۀ حائز اهمیت در شیوۀ شرح این تفاسیر، گرایش عرفانی آن­‌ها در توضیح محتوایی ابیات است. در شیوۀ تفسیری که برای تحلیل مثنوی در این مقاله ارائه نموده‌ام، کوشیده‌ام تا حوزۀ معانی ابیات را در الفاظ آن محدود و مدلل سازم. در این شیوه، مبنای معنایابی شعر توجه به صنایع ادبی و آرایه‌‏های زبانی آن است. این شیوه را جهت به چ...

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

این پژوهش با هدف ارائه الگوی خانواده تراز اسلامی با بهره‌گیری از تکنیک پژوهش کیفی داده بنیاد تدوین شده است. در مرحله اول از پژوهش با مطالعه و مرور دقیق منابع دینی که شامل قرآن کریم و نیز کتب حدیثی معتبر و مشهور می‌باشد، مقوله‌های مرتبط با خانواده استکشاف و طی سه مرحله با استفاده از نرم‌افزارMAXQDA11 کدگذاری شد. در کدگذاری باز 284 مقوله و در کدگذاری محوری که بر اساس شباهت موضوعی دسته‌بندی‌شده بو...

هر کدام از مکاتب فلسفی- تربیتی، فلسفة تربیتی خاص خود را دارند. مکتب اسلام نیز از این قاعده مستثنی نمی­باشد. عالی­ترین مراتب تبلور و تجسم چنین فلسفه­ای را می­توان در قرآن کریم که مبین بنیان اساسی اسلام است جستجو نمود. هدف از انجام این تحقیق، بررسی تربیت بعد عقلانی شخصیت انسان در مکتب فلسفی- تربیتی اسلام با توجه به آیات جزء بیست و هفتم قرآن می­باشد. به منظور وصول به این هدف در قالب تحقیقی کیفی، ن...

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

چکیده ندارد.

  موضع معرفتی ریچارد سوئین‌برن کسب باور محتمل‌ از راه استقرا و دلایل تجربی است. سوئین‌برن بر این باور است که باور محتمل‌تر، صدق محتمل‌تر دارد و محتمل‌ترین، صادق‌ترین است و در نتیجه معقول و موجه است. بر همین اساس باور محتمل برای دلیل کفایت دارد. سوئین‌برن قرائت منطقی از احتمال را بر دیگر قرائت‌ها دربارة احتمال ترجیح داده است. احتمال منطقی- ‌قوانین منطق ریاضی همراه با اصول احتمالات‌- نقش محوری ن...