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

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

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

بورنولوژی ها در تعمیم مفهوم -dکراندار کلی در یک فضای متریک (x,d ‎) ‎ اهمیت ویژه ای دارندf‎، خانواده همه زیرمجموعه های متناهی x‎، به تعبیری یک بورنولوژی است. وابسته به آن، دو خانواده f_* و‎ f^*را تعریف می کنیم. f_*متشکل از زیر مجموعه هایی از x مانند ‎aاست که مشمول در اجتماع اپسیلون ‎همسایگی های تعداد متناهی نقاط از خود ‎aاست f^*. ‎متشکل از زیر مجموعه هایی از x‎ مانند a است که مشمول در اجتماع اپس...

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

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

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

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

در این پایان نامه قصد داریم به مطالعه ی رده ای خاصّ از مشبّکه ها موسوم به مشبّکه های سیمپلکتیک (symplectic lattices) در رمزنگاری بپردازیم. چرا که در دنیای معاصر مشبّکه از جایگاه والایی برخوردار است و توانسته نظر صنایع گوناگون را به خود جلب نماید. همچنین به بررسی سیستم های رمز مبتنی بر مشبّکه خواهیم پرداخت؛ و از آنجایکه این سیستم های رمز کلید عمومی امنیت خود را از مسائل دشوار در مشبّکه کسب می کنند به ...