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

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

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

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

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

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

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

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

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

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