گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

در این پایان نامه نوع دیگر از مترویدهای به هم آمیخته را معرفی و مطالعه می کنیم.جبر بولی وفیلتر ،ایده آل در مترویدها تعریف میشود.مترویدهای جور شده را معرفی کرده و نشان می دهیم که برای مترویدهای (m(aو (n(bبه طوریکه در شرط زیر صدق کنند: (n|(b?a) =m.(b?aیعنی جور شده باشند،یک چسباندن از mوn تعریف می کنیم که این متروید،متروید l روی a?bبه طوریکه m=l| aوl.b=n باشد.نشان می دهیم که چنین چسباندن برای هر...

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

در این پایان نامه مترویدهای 3- همبندی که مینیمال هستند و دارای یک تحدید فراگیر ثابت می باشند، مورد مطالعه قرار می گیرند. هدف اصلی این پایان نامه پیدا کردن کران بالای دقیقی برای | e(m?) – e(n) | است که در آن n یک تحدید متروید 3- همبند m است و m? مینور مینیمال 3- همبند m می باشد که n یک تحدید آن است. به علاوه کران مورد نظر را برای حالتی پیدا می کنیم که در آن n یک مینور متروید 3- همبند m است و m? ...

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

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

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

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

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

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