سی ترم

سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

مطالعه مکانیزم انتقال بار کف به دلیل ماهیت پیچیده و محدودیت های موجود در اندازه گیری یکی از مسائل چالش برانگیز مهندسی رودخانه می باشد. با وجود مطالعات گسترده ی محققین و ارائه روابط متعدد تجربی و نیمه تجربی به منظور تخمین نرخ انتقال بار کف تاکنون هیچ روش و رابطه ی یکه ای به منظور مدل سازی و تخمین بار کف وجود ندارد. در این تحقیق عملکرد دو روش برنامه ریزی بیان ژن (gep) و مدل ترکیبی الگوریتم ژنتیک ...

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

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

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

 The term rewriting systems (TRSs) is an abstract model of functional languages. The termination proving of TRSs is necessary for confirming accuracy of functional languages. The semantic labeling (SL) is a complete method for proving termination. The semantic part of SL is given by a quasi-model of the rewrite rules. The most power of SL is related to infinite models that is difficult f...

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

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

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