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

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

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

چکیده ندارد.

چکیده : پردازه‌های محرک توسعه یکی از رویکردهای متأخر ادبیات بازآفرینی شهری در جهان و ایران هست. در این پژوهش با روش توصیفی-تحلیلی سعی بر آن است تا با بهره گیری ازتجارب علمی و عملی در شهرهای منتخب جهان (انگلیس، هلند و ایران ) ودر راستای دستیابی به هدف مقاله عوامل موفقیت اجرای پردازه های یاد شده را بیان دارد. برای این منظور پنج نمونه از اجرای پردازه های محرک توسعه انتخاب انتخاب گردید. با اس...

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

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

هدف پژوهش حاضر بررسی اثربخشی درمان شناختی رفتاری واحد پردازهای بر کاهش نشانههای اضطرابی و بهبود نظم جویی شناختی هیجانی نوجوانان بود. روش پژوهش از نوع کاربردی و شبه آزمایشی با طرح پیش آزمون ـ پس آزمون با گروه کنترل بود. نمونه آماری این پژوهش شامل 24 نفر، (برای هر گروه یعنی گروه آزمایشی و گروه کنترل) از نوجوانان بودند. این نوجوانان به شیوه نمونه گیری در دسترس انتخاب شدند. گروه آزمایش، ده جلسه درم...

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

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