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

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

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

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

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

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

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

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

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

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