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

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

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

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

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

در این پایان نامه، به اثبات قضیه های پایداری اولام- هایرز تعمیم یافته با استفاده از روش مستقیم وروش نقطه ثابت می پردازیم. 2f(x + y/2)+ f(x -y/2)+ f(y - x/2()= f(x) + f(y) همچنین به مطالعه پایداری اولام - هایرز تعمیم یافته همریختی های تصادفی در جبر های نرم دار تصادفی می پردازیم.

پژوهش حاضر اثربخشی آموزش خودنظم‎دهی برکنش‎های اجرایی (حافظه کاری وسازمان دهی) دانش‎آموزان با ناتوانی‎های یادگیری مقطع ابتدایی شهرستان سقز را بررسی کرد. این مطالعه از نوع شبه تجربی با طرح پیش آزمون و پس آزمون با گروه گواه بود. جامعه مورد مطالعه شامل دانش آموزان 8 و 9 ساله مبتلا به ناتوانی های یادگیری در شهر سقز بود. 60 دانش‎آموز با ناتوانی های یادگیری به طور تصادفی ساده انتخاب شدند. دانش آموزان ...