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

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

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

پژوهش حاضر با هدف شناخت رابط? عوامل انگیزشی (اهداف تسلط، سودمندی تکلیف، خودکارآمدی) و خودکارآمدی خواندن با عملکرد تحصیلی دروس ادبیات فارسی، زبان انگلیسی و عربی دانشآموزان دختر مقطع متوسطه انجام شد. بههمین منظور،150 دانشآموز دختر پایه دوم دبیرستان در سه رشته (ریاضی-فیزیک، علوم تجربی و علوم انسانی) به روش نمونهگیری تصادفی خوشهای انتخاب و پرسشنامه عوامل انگیزشی گرین (2004) و پرسشنامه خود ادراکی خو...

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

فرض کنید g یک گراف و ?:v(g)?? یک تخصیص آستانه ها به راس های گراف باشد، منظورازانتخاب مجموعه ی هدف برای گراف gعبارت از یافتن زیرمجموعه ای از راس های g است که بتواند به صورت پویا تمام راس های گراف را فعال سازد. کمترین تعداد راس های یک مجموعه ی هدف را با min-seed(g,?) نمایش می دهیم. در حقیقت، مساله ی انتخاب مجموعه ی هدف همان مونوپلی پویاست. در حالت کلی، این مساله نه تنها یک مساله ی np-سخت است، بلک...

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

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

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