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

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

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

در این مقاله به بررسی BDA ، ENERGY PLUS ، BLAST و معرفی روشهای مختلف محاسباتی در نرم افزارهای شبیه سازی انرژی حرارتی ساختمان پرداخته شده است . اصول شبیه سازی و قابلیت طراحی هر کدام از این نرم افزارها با هم متفاوت می باشد . تکنیک به کار گرفته شده در نرم افزار BLAST برای حالتهایی که پاسخ سیستم تنها تابعی از دمای هوا باشد بسیار مناسب است . اما در موقعیت هایی که سیستم به پارامترهای خارجی و یا به ...

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