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

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

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

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

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

در طرح آزمایش ها تعیین طرحهای بهینه به عنوان یک موضوع مهم مطرح است. هدف اصلی در استفاده از این طرحها افزایش کارایی از طریق کاهش واریانس حاصل از بلوک بندی می باشد. مسئله ی اساسی که بایستی در استفاده از طرحهای بهینه مورد توجه قرار گیرد این است که دسترسی به این طرح ها به ازای هر تعداد از تیمارها (?)، تعداد بلوکها (b) و اندازه ی بلوک (k) امکان پذیر نمی باشد. از آنجا که استفاده از روشی مناسب برای کا...

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

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

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

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