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

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

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

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

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

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

در تحقیق حاضر باکمک مدلسازی عددی نشست پی های سطحی با کمک نرم افزار المان محدود سه بعدی plaxis جنبه های بیشتری از نحوه نشست آنی زهکشی نشده مورد بررسی قرار می گیرد.برای این منظور تحلیل های پارامتریک متعددی انجام گردیدند. که این پارامتر ها شامل نسبت های مختلف ابعاد پی,از 1 تا 10,ضخامت پی از 1 تا 4 متر,نسبت عمق مدفون پی از 0 تا 3,نسبت عمق خاک زیر پی از 1 تا 5,مشخصات خاک شامل 4 مدل خاک و مقادیر مختل...

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

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...