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

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

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

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

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

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

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

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

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