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

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

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

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

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

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

این طرح که بر دو اصل، رابطه سلسله مراتبی و نظریه دودویی استوار است «رده بندی دودویی جهانی»[2] نام گرفته است. این طرح ملهم از یکی از آیات شریفه قرآن است و دارای ویژگی هایی است که به زعم طراح آن واجد اغلب مزایای دیگر طرح های رده بندی هست و به علاوه امتیازهای دیگری از جمله انطباق کامل با طبقه بندی علوم، داشتن پشتوانه فلسفی، سهولت یادگیری، انعطاف پذیری و قابلیت انطباق با رایانه را دارد. به طور نمون...

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

ابرمکعب ‎$n$-‎بعدی ‎$Q_n$‎ گرافی است که رئوس آن رشته‌های دودویی ‎$x_1 x_2 ‎c‎dots x_n$‎ بوده و در آن دو رأس با یکدیگر مجاورند، هرگاه به‌طور دقیق در یک مولفه متفاوت باشند و یا به عبارتی، فاصله همینگ آن‌ها یک باشد. زیرگراف‌های ابرمکعب مدلی طبیعی برای شبکه‌های ارتباطی به‌دست می‌دهند و از این رو مطالعه آن‌ها از اهمیت زیادی برخوردار است. برخی از زیرگراف‌های آن مانند مکعب‌های فیبوناتچی و مکعب‌های لوک...

در این رساله به بررسی کدهای حرفی متناظر با درختان دودویی که توسط واینوسکی ارائه شده است می پردازد. ابتدا ترتیبهای ‏‎a-order‎‏ ، ‏‎b-order‎‏ که توسط زکس و پانلو برای درختان دودویی تعریف شده اند بررسی می شوند. سپس با استفاده از یک کدگذاری دنباله حرفی برای درختان دودویی تولید کرده و الگوریتمهای تولید دنباله حرفی، رتبه گذاری دنباله حرفی و بازیابی دنباله از رتبه در ترتیب ‏‎a-order‎‏ ، که توسط پائلو ...