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

وجود مراکز بهداشتی و بیمارستان‌ها در تمام جوامع ضروری است و مکان‌یابی و تخصیص جمعیت به آن‌ها یک مسئله بهینه‌سازی مهم در برنامه‌ریزی شهری می‌باشد. هدف از این پژوهش، مقای...

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

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

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

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

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

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