گوگل مارکت
فروش فایل ,دانلود فایل,خرید فایل,دانلود رایگان فایل,دانلود رایگانگوگل مارکت
فروش فایل ,دانلود فایل,خرید فایل,دانلود رایگان فایل,دانلود رایگانکامپیوتر 23. تجزیه و تحلیل پروتکل PGM توسط UPPAAL
» :: کامپیوتر 23. تجزیه و تحلیل پروتکل PGM میانجیگری UPPAAL
تجزیه و تحلیل پیمان‌نامه PGM توسط UPPAAL
چکیده
انتقال داده های عملگرا (PGM) به آغاز یه پیمان‌نامه انتقالی می باشد که به منظور به حداقل رساندن میزان بالای تصدیق منفی (NAL) و افزایش ظرفیت شبکه به دلیل ارسال مجدد بسته های از دست رفته، طراحی می شود. این پیمان‌نامه از بهر سازمان کارگروه مهندسی اینترنتی به عنوان یک معیار منبع باز می باشد.
در این نوشته ، ما تمرکزمان را حرف روی ویژگی های قابل اطمینانی قرار می دهیم که PGM به تضمین آن می پردازد. یک بدست‌آوردن کننده قید بسته های اطلاعاتی را از موارد انتقالی دریافت کرده و آن ها را اصلاح می کند یا قادر می باشد بسته های اطلاعاتی از بین رفته غیر قابل بازیابی را آشکار کند.
ضمیر اول شخص جمع باب ابتدا مدلی ( نسخه ساده ای) از PGM را از طریق شرایط زمانی اتوماتیک مطرح می کنیم. با استفاده از بررسی کننده مدل UPPAAL، ما به بررسی صحت ویژگی های قابل استظهار بالا می پردازیم، که همیشه محقق نبوده لیک بستگی به مقدار چندین پارامتر که ما مد نظر قرار می دهیم دارد.
کامپیوتر 25. تکنیک های DFO برای کالیبراسیون مدل های پیوسته یا رده بندی شده.
» :: کامپیوتر 25. تکنیک های DFO برای کالیبراسیون مدل های دایماً الا رده بندی شده.
صنعت های DFO از بهر کالیبراسیون مدل های پیوسته یا رده بندی شده.
چکیده
یک گام بااهمیت باب مدل سازی سیستم تعیین ارزش پارمترها برای استفاده در آن مدل می باشد. در این مقاله ما ضروری باده کنیم که ما مجموعه ای از ابزارهای اندازه گیری را در دست داریم که از سیستم های عملکردی جمع آوری شده و به این ترتیب یک مدل سیستمی مناسب بر مبنای این نظریه ایجاد شده است. تخمین مقادیر نسبی برای پارامترهای اختصاصی این مدل از اطلاعات موجود ، مشکل باده باشد. ( برای‌اینکه پارامترهای مربوطه دارای مفهوم فیزیکی نامشخص بوده و یا ثانیه ها را نمی توان به طور مستقیم از واحدهای اندازه گیری موجود به دست آورد) از این رو ما نیاز به تکنیکی داریم که مقادیر مربوط به پارامترهای از دست رفته را مشخص کند. یعنی به سمت کالیبراسیون الگو بپردازد.
به سمت عنوان یک جانشین در ارتباط با تکنیک غیر قابل سنجش بروت فورس ، ما کالیبراسیون این مدل ها را به عنوان یک مسئله بهینه سازی غیرخطی با توجه به محدودیت هایی مد نظر قرار می دهیم. روش های مورد نظر از نظر مفهومی از بهر به ادا در آمدن ساده و آسان می باشند. مشارکت ضمیر اول شخص جمع به سمت صورت دوگانه می باشد . در ابتدا ما تعریف مناسبی از عملکردهای عینی برای تعیین فاصله بین محرک های عملکردی توسط مدل و مقادیر بدست آمده از سنجش ها را مطرح می کنیم.باب بار دوم ما به ایجاد تکنیک های بهینه مشتق شده سفارشی (DFO)می پردازیم که ویژگی اصلی آن توانایی برای ایجاد نقص محدود موقتی می باشد. چنین تکنیکی این امکان را برا ضمیر اول شخص جمع به بود می آورد تا به طور دقیق مشکل بهینه سازی را حل کنیم و به این ترتیب می توانیم مقادیر پارامتری دقیقی را ایجاد کنیم. ضمیر اول شخص جمع روش هایمان را با استفاده از دو امعان موردی ساده توضیح می دهیم.
کامپیوتر 29. راه حل مناسب برای جلوگیری از افزایش حملات به DNS ( سیستم نام دامنه)
» :: کامپیوتر 29. راه حل مناسب برای پیشگیری از ازدیاد حملات به DNS ( سیستم نام دامنه)
راه حل درخور برای پیشگیری از افزایش حملات به DNS ( سیستم نام دامنه)
جوهره
رویدادهای امنیتی جدی آخری نشان باده دهد که چندین حمله کننده از جعل IP برای بهره برداری از سرورهای نام بازگشتی به منظور تقویت حملات DDoS در بین شبکه های مختلف استفاده می کنند. سناریوهای حملات تقویتی DNS از سرور های DNS برای به ادا در اتیان حملات DoS مصرفی پهنای باند استفاده می کنند. این سنخ از حملات مزایایی را در این مورد بازده می کند که پیام پاسخ داده شده DNS به طور قابل توجهی بیشتر از پیام جستجوی DNS می باشد. در این مقاله ما الگو جدید، ساده و عملی را ارائه می دهیم که اجرا کنندگان را قادر باده سازد تا تمایزی را بین پاسخ های DNS تغییر یافته و معتبر قائل شود. الگو پیشنهادی به سمت صورت محتاطانه برای ارزیابی ترافیک DNS تمام وقت و هشدار به ناظران امنیتی مهم می باشد. ثانیه ایضاً به صورت انفعالی در تعامل با فایروال از طریق بروزرسانی قوانین برای تحریم بسته های جعلی عمل می کند. تجزیه و تجزیه ما و و نتایج آزمایشی صفت تالی نشان می دهد که طرح پیشنهادی راه حل موثری را نشان می دهد، به صورتی که حملات خاصی مد نظر قرار می گیرند.
کامپیوتر 12. الگوریتم مسیریابی خود تطبیقی مبتنی بر مکان برای شبکه های حسگر بی سیم در اتوماسیون خانگی
» :: کامپیوتر 12. الگوریتم مسیریابی خود مقابله‌ای مبتنی بر مکان برای شبکه های حسگر بی سیم باب اتوماسیون خانگی
الگوریتم مسیریابی خود مقابله‌ای براساس بر مکان برای شبکه های حسگر بی سیم در اتوماسیون خانگی
چکیده
استفاده از کانال های گیرنده بی سیم باب اتوماسیون داخلی (WSNHA) به دلیل خصوصیات خود سازماندهی ، دقت دریافت بالا، هزینه پایین، و پتانسیل هایی برای گسترش سریع جالب توجه می باشند. اگرچه الگوریتم مسیریابی در IEEE 802.15.4/ZigBee و الگوریتم های مسیریابی دیگر از بهر شبکه های گیرنده بی سیم طراحی شده است، تمام آن ها از بهر WSNHA مناسب نمی باشد. باب این مقاله، ضمیر اول شخص جمع یک الگوریتم مسیریابی منطقی بر مبنای موقعیت برای شبکه های گیرنده بی سیم را برای WSNHA به نام WSNHA-LBAR مطرح می کنیم. آن مجموعه ایا از مسیرهای اکتشافی را برای نواحی درخواستی ستون ای محدود کرده، که مسیرهای بالاسری را کاهش داده و مشکلات مربوط به طوفانی از موارد منتشر شده را کمتر می کند. آن ایضاً به چهره اتوماتیک اندازه نواحی درخواستی را با استفاده از الگوریتم خود انطباقی بر اساس قضیه بیزی تطبیق می دهد. این موارد WSNHA-LBAR را نسبت به تغییرات چگونگی شبکه سازگارتر کرده و برای ادا آسان تر می کند. نتایج تالی سازی شفا را در اعتبار شبکه ایجاد کرده و همچنین مسیربابی بالاسری را کاهش می دهد.
کامپیوتر 14. بررسی الگوه های دوره ای غیرهمزمان (اسنکرون) در اطلاعات سری زمانی
» :: کامپیوتر 14. بررسی الگوه های دوره ای غیرهمزمان (اسنکرون) در اطلاعات سری زمانی
بررسی الگوه های دوره ایا غیرهمزمان (اسنکرون) در اطلاعات سری زمانی
چکیده
بازیابی دوره ایا اطلاعات پوشیده زمانی به عنوان یک مسئله چالش انگیز می باشد که دارای اهمیت زیادی در بسیاری از کاربردها می باشد. اکثر پرکاری های دیرینه تمرکز خود را بر روی بررسی الگوه های دوره ای غیرهمزمان قرار داده و حضور الگوه های تغییر یافته را به دلیل مداخله مشکلات تصادفی مد نظر قرار نمی دهد. باب این مقاله , ما یک الگو انعطاف پذیرتری را در ارتباط با الگوه های نامتقارن دوره ای مطرح می کنیم که تنها در این توالی مد نظر قرار گرفته و وقوع آن ها به دلیل وجود این اختلافات انتقال می یابد. دو پارامتر یعنی min_rep و max_dis به پیشه گرفته باده شوند تا به تعیین حداقل تعداد تکرارها که در هر بخش مربوط به وقوع این الگوه ها روی می دهد و حداکثر این موارد که باعث ایجاد یک توزیع بین این دو بخش های متوالی می گردد , بپردازد. برای جبران کردن این دو مورد , بلندترین تسلسل مربوط به سمت این الگوه ها برگشت داده می شود. یک الگوریتم تاخت بار ای طراحی می گردد تا در ابتدا به ایجاد پتانسیل های دوره ای توسط فرایندهای فاصله محور گشته که توسط یک رویکرد تکراری برای کسب و تایید الگوه های کاندیدا و مد نظر قرار دادن یک توالی بلند مدت , دنبال می گردد. ما همچنین نشان باده دهیم که این الگوریتم خیر تنها پیچیدگی های زمانی خطی را با توجه به طول این توالی ها ایجاد می کند بلکه یک کارایی فاصله ای را ایجاد می کند.
کلمات کلیدی. الگوهای دوره ای غیرهمزمان , روش های بهر آسه , دوره ای بودن بخشی.