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

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

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

در این پایان نامه از یکی از قواعد انتگرال گیری عددی به نام قاعده انتگرال گیری چبیشف – نیوتن - کاتس استفاده می کنیم که در این قاعده با مجهول در نظرگرفتن کرانهای انتگرال درجه دقت را به ازای هر n به (n+2) می رسانیم و سپس با بکارگیری از آن قاعده و استفاده از یک الگوریتم پیشرفته چند مثال عددی را حل می کنیم و نشان می دهیم که جوابهای عددی دارای دقت مطلوب و مناسب می باشد این پایان نامه شامل پنج فصل می...

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

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

در پژوهش حاضر، به‌منظور تأمین برق آبی سامانه سه مخزن (مخازن کارون 4، خراسان 1 و کارون 3)، به بررسی روش‌های برنامه‌ریزی غیرخطی، الگوریتم ژنتیک و برنامه‌ریزی ژنتیک با موقعیت ثابت ژن در استخراج سیاست‌های بهره‌برداری به‌هنگام در دو رویکرد وابسته به پیش‌بینی و مستقل از پیش‌بینی جریان پرداخته شد. همچنین از قاعده بهره‌برداری غیرخطی در استخراج منحنی فرمان استفاده شد و تابع هدف کمبود کل و معیارهای ارزیا...

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

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