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

ز انجایی که برای حل معادلات انتگرال منفرد (sies) که مبنای آنها مسائل تماس -شکست در مکانیک جامدات است روشهای عددی وجود دارد این روشها مبنای بسیاری از تحقیقات بوده است (که شامل روشهای هسته ی باز تولیدی می باشد .)

چکیده ندارد.

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

هدف از این پژوهش بررسی اثربخشی آموزش گروهی اصلاح افکار خودکار منفی برافزایش مهارتهای اجتماعی دانش آموزان نابینا در شهر اصفهان بود . جامعه آماری شامل کلیه دانش آموزان نابینای شهر اصفهان که در سال تحصیلی 1392-1391 در مقطع چهارم ، پنجم و ششم ابتدایی در سال تحصیلی 92-391 مشغول به تحصیل بودند در ابتدا برای انتخاب نمونه ، کل جامعه آماری تحت پیش آزمون قرار گرفتند سپس از بین این جامعه 20نفر(10 دختر،10 ...

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

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

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

در این پایان نامه مفهوم تقریبا ضربی بودن نگاشت و پیوستگی خودکار درحالتی که تقریبا ضربی است را بررسی می کنیم. همچنین چند نسخه تقریبی از قضیه ی گلیسون -کاهان -زلازکو و نگاشت های تقریبا ضربی که نزدیک ضربی هستند را بیان و مطالعه می کنیم. همچنین به بررسی جبرهایی می پردازیم که دارای این ویژگی هستند که $amnm$-جبر‎‎ نامیده می شوند.‏در این پایان نامه ‏بعضی از ویژگی های شبه طیف‏،$amnm$-جفت‎‎‏، ...