کامپیوتر 23. تجزیه و تحلیل پروتکل PGM توسط UPPAAL

تجزیه و تحلیل پروتکل PGM توسط UPPAAL
چکیدهانتقال داده های عملگرا (PGM) به عنوان یه پروتکل انتقالی می باشد که به منظور به حداقل رساندن میزان بالای تصدیق منفی (NAL) و افزایش ظرفیت شبکه به دلیل ارسال مجدد بسته های از دست رفته، طراحی می شود. این پروتکل برای سازمان کارگروه مهندسی اینترنتی به عنوان یک معیار منبع باز می باشد.در این مقاله ، ما تمرکزمان را بر روی ویژگی های قابل اطمینانی قرار می دهیم که PGM به تضمین آن می پردازد. یک دریافت کننده تمام بسته های اطلاعاتی را از موارد انتقالی دریافت کرده و آن ها را اصلاح می کند یا قادر می باشد بسته های اطلاعاتی از بین رفته غیر قابل بازیابی را آشکار کند. ما در ابتدا مدلی ( نسخه ساده ای) از PGM را از طریق شرایط زمانی اتوماتیک مطرح می کنیم. با استفاده از بررسی کننده مدل UPPAAL، ما به بررسی صحت ویژگی های قابل اطمینان بالا می پردازیم، که همیشه محقق نبوده اما بستگی به مقدار چندین پارامتر که ما مد نظر قرار می دهیم دارد. 

کامپیوتر 88. معماری پردازنده قدرت کارآمد و پردازنده سلولی

معماری پردازنده قدرت کارآمد و پردازنده سلولی
این مقاله پیش زمینه و استدلالی را در مورد بعضی از معماری ها و تصمیمات جهت طراحی در پردازنده سلولی، یعنی پردازنده ای که برای محاسبات فشرده و کاربردهای رسانه ای غنی پهنای باند که مشترکا توسط شرکت های سونی، توشیبا و IBM توسعه داده شده است، ارائه می دهد.1. مقدمهبخش بندی این مقاله به صورت زیر می باشد. بخش 2، به بحث در مورد بعضی از چالش هایی می پردازد که طراحان ریزپردازنده ها با ان مواجه می باشند و انگیزه ای را برای فعالیت در هر ترانزیستور به عنوان یک متریک رتبه اول برای کارایی طرح ایجاد می کند. بخش 3 به بحث در مورد افزایش معماری ریزپردازنده به نسبت این معیار متری می پردازد. بخش 4 به بحث در مورد بعضی از انتخاب های معماری دیگر که باعث بهبود کارایی طرح و عملکرد پیک پردازنده می گردد، می پردازد. بخش 5 به بحث در مورد بعضی از محدودیت های انتخاب های معماری که در بخش 3 معرفی شد، می پردازد، و SMP غیرهمگن را به عنوان ابزاری برای غلبه بر این محدودیت ها مطرح می کند. بخش 6 خلاصه ای از تشکیلات پردازنده سلولی را بیان می کند. 

کامپیوتر 52. موتور جستجوی با برنامه منبع باز و رایگان

موتور جستجوی با برنامه منبع باز و رایگان
چکیدهNutch به عنوان ابزاری برای ایجاد موتورهای جستجوی با منبع باز و رایگان می باشد. این ابزار از Lucene به منظور جستجو و به عنوان یک شاخص استفاده می کند. از روبوت هایی نیز در این پروژه استفاده می شود.Nutch دارای ویژگی های خاصی می باشد که به طراحان این امکان را می دهد تا پلاگین هایی را برای فعالیت هایی و برنامه های رسانه ای ، بازیابی اطلاعات ، جستجو و دسته بندی ایجاد کنند.ئاگ کاتینگ به عنوان یکی از ایجاد کنندگان Nutch می باشد.Lucene چیست؟Lucene به عنوان یکی از نرم افزارهای منبع باز و شاخص DPI می باشد که توسط موسسه آپاچ انتشار یافته است. Lucene به صورت جاوا نوشته شده و تحت لیسانس نرم افزاری موسسه آپاچ انتشار یافته است.Lucene به عنوان هسته مرکزی موتور جستجو می باشد. به این ترتیب آن شامل مواردی همانند شبکه های عنکبوتی و برنامه های تجزیه کننده در ارتباط با فرمت های اسناد نمی باشد. در عوض چنین مواردی می بایست توسط افرادی اضافه گردد که از Lucene استفاده می کنند.

کامپیوتر 90. الگوی برنامه نویسی منطق و زبان برنامه نویسی پرولاگ

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

کامپیوتر 51. مفاهیم اصلی در مورد اعتماد و اطمینان به سیستم

مفاهیم اصلی در مورد اعتماد و اطمینان به سیستم
چکیدهقابلیت اطمینان به عنوان یک مشخصه سیستمی می باشد که به ادغام خصوصیاتی همچون اعتبار، دسترس پذیری، ایمنی، امنیت، قابلیت زیست، و قابلیت نگهداری می پردازد. هدف این بررسی بیان کردن خلاصه ای از مفاهیم اصلی اعتمادپذیری می باشد. بعد از مد نظر قرار دادن چشم اندار تاریخی، تعاریف مربوط به اعتماد پذیری ارائه می شود. نظریه ساختاری اعتمادپذیری بر طبق به این موارد دنبال می گردد a) تهدیدها، یعنی اشتباهات، خطاها، و نقص ها b) خصوصیات و c) ابزارهای اعتمادپذیری که بر مبنای پیشگیری از نقص ها، تحمل نقص، از بین بردن نقص و پیش بینی نقص ها می باشد. محافظت و بقای سیستم های اطلاعاتی پیچیده که در زیرساخت هایی که به پشتیبانی جوامع پیشرفته می پردازد به عنوان یک نگرانی داخلی و در سطح جهانی با بیشترین اولویت می باشد. به طور فزاینده ای، افراد و سازمان ها به توسعه ایجاد سیستم های محاسباتی پیچیده ای می پردازند که تکیه آن ها می بایست بر مبنای خدمات باشد- یعنی سرویس کردن دستگاه های خودپرداز، کنترل مسیر ماهواره ها، هواپیما، تاسیسات هسته ای، یا تجهیزات درمانی رادیویی، یا حفظ محرمانه بودن مبانی داده های حساس می باشد. در شرایط مختلف، تمرکز بر روی ویژگی های متفاوت چنین خدماتی- برای مثال زمان متوسط واقعی واکنش های حاصل شده، امکان ایجاد نتایج مورد نظر، توانایی برای اجتناب از نقص ها که برای محیط سیستم فاجعه افرین است، و میزانی که از دخالت های عمدی پیشگیری شود، می باشد. مفهوم اعتماد پذیری ابزار بسیار مناسبی از رده بندی این شرایط مختلف در یک چارچوب مفهومی مجزا ایجاد می کند.