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

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

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

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

گرچه ادبیات تعلیمی کودکان واژه‌ای متأخر به حساب می‌آید و به طریق اولی نزد پیشینیان نیز جایگاهی نداشته است، اما ردّ پای کودکان و نوجوانان در مباحث مربوط به ایشان چه در دوران کهن و چه در دوران نو کاملاً مشهود است. آرای تربیتیِ حاکم بر ادبیات امروزین ایران و دیگر کشورها وامدار عقاید بزرگانی در عرصه‌های عقلی و ادبی می‌باشد. هدف ما بررسی شکل‌گیری و نشو و نمای نظام تربیتی از دوران کهن تا کنون، و نیز برر...