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

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

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

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

زیر مساله ی ناحیه اطمینان (trs) که در واقع مساله ی مینیمم سازی یک تابع درجه ی دوم روی یک گوی است، نقش کلیدی در حل مسایل بهینه سازی غیرخطی نامقید ایفا می کند و علی رغم این که لزوماً محدب نیست، الگوریتم های کارای متعددی برای حل آن به ویژه برای حل آن در ابعاد بزرگ ارایه شده است.  اخیراً توسیع زیر مساله ی ناحیه اطمینان به مساله ای با قیود خطی اضافی مورد توجه بسیاری از محققان قرار گرفته است. مطالعات ا...

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

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

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

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