سازند ایلام ) سانتونین کامپانین( یکی از سنگ مخزن های مهم گروه بنگستان در جنوب غربی ایران است. این سازند به طور - عمده از سنگ های آهکی تشکیل شده است. در این پژوهش سازند ایلام به ضخامت 421 متر در چاه شماره 2 میدان نفتی جفیر واقع در فروافتادگی دزفول شمالی در جنوب غربی ایران به منظور بررسی رخساره ها و محیط رسوبی، مورد مطالعه قرار گرفته است. سازند ایلام با ناپیوستگی فرسایشی در بالای سازند سروک و ...

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

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

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

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

در این پژوهش سنگ چینه نگاری و زیست چینه نگاری ریزرخساره ها و همچنین محیط رسوبی سازند سروک در کوه خانه کت (جنوب شرق خرامه) مورد بررسی قرار گرفت. سازند سروک در این ناحیه واحد کربناته ای به ضخامت 340 متر می باشد که بر اساس شواهد صحرایی و خصوصیات سنگ شناسی به 5 واحد سنگی a.b.c.d.e تقسیم شده است. در ناحیه مورد مطالعه، مرز زیرین سازند سروک با سازند کژدمی به صورت همشیب و تدریجی و مرز بالایی آن با سازن...

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

سازند کربناته فهلیان با سن کرتاسه زیرین (نئوکومین) یکی از سنگ‌‌ مخزن‌های مهم گروه خامی در حوضه نفتی زاگرس است. در این پژوهش، توالی رسوبی این سازند در تاقدیس‌های لار (با ستبرای620 متر) و خامی (با ستبرای 517 متر) در پهنه ایذه به منظور شناسایی ریزرخساره‌ها، محیط رسوبی و فرایندهای دیاژنزی مورد مطالعه قرار گرفته است. مطالعات سنگ‌نگاری به شناسایی 16 ریزرخساره مربوط به 5 کمربند رخساره‌ای پهنه کشندی، ک...

هدف از پژوهش حاضر مقایسة سه پروتکل تمرینی زیربیشینة کم خطر بر آورد کنندة عامل آمادگی قلبی – عروقی نسبی در مردان کم تحرک و توسعة معادلات جدید برای این سه پروتکل است. به همین منظور, 150 نفر از مردان کم تحرک به صورت داوطلبانه و به ترتیب با میانگین و انحراف معیار سن, قد, وزن و شاخص تودة بدن 15/10 ± 19/45 سال, 62/7 ± 33/172 سانتیمتر, 27/11 ± 86/70 کیلوگرم و 15/3 ± 86/23 کیلوگرم بر مترمربع در این پژو...

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