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

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

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

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

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

از میان وجه­نماهای زبان فارسی، تعیین مقولة دستوری «باید» و «شاید» همواره موضوع بحث­انگیزی بوده است. برخی تحلیل­ها «باید» و «شاید» را افعال کمکی وجهی و برخی دیگر این دو وجه­نما[1] را قید وجهی در نظر گرفته­اند. مقالة حاضر می­کوشد تا با رویکردی شاخص[2] بنیاد به قیدها، جایگاه نحوی وجه­نماهای یادشده را تبیین کند و تحلیلی متفاوت از تحلیل­های صورت گرفته پیرامون «باید» و «شاید» ارائه دهد. در روند این ب...

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

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

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

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