دانلود مقاله ISI تجزیه و تحلیل قابلیت اطمینان نرم افزار معماری سلسله مراتبی بر اساس در مدل مارکوف

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

موضوع فارسی :تجزیه و تحلیل قابلیت اطمینان نرم افزار معماری سلسله مراتبی بر اساس
در مدل مارکوف

موضوع انگلیسی :Software reliability analysis of Hierarchical architecture based
on Markov model

تعداد صفحه :5

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

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

دانلود مقاله ISI مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا معماری گرا

اختصاصی از فی موو دانلود مقاله ISI مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا معماری گرا دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا
معماری گرا

موضوع انگلیسی :Style-based modeling and verification of fault tolerance service
oriented architectures

تعداد صفحه :5

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

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

دانلود مقاله ISI پوسته پوسته شدن AB-محاسبات فیزیک هسته ای در چند هسته معماری کامپیوتر

اختصاصی از فی موو دانلود مقاله ISI پوسته پوسته شدن AB-محاسبات فیزیک هسته ای در چند هسته معماری کامپیوتر دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :پوسته پوسته شدن AB-محاسبات فیزیک هسته ای در چند هسته
معماری کامپیوتر

موضوع انگلیسی :Scaling of ab-initio nuclear physics calculations on multicore
computer architectures

تعداد صفحه :10

فرمت فایل :PDF

سال انتشار :2012

زبان مقاله : انگلیسی

ما در بر رفتار پوسته پوسته شدن یک کد پیکربندی تعامل دولت از هنر، بحث در مورد فیزیک هسته ای در مدرن
چند معماری کامپیوتر هسته ای است. در رویکرد CI، مشکل کوانتومی بسیاری از بدن به عنوان یک پراکنده بزرگ بیان
مشکل مقادیر ویژه متقارن، که کمترین مقادیر ویژه و بردارهای ویژه به محاسبه شود. ما به مقایسه
عملکرد نسخه MPI خالص با ترکیبی کد MPI / کتابخانه در کری XT4 و سیستم عامل XT5. برای
تعداد هسته بزرگ (معمولا 5000 و بالاتر)، نسخه هیبریدی کارآمد تر از خالص MPI است.

دانلود مقاله ISI یک معماری برای پسوند عمومی

اختصاصی از فی موو دانلود مقاله ISI یک معماری برای پسوند عمومی دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :یک معماری برای پسوند عمومی

موضوع انگلیسی :An architecture for generic extensions

تعداد صفحه :20

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

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

دانلود مقاله ISI روند جبر با ارتباطات محلی

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

موضوع فارسی :روند جبر با ارتباطات محلی

موضوع انگلیسی :Process Algebra with Local Communication

تعداد صفحه :18

فرمت فایل :PDF

سال انتشار :2008

زبان مقاله : انگلیسی

در جبری روند مثل μCRL و ACP ارتباطات در سطح جهان تعریف شده است. در چارچوب
معماری مبتنی بر مولفه یکی از آرزوهای به تعریف مولفههای یک سیستم به طور جداگانه، از جمله
ارتباطات درون که مؤلفه. جبر فرآیند تعریف می کنیم با یک اپراتور برای
ارتباطات از قسمت محلی که تسهیل معماری های مبتنی بر جزء. علاوه بر این که ترکیبی،
این زبان است که با هدف یک زبان عملی تر (با توجه به نزدیک به زبان مربوط)
و همچنین برای مدل سازی ساده از همزمان اجازه می دهد تا به عنوان رفتار آسنکرون