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

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

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

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

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

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

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

سازوکارهای سلطه، محصول و مولّدِ دانش و روایت‌های تاریخی‌اند. فرودستان به عنوان ابژه‌های کنترل و اعمالِ قدرت، اگرچه بازنمایی می‌‌شوند اما خود صدا و تاریخی ندارند. تاریخِ فرودستان را نمی‌‌توان از طریق اسناد و آرشیوهای دولتی بازسازی کرد، چراکه این اسناد خود به شیوه‌ای گزینش شده‌اند که روایتی را فراهم کنند. بازنمایی‌های صورت‌گرفته امکان تفکر به شقوق و روایت‌های دیگر را مسدود می‌‌کنند. از این رو برای با...