یافتن جواب بهینه برای بسیاری از مسایل دنیای واقعی مستلزم انجام یک جستجوی کامل در فضای مسیله و بررسی تمام راه حل های ممکن است. تحقیقات بسیاری در این راستا صورت گرفته و الگوریتم های جستجوی مکاشفه ای مختلفی مانند a*، ida*، kbfs و... برای حل این گونه مسایل ارایه شده اند. این الگوریتم های جستجو از یک تابع مکاشفه ای (heuristic) برای ارزیابی حالت های مختلف استفاده می کنند و کارایی آنها به دقت تابع مکا...

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

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

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

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

: از بین مسایل مطرح شده در مبحث تلاطم، بسیاری در حوزه علوم مهندسی قرار می گیرند. در اینگونه مسایل، مدل کردن نواحی که جریانهای متلاطم با مرزهای جامد بر همکنش می کنند، مورد توجه قرار می گیرد. هر چند از دید یک فیزیکدان، بررسی ساختار ریز تلاطم ترجیحاً دور از اثرهای مرزی، مورد توجه است. زیرا در اینجاست که می توان به دنبال قوانین «جهانی» مستقل از نوع شاره یا هندسه مسیله گشت. همین جهان شمولی تلاطم است ...

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

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

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

در این رساله یکی از متداولترین روش های بهینه سازی با متد جستجوی مستقیم یعنی روش سیمپلکس در بازسازی منحنی های انعکاسی، جمع آوری گردیده است به کمک نرم افزار متلب محرکه های سه گانه نمونه ها در سامانه رنگی ciexyz در زیر منابع نوری مختلف (a،d65 و tl84) و مشاهده کننده استاندارد 1964 محاسبه و به عنوان مشاهدات در مسیله بهینه سازی به منظور بازسازی مورد استفاده قرار گرفته است. به منظور بازسازی داده های ا...