برهان حدوث و قدم در کلام اسلامی همواره یکی از استدلال‌های اصلی و مهم برای اثبات وجود خداوند بوده است. در نوشتار حاضر با استفاده از روش مطالعۀ تاریخی ـ تطبیقی تحوّلات حادث شده در نحوۀ تقریر برهان حدوث و قدم در کلام متقدّم امامیه و کلام اشاعره بررسی و مقایسه شده است. این پژوهش نشان می‌دهد که استدلال های متکلّمان امامی و اشعری برای اثبات حدوث عالم در قرن چهارم و پنجم هجری شاهد چند تحوّل اساسی بوده است...

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

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

با توجه به رقابتی شدن دنیای امروزی، بانک ها نیز شامل این مقوله شده و با در نظر گرفتن این موضوع، مبحث کارایی و درنتیجه اندازه گیری کارایی اجتناب ناپذیر است. در این تحقیق ارزیابی کارایی 19 بانک ایرانی طی دوره¬ی 5 ساله 1390-1386 با استفاده از تحلیل پوششی پنجره¬ای محاسبه شده است. برای این منظور، از مدل¬های bcc و sbm در دو ماهیت ورودی و خروجی و تحت بازده به مقیاس متغیر جهت محاسبه اندازه¬های کارایی ا...

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

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