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

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

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

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

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

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

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