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

کنترل ازدحام در شبکه های سنسوری اصولا با هدف کاهش میزان از دست رفتن بسته¬ها و نیز تخصیص پهنای باند عادلانه به جریان¬های موجود در شبکه انجام می¬گیرد. طراحی یک الگوریتم کنترل ازدحام مناسب برای انواع مختلف کاربردها در شبکه¬های سنسوری بعلت طبیعت ویژه-کاربرد این شبکه¬ها یک امر چالش برانگیز است.. در این پایان نامه، یک الگوریتم توزیع شده جدید برای کنترل ازدحام در لایه انتقال پیشنهاد می¬ شود که مقدار ن...

در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

آموزة «تجسّد» یکی از باورهای اساسی راست کیشی مسیحی است که اصول دیگری چون تثلیث و فدیه مبتنی بر آن است این عقیده، از آغاز با مجادلات کلامی متعددی دربارۀ ماهیت و چگونگی اتحاد دو طبیعت انسانی و الهی در عیسی مسیح و نحوۀ کاربرد زبان شناختی آن، در قرون متأخر مواجه بوده است. در این مقاله، ابتدا منشأ پیدایش نظریه تجسّد و شواهدی بر طبیعت انسانی و الوهی مسیح، از منبع اصلی مسیحیت یعنی کتاب مقدس و نیز اعتقاد...

 سابقه و هدف: مسئله مهم در رابطه با اثربخشی گفتاردرمانی کودکان کم شنوای شدید، نوع و روش آموزش آیتمهای زبانی گفتاری است. اخیراً درمانگران به رویکردهای ترکیبی توجه بیشتری می کنند. بررسی تأثیر افزودن حرکات بیانگر به رویکرد شنیداری کلامی در گفتاردرمانی کودکان کم شنوای شدید، هدف این پژوهش می باشد. مواد و روشها: این کارآزمایی بالینی دوسو کور روی 66 کودک کم شنوای شدید (دو گروه 33 نفره) انجام شد....

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

امروزه شبکه های رایانه ای به عنوان ابزار سریع انتقال اطلاعات به شکل گسترده ای توسط افراد و سازمان های مختلف مورد استفاده قرار می گیرد. برای تأمین امنیت کاربران و سازمان ها، روش های امنیتی مختلفی بکار گرفته می شود که هر کدام سطحی از امنیت را فراهم می آورند. از جمله این روش ها می توان به استفاده از پروتکل های تونلینگ و شبکه های خصوصی مجازی اشاره کرد. اگر چه این روش ها می توانند برای ارتقاء امنیت ...

حادثه 11 سپتامبر نشان داد رژیم کنونی حقوقی و نظارتی بین المللی از کاستی‌ها و ضعف‌های زیادی برای برخورد جدی با جرم مداخله غیرقانونی علیه هواپیمای مسافربری رنج می‌برد. در این زمینه، پروتکل 2010 پکن تلاش می‌کند رویکردهای بازدارنده جدیدی را برای مقابله با جرم هواپیماربایی فراهم آورد به گونه‌ای که بتوان چنین جرمی را قبل از ا...

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