چکیده کتاب جستارهایی درباب نظریة روایت و روایت­شناسی (حرّی، 1392) که دربردارندة هفت مقالة ترجمه­ای و سه مقاله تألیفی است، با هدف ارائة منسجم و هدفمند مهم­ترین جنبه­های نظریة ]عمومی[ روایت و ارائة تحلیل­های روایی مناسبی از متون فارسی برای استفاده هرچه بهتر فارسی زبانان علاقمند به این حوزه ترجمه و تألیف شده است. در نوشتار حاضر به ارزیابی جنبه­های مختلفی از این متن پرداخته­ایم و با تکیه بر شواهد فر...

در مقالۀ حاضر، کتاب «سیر ناتورالیسم در ایران» اثر عبدالله حسن‎زادۀ میرعلی را معرّفی و نقد کرده‎ایم. نخست، ویژگی‎های زبانی و نگارشی و صوری کتاب را بررسی کرده و اشتباهات نگارشی و کم‎دقّتی‎های ویرایشی و بی‎توجّهی به ظرافت‎های صوری را (از ضبط ناصحیح واژگان گرفته تا کاربرد اشتباه اصطلاحات تخصّصی و ناهمخوانی عناوین با مطالب) نشان داده‎ایم. در ادامه، شیوۀ ارجاع‎دهی و میزان اعتبار مآخذ آن را بررسی کرده‎ایم...

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

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

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

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

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