در پژوهش حاضر برای ارائۀ الگوی نظری- عملی زاهد در زمینۀ آزادی بر اساس دیدگاه اسلام تلاش شده است. سپس نحوة جاری شدن آزادی بر اساس این الگوی عملی در جامعۀ اسلامی بررسی شده و در نهایت تفاوت این نوع نگاه با مفهوم آزادی در جامعۀ سکولار غربی تبیین شده است. بدین منظور چیستی مسئلة نظری، اجتماعی و فرهنگی آزادی بر مبنای دیدگاه زاهد بیان شده و در ادامه با استفاده از الگوی نظری و عملی مذکور، چیستی و چگونگی...

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

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

یکی از روش‌های بهینه‌سازی روش «کره‌های محاطی» است که در آن حرکت به سمت جواب بهینه از داخل فضای قابل قبولِ طراحی نسبت به قیود صورت می‌گیرد و لذا از جمله روش مرکزها به‌شمار می‌رود. در این روش مسیر حرکت به سوی نقطه‌ی بهینه در فاصله‌ی تقریباً یکسانی نسبت به قیود فعال قرار دارد و از همین رو نسبت به خطی‌کردن قیود حساسیت نشان نمی‌دهد. این روش پیش‌تر برای قیود نامساوی به کار گرفته شده است. در این تحقیق ا...

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

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

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

در پژوهش حاضر برای ارائۀ الگوی نظری- عملی زاهد در زمینۀ آزادی بر اساس دیدگاه اسلام تلاش شده است. سپس نحوة جاری شدن آزادی بر اساس این الگوی عملی در جامعۀ اسلامی بررسی شده و در نهایت تفاوت این نوع نگاه با مفهوم آزادی در جامعۀ سکولار غربی تبیین شده است. بدین منظور چیستی مسئلة نظری، اجتماعی و فرهنگی آزادی بر مبنای دیدگاه زاهد بیان شده و در ادامه با استفاده از الگوی نظری و عملی مذکور، چیستی و چگونگی...

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

در این پایان نامه، فرمولبندی دستگاه های مقید هامیلتونی دیراک برای مدل چرن- سیمونز ابرمتقارن غیرآبلی گروه n=2 su(n) ، در 1+2 بعد مطالعه شده است. در بررسی ساختار مدل مورد نظر تعدادی قیود نوع دوم بدست می آید. از آن جا که ظهور قیود نوع دوم بنا به فرض دیراک نشان دهنده ی یک نظریه غیرپیمانه ای است، با استفاده از رهیافتbft مرتبه محدود و معرفی میدان های کمکی، دستگاه به یک مدل داری تقارن پیمانه ای با قیو...