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

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

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

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

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

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

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

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

برای مدل بندی پاسخ های فضایی که در طول زمان مشاهده می شوند گاهی از مدل های سلسله مراتبی فضایی- زمانی استفاده می شود که در آن ساختار همبستگی فضایی –زمانی داده ها توسط یک میدان تصادفی پنهان گاوسی با تابع کوواریانس فضایی ماترن‎ ‏در نظر گرفته می‌شود. یکی از اهداف مهم در بررسی این مدل‌ها برآورد پارامترها و متغیرهای پنهان و پیشگویی پاسخ ها در زمان های معلوم و موقعیت های معلوم فاقد مشاهده است. در این ...