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

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

هدف پژوهش حاضر، بررسی تأثیر برنامة حرکت ریتمیک بر توانایی های ادراکی – حرکتی و هوشبهر کودکان کم توان ذهنی آموزش پذیر بود. نمونة 24 دختر عقب ماندة ذهنی آموزش پذیر، با میانگین (± انحراف معیار) سن 1/43 ± 11/98 سال و ضریب هوشی 9/95 ± 70/58 بودند. نمونه براساس ضریب هوشی و عملکردشان در توانایی های ادراکی – حرکتی همتراز و در گروه های مداخله و کنترل جایگزین شدند. گروه مداخله در برنامة حرکات ریتمیک هشت ...

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

هدف این پژوهش مقایسه توانایی فهم عدد دو گروه دانش آموزان کلاس اول، با و بدون مشکلات یادگیری است. جامعه آماری این پژوهش شامل کلیة دانش آموزان کلاس اول ابتدائی با و بدون مشکل یادگیری ریاضی است که در سال تحصیلی 91_92 در مدارس آموزش و پرورش شهر تهران مشغول به تحصیل هستند. به منظور بررسی تفاوت فهم عدد در دو گروه و پس از همتا سازی از نظر توانایی در هوش و سن زمانی، این دانش آموزان در دو گروه 63 نفره ب...

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

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

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