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

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

در این بررسی به منظور افزایش حلالیت و توانایی دو داروی مسالامین و والسارتان که دارای حلالیت کمی در آب می باشند از دو سیستم میکروامولسیون و نانوامولسیون استفاده شده است. به منظور تحقق این هدف ابتدا حلالیت داروی مسالامین در روغن، سورفکتانت و کوسورفکتانت های مختلف امتحان شد، در نهایت ایزوپروپیل مریستات(ipm ) و اولئیک اسید به عنوان روغن، tween 80 به عنوان سورفکتانت و ایزوبوتانول به عنوان کوسورفکتان...

یکی از کاربرد­های دورسنجی در زمین­شناسی تهیه نقشه خطواره­ها بعنوان یکی از مهم­ترین مسائل مطالعات زمین­شناسی مناطق مختلف است. هدف از این تحقیق استخراج خطواره­های حوضه آبریز خرم­آباد با استفاده از تصاویر LANDSAT 8 وASTER  به روش دستی و خودکار می­باشد. بعد از تصحیحات هندسی، تکنیک‌های بارزسازی یعنی فیلتر­گذاری و تجزیه مؤلفه‌های اصلی بر روی تصاویر فوق اعمال شد. استخراج خطواره­ها بر روی این تصاویر به...

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

ما در پژوهش حاضر به دنبال مطالعه‌ی فهمِ تجربه‌ی حضورِ سوژه‌های مجازی در فضای فیس‌بوک هستیم. برای نیل به این هدف، از روش نظریه‌ی داده‌بنیاد و به طور خاص نسخه‌ی گلیزریِ آن(نسخه‌ی کلاسیک) استفاده کرده‌ایم. نمونه‌ی مورد بررسی ما 17 نفر از کنشگران مجازیِ فیس‌بوک بوده‌اند که با استفاده از مصاحبه‌ی عمیق ساخت‌نیافته با آن‌ها مصاحبه انجام داده‌ایم. بر اساس یافته‌های پژوهش می‌توانیم بگوییم که 6 مقوله‌ی...

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

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

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

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