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

سازه‌های پوسته‌یی در مهندسی عمران و مهندسی مکانیک کاربردهای متنوعی دارند. پوسته‌ها مثل دیگر سازه‌ها دچار آسیب‌دیدگی و تغییراتی از قبیل ایجاد و گسترش تَرَک می‌شوند. هدف این تحقیق بررسی اثر وجود تَرَک نفوذی غیرقابل گسترش و پارامترهای مختلف مربوط به آن بر روی فرکانس‌های ارتعاشی و شکل مودهای پوسته‌های استوانه‌یی مختلف است. به‌همین منظور تعداد ۴۰۰ مدل پوسته‌ی استوانه‌یی تَرَک‌دار ایجاد و کل پروژه به دو قس...

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

در حدود دو قرن، فرایند پواسون با ویژگی عدم حافظه برای توزیع نمایی متناظر به عنوان ساده ترین و یکی از مهم ترین مدل های تصادفی مورد استفاده قرار گرفته است در حالی که در دنیای پیرامون ما فرایند های زیادی با حافظه بلند مدت (همچون شبکه ترافیک و دیگر سیستم های پیچیده) وجود دارند. بنابراین تعمیم فرایند پواسون به نحوی که این فرایندها را نیز شامل شود سودمند است. در این تعمیم، یک پارامتر ??(0,1] به عنوان...

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

یکی از آزمایش‌های اساسی در فرایند طراحی روسازی‌های انعطاف‌پذیر به روش مکانیستیک- تجربی در آشتو 2002، آزمایش کریپ کمپلینس است. در این تحقیق مدلی جدید برای تخمین کریپ کمپلینس مخلوط‌های آسفالتی با استفاده از شبکه‌های عصبی مصنوعی پرسپترون چند لایه، با تکنیک آموزش لونبرگ- مارکوات، با توان تعمیم پذیریR=0.949 ، با موفقیت ارائه شده است. این مدل 14 ورودی شامل درصدهای عبوری انتخابی از منحنی دانه‌بندی ...

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

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

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

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