زمان‎بندی درس های دانشگاه یک مسئلۀ پیچیدۀ بهینه‏سازی است. عوامل زیادی مانند گروه های آموزشی، استادان، اتاق ها و دانشجویان، مسئله را بزرگ و حل آن را دشوار می‎کنند. هر عامل، مجموعه‎ای از محدودیت ها را که معمولاً با هم در تضاد هستند، بر فضای حل تحمیل می کند. اگر درس ها در اتاق های متفاوت و در بازه های زمانی معین به‎گونه ای زمان‎بندی شوند که مجموعه محدودیت ها را برآورده کنند، مسئله حل خواهد شد. در ا...

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

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

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

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

جهت بهبود عملکرد سیستم‌‌های بازیابی تصویر براساس محتوا از روش‌های بازخورد ربط1 استفاده می‌شود. در این مقاله، یک روش جدید بازخورد ربط با رویکرد اصلاح معیار شباهت در یک سیستم بازیابی تصویر مبتنی بر جایگزینی فازی تصاویر اشعه x پزشکی با گراف نسبی ویژگی‌دار فازی2 ارائه شده است. روش بازخورد ربط پیشنهادی با استفاده از میزان شباهت تصاویر مرتبط و غیرمرتبط با تصویر پرس‌وجو، وزن بهین...

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

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

نوشته حاضر ترجمه مقاله زیر است:‎Peter Sarnak‎, ‎What is an Expander?‎, ‎Notices of The American Mathematical Society‎, ‎51 No‎. 7 (2004) 762-763‎پراکندگی یک گراف همراه با همبندی بسیار قوی، ویژگی است که ساختار باسط‌ها را مورد توجه قرار داد. این ساختار تناقض‌گونه موجودیت آن‌ها را نیز تا مدت‌ها انکار می‌کرد. پس از مدتی اگرچه پینسکر(‎‎(pinsker) توانست با یک بحث شمارشی وجود آن‌ها را اثبات کند، اما ه...

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