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

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

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

  چکیده مهدی آذریزدی(1388-1300) از پیشگامانِ بازنویسی آثار کهن برای کودکان و نوجوانان، بین سال‌های 1336 تا 1369 مجموعة هشت جلدی «قصّه‌های خوب برای بچه‌های خوب» را بازنویسی کرد. انتقال درون‌مایة اخلاقی در کنار آشنایی مخاطبان با گنجینة ارزشمند ادب فارسی، از اهداف اصلی آذریزدی در این بازنویسی ها بوده است، از اینرو وی سعی در گزینشی اخلاق‌گرایانه از قصّه‌ها داشته است. در حکایت‌هایی که انتقال مسایل اخلا...

چکیده مهدی آذریزدی(1388-1300) از پیشگامانِ بازنویسی آثار کهن برای کودکان و نوجوانان، بین سال های 1336 تا 1369 مجموعة هشت جلدی «قصّه های خوب برای بچه های خوب» را بازنویسی کرد. انتقال درون مایة اخلاقی در کنار آشنایی مخاطبان با گنجینة ارزشمند ادب فارسی، از اهداف اصلی آذریزدی در این بازنویسی ها بوده است، از اینرو وی سعی در گزینشی اخلاق گرایانه از قصّه ها داشته است. در حکایت هایی که انتقال مسایل اخلاقی...

چکیده مهدی آذریزدی(1388-1300) از پیشگامانِ بازنویسی آثار کهن برای کودکان و نوجوانان، بین سال های 1336 تا 1369 مجموعه هشت جلدی «قصّه های خوب برای بچه های خوب» را بازنویسی کرد. انتقال درون مایه اخلاقی در کنار آشنایی مخاطبان با گنجینه ارزشمند ادب فارسی، از اهداف اصلی آذریزدی در این بازنویسی ها بوده است، از اینرو وی سعی در گزینشی اخلاق گرایانه از قصّه ها داشته است. در حکایت هایی که انتقال مسایل اخلاقی...

جولان آزاد زبان مترجم و به‌کارگیری مؤلفه­های بازنویسی یکی از مهم‌ترین علل پیدایش رویکرد ترجمۀ تألیفی در ادبیات فارسی و عربی کلاسیک است. مترجمان در این شیوه به مانند شیوۀ آزاد و ارتباطی از ترجمۀ برابر، معادل و طوطی­وار که اغلب گنگ و نامفهوم است، اجتناب می‌کنند. شیوه بازنویسی در ترجمۀ کهن فارسی از عربی به دلیل عدم رعایت قوانین و معیارهای علمی ترجمه و مقاصد آرمان‌گرایانه به طرز وسیعی به‌کار گرفته ...

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

    بررسی و تحلیل عناصر داستان در چند داستان بازنویسی شده از شاهنامه برای نوجوانان*   سجاد نجفی بهزادی1                                                                                                                                                     دانشجوی دکتری ادبیات فارسی دانشگاه شهرکرد دکتر جهانگیر صفری دانش‍یار گروه ادبیات فارسی دانشگاه شهرکرد دکتر مسعود رحیمی  استادیار دانشگا...