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

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

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

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

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

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

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

در این پایان نامه، الگوریتم های سریعی برای محاسبه جواب های نرم مینیمال -‎2‎ در دستگاه های فرومعین ارائه می شود. برای تعمیم این الگوریتم ها، از تئوری محاسبه کران های خطا برای حل عددی چنین مسائلی استفاده شده است. علاوه بر این، تکنیک هایی برای بهبود الگوریتم محاسبه کوچک ترین کران خطا معرفی می شوند.

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

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