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

در این پایان نامه از طرح رمزنگاری کلید عمومی الگمل همراه با یک همر یختی جمعی روی سیستم رمزنگاری خم های بیضوی, برای به اشتراک گذاشتن محرمانه ی تصاویر روی کانال ناامن و جهت جلوگیری از استراق سمع افراد غیر مجاز استفاده شده است‎.‎ طرح پیشنهاد شده در مقایسه با طرح های رمزنگاری ‎rsa ‎ و الگمل, از کلیدی با طول کوچکتر استفاده می کند. همین امر باعث عملکرد بهتر این سیستم رمزنگاری در مقایسه با طرح های مذ...

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

منابع آب سطحی نقش عمده­ ای در تأمین نیاز­ آبی بخش­های مختلف کشاورزی، شرب و صنعت دارا می­باشند. با توجه به تغییرات زمانی آب‌دهی رودخانه­ ها و عدم هم‌خوانی آن با نیاز­های موجود، اعتمادپذیری تأمین آب کاهش می­یابد و باعث بروز خسارت در بخش­های مختلف می­شود. از همین رو برای استفاده مناسب از آب ذخیره شده در سد­ها باید به مسأله بهره برداری بهینه از مخازن نگاه ویژه­ای داشت. بهره­برداری از مخازن سدها از ...

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

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

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

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

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

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