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

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

ارزیابی تأمین‌کنندگان به‌عنوان عاملی مؤثر بر نتایج عملکردی سازمان‌ها، یکی از مهم‌ترین فعالیت‌ها در مدیریت زنجیره‌ی تأمین است. در این زمینه، ارزیابی تأمین‌کنندگان حوزه‌ی سلامت و درمان از اهمیت بالاتری برخوردار است. هدف از انجام پژوهش حاضر، توسعه‌ی مدلی مبتنی بر معیارهای عملکردی مدل اسکور (S‌C‌O‌R) برای ارزیابی تأمین‌کنندگان تجهیزات آزمایشگاهی در ابعاد عملکرد تحویل، هزینه و کیفیت است. داد...

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

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

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

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

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