امروزه سیستم‌های نرم‌افزاری نقش مهمی در بسیاری از کاربرد‌های حساس و بحرانی ایفا می‌کنند. گاهی رخ دادن خطا در نر‌م‌افزار می‌تواند باعث ضررهای مالی و حتی در برخی کاربردها باعث ضررهای جانی گردد. به همین دلیل تضمین قابلیت اطمینان به عنوان یک نیازمندی غیرکارکردی (کیفی) از اهمیت بسزایی برخوردار است. یکی از اقدامات کلیدی در تضمین عملکرد عاری از خطای نرم‌افزار، اندازه‌گیری کمّی میزان قابلیت اطمینان مورد...

طراحی مدارهای الکتریکی و الکترونیکی و یا شبکه های توزیع و تولید برق، سیستمهای مکانیکی که ازکارافتادگی یکی از قطعات آنها باعث ازکارافتادگی کل سیستم می شود و حتی سیستمهای تولید سلولی که در آنها ماشینها بصورت سری با هم مرتبط هستند از لحاظ میزان قابلیت اطمینان اهمیت زیادی دارند. تاکنون عمده ترین راهکارهای ارائه شده برای بهبود قابلیت اطمینان اینگونه سیستمها، تأکید بر افزایش قابلیت اطمینان ذاتی هریک ...

چکیده: درابن پایان نامه،ابتدا زیر رده ای از رده مدول های تصویری گرنشتاین را معرفی می کنیم. این زیر رده برای اعداد صحیح n>1 و m>0،تصویری گرنشتاین (n,m) –قوی (به طور خلاصه ُsg-(n,m)- تصویری)نامیده می شوند. بعد از تعریف این مدول ها، ما روابط بین آن هارا بررسی می کنیم. در ادامه سی زی جی های این نوع مدول هارا مورد توجه قرار خواهیم داد.مهمترین مطلبی که در این قسمت در مورد آن بحث می شود این است که، اگ...

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

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

ضربگر شور گروه g اولین بار توسط ع.شور در سال 1904 بیان شد. جی . آ . گرین در سال 1956 ثابت کرد که برای p-گروه متناهی از مرتبه p n داریم p 1/2 n(n?1 ام. ار.جونز درسال این کران را بهبود بخشید، در حقیقت وی ثابت کرد | m(g) || g? |? p1/2 n(n?1). که بنابراین به ازای خواهیم داشت | m(g) |= p 1/2 n(n?1)?t(g). در این پایان نامه ساختار p-گروه های متناهی وقتی که t(g) = 0, 1, 2, 3, 4 کاملا مشخص شده است.

فرض کنیم g یک p- گروه متناهی و n یک زیر گروه نرمال آن باشد. در این پایان نامه ابتدا جفت گروه متناهی (g,n) و ضرب گر شور جفت گروه (g,n) تعریف شده وکران هایی برای نمای ضرب گر شور (m(g,n بدست می آید. همچنین نشان داده می شود اگر جفت (g,n) از کلاس پوچ توانی حداکثر p-1 باشد ، آن گاه نمای m(g,n) نمای n را می شمارد. در ادامه مفهوم p- گروه توانمند را تعریف کرده و نشان می دهیم اگر n به طور توانم...

در جهت گسترش پیش بینی وضعیت مالی شرکتها تحقیقات زیادی انجام گرفته است. آقای henry theil در سال 1969 میلادی روش جدیدی را بر اساس مفاهیم تئوری اطلاعات برای تحلیل صورتهای مالی بنا نهاد. وی با استفاده از اطلاعات صورتهای مالی درجه تغییرات در ترکیب اقلام ترازنامه را محاسبه کرد. این تحقیق رابطه بین تغییرات در ترکیب اقلام ترازنامه یا به عبارتی آنتروپی را با تغییرات سود مورد بررسی قرار داد. در این تحق...

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

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