چکیده ندارد.

چکیده ندارد.

بر تقریر سینوی برهان صدیقین دو گونه اشکال وارد شده است؛ برخی ناظر به صدیقی بودن این برهان است و بعضی دیگر ساختار درونی برهان را مخدوش می­داند. صدرالمتألهین با آنکه صدق عنوان صدیقین بر این برهان را خالی از اشکال نمی­بیند، ساختار درونی اشکال را متین و قابل دفاع می­خواند و یکی از مهم­ترین اشکالاتی را که بر این برهان وارد شده است، پاسخ می­گوید. اشکال این است که برهان سینوی، از طریق ممکن به اثبات ...

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

با توجه به کاربرد¬های گسترده سیستم¬های نرم افزاری در همه جوانب زندگی امروز بشر، لزوم تولید نرم افزارهای تقریباً بدون خطا و با کیفیت بالا بیش از پیش اهمیت پیدا کرده است. قابلیت اطمینان نرم افزار یک رهیافت مهم برای ارزیابی کیفیت نرم افزار در نظر گرفته می¬شود. مدل¬سازی قابلیت اطمینان نرم افزار بر اساس فرایند پواسون ناهمگن یکی از روش¬های کاملاً موفق در مهندسی قابلیت اطمینان نرم افزار می¬باشد. در این ...

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