در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

غالب سازه های بتن مسلح ساخته شده ی قبل از سال ۱۹۷۰، براساس آرماتورهای ساده طراحی شده اند. از آنجا که تعدادی از این ساختمان ها هنوز مورد بهره برداری قرار می گیرند ارزیابیِ لرزه یی آن ها حائز اهمیت است. در این تحقیق یک مدل الیافی اصلاح شده برای ارزیابی لرزه یی رفتار این ساختمان ها پیشنهاد شده که در آن، تغییراتی در مشخصه های رفتار تنش ـ کرنش مصالح فولادی اعمال شده تا تأثیر ساده بودن آرماتور لحاظ شو...

در بخش اول پایان نامه رفتار الکتروشیمیایی آتنولول (at) در سطح الکترود خمیر کربن اصلاح شده با زئولیت موردنیت (mor-mcpe) بررسی شد. الکترود تهیه شده فعالیت الکتروکاتالیزوری مناسبی به آتنولول نشان داد و باعث بهبود حساسیت (جریان آندی) شد. مکانیسم اکسیداسیون آتنولول در سطح mor-mcpe حاوی مقادیر متفاوت موردنیت به کمک ولتامتری چرخه ای (cv) و ولتامتری پالسی تفاضلی (dpv) بررسی گردید. مقدار ph بهینه برابر ...

در قسمت اول، نانوکامپوزیت مغناطیسی اصلاح شده با لیگاند 3]-2)-2-آمینواتیل آمینو( اتیل آمینو[ پروپیل- تری اتوکسی سیلان تهیه و به عنوان جاذب برای جداسازی هم زمان یون های سرب و بیسموت، قبل از اندازه گیری توسط اسپکتروسکوپی جذب اتمی کوره گرافیتی مورد استفاده قرار گرفت. ارقام شایستگی روش برای سرب و بیسموت بترتیب به قرار زیر است: فاکتور غنی سازی 163 و 152، انحراف استاندارد نسبی %05/3± و %59/3± و حدود ت...

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

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

در این پژوهش بمنظور بررسی پایداری کاتالیست های hzsm-5 اصلاح شده توسط عناصر واسطه در شکست حرارتی – کاتالیستی نفتا مجموعه ای از کاتالیست ها توسط طراحی آماری rsm و روش باکس بهنکن طراحی گردید. از عنصر آهن بعنوان عنصر واسطه و از فسفر به عنوان عامل پایدار کننده شبکه زئولیت استفاده شد. با توجه به نتایج آزمون های آزمایشگاهی شکست حرارتی-کاتالیستی به عنوان واکنش غالب برای تولید پروپیلن در نظر گرفته شد حا...

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

یک شاخص توپولوژیک برای گرافg ‎، ثابت عددی است که کمیتی فیزیکی یا شیمیایی را توصیف می کند. این اعداد در شیمی نظری به منظور کدگذاری مولکول ها برای طراحی اجسام شیمیایی با خواص فیزیکی-شیمیایی داده شده و فعالیتهای زیستی و داروشناسی به کار می روند. شاخص سگد در سال ‎1994‎ توسط ایوان گوتمن به عنوان تعمیمی از شاخص وینر تعریف شد. کاربردهای این شاخص در مدل سازی ساختارهای نانو و همبستگی آن با برخی شاخص های...

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