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

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

کامپیوتر 14. بررسی الگوه های دوره ای غیرهمزمان (اسنکرون) در اطلاعات سری زمانی

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

کامپیوتر 76. بیت تورنت: پروتکل اشتراک فایل نظیر به نظیر

بیت تورنت: پروتکل اشتراک فایل نظیر به نظیر 
چکیدهبیت تورنت، یک پروتکل اشتراک فایل نظیر به نظیرمی باشد که برای توزیع مقدار زیادی از داده در اینترنت مورد استفاده قرار می گیرد. پروتکل اشتراک فایل نظیر به نظیر یکی از رایج ترین ترین پروتکل ها برای انتقال فایل های بزرگ بوده، و تخمین زده شده است که تقریبا شامل 43% تا 70% تمام ترافیک های اینترنتی از فوریه سال 2009 (بسته به مکان جغرافیایی) بوده است. برنامه نویسی به نام برام کوهن این پروتکل را در آوریل 2001 طراحی کرد و اولین اجرای آن را در دوم جولای 2001 منتشر ساخت. این پروتکل هم اکنونتوسط شرکت بیت تورنت کوهن جکایت می گردد. مشتریان پروتکل اشتراک فایل نظیر به نظیر بیشماری برای انواع پلتفرم های محاسباتی وجود دارد. از ژانویه 2011، پروتکل اشتراک فایل نظیر به نظیر دارای 100 میلیون کاربر و سهم بزرگی از پهنای باند شبکه نسبت به نت فلیکس و هلو بوده است.در بسیاری از زمان ها پروتکل اشتراک فایل نظیر به نظی، به طور متوسط دارای کاربران فعال بیشتری از یوتوب و فیس بوک بوده است. (این مورد اشاره به تعداد کاربران فعال در هر لحظه داشته و کل تعداد کاربران منحصر به فرد را شامل نمی گردد). 

کامپیوتر 41. فشرده سازی اطلاعات

فشرده سازی اطلاعات
چکبدهدر دهه گذشته استفاده از فشرده سازی داده فراگیر شده است. از mp3 پلیرها گرفته که هدفن آن ها بیشتر جوانان (بعضی از آن ها آنچنان جوان نمی باشند) را به سمت خود جلب کرده تا تلفن همراه ،DVD ها، و تلویزیون دیجیتال، فشرده سازی داده ها تقریبا جزء لاینفک تمام فناوری اطلاعات می باشد. ادغام این فشرده سازی ها در در زندگی روزمره مان میزان قابل توجهی از پیشرفت فناوری را نشان می دهد. این پیشرفت در این حقیقت بازتاب داده می شود که تفاوت های کمتری بین این کتاب و چاپ قبلی آن نسبت به تفاوت آن با نسخه اول و دوم وجود دارد. در چاپ دوم، ما تکنیک های جدید را اضافه کردیم که از زمان چاپ اول این کتاب  ایجاد شده است. در این چاپ هدف ما بیشتر مد نظر قرار دادن موضوعات مهمی همانند فشرده سازی موسیقی می باشد، که به اندازه کافی در چاپ دوم پوشش داده نشده است. در طی این زمان چنین حوزه هایی متوقف نشده و ما تلاشی را انجام داده ایم تا اطلاعات در مورد پیشرفت های جدید را مد نظر قرار دهیم. ما فصل جدید را در مورد فشرده سازی موسیقی اضافه کردیم ( که شامل توصیف الگوریتم mp3 می باشد). ما همچنین اطلاعاتی را در مورد استانداردهای جدید همانند استاندارد کدگذاری ویدئو و استانداردهای تصویری جدید اضافه کردیم. ما بعضی از موضوعات موجود در این کتاب را مد نظر قرار داده ایم، و در مجموع تکنیک های متنوع کارآمد فشرده سازی تصاویر و استانداردهایی را در یک فصل مجزا جمع آوری کردیم، و تعدادی از فصل های جدید را به روز کرده، و اطلاعاتی را که احتمالا از ابتدا وجود داشته اند اضافه کردیم. با این وجود تمام این موارد کتاب را حجیم تر کرده. به هر حال، هدف همچنان همان می باشد: یعنی مقدمه ای در ارتباط با هنر و علم فشرده سازی داده. توضیحات آموزشی از اکثر تکنیک های فشرده سازی محبوب وجود دارد که که به دنبال این توضیحات می آیند که چگونه این تکنیک ها برای فشرده سازی تصویر، گفتار، متن، صوت و ویدئو به کار گرفته می شوند. با مد نظر قرار دادن سرعت پیشرفت در این حوزه، به نظر می رسد که روش های جدید وجود دارد که در این کتاب نشان داده نشده است. برای اینکه شما را از این پیشرفت ها آگاه کنیم، ما در فواصل معین موارد بروز شده ای را از سایت http://www.mkp.com نشان می دهیم. شنوندگاناگر شما در حال صراحی سخت افزار یا اجرای نرم افزار الگوریتم فشرده سازی می باشید، یا نیاز به مشورت با افرادی که در چنین طرح هایی فعالیت می کنند دارید، یا در توسعه برنامه کاربردی چندرسانه ای فعالیت دارید و دارای سابقه ای در مهندسی کامپیوتر یا الکتریکی یا علوم کامپیوتر دارید، این کتاب برای شما مفید می باشد. ما همچنین مثال های زیادی را برای کمک به خودآموزی قرار داده ایم. همچنین بحث هایی را در مورد استاندارهای چندرسانه ای مختلف مطرح کرده ایم. هدف فراهم کردن تمام جزییاتی که برای اجرای استانداردها مورد نیاز می باشد نیست، بلکه هدف فراهم کردن اطلاعاتی می باشد که به شما کمک می کند تا بتوانید به درک و پیروی از ملاک های استاندارد بپردازید. 

کامپیوتر 27. حق امتیاز IEEE (موسسه مهندسین الکتریسیته و الکترونیک) و فرم رضایت

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