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

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

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

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

چکیده ندارد.

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

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

براساس فلسفة تعلیم و تربیت نظری و رویکرد استنتاجی در آن، نظریه و عمل تربیتی نیازمند مابعدالطبیعه است. این رویکرد مبتنی بر این پیش‌فرض است که بایدها و ارزش‌ها از هست‌ها و واقعیت‌ها استنتاج می‌شود و همچنین هر حکمت نظری، نوع خاصی از حکمت عملی را ایجاد می‌کند. این نوشتار درصدد است تا با اثباتِ «امکان استنتاج فلسفه تعلیم و تربیت از وجودشناسی اسلامی»، برخی از دلالت‌های تربیتی وجودشناسی اسلامی را استنت...

مطابق با استنتاج بهترین تبیین (IBE)، فرضیه‌ای که بهترین تبیین را برای دسته‌ای از پدیده‌ها ارائه می‌دهد، احتمالاً صادق است. وَن فِراسِن (1989) با استدلالی که به «ایراد گروه بد» مشهور است، این ادعا را به چالش کشیده ‌است. بر طبق این اشکال، این باور که بهترین تبیین به احتمال بسیار تبیینی صادق است مستلزم این باور پیشینی‌است که تبیین صادق به احتمال زیاد در میان تبیین‌های رقیبِ در دسترس (ارزیابی شده) جای د...