چکیده ندارد.

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

‏بررسی کارا‏یی جواب شدنی در برنامه ریزی خطی کسری چندهدفه ‎‎ و اینکه کارای ضعیف است یا قوی بسیار با اهمیت است. در پایان نامه پیش رو، کارایی جواب شدنی در این نوع برنامه ریزی را مورد بحث قرار می دهیم. در این راستا با بکارگیری‏ تعبیر هندسی‏، یک روش برنامه ریزی خطی برای آزمون کارایی بدست می آوریم‏‏، سپس با استفاده از آن‏،‏ دو روش برای بدست آوردن جواب های کارای ضعیف و قوی با شروع از هر جواب شدنی ارائ...

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

زمینه و هدف: کودکان کم توان ذهنی، در زمینه رشد و مهارت های حرکتی دچار مشکل هستند؛ از این رو هدف از تحقیق حاضر، بررسی تأثیر برنامه حرکتی اسپارک بر بهبود مهارت های حرکتی درشت پسران کم توان ذهنی آموزش پذیر بود. روش تحقیق: در این مطالعه نیمه تجربی، از بین 98 دانش آموز پسر کم توان ذهنی آموزش پذیر که زیر نظر مدارس استثنایی شهرستان ارومیه مشغول به تحصیل بودند، تعداد 20 کودک با میانگین سنی 9 الی 13 سال...

زمینه و هدف: شیوه های تمرینی مختلفی برای کمک به بهبود مهارت های حرکتی افراد کم توان ذهنی وجود دارد. از این رو هدف تحقیق حاضر مقایسه اثر برنامه حرکتی اسپارک و تکنیک های بسکتبال بر بهبود مهارت های حرکتی درشت پسران کم توان ذهنی می باشد.   روش کار: در این مطالعه نیمه تجربی تعداد 30 دانش آموز (دامنه سنی 9 الی 13 سال و میانگین بهره هوشی 4/64) از بین 98 دانش آموز پسر کم توان ذهنی آموزش پذیر که مشغول ت...

چکیده ندارد.