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

چکیده: کارایی بهتر شبکه عصبی به پارامتر‏هایی همچون تعداد گره­ های ورودی، تعداد لایه های میانی، تعداد نرون‏ ها، و وزن اختصاص ‏یافته به نرون ‏ها بستگی دارد. روش‏ های متفاوتی جهت به‏ روزرسانی پارامترها و ساختار شبکه عصبی مصنوعی ارائه گردیده است. یکی از روش‏ های متداول و مورد استفاده در شبکه های عصبی، روش پس­ انتشار خطا (ebp) است که در آن تنها وزن‏ های شبکه عصبی به ‏روزرسانی می شوند. در این مقاله، ...

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

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

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

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

هدف پژوهش حاضر پیش‌بینی شاخص قیمت بورس اوراق بهادار تهران با استفاده از مدل شبکه عصبی هیبریدی مبتنی بر الگوریتم ژنتیک و جستجوی هارمونی است. مربوط‌ترین نماگرهای تکنیکی به عنوان متغیرهای ورودی و تعداد بهینه نرون در لایه پنهان شبکه عصبی مصنوعی با استفاده از الگوریتم‌های فراابتکاری ژنتیک و جستجوی هارمونی حاصل می‌گردد. مقادیر روزانه شاخص قیمت بورس اوراق بهادار تهران از تاریخ 1/10/91 الی 30/9/94 جهت ...

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

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

در این مقاله مسئله زمان بندی پروژه با هدف ماکزیمم کردن خالص ارزش فعلی بدون محدودیت منابع بررسی شده است. الگوریتمی به نام الگوریتم تفاضلی برای این منظور ارائه شده است. برای ارزیابی کارایی این الگوریتم شبکه هایی با تعداد 10 تا 1000 گره و با ضریب پیچیدگی شبکه1 بین 3/1 تا 6/6 تولید شده است. مقدار خالص ارزش فعلی و مدت زمان حل مسائل در الگوریتم تفاضلی با مقدار خالص ارزش فعلی ومدت زمان جوابهای به دست ...