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

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

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

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

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

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

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

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

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

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