جستجوي پيشرفته | کتابخانه مجازی الفبا

عنوان :

نبوت (شرح جامع تجريدالاعتقاد)

نویسنده:

دکتر احد قراملکي

نوع منبع :

کتابشناسی(نمایه کتاب) , کتابخانه عمومی

مشخصات اثر

عنوان :

مبانی نظری اسلام(۲) (نبوت و امامت)‬ اندیشه اسلامی (۲)

نویسنده:

‏‫ علی‌اصغر هدایت‌نژاد.، سیدتقی موسوی، مسیب شجاع.

نوع منبع :

کتابشناسی(نمایه کتاب) , کتابخانه عمومی

مشخصات اثر

عنوان :

مجموعه درسهائی از قرآن توحید، عدل، عدالت اجتماعی نبوت، امامت

نویسنده:

نويسنده:محسن قرائتی

نوع منبع :

کتابشناسی(نمایه کتاب) , کتابخانه عمومی

مشخصات اثر

عنوان :

حل مسئله حد اقل زمان صعود هواپیمای جت به کمک الگوریتم ژنتیک

نویسنده:

مهدی حجاری طاهری

نوع منبع :

رساله تحصیلی , کتابخانه عمومی

وضعیت نشر :

ایرانداک,

کلیدواژه‌های اصلی :

معجزه , برهان , کلام , نبوت , وحی , معارف اسلامی , معرفت شناسی (مسائل جدید کلامی) , فنی و مهندسی , الگوریتم ژنتیکی , مکتب فلسفی غرب , genetic algorithm , optimization , هواگرد , aircraft , فضاپیما , spacecraft , مسیر , trajectory , موتور جت , بهینه‌سازی

چکیده :

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

مشخصات اثر