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

مقدمه: هدف این پژوهش بررسی مشکلات حافظه ای افراد مبتلا به نوع وارسی و شستشو کننده اختلال وسواسی – جبری از نظر فراحافظه ، حافظه،سوگیری به حافظه و میزان اطمینان به حافظه است. مواد و روش کار: 30 فرد مبتلا به اختلال وسواسی ـ جبری (15 وارسی کننده، 15 شستشو کننده) و 30 نفر به عنوان گروه گواه (15 نفر به عنوان اضطراب منتشر،15 نفر بهنجار ) انتخاب شدند. گروه گواه از نظر متغیرهای جمعیت شناختی با گروه ه...

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

چکیدهاستنادپذیری ادله ی الکترونیک عبارت از واجد اعتبار بودن دادههای الکترونیک در محضردادگاه و ایفای نقش در صدور رأی مقتضی است. برای این که دلیل الکترونیک بتواند همانندادله ی سنتی کارکرد اثباتی داشته باشد، باید دو شرط عمده ی استنادپذیری یعنی صحتانتساب، اصالت و انکارناپذیری را دارا باشد. برای محقق شدن این دو شرط اساسی ضروریماده ی 2 قانون « ط» است داده ها در مرحله ی توقیف به صورت مناسب حفاظت شوند....

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

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

امضاء کور یکی از انواع امضاء دیجیتالی است که در آن، امضاء کننده بدون دانستن محتوای اطلاعاتی پیام، اقدام به امضاء آن می کند که محوریت کار این پایان نامه را در بر می گیرد. در این پایان نامه ابتدا به تشریح مبانی رمزنگاری پرداخته، سپس انواع امضاهای دیجیتالی از قبیل ron rivest, adi shamir, leonard ,adleman (rsa)الجمال, (digital signature algorithm) dsa و طرح طبیعی اشنور را تشریح و با هم مقایسه می کن...

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