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

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

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

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

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

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

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

چکیده: مراد از ولایت فقیه، حاکمیت فقیهِ عادلِ جامع الشرایط در رأس حکومت اسلامی در دوران غیبت امام عصر (عج) است.اصل ولایت فقیه یک امر مسلّم و مسبوق به سابقه ی تاریخی به طول تاریخ تشیع می باشد که به تعبیر امام « از آن اموری است که تصورش موجب تصدیقش می شود». اگر چه نوع حاکمیت و قلمرو اختیارات آن، در میان نظریه پردازان مورد اختلاف است، می توان دیدگاه های موجود را در سه عنوان خلاصه کرد: 1- نظریه حسبه...

بنابر اصل ماکزیمم قدر مطق اگر p(z) تابع تحلیلی غیر ثابت ودر میدان کراندار d پیوسته باشد وبر بستار آن نیز پیوسته باشد |p(z) | ماکزیممی در d ندارد مگر اینکه تابع ثا بت با شد. فرض کنیم p(z) چند جمله ای از درجه n باشد و ?p?_p=?(1/2? ?_0^2??|p(e^i? ) |^p )?^(1/p) نامساوی های l^p راباتوجه به محل قرار گرفتن ریشه های p(z) درصفحه وتعمیم آنها رابررسی می کنیم.