قلمرو صورتهای گوناگون امنیت فردی در نظام حقوقی قرآن تبیین و تحلیل شده است. از میان صورتهای گوناگون امنیت، امنیت فردی بسیار پر اهمیت است به گونه ای که در روان شناسی، حقوق بین الملل، آیات و روایات از آن سخن به میان آمده است. از یک سو، در یک تقسیم کلی، در قرآن با دو نوع امنیت روبرو هستیم: 1- امنیت اخروی، که ویژه مؤمنان، صالحان، انفاق کنندگان و... است. 2- امنیت دنیوی، که یک نیاز عمومی معرفی شده و ی...

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

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

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

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

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

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

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

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