تجزیه و تحلیل پروتکل PGM با uppaal

ابتدا اصل مقاله را به طور رایگان دریافت کنید!
  • عنوان انگلیسی مقاله: Analyzing the PGM protocol with uppaal
  • عنوان فارسی مقاله: تجزیه و تحلیل پروتکل چندبخشی عمومی عملگرا (PGM) توسط مدل اوپال (UPPAAL)
  • دسته: کامپیوتر و فناوری اطلاعات
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 6

سپس گزیده ای از ترجمه را بررسی کنید!

ترجمه چکیده

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

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

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

مقدمه

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

در نهایت ترجمه را خریداری کنید!

دانلود ترجمه فارسی -- قیمت: 8500 تومان
  • مقاله لاتین رایگان
  • ترجمه
  • ترجمه لاتین
  • مقاله انگلیسی
  • مقاله
  • ترجمه فارسی
  • ترجمه لاتین
  • مقاله لاتین رایگان
  • مقاله همراه با ترجمه
  • دانلود ترجمه
  • ترجمه فارسی
  • مقاله انگلیسی
  • ترجمه انگلیسی
  • مقاله همراه با ترجمه
  • دانلود تحقیق

وقتی اشتراک مجموعه خصوصی با کلان داده ها مواجه می شود

ابتدا اصل مقاله را به طور رایگان دریافت کنید!
  • عنوان انگلیسی مقاله: When Private Set Intersection Meets Big Data: An Efficient and Scalable Protocol
  • عنوان فارسی مقاله: وقتی اشتراک مجموعه خصوصی با کلان داده ها مواجه می شود: یک پروتکل کارا و مقیاس پذیر.
  • دسته: فناوری اطلاعات و کامپیوتر
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 31

سپس گزیده ای از ترجمه را بررسی کنید!

ترجمه چکیده

پردازش داده های حجیم، چالش های جدیدی در طراحی پروتکل های حفظ حریم به وجود آورده است. چگونه نیازمندی های رو به رشد در سرعت و عملکرد را در برنامه های مدرن برآورده کنیم و چگونه وقتی اطلاعات حفاظت شده زیاد است مقیاس را به آرامی بالا ببریم. کارایی و مقیاس پذیری معیارهای مهمی برای پروتکل های حفظ حریم در عصر کلان داده ها شده اند. در این مقاله، ما یک پروتکل اشتراک مجموعه اختصاصی جدید ارائه می دهیم که نسبت به پروتکل های موجود بسیار کارا و مقیاس پذیر است. این پروتکل بر اساس روش جدیدی کار می کند که آن را «اشتراک بلوم فراموشکارانه» می نامیم. این روش پیچیدگی خطی دارد و عموماً بر اساس عملیات کلید مشترک کار می کند. همچنین مقیاس پذیری زیادی دارد زیرا اکثر عملیات به راحتی موازی سازی می شوند. پروتکل دو نسخه دارد: یک پروتکل اصلی و یک پروتکل بهبود یافته. امنیت این دو گزینه، تحلیل و در مدل نیمه معتمد و مدل بدخواه ثابت شده است. یک نمونه اولیه از پروتکل اصلی ساخته شده است. ما نتایج ارزیابی کارایی را گزارش داده و آن ها را با پروتکل های PSI سریع قبلی مقایسه می کنیم. پروتکل ما چندین برابر سریع تر از این دو پروتکل است. پروتکل ما برای محاسبه اشتراک مجموعه هایی با دو میلیون جزء، فقط به 41 ثانیه (امنیت 80 بیتی) و 339 ثانیه (امنیت 256 بیتی) یا سخت افزار متوسط در به صورت موازی نیاز دارد.

مقدمه

در بسیاری از کشورها، محافظت از حریم داده ها اختیاری نیست بلکه یک وظیفه قانونی است. قانون گذاری شامل قوانین حریم US (HIPPA، COPPA، GLB، FRC و...)، رهنمودهای حفاظت از داده های اتحادیه اروپا و قوانین خاص حریم ملی است. این امر برای سازمان ها کمی دشوار است زیرا باید از داده ها حین استفاده و انتقال محافظت کنند. برای حل این معضل، راه حل های امنیتی بسیاری پیشنهاد شده است تا پردازش داده های حافظ حریم خصوصی را انجام دهد. با این حال، میزان داده های نیازمند پردازش و محافظت هر روز بیشتر می شود. برای مثال، نسل شناسان نیاز به جستجوی 3 میلیارد ژنوم شخصی دارند تا بتوانند مشکلات ژنتیکی که عامل دیابت و سرطان را پیدا کنند. متخصصان اپیدمیولوژی باید پایگاه داده های پزشکی زیادی را که حاوی میلیون ها مدارک بیماران هستند را بررسی کنند تا عوامل خطر بیماران را شناسایی کنند. فروشنده های آنلاین نیز باید هزاران تراکنش را با فعالیت های شبکه اجتماعی مشتریان به اشتراک بگذارند تا رضایت مشتری را افزایش دهند.

در نهایت ترجمه را خریداری کنید!

دانلود ترجمه فارسی -- قیمت: 19500 تومان
  • مقاله لاتین
  • مقاله همراه با ترجمه
  • دانلود
  • ترجمه انگلیسی
  • دانلود ترجمه
  • ترجمه فارسی
  • مقاله انگلیسی رایگان
  • مقاله
  • ترجمه انگلیسی
  • مقاله
  • تحقیق
  • مقاله همراه با ترجمه
  • ترجمه
  • دانلود مقاله
  • مقاله انگلیسی رایگان

مسائل مربوط به حسابداری تعهدی و بودجه ریزی توسط دولت

ابتدا اصل مقاله را به طور رایگان دریافت کنید!
  • عنوان انگلیسی مقاله: Issues in Accrual Accounting and Budgeting by Government
  • عنوان فارسی مقاله: مسائل مربوط به حسابداری تعهدی و بودجه ریزی توسط دولت
  • دسته: اقتصاد - حسابداری
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 28

سپس گزیده ای از ترجمه را بررسی کنید!

ترجمه چکیده

پذیرش سیستم حسابداری و بودجه ریزی تعهدی در برنامه اصلاحات مشترک المنافع بخش دولتی در طول 20 سال گذشته امری محوری بوده است. این اصلاحات در نشریاتی چون وزارت اقتصاد (Department of Finance) (DOF، 1994)، کمیسیون ملی حسابرسی (1996)؛ گاتری و پارکر (1998)؛ وانا و کلی و فورستر (2000) توضیح داده شده است. آنها با تحسین و وعده بسیار برای بهبود بهره وری مدیریت منابع و اثربخشی در ارائه سیاست و افزایش شفافیت یافته در مورد اطلاعات و پاسخگویی به مجلس و عموم مردم اعلام شده اند. با این حال، در حالی که پیشرفت های مهمی در این موضوع ایجاد شده است، نگرانی های قابل توجهی در مورد سیستم های جدید باقی می ماند که مشکلات زیادی ایجاد می نمایند.

ویژگی های اصلی سیستم های سنجش مالی جدید و مشکلات ایجاد شده توسط آنها در این مقاله مورد بررسی قرار گرفته است. مشکلات ناشی از کنارگذاشتن حسابداری نقدی سابق و سیستم بودجه ریزی (CABS) در نتیجه معرفی حسابداری تعهدی و معرفی همزمان دو سیستم بطور واضح متفاوت حسابداری تعهدی و بودجه ریزی (AABS) - سیستم استانداردهای حسابداری استرالیا (AAS) و سیستم آمار های مالی دولت (GFS) - ایجاد شده اند. ادعا شده است که:

• سیستم CAB باید به دلیل ارائه اطلاعات لازم برای مدیریت سیاست های مالی و پول نقد دولت مجدداً معرفی شود؛

• تنها باید از یک سیستم AAB استفاده شود.

• سیستم روز رسانی شده GFS، باید به دلیل ارائه اطلاعات مورد نیاز توسط دولت ها پذیرفته شده و سیستم AAS باید به دلیل رابطه محدود نمودن با محیط دولت ها متوقف شود.

• سیستم CAB باید به عنوان مولفه جدایی ناپذیر سیستم AABطراحی شود.

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

در نهایت ترجمه را خریداری کنید!

دانلود ترجمه فارسی -- قیمت: 19500 تومان
  • دانلود
  • ترجمه لاتین
  • ترجمه فارسی
  • دانلود ترجمه
  • مقاله انگلیسی
  • ترجمه فارسی
  • ترجمه
  • مقاله انگلیسی
  • مقاله انگلیسی رایگان
  • مقاله انگلیسی رایگان
  • مقاله
  • مقاله همراه با ترجمه
  • ترجمه انگلیسی
  • ترجمه فارسی

بیماری پریودنتال، مکانیسم های التهابی تحلیل استخوان

ابتدا اصل مقاله را به طور رایگان دریافت کنید!
  • عنوان انگلیسی مقاله: Periodontal Disease: Linking the Primary Inflammation to Bone Loss
  • عنوان فارسی مقاله: بیماری پریودنتال، مکانیسم های التهابی تحلیل استخوان.
  • دسته: دندانپزشکی
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 6

سپس گزیده ای از ترجمه را بررسی کنید!

ترجمه چکیده

بیماری پریودنتال (PD) یا پریودنتیت یک بیماری باکتریایی است که بافت های نگهدارنده دندان را درگیر میکند. دو مشخصه این بیماری التهاب و تحلیل استخوان است. شناخت مکانیسم های ارتباطی بین این دو مشخصه میتواند در یافتن روشهای درمانی موثر کمک کننده باشند. عفونت باکتریایی علت اصلی این بیماریست اما برای ایجاد و پیشرفت بیماری کافی نیست. در واقع، عوامل مشتق شده از باکتریها موجب تحریک واکنش التهابی موضعی و فعال شدن سیستم ایمنی ذاتی میشوند. پاسخ ایمنی ذاتی شامل شناسایی اجزاء میکروبی توسط سلولهای میزبان است. عمل شناسایی با واسطه کیرنده های شبه زنگوله ای (TLR) بیان شده بر روی لکوسیتها و سلولهای ساکن بافتی انجام میگیرد. فعال شدن این سلولها منجر به آزادسازی سیتوکینهای پیش- التهابی و تجمع فاگوسیتها و لنفوسیتها میشود. ایمنی اختصاصی با فعال شدن لنفوسیتهای T ‏ (واکنش Th1Th2 Th17 Treg ‏) و فعال شدن لنفوسیتهای B (تولید آنتی بادی) شروع میشود. در این فرآیند التهابی، سیتوکینهای تاثیرگذار بر تنظیم و نگهداری استخوان، نقش عمده ای دارند زیرا اعتقاد بر این است که تخریب بافت در نتیجه پاسخ ایمنی میزبان به تهاجم باکتریها روی میدهد. در این مقاله مروری، به بررسی انواع سلولها، سیتوکینها و مکانیسم های موثر بر تخریب بافتهای نگهدارنده دندان و نیز روشهای درمانی مرتبط با این مفاهیم پرداخته شده است.

‏مقدمه:

بیماری پریودنتال (PD) یک بیماری عفونی، التهابی و مزمن

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

در نهایت ترجمه را خریداری کنید!

دانلود ترجمه فارسی -- قیمت: 8500 تومان
  • ترجمه فارسی
  • دانلود
  • تحقیق
  • دانلود
  • مقاله انگلیسی
  • تحقیق
  • مقاله انگلیسی
  • مقاله لاتین
  • ترجمه
  • ترجمه لاتین
  • مقاله لاتین
  • تحقیق
  • ترجمه انگلیسی

پروتکل اشتراک فایل نظیر به نظیر (بیت تورنت - BitTorrent)

ابتدا اصل مقاله را به طور رایگان دریافت کنید!
  • عنوان انگلیسی مقاله: BitTorrent: a peer-to-peer file sharing protocol
  • عنوان فارسی مقاله: بیت تورنت: پروتکل اشتراک فایل نظیر به نظیر
  • دسته: کامپیوتر و فناوری اطلاعات
  • فرمت فایل ترجمه شده: WORD (قابل ویرایش)
  • تعداد صفحات فایل ترجمه شده: 45

سپس گزیده ای از ترجمه را بررسی کنید!

ترجمه چکیده

بیت تورنت، یک پروتکل اشتراک فایل نظیر به نظیرمی باشد که برای توزیع مقدار زیادی از داده در اینترنت مورد استفاده قرار می گیرد. پروتکل اشتراک فایل نظیر به نظیر یکی از رایج ترین ترین پروتکل ها برای انتقال فایل های بزرگ بوده، و تخمین زده شده است که تقریبا شامل 43% تا 70% تمام ترافیک های اینترنتی از فوریه سال 2009 (بسته به مکان جغرافیایی) بوده است.

برنامه نویسی به نام برام کوهن این پروتکل را در آوریل 2001 طراحی کرد و اولین اجرای آن را در دوم جولای 2001 منتشر ساخت. این پروتکل هم اکنونتوسط شرکت بیت تورنت کوهن جکایت می گردد. مشتریان پروتکل اشتراک فایل نظیر به نظیر بیشماری برای انواع پلتفرم های محاسباتی وجود دارد.

از ژانویه 2011، پروتکل اشتراک فایل نظیر به نظیر دارای 100 میلیون کاربر و سهم بزرگی از پهنای باند شبکه نسبت به نت فلیکس و هلو بوده است.

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

ا. مقدمه

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

در نهایت ترجمه را خریداری کنید!

دانلود ترجمه فارسی -- قیمت: 21500 تومان
  • تحقیق
  • دانلود تحقیق
  • ترجمه فارسی
  • ترجمه انگلیسی
  • ترجمه فارسی
  • مقاله انگلیسی رایگان
  • مقاله انگلیسی
  • ترجمه
  • دانلود مقاله
  • دانلود تحقیق
  • دانلود مقاله
  • مقاله لاتین
  • دانلود مقاله
  • مقاله
  • ترجمه انگلیسی