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

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

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

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

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