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

بسیاری از مسائل مطرح در زمینه هوش مصنوعی را می توان به صورت مسائل ارضای محدودیت1 توصیف کرد. این مسائل با استفاده از مجموعه ای از متغیرها و تعدادی محدودیت بر روی مقادیری که این متغیرها می توانند اختیار کنند، تعریف می شوند (در این نوع از مسائل از واژه برچسب نیز برای اشاره به مقدار یک متغیر استفاده می شود و لذا به آنها مسائل برچسب دهی سازگار2 نیز اطلاق می شود). حل این مسائل مجموعه ای از مقادیر منح...

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

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

هدف بررسی برخی مسائل کنترل ‏بهینه و تغییراتی تحت تحدب ناوردا است. تعاریف و ویژگی هایی از تحدب‏، تحدب ناوردا و دیگر مفاهیم تعمیم یافته تحدب را بیان می کنیم. در ادامه قضایای دوگان ضعیف‏، دوگان قوی و شرایط بهینگی را برای مسائل تغییراتی و کنترل بهینه تک بعدی و چند هدفه تحت مفهوم تحدب ناوردا برای حالت های مختلف مسائل اولیه و دوگان مورد بررسی قرار می دهیم.

جندین روش برای حل مسایل تخصیص فاوی وجود دارد در این جا به ضعف های روش های موجود اشاره میکند روش های ارایه شیه بسیار اسان و کاربردی اند

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