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

در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

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

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

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

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

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

کاربرد سامانه های خودکار در شبکه های آبیاری در حال گسترش و ارزیابی آن ها ضروری است. با توجه به تنوع اجزای سامانه های خودکار عملکرد مجموعة سامانه در شبکه تابعی از عملکرد هر یک از اجزاست. توسعة مدل ارزیابی عملکرد با درنظرگرفتن همة جنبه های خودکارسازی در شبکه ضروری است. در این تحقیق مدل inacsem با استفاده از روش ارزیابی کلاسیک برای ارزیابی سامانه های کنترل خودکار شبکه های آبیاری در دو دیدگاه فنی و...

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