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

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

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

تابع درهم ساز یکی از ابزارهای مهم در رمزنگاری و تشخیص اصالت پیام محسوب می شود که فرم کلیددار این تابع برای mac و فرم بدون کلید آن در mdc مورداستفاده قرار می گیرد. در طراحی این گونه توابع، سرعت و امنیت پارامترهای مهمی برای کاربردهای مختلف رمزنگاری می باشند. توابع درهم ساز پرکاربرد در این زمینه md5، sha-0، sha-1 و sha-2 می باشند که به شکل های مختلف موردحمله قرار گرفته اند. توابع یاد شده، با ساختا...

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

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

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

در مدل سازی رگرسیون های ساختاری، برای بررسی آثار تغییرات و شکست های ساختاری و سایر رویدادهای کیفی از متغیرهای مجازی دودویی (کلاسیک) استفاده می شود. این در حالی است که به روشنی می توان عملکرد این گونه متغیرهای مجازی را به چالش کشید: در کاربرد این گونه متغیر مجازی نبود شکست (یا تغییر) ساختاری با 0 و وجود آن با 1 معرفی می شود. حال آنکه شکست در دورۀ وجود ممکن است آثار یکسان نداشته باشد و معرفی آن ب...

در این پایان نامه مینورهای حذفی مترویدهایی مثل m‎ را شناسایی می کنیم که برای هر عضو e از مجموعه زمینه ی m، متروید m e یا m/e دودویی باشد. این کلاس از مترویدها دقیقاً با کلاسی از مترویدها مرتبط می باشد که هر عضوش دودویی است و یا به واسطه ی واهلش یک دور-ابرصفحه از متروید دودویی ایجاد می شوند.