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

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

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

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

در این مقاله ساختار باند الکترونی با استفاده از روش lapw برای ترکیب ru1-xcrxcao3  و با ساختن ابر سلول مناسب محاسبه شده است. با افزایش cr در این ترکیب، چگالی حالات الکترونی زیاد می شود. ممان مغناطیسی هر کدام از اتمها از محاسبات lsda بدست آمده است. با افزایش ناخالصی cr در ترکیب، الکترونها جایگزیده تر می شوند و ممان مغناطیسی الکترونهای ru افزایش می یابد. پارامترهای مربوط به اندرکنش الکترون- الکترو...

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

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

در این مقاله با استفاده از مدلهای مارکوف، مقادیر ویژه و بردارهای ویژه تحلیل گذرای دسترس پذیری و پایایی و پایایی یک سیستم با اجزا و تعمیر کاران یکسان ارائه می شود و سیستم در نظر گرفته شده دارای اجزای سری یا موازی یا k از n می باشد. دسترس پذیری سیستم با اجزا موازی اجزا سری و سیستم k از n در حالت گذرا (A(t))و پایدار(A(∞)) و مدت زمانی که طول می کشد تا سیستم پایایی به حالت پایدار برسد محاسبه می شود....