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

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

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

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

مقدمه: از بیشترین ظرفیت هوازی (vo2-max) می توان به منظور سنجش وضعیت قلبی- تنفسی افراد و به دنبال آن ایجاد تناسب فیزیولوژیک بین کار و کارگر استفاده نمود. این مطالعه با هدف تعیین همبستگی بین دو روش آستراند و acsm در برآورد بیشترین ظرفیت هوازی و تعیین عوامل مؤثر بر آن در دانشجویان دانشگاه علوم پزشکی شیراز، صورت پذیرفت. مواد و روش ها: در این مطالعه مقطعی، 104 نفر (54 مرد و 50 زن) از دانشجویان به صو...

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

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

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

این نوشتار، با معرفی پروتکل پیشنهادی pmh، بر آن است تا نشان دهد که چگونه می توان از این پروتکل برای ایجاد فهرستگان اسناد آرشیوی بهره گرفت. هدف نهایی این پروتکل، تسهیل در انتقال اطلاعات به صورت فراداده در محیط شبکه است. pmh، با بهره گیری از عناصر فراداده دوبلین کور، قالب (فرمت) xml (زبان نشانه گذاری گسترش پذیر) و پروتکل http این امر را میسر می سازد. بدین منظور، مقاله به تعریف فراداده و معرفی عنا...