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

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

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

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

اندیشه­ها در بستر مسائل سیاسی و اجتماعی شکل می­گیرند. سده­های نخستین اسلامی و مشکلات سیاسی فراوان آنها زمینه­ساز پیدایش اندیشه­هایی بود که با دغدغة حفظ سنت پیامبر6 در عرصه­های مختلف سیاسی و فرهنگی جلوه­گر شد. احمد بن حنبل (241 ق) را می­توان یکی از صاحبان چنین اندیشه­ای در آن دوران شمرد. در این مقاله سعی خواهد شد تا با روش درک منطق درونی نظریه سیاسی که الگویی برای شناخت نظریه سیاسی است و با رویک...

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

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

مقالۀ حاضر با بررسی دیدگاه های عالمان سدۀ اخیر حوزۀ علمیۀ اصفهان در مسئلۀ علم امام، تلاش دارد تا دیدگاه های جریان های فکری این حوزه را در این زمینه به تصویر بکشد. در این مقاله ضمن اشاره به استدلال ها و تبیین های علمای این دورۀ اصفهان، سه جریان فکری معرفی می شوند: 1. جریان فلسفی و عرفانی ای که علم امام را مطلق و فعلی دانسته و به عمومیت آن معتقدند؛ 2. جریان حدیثی ای که علم امام را مشروط می داند، ...

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

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